当前位置: X-MOL 学术J. ACM › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Representative Sets and Irrelevant Vertices
Journal of the ACM ( IF 2.3 ) Pub Date : 2020-06-02 , DOI: 10.1145/3390887
Stefan Kratsch 1 , Magnus WahlströM 2
Affiliation  

We continue the development of matroid-based techniques for kernelization, initiated by the present authors [47]. We significantly extend the usefulness of matroid theory in kernelization by showing applications of a result on representative sets due to Lovász [51] and Marx [53]. As a first result, we show how representative sets can be used to derive a polynomial kernel for the elusive ALMOST 2- SAT problem (where the task is to remove at most k clauses to make a 2- CNF formula satisfiable), solving a major open problem in kernelization. This result also yields a new O(√log OPT)-approximation for the problem, improving on the O(√log n)-approximation of Agarwal et al. [3] and an implicit O(log OPT)-approximation due to Even et al. [24]. We further apply the representative sets tool to the problem of finding irrelevant vertices in graph cut problems, that is, vertices that can be made undeletable without affecting the answer to the problem. This gives the first significant progress towards a polynomial kernel for the MULTIWAY CUT problem; in particular, we get a kernel of O( k s+1 ) vertices for MULTIWAY CUT instances with at most s terminals. Both these kernelization results have significant spin-off effects, producing the first polynomial kernels for a range of related problems. More generally, the irrelevant vertex results have implications for covering min cuts in graphs. For a directed graph G=(V,E) and sets S, TV , let r be the size of a minimum ( S,T )-vertex cut (which may intersect S and T ). We can find a set ZV of size O(|S| . |T| . r) that contains a minimum ( A,B )-vertex cut for every AS , BT . Similarly, for an undirected graph G=(V,E) , a set of terminals XV , and a constant s , we can find a set ZV of size O(|X| s+1 ) that contains a minimum multiway cut for every partition of X into at most s pairwise disjoint subsets. Both results are polynomial time. We expect this to have further applications; in particular, we get direct, reduction rule-based kernelizations for all problems above, in contrast to the indirect compression-based kernel previously given for ODD CYCLE TRANSVERSAL [47]. All our results are randomized, with failure probabilities that can be made exponentially small in n , due to needing a representation of a matroid to apply the representative sets tool.
更新日期:2020-06-02
down
wechat
bug