
arXiv: 1409.4935
Problems of the following kind have been the focus of much recent research in the realm of parameterized complexity: Given an input graph (digraph) on $n$ vertices and a positive integer parameter $k$, find if there exist $k$ edges (arcs) whose deletion results in a graph that satisfies some specified parity constraints. In particular, when the objective is to obtain a connected graph in which all the vertices have even degrees---where the resulting graph is \emph{Eulerian}---the problem is called Undirected Eulerian Edge Deletion. The corresponding problem in digraphs where the resulting graph should be strongly connected and every vertex should have the same in-degree as its out-degree is called Directed Eulerian Edge Deletion. Cygan et al. [\emph{Algorithmica, 2014}] showed that these problems are fixed parameter tractable (FPT), and gave algorithms with the running time $2^{O(k \log k)}n^{O(1)}$. They also asked, as an open problem, whether there exist FPT algorithms which solve these problems in time $2^{O(k)}n^{O(1)}$. In this paper we answer their question in the affirmative: using the technique of computing \emph{representative families of co-graphic matroids} we design algorithms which solve these problems in time $2^{O(k)}n^{O(1)}$. The crucial insight we bring to these problems is to view the solution as an independent set of a co-graphic matroid. We believe that this view-point/approach will be useful in other problems where one of the constraints that need to be satisfied is that of connectivity.
FOS: Computer and information sciences, Combinatorial optimization, FPT, Analysis of algorithms and problem complexity, Eulerian edge deletion, co-graphic matroid, Eulerian Edge Deletion, FPT algorithm, Graph algorithms (graph-theoretic aspects), Computer Science - Data Structures and Algorithms, FOS: Mathematics, Mathematics - Combinatorics, Data Structures and Algorithms (cs.DS), :Matematikk og Naturvitenskap: 400 [VDP], dynamic programming, Representative Family, representative family, VDP::Matematikk og Naturvitenskap: 400, Combinatorial aspects of matroids and geometric lattices, 004, Representative Family., Graph theory (including graph drawing) in computer science, Combinatorics (math.CO), ddc: ddc:004
FOS: Computer and information sciences, Combinatorial optimization, FPT, Analysis of algorithms and problem complexity, Eulerian edge deletion, co-graphic matroid, Eulerian Edge Deletion, FPT algorithm, Graph algorithms (graph-theoretic aspects), Computer Science - Data Structures and Algorithms, FOS: Mathematics, Mathematics - Combinatorics, Data Structures and Algorithms (cs.DS), :Matematikk og Naturvitenskap: 400 [VDP], dynamic programming, Representative Family, representative family, VDP::Matematikk og Naturvitenskap: 400, Combinatorial aspects of matroids and geometric lattices, 004, Representative Family., Graph theory (including graph drawing) in computer science, Combinatorics (math.CO), ddc: ddc:004
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 6 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
