NP 문제 의 특정 클래스 에는 이분법 정리 가 있으며 클래스의 모든 작업이 NP 완료 이거나 P에 있음을 보장합니다 . 가장 잘 알려진 결과는 Schaefer의 이분법 정리 와 여러 일반화입니다.
이 이분법 정리를 증명하는 것은 실제로 쉽지 않다는 것을 이해합니다. 왜 특정 클래스에는 이분법 정리가 있고 다른 클래스에는 그렇지 않은지에 대한 비교적 짧은 설명이 있는지 궁금합니다. 이러한 정리를 가능하게하는 근본적인 문제 구조는 무엇입니까? 또는 아마도 명확하게 이해 된 구조가 없을 것입니다. 오히려 각 경우에 왜 계급이 이분법 정리를 갖거나 갖지 않는지는 미스터리입니까?
2
좋은 질문. 하나의 직관은 우리가 문제를 설명이 좋은 클래스로 제한한다는 것입니다.
—
Kaveh
이것은 대답이 아니지만 아마도 대답이있을 수있는 곳을 가리 킵니다 : 문제의 클래스가 모든 (또는 심지어 특정 하위 집합) 를 포함하기에 충분히 큰 경우 Ladner 's 정리가 적용되며 이분법이 없습니다. 따라서 이분법을 가진 클래스는 적어도 Ladner를 피하기 위해 충분히 구조화되어야합니다 ...
—
Joshua Grochow
이분법은 언어가 너무 거칠어 미세한 구별이 이루어지지 않을 때 발생합니다.
—
András Salamon