[논문 리뷰] Expressing Combinatorial Optimization Problems by Systems of Polynomial Equations and the Nullstellensatz

Jesús A. De Loera, J. Lee외 2명|ArXiv.org|2007. 06. 05.

Graph Labeling and Dimension Problems참고 문헌 35인용 수 15

한 줄 요약

이 논문은 복소수 또는 실수 위에서 0차원 체계로 모델링함으로써, 최장 순환, 최대 평면 부분그래프, 최소 간선 색칠과 같은 조합 최적화 문제를 위한 새로운 다항식 체계 인코딩을 제안한다. 주요 기여는 12개 이하 정점을 가진 모든 비3-색칠 가능한 그래프에 대해 비3-색칠 가능성에 대한 힐베르트 노울스텐제 정리 증명서의 최소 차수가 4 이하로 유 bounds됨을 증명한 것이다. 이는 많은 이러한 인스턴스에 대해 비가능성의 짧은 증명이 존재함을 시사한다.

ABSTRACT

Systems of polynomial equations over the complex or real numbers can be used to model combinatorial problems. In this way, a combinatorial problem is feasible (e.g. a graph is 3-colorable, hamiltonian, etc.) if and only if a related system of polynomial equations has a solution. In the first part of this paper, we construct new polynomial encodings for the problems of finding in a graph its longest cycle, the largest planar subgraph, the edge-chromatic number, or the largest k-colorable subgraph. For an infeasible polynomial system, the (complex) Hilbert Nullstellensatz gives a certificate that the associated combinatorial problem is infeasible. Thus, unless P = NP, there must exist an infinite sequence of infeasible instances of each hard combinatorial problem for which the minimum degree of a Hilbert Nullstellensatz certificate of the associated polynomial system grows. We show that the minimum-degree of a Nullstellensatz certificate for the non-existence of a stable set of size greater than the stability number of the graph is the stability number of the graph. Moreover, such a certificate contains at least one term per stable set of G. In contrast, for non-3- colorability, we found only graphs with Nullstellensatz certificates of degree four.

연구 동기 및 목표

• 최장 순환, 최대 평면 부분그래프, 간선 색칠과 같은 어려운 조합 최적화 문제를 위한 새로운 다항식 체계 인코딩을 개발하기 위해.
• 이러한 문제의 비가능한 인스턴스에 대한 힐베르트 노울스텐제 정리 증명서의 차수를 조사하기 위해.
• P ≠ NP 라는 가정 하에, 이러한 증명서의 최소 차수가 문제 크기와 함께 증가하는지 여부를 판단하기 위해.
• 안정 집합과 노울스텐제 정리 증명서 사이의 구조적 관계를 그래프 이론에서 탐색하기 위해.
• 실험적으로 비3-색칠 가능한 그래프가 고차수의 노울스텐제 정리 증명서가 필요한지, 아니면 짧은 증명서(예: 차수 4)로도 충분한지 검증하기 위해.

제안 방법

• 그래프 내에서 최장 순환, 최대 평면 부분그래프 또는 k-색칠 가능한 부분그래프의 존재를 나타내는 다항식 방정식의 0차원 체계를 구성하기 위해.
• 노드 및 간선 상태를 나타내는 변수를 사용하여(예: y_i는 정점 i가 순환에 포함됨을 의미), 인접성과 기수 제약 조건을 다항식 항등식을 통해 강제하기 위해.
• 해결책이 존재하지 않을 경우 비가능성을 증명하기 위해 힐베르트 노울스텐제 정리를 적용하고, 증명 복잡도의 척도로 차수를 사용하기 위해.
• 비3-색칠 가능한 그래프에 대해 최소 차수의 노울스텐제 정리 증명서를 찾기 위해 계산 기반 대수 시스템을 활용하기 위해.
• 가용성 평가 및 증명서 탐색을 이끄는 데 사용하기 위해 임계값 p = 0.4를 가진 확률적 선형 대수 알고리즘을 적용하기 위해.
• 특히 안정 집합과 꽃 그래프, 케네저 그래프와 같은 그래프 가족과의 관련성에서 증명서의 구조적 성질(항 수와 차수 포함)을 분석하기 위해.

실험 결과

연구 질문

• RQ1 P ≠ NP 라는 가정 하에, 비3-색칠 가능성에 대한 노울스텐제 정리 증명서의 최소 차수는 그래프 크기와 함께 증가하는가?
• RQ2 그래프의 안정 수와 그 수를 초월하는 안정 집합이 존재하지 않는다는 사실에 대한 노울스텐제 정리 증명서의 차수 사이에 정확한 관계는 무엇인가?
• RQ3 비3-색칠 가능한 그래프에 대해 짧은 차수의 노울스텐제 정리 증명서(예: 차수 4)를 체계적으로 구성할 수 있는가?
• RQ4 실험적으로 관찰된 것처럼, 12개 이하 정점을 가진 모든 비3-색칠 가능한 그래프가 차수 4의 노울스텐제 정리 증명서를 갖는가?
• RQ5 노울스텐제 정리 증명서의 항 수는 그래프 내 안정 집합의 수와 어떻게 관련이 있는가?

주요 결과

• 안정 집합의 크기 초과의 안정 집합이 존재하지 않는다는 사실에 대한 노울스텐제 정리 증명서의 최소 차수는 정확히 그 안정 수와 같다.
• 각 증명서는 그래프 내부의 안정 집합 수만큼의 항을 최소한 포함하며, 이는 직접적인 조합적 대응 관계를 시사한다.
• 시험한 모든 비3-색칠 가능한 그래프(진 그래프, 그로츠흐 그래프, 케네저 그래프, 꽃 그래프 포함) 중 12개 이하 정점을 가진 그래프들에 대해 최소 차수의 노울스텐제 정리 증명서는 정확히 4이다.
• 시험한 가족 내에서 차수 4를 초월하는 증명서를 가진 비3-색칠 가능한 그래프의 예가 발견되지 않아, 비3-색칠 가능성에 대한 짧은 증명이 일반적일 것임을 시사한다.
• 증명서의 항 수는 안정 집합의 수에 따라 증가하며, 이는 증명서 복잡도와 그래프 구조 사이에 강력한 연결 고리를 확인한다.
• 실험 결과는 일부 어려운 문제는 고차수 증명서가 필요할 수 있지만, 많은 인스턴스(특히 작은 인스턴스)는 저차수 증명을 허용한다는 추측을 지지한다.