그래프 최대 PCSP의 이분법적 분류와 삼각형 자유 서브그래프 개선

초록

본 논문은 두 그래프 G와 H 사이의 최대 약속 제약 만족 문제(MaxPCSP)를 연구한다. UGC(Unique Games Conjecture) 하에서 G가 이분 그래프이고 H가 삼각형을 포함할 때만 1‑근사(완전) 알고리즘이 존재함을 보이며, 그 외의 경우는 NP‑hard임을 증명한다. 또한, G에 이분 서브그래프가 ρ개의 에지를 포함한다면, 삼각형 자유 서브그래프를 최소 0.8823 ρ개의 에지까지 효율적으로 찾는 새로운 SDP 기반 알고리즘을 제시한다.

상세 분석

논문은 먼저 그래프 동형사상과 약속 CSP(PCSP)의 개념을 정형화한다. 두 고정 그래프 G와 H에 대해, 입력 그래프 X가 G에 대해 ρ‑비율의 에지를 보존하는 부분 동형을 갖는다고 가정한다(즉, X에 ρ개의 “강한” 제약을 만족하는 해가 존재). 목표는 X를 H에 매핑하여 동일한 ρ‑비율을 유지하는 “약한” 해를 찾는 것이다. 이 문제를 MaxPCSP(G,H)라 정의하고, 1‑근사 가능성을 조사한다.

주요 정리(Theorem 1)는 UGC를 전제로 다음과 같은 이분법을 제시한다.

1. G가 이분 그래프이며 H가 삼각형(K₃)을 포함하면 MaxPCSP(G,H)는 1‑근사 가능하다. 즉, 강한 제약을 ρ‑비율 만족하는 해가 주어지면, 약한 제약을 동일 비율로 만족하는 해를 다항시간에 찾을 수 있다.
2. 위 조건을 만족하지 않을 경우, 1‑근사 자체가 UGC 하에서 NP‑hard가 된다.

이 결과는 기존의 Brakensiek‑Guruswami의 “모든 이분 그래프는 PCSP가 tractable” conjecture와는 차별된다. 특히 G가 이분 그래프이지만 H가 삼각형을 포함하지 않을 때는 1‑근사가 불가능함을 보이며, 이는 PCSP와 MaxPCSP 사이의 복잡도 차이를 명확히 한다.

정리의 증명은 두 부분으로 나뉜다.

• 트랙터블 케이스: G가 이분 그래프이고 H에 K₃가 존재할 때, 저자들은 SDP(반정밀도)와 라운딩 기법을 결합한 알고리즘을 설계한다. 특히 MaxPCSP(K₂, 𝔊₃) 문제(여기서 𝔊₃는 모든 유한 삼각형 자유 그래프의 직접합)에서 0.8823 ρ의 에지를 보장하는 새로운 라운딩을 제시한다. 이 라운딩은 Goemans‑Williamson의 “랜덤 하이퍼플레인”과 “긴 에지”와 “짧은 에지”를 구분하는 두 단계 전략을 확률적으로 섞어 사용한다. 삼각형이 존재하려면 세 에지의 각도가 모두 작아야 하는데, SDP 해에서 긴 에지는 각도가 2π/3보다 크므로 자동으로 삼각형을 방지한다. 따라서 긴 에지만 선택해도 충분히 많은 에지를 보존하면서 삼각형 자유성을 유지한다.
• 하드니스 케이스: G가 비이분이거나 H에 K₃가 없을 때는, Håstad의 3‑bit PCP와 Unique Games의 난이도 전이 기법을 이용해 1‑근사 자체가 UGC 하에서 NP‑hard임을 보인다. 특히 MaxPCSP(K₂, 𝔊₃)의 경우, (25/26 + ε) ρ 이상의 삼각형 자유 서브그래프를 찾는 문제조차도 PCP 기반의 감소를 통해 NP‑hard임을 증명한다.

또한, 논문은 MaxPCSP(K₂, K₃) 문제에 대해 1‑근사 알고리즘을 제시한다. 이는 Goemans‑Williamson SDP와 Frieze‑Jerrum의 Max‑3‑Cut 라운딩을 결합한 것으로, 3‑색상 그래프에 대한 약한 제약을 완전하게 만족시키는 해를 다항시간에 찾는다.

전체적으로, 저자들은 SDP 기반 라운딩 기법을 정교히 조정함으로써 기존 Max‑Cut(0.878…)보다 높은 0.8823의 비율을 달성하고, 그래프 PCSP의 복잡도 지형을 UGC 하에서 명확히 구분한다. 이 결과는 그래프 색칠, 삼각형 자유 서브그래프, 그리고 일반적인 MaxPCSP 문제에 대한 새로운 알고리즘적·복잡도적 통찰을 제공한다.