글쓴이 보관물: 소장 마

Blum의 아니므로 Theorem 6의

에서는 스레드 , Norbet 블룸의 시도 증거는 간결 Tardos 함수 정리 6 반례 것을 주목 반증한다.

P≠NP

정리 6 : 모노톤 부울 함수로합니다. CNF-DNF-approximator에 있다고 가정 A를 위해 하한을 증명하는 데 사용될 수 C를 m ( F ) . 그러면 A는 또한 행 같은 저급 증명하는 데 사용될 수 C S t ( F을 ) .

f∈Bn

A

Cm(f)

A

Cst(f)

내 문제는 다음과 같습니다. Tardos 함수는 부울 함수가 아니므로 Theorem 6의 가설을 어떻게 충족합니까?

에서는 이 종이 , 그들 기능의 복잡성 논의 일반 정보 모노톤 부울 함수가 아닌, 증가 에지 할 수 있기 때문에, φ ( X를 ) 확인 큰 φ ( X ) F ( v ) 입력에서 1 이 적 으면 참입니다 . 함수 φ ( X ) f ( v ) 는 일반적 으로 T에서 1 을 계산하지 않습니다.

φ(X)≤f(v)

φ(X)

φ(X)≤f(v)

1

φ(X)≥f(v)

1

T 0의 경우 1 0 입니다.

T1

0

T0

실제로, 테스트 세트 T 0 정확하게 이렇게 계산하는 것이 선택되는 1 에서 T 10 에서 T 0 (그들이 경계 정의 단순성으로하는 정밀 CLIQUE 컴퓨팅에 함수를 의미 하나 의과 0 의하여 입력의 격자)), 따라서이 설명은 Tardos 기능이 CLIQUE와 동일하다는 것을 의미하며, 이는 사실이 아닙니다.

T1

T0

1

T1

0

T0

1

0

그러나 많은 사람들과 지식이 풍부한 사람들은 Tardos 기능이 즉각적인 반례를 제공한다고 주장하므로 누락 된 것이 있어야합니다. 이해 관계자이지만 귀하의 수준에 미치지 못하는 사람들에 대한 자세한 설명이나 증거를 제공해 주시겠습니까?



답변

따라서이 설명은 Tardos 함수 가 CLIQUE와 동일 함을 의미합니다 .

f

짧은 답변-아니요.

그것은 단지이다 모노톤 “같은 파벌은”모든 받아 -cliques을, 모든 완전한 거부 ( K 1 ) -partite 그래프. 그것은, 그러나, CLIQUE에 의해 거부 일부 그래프를 받아 들일 수 : 그래프 Gω ( G ) < K 하지만 χ ( G ) K (소위 “비 완벽한”그래프). Grötschel, Lovász 및 Schrijver 의 논문f 다항식 크기의 비 모노톤 회로를 가짐을 의미합니다 . 그러나 “증거” 의 정리 6에 따르면 ,

k

(k−1)

G

ω(G)<k

χ(G)≥k

f

어떤monotone clique-like Boolean 기능은 수퍼 다항식 크기의 비 모노톤 회로가 필요합니다. 따라서이 두 논문 중 하나 가 잘못 되어야 합니다. GLS-1981 논문은 이미 35 년 이상 지속되었습니다 ...

φ(G):=ϑ(G¯)

ϑ

φ(G)

ω(G)≤φ(G)≤χ(G)

ϑ(G)

ϕ(G)

  1. ϕ(G)

    n


  2. ϕ


  3. ω(G)≤ϕ(G)≤χ(G)

    G

f

f(G)=1

ϕ(G)≥k

f

f

k

(k−1)

기술적 세부 사항
여기 를 참조 하십시오 .


답변