0

how proof ${\ \ NPC \ \ \bigcap \ \ CO-NPC \ne \varnothing }$
then ${NP = P ? }$

1 Answers1

1

I don't think you're likely to find any such proof. Given our current level of knowledge, as far as we know it is possible that $\textsf{P} \ne \textsf{NP}$ but $\textsf{NP} = \textsf{co-NP}$ (we cannot prove otherwise). If that were true, then we'd have $\textsf{NPC} = \textsf{co-NPC}$ (and thus $\textsf{NPC} \cap \textsf{co-NPC} \ne \emptyset$) yet $\textsf{P} \ne \textsf{NP}$.

See, e.g., Is the open question NP=co-NP the same as P=NP? and If NP $\neq$ Co-NP then is P $\neq$ NP.

D.W.
  • 167,959
  • 22
  • 232
  • 500