Presentation is loading. Please wait.

Presentation is loading. Please wait.

Constrained Bipartite Vertex Cover: The Easy Kernel is Essentially Tight Bart M. P. Jansen June 4th, WORKER 2015, Nordfjordeid, Norway.

Similar presentations


Presentation on theme: "Constrained Bipartite Vertex Cover: The Easy Kernel is Essentially Tight Bart M. P. Jansen June 4th, WORKER 2015, Nordfjordeid, Norway."β€” Presentation transcript:

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!


Download ppt "Constrained Bipartite Vertex Cover: The Easy Kernel is Essentially Tight Bart M. P. Jansen June 4th, WORKER 2015, Nordfjordeid, Norway."

Similar presentations


Ads by Google