[논문 리뷰] Partitionability to two trees is NP-complete

Dömötör Pálvölgyi|arXiv (Cornell University)|2010. 02. 20.

Limits and Structures in Graph Theory참고 문헌 1인용 수 4

한 줄 요약

이 논문은 단순 그래프의 간선 집합이 두 개의 서로소 트리로 분할될 수 있는지 여부를 판단하는 것이 NP-완전임을 증명한다. 저자들은 변수 및 절 서브그래프를_PURPLE_ 간선으로 연결한 그래프 구조를 사용하여 Not-All-Equal Satisfiability (NAE-SAT) 문제를 Partitionability to Two Trees (P2T) 문제로 감소시킨다. 이에 따라 유효한 트리 분할이 존재하는 것은 정확히 양호한 NAE-SAT 할당이 존재할 때에만 가능하다.

ABSTRACT

We show that P2T - the problem of deciding whether the edge set of a simple graph can be partitioned into two trees or not - is NP-complete.

연구 동기 및 목표

• 그래프의 간선 집합이 두 개의 간선으로 분리된 트리로 분할될 수 있는지 여부를 판단하는 문제의 계산 복잡도를 규명하는 것.
• András Frank 가 제기한, 간선을 k개의 비스패닝 트리로 분할하는 문제의 복잡도에 관한 열린 질문을 해결하는 것.
• 최대 차수 제약 조건 하에서도 문제의 NP-완전성이 유지되는지 확인하는 것.
• 특수한 그래프 서브구조를 사용하여 NAE-SAT 문제에서 P2T 결정 문제로의 날것있는 감소를 제공하는 것.
• 두 트리로의 간선 분할이 정확히 양호한 NAE-SAT 할당과 대응됨을 보여주어 등가성을 확립하는 것.

제안 방법

• 주어진 NAE-SAT 인스턴스로부터 그래프 G를 구성하며, 변수 서브그래프 L_i 는 v_i 와 v̄_i 를 통해 t_{i-1} 과 t_i 를 연결하는 사이클을 형성한다.
• 정점 u 와 w 사이에 '_PURPLE_' 간선을 도입하며, u 와 w 를 제거하면 나머지 부분과 연결되지 않는 4정점 사이클이 고립되게 하여, 각 트리가 두 인cidient 간선 중 정확히 하나를 사용하도록 강제한다.
• 각 절에 대해 C_j 는 3k개의 정점으로 구성된 절 서브그래프를 구축한다: p_j^i 와 q_j^i 로 이루어진 2k-사이클과, p_j^i 와 v_m 또는 v̄_m 에 따라 연결되는 k개의 추가 r_j^i 정점.
• 각 r_j^i 와 q_j^i 사이에 '_PURPLE_' 간선을 부착하여 트리가 r_j^i 를 통해 절 서브그래프를 빠져나가는 것을 방지함으로써, 진입 및 퇴출 경로의 제약 조건을 확보한다.
• α 에서 ω 로의 방향 있는 트리 순회를 사용하여 각 v_i 와 v̄_i 가 정확히 한 개의 트리에 속하도록 강제함으로써 변수 진리 할당을 모델링한다.
• 같은 진리값을 가진 림릿럴이 한 절에 존재할 경우 한 트리에 사이클이 발생하므로, 유효한 트리 분할이 존재하면 양호한 NAE-SAT 할당이 존재하고, 그 반대도 마찬가지로 증명한다.

실험 결과

연구 질문

• RQ1 단순 그래프의 간선 집합을 두 개의 간선으로 분리된 트리로 분할하는 문제는 계산적으로 어려운가?
• RQ2 Not-All-Equal Satisfiability (NAE-SAT) 문제는 다항 시간 내에 P2T 문제로 감소될 수 있는가?
• RQ3 P2T 문제의 NP-완전성은 최대 차수 제약 조건 하에서도 유지되는가?
• RQ4 그래프의 어떤 구조적 성질이 유효한 두 트리로의 분할이 정확히 유효한 NAE-SAT 할당과 대응되도록 보장하는가?
• RQ5 ‘_PURPLE_’ 간선은 정점 쌍에 대해 각 트리가 정확히 두 인cidient 간선 중 하나를 사용하도록 어떻게 강제하는가?

주요 결과

• P2T 문제는 NAE-SAT 로의 다항 시간 다对다 감소를 통해 NP-완전임을 증명하였다.
• 유효한 두 트리로의 간선 분할이 존재하는 것은 정확히 해당 NAE-SAT 인스턴스에 각 절에 참과 거짓 림릿럴이 모두 포함된 양호한 평가가 존재할 때에만 가능하다.
• 구성에 의해 각 변수 서브그래프 L_i 는 한 트리가 v_i 경로를 사용하고 다른 한 트리가 v̄_i 경로를 사용하도록 강제하여 진리 할당을 모델링한다.
• _PURPLE_ 간선은 각 트리가 정점 쌍에 연결된 두 간선 중 정확히 하나를 사용하도록 강제하여 사이클을 방지하고 순행 제약 조건을 확보한다.
• 절 서브그래프는 모든 림릿럴의 진리값이 동일할 경우 한 트리가 사이클을 포함하게 되어 트리 성질을 위반하게 하도록 설계되어 있다.
• 최대 차수 4 조건 하에서도 결과가 성립하며, 각 림릿럴이 최대 두 번만 나타나는 NAE-SAT-(2;2) 로의 감소를 통해 이를 보여주었다.