가장 일반적인 엣지 소거 다항식과 간선 두께화

논문은 먼저 Averbouch·Godlin·Makowsky가 2007년에 제안한 3변수 그래프 다항식 ξ(G;x,y,z)를 소개한다. 이 다항식은 두 주요 그래프 다항식, 즉 Tutte 다항식과 Dohmen·Pönitz·Tittmann이 정의한 2변수 색채 다항식 P(G;x,y)를 동시에 일반화한다는 점에서 큰 의미를 가진다. ξ의 정의는 식 (1)에 명시되어 있으며, A와 B라는 두 개의 서로 정점이 겹치지 않는 간선 집합을 이용해 그래프의 연결 성분 수와 B가 차지하는 정점 집합에서의 연결 성분 수를 조합한다. 다음 단계에서는 각 간선마다 별도의 변수 y_e를 부여한 보조 다항식 ψ(G;x,ȳ,z)를 정의한다(식 (2)). ψ는 ξ와 변수 치환을 통해 직접 연결될 수 있다. Lemma 1은 ψ와 ξ 사이의 정확한 치환 관계를 제시한다. 구체적으로 ψ(G;x,y,z·(x−1)(y−1))=ξ(G;x,y,z)이며, 반대로 ξ(G;x,y,xy)=ψ(G;x,y,z)이다. 이 관계는 ξ의 복잡도 분석을 ψ를 통해 수행할 수 있게 만든다. 그 후, 논문은 간선 두 개를 복제한 그래프 G_{ee}에 대한 ψ의 변환 규칙을 제시한다. Lemma 2에 따르면 ψ(G_{ee};x,ȳ,z)=ψ(G;x,Ȳ,z)이며, 여기서 Ȳ는 복제된 두 간선에 대한 변수 y_{e₁}, y_{e₂}를 이용해 Y_e=(1+y_{e₁})(1+y_{e₂})−1 로 정의된다. 증명은 (A,B) 쌍의 전체 집합 M(G)와 M(G_{ee}) 사이에 전단사 매핑 τ를 구성하고, 각 경우에 대해 가중치 w가 보존되는지를 직접 계산한다. 이 기본적인 변환을 k번 반복하면 Theorem 3이 도출된다. G_k를 G의 k‑두께화 그래프(각 간선을 k개의 복사본으로 교체)라 하면, ψ(G_k;x,y,z)=ψ(G;x,(1+y)^k−1,z)이며, ξ(G_k;x,y,z)=ξ(G;x,(1+y)^k−1, z·(1+y)^k−1·y)이다. 즉, 간선 두께화는 y 변수에 대한 거듭제곱 치환으로 완전히 설명될 수 있다. 이는 Tutte 다항식에서 알려진 “parallel edge reduction”과 동일한 효과를 ξ에서도 재현한다는 중요한 사실이다. 복잡도 측면에서는 먼저 기존 연구에서 P(G;x,y)의 계산이 거의 모든 유리점 (x,y)에서 #P‑hard임을 알려주는 Theorem 4를 인용한다. 이 결과는 y≠0, (x,y)∉{(1,1),(2,2)}인 경우에 적용된다. 논문은 ξ와 ψ 사이의 치환 관계를 이용해 ξ(G;x,−1,x−y)=P(G;x,y)라는 식을 도출하고, 따라서 ξ의 특정 점에서의 계산이 P‑hard 문제와 동등함을 보인다. Theorem 5는 최종적으로 (x,y,z)∈ℚ³에서 x≠0, z≠−xy, (x,z)∉{(1,0),(2,0)}, y∉{−2,−1,0}인 경우 ξ(G;x,y,z)의 계산이 #P‑hard임을 증명한다. 증명 흐름은 다음과 같다. 첫째, ξ의 특정 점에서 P와 동일한 값을 갖는다는 사실을 이용해 P‑hard 문제를 ξ‑hard 문제로 환원한다. 둘째, Theorem 3을 통해 y 변수에 대한 거듭제곱 치환을 무한히 적용할 수 있음을 보이고, 이를 통해 임의의 y′∈ℚ에 대해 ψ(G;x,y′,z)를 평가할 수 있다. 셋째, ψ와 ξ 사이의 치환 관계를 다시 사용해 ξ(G;x,y,z)를 임의의 (x,y,z) 조건 하에 평가하는 것이 #P‑hard임을 결론짓는다. 이 논문은 두께화 연산이 ξ에 미치는 효과를 정확히 수식화함으로써, 복잡도 경계가 거의 전 영역에 걸쳐 확장된다는 중요한 통찰을 제공한다. 또한, “점‑대‑점” 환원 기법을 다변수 그래프 다항식에 적용하는 체계적인 방법론을 제시하여, 향후 다른 일반화된 그래프 다항식들의 복잡도 분석에도 활용될 수 있는 기반을 마련한다.