모든 NP 문제는 NP- 완전 문제로 줄어 듭니다. 어떻게 NP 문제가 NP- 완전 문제가되지 않을 수 있습니까?


10

나의 책은 이것을 말한다

  • 의사 결정 문제 B가 P에 있고 A가 B로 감소하면 의사 결정 문제 A는 P에 있습니다.
  • 결정 문제 B는 B가 NP에 있으면 NP가 완전하고 NP에있는 A의 모든 문제에 대해 A는 B로 감소합니다.
  • C가 NP에 있으면 결정 문제 C는 NP- 완료이고 일부 NP- 완료 문제 B에 대해서는 B가 C로 감소합니다.

그래서 내 질문은

  1. B 또는 C가 NP- 완료 상태이고 NP의 모든 문제가 첫 번째 규칙을 사용하여 NP- 완전 문제로 줄어드는 경우 NP 문제를 어떻게 NP가 완료되지 않을 수 있습니까?
  2. A가 B로 감소하면 B는 A로 감소합니까?

2
# 1과 관련된 흥미로운 사실 ​​: P가 NP와 같지 않으면 NP가 완료되지 않은 NP 문제가 있어야한다는 것을 알고 있습니다 (이는 Ladner의 정리라고합니다. NP Intermediate 참조 ). 이상한 점은이 범주에 맞는 일반적인 계산 문제를 확신 할 수 없다는 것입니다. Ladner 정리에 사용 된 문제는 인공적으로 정리를 증명하도록 구성되었지만 실제로는 중요하지 않습니다.
Lucas Cook

4
@Lucas, 팩토링 및 GraphIso 또한, NPI 수보고 추측되는 .
Kaveh

@ Kaveh : NPI 후보자의 멋진 목록, 감사합니다! 명확히하기 위해, 우리는 Ladner의 문제와 동일한 확실성으로 자연스런 NPI 문제를 "확실"하지 않다고 말했습니다. 즉, 인 경우 특정으로 알려진 유일한 NPI 문제는 Ladner의 계층 구조와 관련된 인공적인 문제입니다. PNP
Lucas Cook

답변:


13

A가 B로 감소하면 B는 A로 감소합니까?

아닙니다. 실제로 고안된 예에서, 계산 가능한 문제 A는 중단 문제로 환원 될 수 있습니다. 문제 A를 해결하는 알고리즘을 입력으로 통과하지만 while(true)사실 또는 거짓 경우 끝에 끝 부분에 고정됩니다. 그러나 Halting 문제는 계산할 수 없으므로 그러한 알고리즘 A로 줄일 수는 없습니다.

기본 아이디어는 A에서 B 로의 축소가 있다면 B가 적어도 A보다 풀기가 어렵고 적어도 강력한 알고리즘이 필요하다는 것을 알 수 있습니다.

따라서 문제 A가 쉬운 문제 B로 감소하면 A는 쉽다고 생각할 수 있습니다 (감소에 효율적인 알고리즘이 제공되므로) 어려운 문제 A가 문제 B로 감소한 경우 B도 어렵다고 추론 할 수 있습니다 ( B가 쉬우면 A도 쉬워야하기 때문에). 그러나 쉬운 문제에서 어려운 문제로 어리석게 축소 될 가능성은 여전히 ​​있지만이 경우 결론을 추론 할 수 없습니다.


8

B 또는 C가 NP Complete에 있고 NP의 모든 문제가 첫 번째 규칙을 사용하여 NP Complete 문제로 줄어드는 경우 NP 문제를 어떻게 NP 완료 할 수 없습니까?

첫 번째 규칙은 P의 문제에 관한 것입니다. NP 완전 성과는 아무 관련이 없습니다. 문제 A가 NP Complete이고 문제 B가 A로 감소하더라도 B가 NP Complete라는 의미 는 아닙니다 .

A가 B로 감소하면 B는 A로 감소합니까?

일반적으로 아닙니다.


왜 냐고요? 약간의 설명도 초보자에게 유용 할 수 있습니다. 첫 번째 답변에 대한 설명도 제공해야합니다.
nbro

-1

NPC 및 NP 문제에 대한 기본 아이디어 만 있습니다. 그러나 내가 언급하고 싶은 것은 "A가 B로 줄어들면 B는 A로 줄어든다는 것"입니다.

{2,3,4,5} 요소를 가진 세트 A와 {3,4}를 가진 세트 B를 고려하면됩니다. 따라서 A를 B로 줄일 수는 있지만 B를 A로 줄일 수는 없습니다. 대신 B가 {2,5} 요소를 얻는 경우 B를 A로 확장 할 수 있습니다.

그러나 A와 B가 동일하다면. A는 B로, B는 A로 줄일 수 있습니다.


이것은 전혀 올바른 축소 아이디어가 아닙니다. 감소는 요소를 얻거나 잃는 세트에 관한 것이 아닙니다. 오히려 Turing machine / algorithm을 사용하여 한 문제의 인스턴스를 다른 문제로 변환 할 수 있습니다.
jmite

확인. 따라서 어떤 알고리즘을 사용하여 문제가 다른 문제로 줄어들면 동일한 알고리즘을 사용하여 감소 된 출력에서 ​​문제를 다시 얻을 수 없습니다.
Naveen CS

1
나는 당신이 무슨 뜻인지 완전히 확신하지 못하지만 불가능하다고 생각합니다. 내가 실수하지 않으면, 이러한 감소는 다 대일 수 있습니다. 서브 루틴 해결 B에 대한 다항식 호출이 다항식 시간에 A를 해결할 수 있으면 A는 B로 줄어 듭니다. A의 다른 인스턴스는 같은 B의 인스턴스를 호출 할 수 있습니다.
jmite

2
문제는 의사 결정 문제가 아니라 의사 결정 문제에 관한 것입니다. 세트를 보는 것이 어떻게 유용합니까? "감소 된"이라는 단어를 사용하여 한 세트가 다른 세트의 상위 세트라는 것은 일반적인 용어가 아닙니다.
Gilles 'SO- 악마 그만해'
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.