Download presentation
Presentation is loading. Please wait.
Published byαΌΉΞ΅ΟΞ΅ΞΌΞ―Ξ±Ο ΞΞΟΞ²Ξ±Ο Modified over 6 years ago
1
Constrained Bipartite Vertex Cover: The Easy Kernel is Essentially Tight
Bart M. P. Jansen June 4th, WORKER 2015, Nordfjordeid, Norway
2
The Constrained Bipartite Vertex Cover problem
Input: Bipartite graph πΊ=(π΄βͺπ΅, πΈ) and π π΄ , π π΅ ββ Question: Does πΊ have a vertex cover π such that πβ©π΄ β€ π π΄ , πβ©π΅ β€ π π΅ ? NP-complete, applications in reconfigurable VLSI Differs from Constrained Minimum Bipartite Vertex Cover: Is there a minimum vertex cover π in πΊ for which πβ©π΄ β€ π π΄ and πβ©π΅ β€ π π΅ ? π π΄ =3 π π΅ =4
3
The easy kernel π π΄ =2 π π΅ =4 π π΄ =3 π π΅ =4
If there is a vertex πβπ΄ with deg π > π π΅ : If π is not in the cover, then all πβs neighbors must be We cannot afford that, since there are more than π π΅ Any solution contains π: delete π and decrease π π΄ by 1 Similarly, if there is a vertex πβπ΅ with deg π > π π΄ : Delete π, decrease π π΅ by one π π΄ =2 π π΅ =4 π π΄ =3 π π΅ =4
4
Analysis of the easy kernel
If (πΊ= π΄,π΅,πΈ , π π΄ , π π΅ ) is exhaustively reduced: The π π΄ vertices from π΄ cover at most π π΅ edges each The π π΅ vertices from π΅ cover at most π π΄ edges each A yes-instance has at most 2 π π΄ β
π π΅ edges Therefore at most 4( π π΄ β
π π΅ ) vertices This easy kernel was first given by Evans (1981) Also helps to get fast FPT algorithms π( π π΄ + π π΅ + π π΄ + π π΅ β
π)) by Fernau and Niedermeier Implemented and re-engineered by Bai and Fernau Can the kernel size be improved?
5
Our results (I) Both the number of vertices and edges of the easy kernel is essentially tight If ππ is not in ππππ/ππππ¦, there is no polynomial-time algorithm that reduces an instance (πΊ= π΄,π΅,πΈ , π π΄ , π π΅ ) of Con. B. V. Cover to an instance ( πΊ β² = π΄ β² , π΅ β² , πΈ β² , π π΄ β² , π π΅ β² ) such that the instances are equivalent, π π΄ β² β€ π π΄ π 1 , π π΅ β² β€ π π΅ π 1 , and π πΊ β² βπ( π π΄ β
π π΅ 1βπ ) for some π>0
6
Our results (II) Both the number of vertices and edges of the easy kernel is essentially tight If ππ is not in ππππ/ππππ¦, there is no polynomial-time algorithm that reduces an instance (πΊ= π΄,π΅,πΈ , π π΄ , π π΅ ) of Con. B. V. Cover to an instance ( πΊ β² = π΄ β² , π΅ β² , πΈ β² , π π΄ β² , π π΅ β² ) such that the instances are equivalent, and πΈ πΊ β² βπ( π π΄ β
π π΅ 1βπ ) for some π>0 Follows from a more general result: There is no poly-time algorithm compressing π-vertex instances of Con. B. V. Cover to instances of size π π 2βπ of an arbitrary problem, unless ππβππππ/ππππ¦
7
Vertex lower bound
8
False twins simulate weights
Suppose vertices π’ and π£ have the same (open) neighborhood A minimal vertex cover contains both π’ and π£, or neither So we can merge π’ and π£ into one vertex of weight two The construction uses vertices of polynomial weight These can be replaced by repeated copies in the end
9
NP-Completeness proof
Reduction from a Clique instance (πΊ,π) [Kuo and Fuchsβ87] Build πΊ β² by subdividing each edge by a new vertex Let π΄β² be the original vertices of πΊ and π΅β the subdividers Put πβ² π΄ βπ and πβ² π΅ β πΈ πΊ β π 2 π=4 πβ² π΄ =4 π π΅ β² =7
10
A canonical instance π’ 6 Define the following bipartite graph π’ π
π΄ β{ π π β£πβ π }, π΅β π π,π π,π β π 2 } For each π,π β π 2 make π π,π adjacent to π π and π π The graph π’ π is canonical in the following way: For each π-vertex Clique instance (πΊ,π), the graph πΊβ produced by the NP-completeness reduction is an induced subgraph of π’ π π’ 6
11
Key construction (I) There is an algorithm with the following specifications Input: A list of π‘ graphs πΊ 1 , β¦, πΊ π‘ with exactly π vertices each, where π is even and π‘ is a power of two Output: A bipartite graph πΊ β² = π΄ β² βͺ π΅ β² , πΈ β² along with integers π π΄ β² , π π΅ β² such that: βπβ π‘ such that πΊ π contains a clique of size π/2 β βvertex cover π of πΊβ with πβ© π΄ β² β€ π π΄ β² , πβ© π΅ β² β€ π π΅ β² π π΄ β² βπ( π 2 log π‘) π π΅ β² βπ(πβ
π‘) The running time is polynomial in π‘ and π
12
Key construction (II) π’ π
Input: A list of π‘ graphs πΊ 1 , β¦, πΊ π‘ with exactly π vertices each, where π is even and π‘ is a power of two. Output: Adjacencies π΅ π β π΄ 0,1 ,[ log π‘] follow binary expansion of π Adjacencies π΅ π β π΄ π follow edges in input πΊ π π π,π adjacent to π΅ π if π,π βπΈ πΊ π βπβ[π‘]: πΊ β² (π΄ π βͺ π΅ π β π πΊ β² ( π΅ π )] is the graph that the NP-completeness proof produces for πΊ π Set π π΄ β π 2 β π/ π 2 log π‘ , set π π΅ β π 2 + π‘β1 π π π΄ is linear in log π‘ instead of π‘ Weight π 2 per block, 2log π‘ blocks Weight π per block, π‘ blocks π’ π
13
Key construction (III)
Set π π΄ β π 2 β π/ π 2 log π‘ , set π π΅ β π 2 + π‘β1 π Weight π 2 per block, 2log π‘ blocks Weight π per block, π‘ blocks If graph πΊ π has a clique of size π/2: Form cover π by corresponding solution in π’ π together with π΅ π for πβ π and sets π΄ 0,1 ,π based on π-th bit of nr. π
14
Key construction (IV) Set π π΄ β π 2 β π/ π 2 log π‘ , set π π΅ β π 2 + π‘β1 π Weight π 2 per block, 2log π‘ blocks Weight π per block, π‘ blocks If graph πΊβ² has a constrained vertex cover π: π contains exactly one vertex for each bit position, thereby encoding an integer π through selected bits π contains π΅ π for all πβ π, but does not contain π΅ π π avoids π/2 2 vertices from π΄ π , which represent edges of πΊ π The represented edges span π 2 vertices in πβ© π΅ π , a clique in πΊ π Summary. We embed π‘ instances of Clique into one instance of Constrained Bipartite Vertex Cover with π π΄ βπ( π 2 log π‘) and π π΅ βπ(π‘β
π) that is yes if and only if a Clique-input is yes
15
Complementary witness lemma
Transforms efficient instance compression into efficient proof procedures for non-membership (Dell & van Melkebeek) Needed to leverage the construction into a lowerbound Lemma (simplified version). Let πΏ, πΏββ Ξ£ β be languages If there is a constant π and a polynomial-time algorithm as follows: Input: list of π‘β π π strings π₯ 1 ,β¦, π₯ π‘ , each of length at most π, Output: string π₯ β such that π₯ β β πΏ β² ββπβ π‘ : π₯ π βπΏ, and π₯ β βπ π‘ log π‘ =π( π π log π ), then πΏβππππ/ππππ¦ If L is NP-hard, then ππβππππ/ππππ¦ By the pigeon-hole principle, there is an input from which only π( log π) bits remain
16
Simplified vertex lower bound
If ππ is not in ππππ/ππππ¦, there is no polynomial-time algorithm that reduces an instance (πΊ= π΄,π΅,πΈ , π π΄ , π π΅ ) of Con. B. V. Cover to an instance ( πΊ β² = π΄ β² , π΅ β² , πΈ β² , π π΄ β² , π π΅ β² ) such that the instances are equivalent, π π΄ β² β€ π π΄ , π π΅ β² β€ π π΅ , and π πΊ β² βπ( π π΄ β
π π΅ ) Proof. Assume such a kernelization algorithm π¦ exists Using π¦, the key construction, and the easy kernel, we build a compression algorithm for Clique instances ππβππππ/ππππ¦ by complementary witness lemma
17
Compression algorithm for Clique instances
πΊ 1 πΊ 2 πΊ π 100 π π΄ βπ( π 2 log π‘) π π΅ βπ πβ
π‘ =π( π ) In: OR β¦ Sufficient to compress Clique inputs having exactly π vertices that ask for a clique of size π 2 (simple padding arguments) Reduce |V| to π π π΄ β
π π΅ β€ π (π 103 log π ) π¦ deg πβ π΅ β β€ π π΄ β² βπ( π 2 log π) π΄β π΅β² β€|π|βπ( π 93 ) Out: Evans πΈ β β€ π΅ β β
deg πβ π΅ β πΈ β β€ π΅ β² β
π π΄ πΈ β βπ( π 93 β
π 2 log π) βπ π 96 π π΄ β² β€ π π΄ βπ( π 2 log π)
18
General vertex lower bound
The given proof contains all the ideas of the general proof We can rule out kernelization algorithms that reduce to π π π΄ β
π π΅ 1 βπ vertices and have π π΄ β² β€ π π΄ and π π΅ β² β€ π π΅ Works for all π>0 by choosing π large enough Can even rule out π π΄ β² β π π΄ π 1 and π π΅ β² β π π΅ π 1 Relies on ππ not in ππππ/ππππ¦
19
Edge lower bound
20
Brief outline of the edge lowerbound
Bound on the number of edges uses traditional methods By giving a degree-2 or-cross-composition for the parameterization by the number of vertices, we rule out compressions of size π( π 2 βπ ) Construction based on a 2Γ π‘ βtable structureβ as first used by Dell & Marx Suppose that a kernel with π π π΄ β
π π΅ 1βπ edges exists If π π΄ β₯ π΄ or π π΅ β₯|π΅|, the answer is yes Otherwise, π π π΄ β
π π΅ 1βπ βπ π 2 1βπ =π π 2β2π Hence kernel leads to subquadratic compression
21
Conclusion The easy kernel for Constrained Bipartite Vertex Cover is essentially tight Both in terms of number of vertices and number of edges Our problem is harder than Constrained Minimum Bipartite Vertex Cover That has a kernel with 2 π π΄ + π π΅ vertices (Chen and Kanj, 2001) Compare to the classic Vertex Cover case: The easy kernel (Bussβ rule) gives tight bounds on the number of edges The number of vertices in the easy kernel can be improved to 2π Open problems: Does Feedback Vertex Set admit a kernel with π( π 2βπ ) vertices? Are there kernels for Constrained Bipartite Vertex Cover with π (π π΄ β
π π΅ 1βπ ) vertices that transfer budget from one side to the other? THANK YOU!
Similar presentations
© 2025 SlidePlayer.com. Inc.
All rights reserved.