금지된 구성의 예측값 찾기가 NP 어려움

초록

본 논문은 고정된 초그래프 F에 대해 정점 수 m인 초그래프가 F를 포함하지 않을 때 가질 수 있는 최대 변(edge) 수인 forb(m,F)의 점근적 성장률을 예측하는 Anstee‑Sali 추측이 옳다고 가정하더라도, 그 성장률을 실제로 계산하는 문제가 NP‑hard임을 증명한다. 이를 위해 일반적인 초그래프 구성 문제를 제한된 형태의 forb 문제로 환원하고, 복잡도 이론과 조합론적 기법을 결합한다.

상세 분석

논문은 먼저 forb(m,F) 함수의 정의와 Anstee‑Sali 추측이 제시하는 형태 Θ(m^k) (여기서 k 는 F 의 구조에 의해 결정되는 정수) 를 정리한다. 기존 연구에서는 특정 F 에 대해 정확한 지수 k 와 상수 계수를 구하는 것이 가능했지만, 일반적인 F 에 대해서는 아직 알려지지 않았다. 저자들은 이 문제를 “예측값 결정 문제”(Prediction Decision Problem)라 명명하고, 입력으로 초그래프 F와 정수 t 를 받아 forb(m,F) 의 점근적 차수가 t 이상인지 여부를 묻는 결정 문제로 형식화한다.

복잡도 측면에서, 저자들은 유명한 NP‑완전 문제인 k‑Clique 문제와 Set Packing 문제를 이용해 forb 문제로 환원한다. 핵심 아이디어는 F 를 적절히 설계하여, F 를 포함하지 않는 초그래프가 존재한다면 그 초그래프의 변 수가 k‑Clique 의 존재 여부와 일대일 대응한다는 점이다. 구체적으로, 주어진 그래프 G 에 대해 각 정점과 간선을 초그래프의 변으로 변환하고, F 를 “불가능한” 패턴(예: 특정 3‑uniform 초그래프) 으로 정의한다. 이렇게 구성된 F 에 대해 forb(m,F) 의 성장률이 Θ(m^{k}) 인지 여부는 G 에 k‑Clique 이 존재하는지와 동치가 된다.

이 환원 과정을 통해, 만약 Anstee‑Sali 추측이 옳다면 forb(m,F) 의 차수를 정확히 계산하는 것이 k‑Clique 문제와 동등한 난이도를 가진다. 따라서 차수를 구하는 문제는 NP‑hard이며, 추측이 참이든 거짓이든 상관없이 해당 예측값을 찾는 알고리즘이 다항 시간 내에 존재한다는 증거는 없다는 결론에 도달한다.

또한 저자들은 복잡도 계층을 한 단계 더 올려, 차수를 근사하는 문제조차도 APX‑hard 임을 보인다. 이를 위해 Set Cover 문제의 근사 난이도 결과를 이용해, 차수 k 를 ε‑근사로 구하는 것이 불가능함을 증명한다. 이러한 결과는 Anstee‑Sali 추측이 조합론적 구조를 정확히 설명한다 하더라도, 실제 계산적 활용에는 심각한 제한이 있음을 시사한다.

마지막으로, 논문은 몇 가지 특수한 F (예: 단일 변, 완전 r‑uniform 초그래프 등)에 대해서는 차수를 다항 시간에 결정할 수 있는 알고리즘을 제시하며, 이러한 경우는 추측이 제공하는 일반적인 형태와 일치한다는 점을 확인한다. 그러나 일반적인 경우에 대한 NP‑hardness 결과는 향후 연구가 복잡도 이론과 조합론을 동시에 고려해야 함을 강조한다.