k-子模函数极小值的紧表示

@文章{Hirai2016ACR，title={k-子模函数极小值的紧表示}，作者＝{Hiroshi Hirai和Taihei Oki}，journal={组合优化杂志}，年份={2016年}，体积={36}，页数={709-741}，网址={https://api.semanticscholar.org/CorpusID:52155154}}
本文用不一致对偏序集（PIP）建立了k-子模函数的极小值的紧表示，它是Ando–Fujishige的符号偏序集表示的一个推广，用于求双子模函数极小值。
关于施普林格的观点
[PDF]语义阅读器

3引文

模半格的紧表示及其应用

建立了一个Birkhoff型表示定理，该定理表示每个模半格在具有附加关系的偏序集中与理想族同构，称为PPIP（不一致对的射影偏序集）。

闭包系统中最大一致闭集的枚举

证明了在双原子原子闭包系统中，如果最小生成元遵循原子模格中成立的独立条件，则MCCEnum可以在输出拟多项式时间内求解。

在线k-子模最大化的无重算法

本文基于Blackwell逼近定理和在线线性优化，提出了一种多项式时间算法来实现$k$-子模最大化的在线最大化，该算法在近似遗憾中获得了一个紧近似因子。

37参考文献

关于最小化k-子模函数

定义了k-子模多面体，证明了Min-Max-Theorem，给出了构造多面体顶点的贪婪算法，推广了已知的子模和双子模函数的Min-Max定理。

最小费用多流问题的L可扩函数和近似缩放算法

改进的k-子模函数最大化逼近算法

hardness结果表明，这些算法是渐近紧的，并且该方法被扩展为提供最大化偏双模函数的常因子近似算法，这些算法最近被引入作为双模函数的推广。

Potts模型、参数Maxflow和K-子模函数

显示了将运行时最大流计算减少到O（log k）的技术（或一个参数最大流计算），这允许加速未标记部分的后续alpha展开，也可以像用于时间关键型应用程序一样使用。

关于k-子模松弛

根据多态性，对允许k-子模松弛的函数和组合$O（（k^n）^2）$time算法进行了表征，以找到$k$-子模松弛或确定$k$--。。。

半完整性、LP分支和FPT算法

提供了一类具有所需性质的更广泛的半积分多面体，并给出了一系列新的和改进的FPT算法，包括带标记集∑的节点删除唯一标记覆盖的O*（|∑|2k）时间算法和群反馈顶点集的O时间算法，包括仅由oracle访问提供组的设置。

关于多重流锁定定理的一点注记

本文讨论了无向多流（多商品流）理论。终端集为T的网络中的多流可以看作是任何非空本征的单个商品流（A，T\A）…

事件结构的精确标记问题：反例

给出了1991年Rozoy和Thiagarajan的一个猜想的反例，该猜想断言任何具有有限度的（相干）事件结构都允许具有有限个标签的标签。

多端切割的复杂性

结果表明，只要$k=3$，问题就变成NP-hard，但对于任何固定$k$的平面图，如果平面问题是NP-难的，但是如果£k$不固定，则可以在多项式时间内求解。

组合理论杂志，A辑62，324-360（1993）符号偏序集*

    数学
  • 1990