[論文レビュー] On 2-partitionable clutters and the MFMC property

Alejandro Flores-Méndez, Isidoro Gitler+1 more|ArXiv.org|Jun 11, 2008

Advanced Combinatorial Mathematics参考文献 7被引用数 4

ひとこと要約

本稿では、2分割可能なクラッター（hypergraphs）という新しいクラスのハイパーグラフを導入し、最大フロー最小カット（MFMC）性質を満たすことを証明することで、Conforti-Cornuéjols予想を支持する。また、エッジの削除に基づくメルゲリアンクラッターの特徴付けを確立し、トランスバーサル数を1つ減少させるエッジを特定する構成的アルゴリズムを提供する。これにより、家族 $ 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$-分割可能なクラッターの部分クラスとして、その組合せ的・代数的性質を調査すること。
• 新しい無限族のクラッター $ Q_{pq}^F $ に対して、すべてのクラッターがパッケージング性質を持つならばメルゲリアンであるという Conforti-Cornuéjols 予想を検証すること。
• トランスバーサル数を1つ減少させるエッジの削除に基づく、メルゲリアンクラッターの構成的基準を確立すること。
• クラッターのエッジイデアルに関連するリース代数の正規性とMFMC性質との関係を調査すること。

提案手法

• 2分割可能なクラッターを導入し、そのインシデント行列のランクおよび小行列に関する性質を導出する。
• 定理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 2分割可能なクラッターのクラスに対して、Conforti-Cornuéjols 予想を検証できるだろうか？
• RQ4 クラッター $ Q_{pq}^F $ に関連するリース代数は正規であるだろうか？ また、これはMFMC性質とどのように関係するか？
• RQ5 理想ハイパーグラフにおいて、トランスバーサル数を1つ減少させるエッジを特定する構成的アルゴリズムを設計できるだろうか？

主な発見

• $ Q_{pq}^F $ のハイパーグラフ族はパッケージング性質を満たし、定理5.2によりメルゲリアンであることが証明されている。
• 明示的なアルゴリズムが提供され、$ \tau^\omega $ 回の反復で、合計が $ \omega $ 以下になるような $ \tau^\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を支持する。