모든 모서리가 단위 용량을 갖는 그래프를 고려하십시오. 다항식 시간에서 최소 컷을 찾을 수 있습니다.
용량을 늘릴 수 있다고 가정 해 봅시다. 가장자리를 무한대로 (가장자리 양쪽의 노드를 병합하는 것과 동일). 최적의 세트를 선택하는 최적의 방법은 무엇입니까 최소 컷을 최대화하기 위해 가장자리 (누가 용량이 무한대로 증가 할 것인가)?
모든 모서리가 단위 용량을 갖는 그래프를 고려하십시오. 다항식 시간에서 최소 컷을 찾을 수 있습니다.
용량을 늘릴 수 있다고 가정 해 봅시다. 가장자리를 무한대로 (가장자리 양쪽의 노드를 병합하는 것과 동일). 최적의 세트를 선택하는 최적의 방법은 무엇입니까 최소 컷을 최대화하기 위해 가장자리 (누가 용량이 무한대로 증가 할 것인가)?
답변:
정리. 게시물의 문제는 NP-hard입니다.
"포스트의 문제"라는 말은 그리고 정수 , 선택하다 수정 된 그래프에서 최소 자르기를 최대화하기 위해 용량을 높이기 위해 모서리
아이디어는 Max Cut을 줄이는 것입니다. 대략, 주어진 그래프 최대 절단 크기가 있습니다 용량을 늘릴 수있는 경우에만 결과 그래프에 최소 자르기 크기가 있도록 모서리 . 아이디어는 모서리는 결과 그래프에 유한 용량 컷이 하나만 있도록하기에 충분하며 원하는 컷이 될 수 있습니다.
주어진 아이디어를 얻으려면이 아이디어가 효과가 없습니다. 에 의해 유도 된 하위 그래프가 필요합니다. 과 각각 연결됩니다. 그러나 적절한 가젯을 사용하여이 문제를 해결할 수 있습니다.
증명. 연결된 그래프가 주어지면연결된 절단 을 절단 으로 정의 그에 따라 하위 그래프가 그리고 각각 연결되어 있습니다. Max Connected Cut 을 정의 하면 (연결된 그래프에서) 절단을 가로 지르는 모서리 수를 최대화하는 연결된 절단을 찾는 문제가됩니다.
Max Connected Cut은 게시물의 문제를 줄입니다. 그런 다음 비가 중 Max Cut이 Max Connected Cut으로 감소 함을 보여줍니다.
기본 1. Max Connected Cut은 포스트에 정의 된 문제에 대한 폴리 시간을 줄입니다.
증명. Max-Connected-Cut 인스턴스가 주어짐, 허락하다 . 명예를 증명하기 위해 다음을 증명합니다.
제 1 항 : 모든 들어연결된 커트가 있습니다 에 적어도 용량 , IFF는 올릴 수 있습니다 가장자리 용량 결과 그래프가 최소한 최소 컷 용량을 갖도록 무한대로 .
경우에만 : 연결된 컷이 있다고 가정 적어도 용량 . 허락하다 과 각각에 걸쳐있는 하위 트리 여야합니다. 과 그런 다음 가장자리의 용량을 과 . (참고.) 그래프에 남은 유한 용량 컷은 최소 용량 결과 그래프에는 최소한 최소 절단 용량이 있습니다. .
IF : 모금이 가능하다고 가정 가장자리 용량 결과 그래프에 최소한 최소 컷 용량이 있도록 . 에 의해 형성된 하위 그래프를 고려상승 된 가장자리. 일반성을 잃지 않으면 서이 하위 그래프는 비 주기적이라고 가정하십시오. (그렇지 않으면 상승 된 모서리주기에서 한쪽 모서리를 "고정 해제"하고 대신 하위 그래프에서 연결된 두 구성 요소를 연결하는 상승되지 않은 모서리를 발생시킵니다. 결과 그래프에서 최소 컷만 증가시킵니다.)상승 모서리의 하위 그래프에는 두 개의 연결된 구성 요소가 있습니다. 과 결과 그래프에서 유일한 유한 용량 컷은 . 그리고이 컷은 최소한 용량이 있습니다원래 그래프에서와 같이
이것은 주장과 주장을 증명합니다. (QED)
완전성을 위해 비가 중 Max Cut을 줄임으로써 Max Connected Cut이 NP-complete임을 알 수 있습니다.
Lemma 2. Unweighted Max Cut은 폴리 시간을 Max Connected Cut으로 줄 입니다.
증명. 모든 정수그래프를 정의 두 경로로 구성 과 길이마다 각 정점의 모서리가 각 정점에 . 우리는 최대 컷 인을 확인하기 위해 독자에게 연습으로 남겨 둡니다. ( 한쪽에 다른) 크기가 다른 컷의 크기가 .
여기 축소가 있습니다. 비가 중 Max Cut 인스턴스가 주어짐그래프를 구성 다음과 같이. 허락하다. 허락하다. 추가 그래프 위에서 정의한 두 경로 과 ). 각 정점에서 한 꼭지점에 가장자리를 추가 그리고 한 정점에 또 다른 가장자리 . 이것은 감소를 정의합니다. 마치기 위해, 우리는 그것이 옳다는 것을 증명합니다 :
청구항 2 : 어떤을 위해컷이있다 에 적어도 용량 , IFF에 연결된 컷이 있습니다 최소한 크기 .
경우에만 : 어떤 컷이 주어지면 에 적어도 용량 연결된 컷을 고려하십시오. 에 . 이 연결 컷 최소한 컷 가장자리 에 , 플러스 가장자리 에 , 플러스 의 가장자리 에 .
IF : 연결된 컷이 있다고 가정 최소한 크기 . 과 컷의 반대편에 있습니다. (그렇지 않으면 두 번째로 큰 컷 인 이후 최대 인하 가장자리 , 절단 된 총 모서리 수는 최대 .) 허락하다 꼭짓점을 나타내 다 컷의 측면에 . 그런 다음 컷의 가장자리 에 , ...에서 에 따라서 적어도 ...에서 에 .
이것은 주장과 Lemma 2를 증명합니다. (QED)
Lemmas 1과 2에서 비가 중 Max Cut은 NP-hard이므로 포스트의 문제는 NP-hard입니다.