복잡도와 결합: 보강·구속·강화 문제의 NP‑Hard 증명

초록

본 논문은 그래프의 지배수 변화를 다루는 세 가지 파라미터(보강(bondage), 전체 보강(total bondage), 강화(reinforcement))에 대해, 각각의 결정 문제가 3‑SAT으로부터 다항식 시간에 귀환될 수 있음을 보임으로써 NP‑Hard임을 증명한다. 이를 위해 변수와 절을 각각 삼각형·경로·특수 서브그래프와 연결시키는 그래프 변환을 설계하고, 지배집합의 최소 크기와 해당 파라미터 사이의 관계를 일련의 정리를 통해 엄밀히 분석한다.

상세 분석

논문은 먼저 그래프 이론의 기본 용어를 정리하고, 지배집합(γ‑set), 전체 지배집합(γₜ‑set), 보강수(b(G)), 전체 보강수(bₜ(G)), 강화수(r(G))를 정의한다. 기존 연구에서 지배수 자체가 NP‑Complete임이 알려져 있음에도 불구하고, 보강·전체 보강·강화 문제의 복잡도는 아직 명확히 규명되지 않았다. 저자는 이 세 문제를 모두 NP‑Hard로 분류하기 위해 공통적인 귀환 전략을 사용한다. 핵심 아이디어는 3‑SAT 인스턴스를 입력으로 받아, 해당 인스턴스가 만족가능하면 특정 그래프 G에서 b(G)=1, bₜ(G)=1, r(G)=1이 되도록 하는 것이다.

보강 문제의 경우, 변수 uᵢ마다 삼각형 Tᵢ={uᵢ, ¬uᵢ, vᵢ}를 만들고, 절 Cⱼ={xⱼ,yⱼ,zⱼ}마다 정점 cⱼ와 xⱼ, yⱼ, zⱼ와의 연결을 추가한다. 또한 s₁‑s₂‑s₃ 경로를 삽입하고 s₁, s₃을 모든 cⱼ와 연결한다. 이때 k=1로 설정한다. 논문은 네 개의 주장(γ(G)≥n+1, γ(G)=n+1 ⇔ C가 만족가능, 모든 삭제된 간선에 대해 γ(G−e)≤n+2, γ(G)=n+1 ⇔ b(G)=1)을 차례로 증명함으로써, G의 보강수가 1인 경우와 3‑SAT의 만족가능성 사이에 정확히 일대일 대응이 있음을 보인다.

전체 보강 문제에서는 각 변수에 대해 네 정점 {uᵢ, ¬uᵢ, vᵢ, vᵢ′}와 네 개의 간선을 가진 서브그래프 Hᵢ를 구성하고, 절 정점 cⱼ와 연결한다. 추가로 다섯 정점으로 이루어진 H를 삽입하고, s₁, s₃을 모든 cⱼ와 연결한다. 여기서도 k=1이며, γₜ(G)≥2n+2, γₜ(G)=2n+2 ⇔ C가 만족가능, 그리고 γₜ(G)=2n+2 ⇔ bₜ(G)=1을 보인다.

강화 문제는 보강과 대칭적인 구조를 이용해, 간선을 추가했을 때 지배수가 감소하는 경우를 3‑SAT의 해와 연결한다. 구체적인 그래프 구성은 보강과 유사하지만, 추가 가능한 간선 집합을 제한함으로써 r(G)=1이 되도록 만든다.

전체적으로 저자는 각 파라미터에 대해 “γ(·) 혹은 γₜ(·)의 최소값이 특정 값과 일치한다면 해당 파라미터가 1이다”라는 공통된 논리 구조를 활용한다. 이를 통해 3‑SAT → {보강, 전체 보강, 강화}의 다항식 귀환을 성공적으로 수행하고, 세 문제 모두 NP‑Hard임을 확립한다. 논문의 증명은 그래프 구성 단계에서 정점·간선 수가 원래 3‑SAT 인스턴스 크기에 선형적으로 비례함을 명시하여, 귀환이 실제 다항 시간임을 보장한다. 또한, 각 주장마다 지배집합의 구조적 특성을 세밀히 분석함으로써, 그래프 이론과 복잡도 이론을 효과적으로 연결한다는 점이 학술적 의의가 크다.