Vertex Covers Revisited: Indirect Certificates and FPT Algorithms

07/30/2018
by   Leizhen CAI, et al.
0

The classical NP-complete problem Vertex Cover requires us to determine whether a graph contains at most k vertices that cover all edges. In spite of its intractability, the problem can be solved in FPT time for parameter k by various techniques. In this paper, we present half a dozen new and simple FPT algorithms for Vertex Cover with respect to parameter k. For this purpose, we explore structural properties of vertex covers and use these properties to obtain FPT algorithms by iterative compression, colour coding, and indirect certificating methods. In particular, we show that every graph with a k-vertex cover admits an indirect certificate with at most k/3 vertices, which lays the foundation of three new FPT algorithms based on random partition and random selection.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/28/2019

The Tessellation Cover Number of Good Tessellable Graphs

A tessellation of a graph is a partition of its vertices into vertex dis...
research
03/24/2020

Parameterized Algorithms for Red-Blue Weighted Vertex Cover on Trees

Weighted Vertex Cover is a variation of an extensively studied NP-comple...
research
06/21/2019

Faster FPT Algorithm for 5-Path Vertex Cover

The problem of d-Path Vertex Cover, d-PVC lies in determining a subset F...
research
05/03/2018

Found Graph Data and Planted Vertex Covers

A typical way in which network data is recorded is to measure all the in...
research
11/05/2019

Angle Covers: Algorithms and Complexity

Consider a graph with a rotation system, namely, for every vertex, a cir...
research
04/08/2022

List covering of regular multigraphs

A graph covering projection, also known as a locally bijective homomorph...
research
02/07/2017

Propagation via Kernelization: The Vertex Cover Constraint

The technique of kernelization consists in extracting, from an instance ...

Please sign up or login with your details

Forgot password? Click here to reset