다음과 같은 경우에만 P가 NP와 같지 않다는 이론 목록

18

P가 NP와 같지 않다는 이론 정리를하는 것이 좋은 생각이라고 생각합니다.

cc.complexity-theory big-list p-vs-np

— 테이 펀 페이
소스

15

그것은 모든 복잡한 논문의 일정한 부분 일 것입니다!

— MCH

5

나는 "P? NP를 암시하는 조건들의 목록"이라고 말할 것입니다. 왜냐하면 모든 이론들이 "만약 if"일 뿐이 기 때문입니다. 또한, 사람들은 다른 곳에서 널리 논의 된 주제 인이 결과의 많은 결과를 열거하는 것보다 다른 것을 증명함으로써 P? NP를 증명하는 방법을 아는 데 더 일반적으로 관심이있는 것 같습니다.

— Janoma

2

@Janoma : 당신이 암시 적으로 자신을 제한하고 싶다면, 다음과 같은 형식의 결과가 주어지면 목록은 정말 엄청납니다. 다항식 시간으로 ". 우리가 그것을 피하려면 질문에 훨씬 더 집중하거나 더 잘 언급해야합니다.

— Anthony Labarre

4

@ Janoma : 그것은 Anthony의 근거가 큰 문제를 해결하지 못합니다. P = NP를 의미하는 가설은 단순히 P ≠ NP의 결과에 대한 부정이며, P ≠ NP를 의미하는 가설은 P = NP의 결과에 대한 부정입니다. SAT를 다항식 시간으로 해결할 수 있으면 P = NP입니다. Max3SAT가 8/7보다 작은 상수 인자 내에서 다항식 시간 인 경우 P = NP입니다. 등등.

— Tsuyoshi Ito

7

@Janoma : "X 인 경우 P = NP"는 "P ≠ NP 인 경우 X가 아닌"과 같습니다.

— Jeffε

11

하나는 다음과 같습니다.

Mahaney의 정리 : (Karp 감소 아래) 인 경우에만 스파 스 NP- 완료 세트가 없습니다 . $P \ne NP$

다른 하나는 다음과 같습니다.

경우에만, $P \ne NP$ $P \ne PH$

— 모하마드 알-투르 키스 타니
소스

수 있음이 간단하다 :

경우에만,

.

P \neq N P

$P \ne NP$

F P \neq F N P

$FP \ne FNP$

— Mohammad Al-Turkistany

11

최악의 단방향 함수가 존재하는 경우에만 해당됩니다. $P \ne NP$

참고:

앨런 엘 셀만 복잡성 이론에서 일방 함수에 대한 조사. 수학적 시스템 이론, 25 (3) : 203–221, 1992.

— 모하마드 알-투르 키스 타니
소스

1

심판이 좋을 것

— vzn

B P P \neq N P

$BPP \neq NP$

응 확신 해. :) 참조를보십시오.

— Mohammad Al-Turkistany

8

다음은 설명 적 복잡성 이론의 결과입니다.

$P \ne NP$

참조 : Immerman, 복잡성 클래스를 캡처하는 언어

— 모하마드 알-투르 키스 타니
소스

... 주문 구조에. 그렇지 않으면 그러한 속성이 존재한다는 것을 무조건 알고 있습니다.

— Emil Jeřábek은 Monica

@ EmilJeřábek 네, 위의 논문에서 Immerman에 의해 암시 적으로 가정 된 순서 구조에 대해.

— Mohammad Al-Turkistany

7

라드 너 정리는 다음과 같이 말할 수 있습니다.

$P \ne NP$ $NP-P$

$NP$

참고

복잡성 이론 및 암호학 : Jörg Rothe의 암호 복잡성 소개, 106 페이지

— 모하마드 알-투르 키스 타니
소스