Vertex cover: further observations and further improvements
Journal of Algorithms
On decomposing a hypergraph into k connected sub-hypergraphs
Discrete Applied Mathematics - Submodularity
Reducing to independent set structure: the case of k-internal spanning tree
Nordic Journal of Computing
Crown Structures for Vertex Cover Kernelization
Theory of Computing Systems
A more effective linear kernelization for cluster editing
Theoretical Computer Science
ICALP '09 Proceedings of the 36th International Colloquium on Automata, Languages and Programming: Part I
Better Approximation Algorithms for the Maximum Internal Spanning Tree Problem
WADS '09 Proceedings of the 11th International Symposium on Algorithms and Data Structures
Even Faster Algorithm for Set Splitting!
Parameterized and Exact Computation
Exact and Parameterized Algorithms for Max Internal Spanning Tree
Graph-Theoretic Concepts in Computer Science
A Linear Vertex Kernel for Maximum Internal Spanning Tree
ISAAC '09 Proceedings of the 20th International Symposium on Algorithms and Computation
A 4k2 kernel for feedback vertex set
ACM Transactions on Algorithms (TALG)
Algorithm for finding k-vertex out-trees and its application to k-internal out-branching problem
Journal of Computer and System Sciences
Ad hoc node connectivity improvement analysis - Why not through mesh clients?
Computers and Electrical Engineering
Towards optimal kernel for edge-disjoint triangle packing
Information Processing Letters
Hi-index | 0.00 |
We present a polynomial time algorithm that for any graph G and integer k=0, either finds a spanning tree with at least k internal vertices, or outputs a new graph G"R on at most 3k vertices and an integer k^' such that G has a spanning tree with at least k internal vertices if and only if G"R has a spanning tree with at least k^' internal vertices. In other words, we show that the Maximum Internal Spanning Tree problem parameterized by the number of internal vertices k has a 3k-vertex kernel. Our result is based on an innovative application of a classical min-max result about hypertrees in hypergraphs which states that ''a hypergraph H contains a hypertree if and only if H is partition-connected.''