[논문 리뷰] On 2-partitionable clutters and the MFMC property

Alejandro Flores-Méndez, Isidoro Gitler외 1명|ArXiv.org|2008. 06. 11.

Advanced Combinatorial Mathematics참고 문헌 7인용 수 4

한 줄 요약

이 논문은 새로운 초그래프 클래스인 2-분할 가능 클러터를 도입하고, 이들이 최대유량 최소커파이팅(MFMC) 성질을 만족함을 증명함으로써 Conforti-Cornuéjols 추측을 지지한다. 클러터의 간선 제거를 통한 멀티저니안 클러터의 특성화를 수립하고, 전이수를 한 단위 감소시키는 간선을 식별하는 구조적 알고리즘을 제시함으로써 $ Q_{pq}^F $ 가족에 대한 MFMC 성질을 확인한다. 또한, 관련 리스 대수의 정규성과 집합 커버링 다면체의 정수성도 유도한다.

ABSTRACT

We introduce 2-partitionable clutters as the simplest case of the class of $k$-partitionable clutters and study some of their combinatorial properties. In particular, we study properties of the rank of the incidence matrix of these clutters and properties of their minors. A well known conjecture of Conforti and Cornuéjols \cite{ConfortiCornuejols,cornu-book} states: That all the clutters with the packing property have the max-flow min-cut property, i.e. are mengerian. Among the general classes of clutters known to verify the conjecture are: balanced clutters (Fulkerson, Hoffman and Oppenheim \cite{FulkersonHoffmanOppenheim}), binary clutters (Seymour \cite{Seymour}) and dyadic clutters (Cornuéjols, Guenin and Margot \cite{CornuejolsGueninMargot}). We find a new infinite family of 2-partitionable clutters, that verifies the conjecture. On the other hand we are interested in studying the normality of the Rees algebra associated to a clutter and possible relations with the Conforti and Cornuéjols conjecture. In fact this conjecture is equivalent to an algebraic statement about the normality of the Rees algebra \cite{rocky}.

연구 동기 및 목표

• 2-분할 가능 클러터의 조합적 및 대수적 성질을 $k$-분할 가능 클러터의 하위클래스로 조사한다.
• 모든 클러터가 패킹 성질을 가진다면 멀티저니안임을 보여주는 Conforti-Cornuéjols 추측을 새로운 무한한 클러터 가족 $ Q_{pq}^F $ 에 대해 검증한다.
• 전이수를 한 단위 감소시키는 간선 제거 기반의 멀티저니안 클러터에 대한 구조적 기준을 수립한다.
• MFMC 성질과 클러터의 간선 아이디얼과 관련된 리스 대수의 정규성 간의 연결 고리를 탐색한다.

제안 방법

• 2-분할 가능 클러터를 도입하고, 그들의 인cidenc 행렬의 질량과 소수의 성질을 유도한다.
• 정리 5.2를 적용하여, 모든 $ \omega > 0 $ 에 대해 $ \tau^\omega(H) = \tau^{\omega-e}(H) + 1 $ 를 만족하는 간선 $ e $ 가 존재함으로써 멀티저니안 클러터를 특성화한다.
• 반복적으로 그러한 간선 $ e $ 를 식별할 수 있는 의사코드 알고리즘을 구축하여, $ \tau^{\omega-e}(H) = \tau^\omega(H) - 1 $ 이 되도록 보장한다.
• 집합 $ P, Q, R $ 를 통해 정의된 초그래프 $ Q_{pq}^F $ 를 사용하여, 다양한 가중치 구성 조건 하에서 그러한 간선의 존재를 입증한다.
• MFMC 성질과 리스 대수 $ R[It] $ 의 정규성 간의 대수적 결과를 적용하여, $ \widetilde{I} = I(Q_{pq}^F) $ 에 대해 $ R[\widetilde{I}t] $ 가 정규임을 보인다.
• 집합 커버링 다면체 $ Q(A(Q_{pq}^F)) $ 가 정수임을 증명함으로써 $ Q_{pq}^F $ 에 대한 MFMC 성질을 확인한다.

실험 결과

연구 질문

• RQ1 모든 패킹 성질을 가진 클러터는 모든 $ \omega > 0 $ 에 대해 $ \tau^\omega(H) = \tau^{\omega-e}(H) + 1 $ 를 만족하는 간선 $ e $ 를 갖는가?
• RQ2 2-분할 가능 클러터로 정의된 초그래프 $ Q_{pq}^F $ 는 멀티저니안인가?
• RQ3 Conforti-Cornuéjols 추측은 2-분할 가능 클러터의 가족에 대해 검증될 수 있는가?
• RQ4 클러터 $ Q_{pq}^F $ 와 관련된 리스 대수는 정규적인가? 그리고 이는 MFMC 성질과 어떻게 관련되는가?
• RQ5 이deal 초그래프에서 전이수를 한 단위 감소시키는 간선을 식별할 수 있는 구조적 알고리즘을 설계할 수 있는가?

주요 결과

• $ Q_{pq}^F $ 의 초그래프 가족은 패킹 성질을 만족하며, 정리 5.2를 통해 멀티저니안임이 증명된다.
• 명시적인 알고리즘이 제공되며, $ \tau^\omega $ 반복 동안 $ \tau^\omega $ 개의 간선을 순차적으로 구성하여 총합이 $ \omega $ 이하가 되도록 보장함으로써 MFMC 성질을 검증한다.
• 모든 $ \omega > 0 $ 에 대해 $ \tau^\omega(H) = \tau^{\omega-e}(H) + 1 $ 를 만족하는 간선 $ e \in E(Q_{pq}^F) $ 가 존재함을 확인하여, 정리 5.2의 기준을 확인한다.
• $ Q_{pq}^F $ 의 간선 아이디얼과 관련된 리스 대수 $ R[\widetilde{I}t] $ 는 정규이며, 이는 MFMC 성질과 동치이다.
• 집합 커버링 다면체 $ Q(A(Q_{pq}^F)) $ 는 정수이며, 이는 다면체의 정수성과 따라서 MFMC 성질을 확인한다.
• $ Q_{pq}^F $ 에 대해 군 $ \mathbb{Z}^{n+1}/((v_1,1),\ldots,(v_q,1)) $ 는 자유군이며, 이는 2-분할 가능 경우에서 추측 2.14를 지지한다.