7
$\begingroup$

A set is $\mathsf{P}$-immune iff it has no non-trivial $\mathsf{P}$ subset.

Is every $\mathsf{coNP}$-complete language $\mathsf{P}$-isomorphic to an $\mathsf{P}$-immune $\mathsf{coNP}$-complete language?

Joshua Grochow's answer to my previous questions shows the answer is negative assuming cryptographic conjectures. Is it possible to show the answer is negative only assuming $\mathsf{P}\neq\mathsf{NP}$?

Or show the answer as positive with additional assumptions.

As @Kaveh points out based upon a P isomorphism assumption (Bertman-Hartmanis conjecture) one only has to show the existence of one such language.

$\endgroup$

migrated from mathoverflow.net Dec 24 '15 at 12:37

This question came from our site for professional mathematicians.

  • $\begingroup$ Migrated on request of OP. $\endgroup$ – Todd Trimble Dec 24 '15 at 12:36
  • 1
    $\begingroup$ An earlier question by me on similar lines is here cstheory.stackexchange.com/q/33312/17763 $\endgroup$ – ARi Dec 24 '15 at 13:14
  • $\begingroup$ Doesn't Josh's answer already answer this one as well? The complement of no NP-complete language is P-immune (assuming ...). $\endgroup$ – Kaveh Dec 24 '15 at 17:22
  • 1
    $\begingroup$ I edited the question a bit to make it easier to read. By the way, you cannot get a positive answer without disproving one of the conjectures. I think it would have been better just to update your previous question asking if it is possible to show the same thing with weaker assumptions in place of posting a new question. Also note that by Berman-Hartmanis conjecture all coNP-complete languages are P-isomorphic. $\endgroup$ – Kaveh Dec 24 '15 at 17:58
4
$\begingroup$

Josh's answer uses two conjectures and both of them are considered to be highly likely to be correct by experts even if not proven yet. A positive answer means that at least one of the two conjecture is incorrect. That would be a major very surprising result. In other words, it is highly unlikely that the answer to your question is positive, and even if the answer is positive, it is not possible to prove it at this time (otherwise we would have already refuted one of those conjectures).

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.