[论文解读] Inapproximability of Treewidth, One-Shot Pebbling, and Related Layout Problems

Per Austrin, Toniann Pitassi+1 more|arXiv (Cornell University)|Sep 22, 2011

Advanced Graph Theory Research参考文献 20被引用 11

一句话总结

该论文在小集合扩张（SSE）猜想下，首次建立了树宽、路径宽、单次投石、及相关图布局问题的不可近似性结果。通过一种新颖的归约框架，证明了所有这些问题在任何常数因子内均难以近似，为多项式时间常数因子近似算法在这些基础图参数上可能不存在提供了强有力证据。

ABSTRACT

We study the approximability of a number of graph problems: treewidth and pathwidth of graphs, one-shot black (and black-white) pebbling costs of directed acyclic graphs, and a variety of different graph layout problems such as minimum cut linear arrangement and interval graph completion. We show that, assuming the recently introduced Small Set Expansion Conjecture, all of these problems are hard to approximate within any constant factor.

研究动机与目标

• 解决长期悬而未决的开放问题：在小集合扩张猜想下，树宽是否可多项式时间常数因子近似。
• 将不可近似性结果从唯一游戏猜想扩展至涉及全局图结构（如扩张性）的问题。
• 在单一猜想下统一各类图布局问题（树宽、路径宽、投石、线性排列与区间完成）的可近似性状态。
• 首次为单次黑投石与黑白投石问题提供不可近似性结果。
• 探索小集合扩张猜想作为唯一游戏猜想的更强、更自然的替代基础，用于证明扩张敏感型问题的不可近似性。

提出的方法

• 通过保持实例结构特性的构造，将小集合扩张问题归约至树宽与路径宽。
• 设计基于金字塔的有向无环图（DAG）构造，以模拟投石策略，确保归约图中的投石配置对应于原始图中的有效配置。
• 使用标准形式投石策略来限制所需石子数量，利用金字塔图中的不相交对角线集合以强制建立下界。
• 应用最大值与求和聚合器来建模不同的布局代价函数，从而实现对线性排列与完成问题的泛化。
• 通过在对角线顶点集合上的归纳论证，证明任何投石大小为 $ d' < d $ 的子金字塔的配置必须至少包含 $ d' $ 个石子。
• 建立原始DAG与其变换版本之间配置的对应关系，以保持投石代价与结构约束。

实验结果

研究问题

• RQ1 在小集合扩张猜想下，树宽是否可在多项式时间内以任意常数因子近似？
• RQ2 在SSE猜想下，单次黑投石与黑白投石问题是否难以以任意常数因子近似？
• RQ3 能否在相同猜想下建立最小割线性排列与区间图完成问题的不可近似性？
• RQ4 小集合扩张猜想是否足以证明超越唯一游戏猜想能力范围的图布局问题的难解性？
• RQ5 该归约框架能否扩展至无限制投石或有时间限制的投石模型？

主要发现

• 论文建立了树宽近似的小集合扩张难解性，证明除非小集合扩张猜想为假，否则不存在常数因子近似算法。
• 首次为单次黑投石与黑白投石问题提供不可近似性结果，表明这些问题是SSE难解的，无法在任意常数因子内近似。
• 作者证明最小割线性排列与区间图完成问题同样在任意常数因子内难以近似。
• 对于金字塔图，任何投石少于 $ d $ 个源点的大小为 $ d $ 的金字塔的配置，必须至少包含 $ d' $ 个石子，从而确立关键下界。
• 归约框架表明，在SSE猜想下，树宽当前最优的 $ O(\sqrt{\log \text{tw}}) $ 近似无法改进为常数因子。
• 结果表明，SSE猜想是证明扩张敏感型图问题不可近似性的更强、更自然的基础，优于唯一游戏猜想。