[논문 리뷰] Counting linear extensions of restricted posets

Kozma, László|arXiv (Cornell University)|2018. 02. 17.

Advanced Graph Theory Research참고 문헌 27인용 수 15

한 줄 요약

이 논문은 높이가 2인 포스셋, 그래프의 인cidence 포스셋, 차원이 2인 포스셋의 세 가지 제한된 클래스에 대해 선형 확장 수를 세는 문제의 #P-완전성을 입증한다. 수론적 감소와 논리 게이트를 인코딩하기 위한 컴퓨터 지원 대수계의 구축을 통해, 이러한 문제들이 구조적 제약에도 불구하고 여전히 계산적으로 어렵다는 것을 증명하며, 조합론과 계산 복잡도 이론에서 오랫동안 미해결이었던 문제들을 해결한다.

ABSTRACT

Partially ordered sets (posets) are fundamental combinatorial objects with important applications in computer science. Perhaps the most natural algorithmic task, given a size-n poset, is to compute its number of linear extensions. In 1991 Brightwell and Winkler showed this problem to be #P-hard. In spite of extensive research, the fastest known algorithm is still the straightforward O(n 2ⁿ)-time dynamic programming (an adaptation of the Bellman-Held-Karp algorithm for the TSP). Very recently, Dittmer and Pak showed that the problem remains #P-hard for two-dimensional posets, and no algorithm was known to break the 2ⁿ-barrier even in this special case. The question of whether the two-dimensional problem is easier than the general case was raised decades ago by Möhring, Felsner and Wernisch, and others. In this paper we show that the number of linear extensions of a two-dimensional poset can be computed in time O(1.8286ⁿ). The related jump number problem asks for a linear extension of a poset, minimizing the number of neighboring incomparable pairs. The problem has applications in scheduling, and has been widely studied. In 1981 Pulleyblank showed it to be NP-complete. We show that the jump number problem can be solved (in arbitrary posets) in time O(1.824ⁿ). This improves (slightly) the previous best bound of Kratsch and Kratsch.

연구 동기 및 목표

• 1991년 이래로 열려 있던 높이가 2인 포스셋에 대한 선형 확장 수를 세는 문제가 #P-완전인지 여부를 해결하기 위해.
• 비선형 조합 최적화에 기반하여 그래프의 인cidence 포스셋으로 이 결과를 확장하기 위해.
• 1988년 M"ohring가 제기한 문제이자 1997년 Felsner와 Wernisch에 의해 재검토된, 차원이 2인 포스셋에 대한 선형 확장 수를 세는 문제의 #P-완전성을 증명하기 위해.
• 차원이 2인 포스셋 문제와 약한 브루하트 순서에서 주 이상수의 크기 사이의 동치성을 확립하고, 후자의 #P-완전성을 증명하기 위해.
• 매우 구조화된 포스셋—다항시간 해법이 존재하는 부분사례와 FPRAS를 갖는다 해도—일반적으로 여전히 계산적으로 어렵다는 것을 보여주기 위해.

제안 방법

• 모듈로 p 추론과 중국인의 나머지 정리를 사용하여 #3SAT에서 목표 수세기 문제로의 감소를 수행한다.
• 복소수 위에서 논리 게이트(스왑, AndOr, TestEq)를 인코딩하기 위해 5개 변수의 비동차 다항식 대수계를 구성한다(차수 ≤5).
• Macaulay2를 사용한 컴퓨터 대수학을 통해 각 게이트당 96개의 후보 순열을 검색하여 복소수 위에서 비자명한 해를 갖는 시스템을 찾는다.
• #3SAT에서 #RigidCircuit로의 일대일 감소를 수행한 후, #RigidCircuit에서 #Bruhat(약한 브루하트 순서)로 이어지는 복잡한 감소 사슬을 구축한다.
• 컴퓨터로 생성된 게이트의 정확성을 직접 대수적 검증을 통해 확인하여 감소가 일대일임을 보장한다.
• 차원이 2인 포스셋과 약한 브루하트 순서 사이의 이중성 관계를 활용하여, 동치 조합 모델 간에 딱지 결과를 이전한다.

실험 결과

연구 질문

• RQ1 높이가 2인 포스셋에 대한 선형 확장 수를 세는 문제는 #P-완전인가?
• RQ2 그래프의 인cidence 포스셋의 선형 확장 수는 #P-완전인가?
• RQ3 1988년 M"ohring가 제안한 바와 같이, 차원이 2인 포스셋에 대한 선형 확장 수를 세는 문제는 #P-완전인가?
• RQ4 약한 브루하트 순서에서 주 이상수의 크기(즉, 버블 정렬 기준으로 주어진 순열보다 작거나 같은 순열의 수)는 다항시간에 계산될 수 있는가?
• RQ5 컴퓨터 지원 대수적 방법을 사용하여 조합론에서 #P-완전성 증명을 위한 일대일 감소를 구성할 수 있는가?

주요 결과

• 높이가 2인 포스셋의 선형 확장 수를 세는 문제인 #H2LE는 #P-완전이며, Brightwell과 Winkler의 27년 전 추측을 해결한다.
• 그래프의 인cidence 포스셋의 선형 확장 수를 세는 문제인 #IPLE는 #P-완전이며, 이는 #H2LE의 난이도를 암시한다.
• 차원이 2인 포스셋의 선형 확장 수를 세는 문제인 #D2LE는 #P-완전이며, M"ohring의 1988년 추측을 확인한다.
• 약한 브루하트 순서에서 주 이상수의 크기 문제인 #Bruhat는 #P-완전이며, 대수적 조합론의 기본 문제의 난이도를 입증한다.
• #D2LE의 #P-완전성 증명은 논리 게이트를 인코딩하는 12변수 대수계의 컴퓨터 지원 구축에 기반하며, 각각 2개, 47개, 4개의 순열에 대해 복소수 위에서 비자명한 해를 찾았다.
• 저자들은 #3SAT에서 #RigidCircuit로, 그리고 그 다음 #Bruhat로의 컴퓨터 검증된 감소를 제공하며, 후자의 단계는 각 게이트당 96개의 순열을 체계적으로 검색하여 발견된 게이트에 기반한다.