방향 클리크 복잡도와 이차다항계층 완전성

초록

이 논문은 방향 그래프의 백에지 그래프를 이용해 정의되는 방향 클리크 수의 계산 문제를 다룬다. 입력으로 주어지는 정수 t가 고정된 경우는 이미 NP‑완전임이 알려져 있었지만, t를 입력에 포함시킨 일반적인 경우는 Σ₂^P‑완전임을 증명한다. 이를 위해 존재‑양자화 3‑CNF 문제에서 방향 클리크 문제로의 다항식 시간 다대일 감소를 구성하고, 여러 종류의 가젯을 설계하여 복잡도 계층의 상위 수준에 해당함을 보인다.

상세 분석

논문은 먼저 방향 그래프 G와 정점 순서 ≪에 대해 백에지 집합 BE(G,≪)를 정의하고, 이 집합이 만든 무방향 그래프 G^≪의 최대 클리크 크기를 ω(G^≪)라 한다. 방향 클리크 수 →ω(G)는 모든 가능한 정렬 ≪에 대해 ω(G^≪)의 최소값으로 정의된다. 이 정의는 기존의 전이성(t=1)과 고정된 t≥3에 대한 NP‑완전성 결과를 자연스럽게 일반화한다.

주요 기술은 Σ₂^P‑완전성을 보이기 위한 감소 과정이다. 저자는 존재‑양자화 2‑레벨 3‑CNF(∃X ∀Y φ) 문제를 선택한다. 이 문제는 Σ₂^P의 표준 완전 문제이며, 기존 결과에 의해 Existential‑2‑Level‑SAT에서 다항식 시간으로 변환 가능함이 알려져 있다.

감소는 세 종류의 가젯을 이용한다.

1. Binary Gadget: 변수 x_i의 각 등장에 대해 만든 구조로, t−2개의 완전 방향 그래프 A′와 t−1개의 완전 방향 그래프 A_F, A_T, 그리고 네 개의 특수 정점을 포함한다. 이 가젯은 정렬 ≪에 따라 백에지 그래프에 {x_i, x_i^F} 혹은 {x_i, x_i^T} 중 정확히 하나만 남게 하여, 해당 선택이 변수의 진리값을 인코딩한다.
2. Copy Gadget: 동일 변수의 두 다른 절에 등장할 때 두 Binary Gadget을 연결한다. 추가적인 완전 그래프 A₁…A₄와 중간 레이어의 복제된 Binary Gadget을 포함한다. 이 가젯은 두 등장에 대한 선택이 일관되도록 강제한다. 즉, 한 절에서 x_i가 true로 선택되면 다른 절에서도 동일한 선택이 유지된다.
3. Clause Gadget: 각 절 C_k에 대해 6개의 정점을 배치한다. 변수 x_i의 경우는 해당 Binary Gadget에서 나온 x_i와 x_i^T 혹은 x_i^F를 사용하고, 보조 변수 y_j는 두 정점 y_{k,j}^A, y_{k,j}^B를 쌍으로 만든다. 절 내 서로 다른 변수 그룹 사이에는 모든 가능한 방향의 아크를 추가해, 어느 하나라도 백에지 그래프에서 클리크를 형성하면 해당 절이 만족되지 않음을 보장한다.

전체 그래프 G는 모든 가젯을 결합하고, 서로 다른 절의 동일 부호 변수 그룹 사이에도 전부 연결을 추가한다. 이렇게 하면, 어떤 정렬 ≪가 존재해 G^≪에 크기 2c 클리크가 없다는 것은 정확히 원래 3‑CNF 식이 ∃X ¬∃Y φ 형태로 참이라는 것과 동치가 된다.

증명에서는 t를 2c−1 로 설정해, 백에지 그래프에서 발생할 수 있는 최대 클리크 크기를 제어한다. 가젯 내부의 완전 그래프 크기(t−1, t−2, t−3 등)는 충분히 크게 잡아, 클리크가 형성될 경우 반드시 가젯 내부 혹은 가젯 간 연결을 통해 2c 정점을 포함하게 만든다. 따라서 클리크 존재 여부는 변수 할당의 일관성과 절 만족 여부에 정확히 대응한다.

이러한 구성은 다항식 시간 내에 수행 가능하며, 전체 정점·아크 수는 입력 3‑CNF의 크기에 대해 다항식이다. 따라서 DirectedClique 문제는 Σ₂^P에 속하고, 위의 감소를 통해 Σ₂^P‑hard임을 보임으로써 Σ₂^P‑complete임을 증명한다.

논문은 또한 TournamentClique 문제에 대한 Σ₂^P‑완전성 추측을 제시한다. 현재는 토너먼트에 대한 높은 방향 클리크 수를 만드는 명시적 구성법이 부족하지만, 완전 방향 그래프 Q_n에 대해 →ω(Q_n)=n임을 이용해 일반 그래프에서는 충분히 높은 값을 만들 수 있음을 보인다. 마지막으로, 방향 클리크 수에 대한 상한 →ω(T)≤p·2^{|V(T)|}와 로그 수준의 하한을 논의하며, 향후 연구 방향을 제시한다.