어떤 증거가 있습니까?

어떤 증거가 있습니까?$coRP \neq NP$

$coRP$ 는 다항식 시간으로 실행되고 언어에 속하는 입력에 대해 항상 예라고 대답하고 해당 언어에 속하지 않는 입력에 대해 절반 이상은 아니오로 대답하는 확률 론적 튜링 머신이 존재하는 언어 클래스입니다.

비결 정성 (P vs NP)의 힘을 고려할 때 무작위 화는 2 차 문제처럼 보입니다. 특히 "P = NP?"에 대해 생각할 때 우리는 무작위 배정이 허용 될 수있는 "모든 NP 문제를 다루기 쉽다"라는 질문에 정말로 관심이 있으므로 다루기 쉬움은 실제로 "BPP 내"를 의미합니다. 따라서 "BPP에 포함 된 NP"는 본질적으로 "P = NP"처럼 보이지 않을 것입니다. 실제로 이들이 다르게 간주되면 사람들은 후자보다는 전자에 관심을 갖습니다. (특정 변종 인 "NPRP in coRP"는 공식적으로이 둘 사이의 중간 어딘가에 있지만 개념적으로는 동일합니다). 충분한 의사 난수 발생기가 존재하면 두 질문은 공식적으로 동일합니다. 마찬가지로 "비 균일 설정"에서 무작위 화는 도움이되지 않는 것으로 알려져 있습니다.

coR에 의해 coRP를 의미한다면, 많은 사람들이 P = RP = coRP = BPP이고 P가 NP와 같지 않기 때문에 coRP는 NP와 같지 않다고 믿습니다.

보다 직접적으로 NP가 coRP와 같으면 coNP에 포함됩니다 (coRP가 coNP에 포함되어 있기 때문에). 그런 다음 대칭으로 NP = coNP입니다. 이는 다항식 계층 구조가 첫 번째 수준으로 축소됨을 의미합니다. 그러나 다항식 계층 구조는 무한하다고 널리 알려져 있습니다.

동일한 주제에 대한 중복 논의를 피하기 위해 이것은 이전 질문과 매우 밀접한 관련이 있습니다.

P = RP에 대한 구체적인 증거는 무엇입니까?

요컨대, P = BPP는 경도 가정을 따르고, P = BPP는 P = coRP를 의미한다.