有界树宽图的高效划分预言机
An Efficient Partitioning Oracle for Bounded-Treewidth Graphs
摘要：
划分预言机是由Hassidim等人（FOCS 2009）引入的，作为常数时间算法的通用工具。对于任何n> 0，分区预言机提供对输入有界度无子图的固定分区的查询访问，其中每个组件具有大小poly（1/n），并且移除的边的数量至多为n *n，其中n是图中的顶点数量。然而，Hassidimet等人的预言机对输入图进行了指数数量的查询，以回答关于分区的每个查询。在本文中，我们构造了一个有效的划分预言图具有常数树宽。Oracle只对输入图进行O（poly（1/n））查询，以回答关于分区的每个查询。有界树宽图类的例子包括固定k的k-外平面图、串并行图、仙人掌图和伪森林。我们的甲骨文产生聚（1/1）-时间属性测试算法的成员在这些类的图。预言机的另一个应用是一个poly（1/n）-time算法，该算法近似具有有界树宽的图中的最大匹配大小、最小顶点覆盖大小和最小支配集大小，直到加性n *n。最后，预言机可以用来在poly（1/n）时间内测试输入的有界树宽图是否是k-可着色的或完美的。
英文摘要：
Partitioning oracles were introduced by Hassidim et al. (FOCS 2009) as a generic tool for constant-time algorithms. For any epsilon > 0, a partitioning oracle provides query access to a fixed partition of the input bounded-degree minor-free graph, in which every component has size poly(1/epsilon), and the number of edges removed is at most epsilon*n, where n is the number of vertices in the graph. However, the oracle of Hassidimet al. makes an exponential number of queries to the input graph to answer every query about the partition. In this paper, we construct an efficient partitioning oracle for graphs with constant treewidth. The oracle makes only O(poly(1/epsilon)) queries to the input graph to answer each query about the partition. Examples of bounded-treewidth graph classes include k-outerplanar graphs for fixed k, series-parallel graphs, cactus graphs, and pseudoforests. Our oracle yields poly(1/epsilon)-time property testing algorithms for membership in these classes of graphs. Another application of the oracle is a poly(1/epsilon)-time algorithm that approximates the maximum matching size, the minimum vertex cover size, and the minimum dominating set size up to an additive epsilon*n in graphs with bounded treewidth. Finally, the oracle can be used to test in poly(1/epsilon) time whether the input bounded-treewidth graph is k-colorable or perfect.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
