숙제 문제라는 점에서 시작 하겠습니다. 조언과 관련 관찰 만 제공하십시오 . 직접적인 답변은 없습니다 . 그 말로, 내가보고있는 문제는 다음과 같습니다.
HALF-CLIQUE = { | 는 적어도 노드 를 가진 완전한 서브 그래프를 갖는 무 방향 그래프 이며, 여기서 n은 } 의 노드 수입니다 . HALF-CLIQUE가 NP- 완료임을 보여줍니다.G N / 2 G
또한 다음을 알고 있습니다.
- 이 문제의 관점에서, clique 는 입력 그래프의 방향이없는 서브 그래프로 정의되며, 두 노드마다 에지에 의해 연결됩니다. -clique는 포함 파벌 인 노드를.
- 우리 교과서에 따르면 Michael Sipser의 " 계산 이론 입문 ", 268 페이지, CLIQUE = { | 는 -clique}가 NP 인 무 방향 그래프입니다.G K
- 또한 동일한 출처 (283 페이지)에 따르면 CLIQUE는 NP-Complpete에 있습니다 (따라서 NP에도 있음).
나는 여기에 대답의 핵심을 가지고 있다고 생각하지만, 무엇이 잘못되었는지 또는 대답과 관련이있을 수있는 관련 포인트에 대한 표시를 사용할 수 있습니다 . 이것이 제가 지금까지 가지고있는 일반적인 아이디어입니다.
먼저 인증서는 단순히 의 HALF-QLIQUE 일 것입니다 . 이제 내가해야 할 일은 CLIQUE (NP 완료라고 함)에서 HALF-CLIQUE로 다항식 시간 단축 인 검증기를 작성하는 것 같습니다. 내 생각은 이것이 HALF-CLIQUE에 대한 추가 제약 조건으로 CLIQUE에 대한 책에서 튜링 머신 검증기를 실행하는 튜링 머신을 생성하여 수행된다는 것입니다.
이것은 나에게 맞는 것처럼 들리지만, 나는이 주제에 대해 아직 자신을 믿지 않습니다. 다시 한 번, 이 문제가 숙제라는 것을 모두에게 상기시켜 드리고자 하므로 질문에 답변하지 않도록 노력하십시오. 이것에 미치지 못하는 지침은 가장 환영받을 것입니다!