[论文解读] Distributive Lattices, Polyhedra, and Generalized Flow

Stefan Felsner, Kolja Knauer|ArXiv.org|Nov 10, 2008

Advanced Graph Theory Research参考文献 12被引用 4

一句话总结

本文引入了D-多面体——即在逐分量最大值与最小值运算下封闭的多面体——通过其界超平面对其进行几何表征，并建立了弧参数化有向图中顶点势能与广义流之间的对偶性。核心贡献在于：在平面平衡有向图中，广义流上存在一个分配格结构，统一并推广了已知的流、定向和纽带（bonds）上的格结构。

ABSTRACT

A D-polyhedron is a polyhedron $P$ such that if $x,y$ are in $P$ then so are their componentwise max and min. In other words, the point set of a D-polyhedron forms a distributive lattice with the dominance order. We provide a full characterization of the bounding hyperplanes of D-polyhedra. Aside from being a nice combination of geometric and order theoretic concepts, D-polyhedra are a unifying generalization of several distributive lattices which arise from graphs. In fact every D-polyhedron corresponds to a directed graph with arc-parameters, such that every point in the polyhedron corresponds to a vertex potential on the graph. Alternatively, an edge-based description of the point set can be given. The objects in this model are dual to generalized flows, i.e., dual to flows with gains and losses. These models can be specialized to yield some cases of distributive lattices that have been studied previously. Particular specializations are: lattices of flows of planar digraphs (Khuller, Naor and Klein), of $α$-orientations of planar graphs (Felsner), of c-orientations (Propp) and of $Δ$-bonds of digraphs (Felsner and Knauer). As an additional application we exhibit a distributive lattice structure on generalized flow of breakeven planar digraphs.

研究动机与目标

• 将D-多面体几何表征为在逐分量最大值与最小值运算下封闭的多面体。
• 通过统一的多面体框架，统一已知的组合对象（如流、定向、纽带）上的分配格结构。
• 建立弧参数化有向图中顶点势能与广义流之间的对偶性，揭示后者上的分配格结构。
• 将理论扩展至平面平衡有向图中的广义流，证明此类流上存在新的分配格结构。
• 确定整数广义纽带形成分配格的条件，推广先前关于整数$Δ$-纽带的结果。

提出的方法

• 将D-多面体定义为在逐分量最大值与最小值运算下封闭的多面体，并在支配序下形成分配格。
• 通过其H-表示（半空间交集）表征D-多面体，建立几何与序理论之间的联系。
• 将D-多面体中的点表示为带弧参数的有向图上的顶点势能，利用网络矩阵编码约束条件。
• 建立基于边的广义流（含增益/损耗）与顶点势能之间的对偶性，证明格结构可从势能提升至流。
• 证明对于平面平衡有向图，受容量约束的广义流集合通过与$Δ$-纽带多面体的同构，构成一个分配格。
• 通过弧参数化对数变换，从$Ø$-纽带构造平衡参数化，实现广义流上格结构的建立。

实验结果

研究问题

• RQ1 D-多面体的完整H-表示（界超平面）是什么？它如何统一已知的多面体族？
• RQ2 弧参数化有向图中的顶点势能如何描述D-多面体的整数点？
• RQ3 在何种条件下，整数广义纽带的集合构成一个分配格？
• RQ4 能否在具有增益和损耗的平面有向图（即平衡有向图）中为广义流建立分配格结构？
• RQ5 D-多面体$P$的顶点格$L(P)$与$P$的几何结构之间存在何种关系？

主要发现

• 每个D-多面体均由特定的H-表示表征，其不等式来源于支配序与逐分量运算。
• 具有弧容量与环路平衡约束的有向图的整数$Δ$-纽带集合构成一个分配格。
• 存在一个双射，将整数$Δ$-纽带与满足$c_{ε} \leq N^\top p \leq c_u$且$p_i = 0$（对某个固定顶点$i$）的整数顶点势能对应起来。
• 对于平面平衡有向图，受容量约束的广义流集合构成一个分配格，其证明基于与$Δ$-纽带多面体的同构。
• 在正弧参数化下，广义流上的格结构保持不变，且通过$Ø$-纽带的对数变换，该构造具有普遍性。
• D-多面体$P$的顶点格$L(P)$捕获了其本质的几何与组合信息，其元素对应于具有特定结构特性的广义纽带。