# Treewidth reduction for constrained separation and bipartization problems

* Corresponding author
Abstract : We present a method for reducing the treewidth of a graph while preserving all the minimal $s-t$ separators. This technique turns out to be very useful for establishing the fixed-parameter tractability of constrained separation and bipartization problems. To demonstrate the power of this technique, we prove the fixed-parameter tractability of a number of well-known separation and bipartization problems with various additional restrictions (e.g., the vertices being removed from the graph form an independent set). These results answer a number of open questions in the area of parameterized complexity.
Keywords :
Document type :
Conference papers
Jean-Yves Marion and Thomas Schwentick. 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Mar 2010, Nancy, France. pp.561-572, 2010, Proceedings of the 27th Annual Symposium on the Theoretical Aspects of Computer Science
Domain :

https://hal.inria.fr/inria-00455767
Contributor : Publications Loria <>
Submitted on : Thursday, February 11, 2010 - 10:33:03 AM
Last modification on : Thursday, February 11, 2010 - 11:17:19 AM
Document(s) archivé(s) le : Friday, June 18, 2010 - 8:11:05 PM

### File

Marx.pdf
Files produced by the author(s)

### Identifiers

• HAL Id : inria-00455767, version 1

### Citation

Dániel Marx, Barry O'Sullivan, Igor Razgon. Treewidth reduction for constrained separation and bipartization problems. Jean-Yves Marion and Thomas Schwentick. 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Mar 2010, Nancy, France. pp.561-572, 2010, Proceedings of the 27th Annual Symposium on the Theoretical Aspects of Computer Science. <inria-00455767>

Record views