Is there any problem which is in NP but not in NP-Complete?
Is there any possibility that this problem is analogous to P=NP problem, if so is there any problem which is in NP, but currently there is no proof or disproof about its NP-Completeness?
Is there any problem which is in NP but not in NP-Complete?
Is there any possibility that this problem is analogous to P=NP problem, if so is there any problem which is in NP, but currently there is no proof or disproof about its NP-Completeness?
If there is some non-trivial* problem in $\text{NP}$, but it is not $\text{NP}$-Complete, it would imply that $\text{P} \neq \text{NP}$. This is because if $\text{P} = \text{NP}$, then every non-trivial problem in $\text{P}$ (and so by assumption, in $\text{NP}$) is $\text{NP}$-Complete, by a polynomial time reduction which solves the problem as part of the reduction, and creates dummy input to the target problem (this is where we need the non-trivial assumption).
A classic example of a problem in $\text{NP}$, which is conjectured not to be in $\text{P}$ and not $\text{NP}$-Complete is the Graph Isomorphism Problem.
In fact, under the assumption that $\text{P} \neq \text{NP}$, it has already been proven that there are an infinite number of hierarchies in $\text{NP}$: i.e. starting with $\text{P}$ the problems becoming increasingly harder (i.e. proper subset), ending with the $\text{NP}$-Complete problems. See this cstheory question: https://cstheory.stackexchange.com/questions/52/hierarchies-in-np-under-the-assumption-that-p-np
*non-trivial means here: any language other than the empty set or it's complement.
The class of NP problems contain all the problems in P as well. In fact, NP-complete problems are the hardest problem of the class NP. In addition, there are problems that are not known to be NP-complete (no proof yet) while we don't know any polynomial solution for them (yet).
Yes.
There's a whole lattice of complexity classes under NP, most of the ones defined by name are not known but highly suspected to be proper subsets of NP, most famously P. That is, it is not known if any particular problem in P is not NP-complete (though this is expected).
But P is not the only subclass of NP. There are the classes NL, L, AC_n, NC_n, LOGCFL, DET, etc. presumably much smaller than NP. (see the Complexity Zoo for class descriptions). There's lots of open problems about proper inclusion here.
But it turns out that NLTIME, a very restricted class, the class of problems solvable in nondeterministic log -time- (not in the Complexity Zoo)), is -provably- a proper subset of NP. That is, there are problems in NP that provably cannot be reduced to a problem in NLTIME.
The following loose inclusion order is known:
$NLTIME \subseteq L \subseteq NL \subseteq P \subseteq NP \subseteq PSPACE$
Notice that NLTIME is a subset of NP. The only known proper inclusions in this particular list are between NLTIME and NP, and between L and PSPACE. But no one (yet) knows where (or if) there's an adjacent break in this particular linear order.
But the real question you are asking is not about complexity classes but about problems. THere are many real world problems that have complexity class analogs in the 'Zoo' (e.g. Reachability in undirected graphs is in NL). I can't seem to find a reference for the class NLTIME (it is easily definable by NTIME($\log(n)$) ), much less a given problem for it. Without thinking too hard, Im guessing some kind of decision version of Binary Search would fit.
(as an aside, there very well may be other more prominent classes, like $AC_0$, having well known problems, that are known to be properly included in NP, but I just happen not to know)