Abstract

Seymour's decomposition theorem for regular matroids is a fundamental result with a number of combinatorial and algorithmic applications. In this work we demonstrate how this theorem can be used in...

Highlights

  • We consider the fundamental problem of covering a subspace of a given finite dimensional linear space by a set of vectors of minimum size

  • The Minimum Distance problem in coding theory asks for a minimum dependent set of columns in a matrix over GF(2)

  • This problem can be reduced to Space Cover by finding for each column t in matrix M a minimum set of columns in the remaining part of the matrix that cover T = {t}

Read more

Summary

Introduction

We consider the fundamental problem of covering a subspace of a given finite dimensional linear space (vector space) by a set of vectors of minimum size. The dual of Space Cover, i.e., the variant of Space Cover asking whether there is a set F ⊆ E \ T with w(F ) ≤ k such that T ⊆ span(F ) in the dual matroid M ∗, is equivalent to the Restricted Subset Feedback Set problem In this problem the task is for a given matroid M , a weight function w : E → N0, and a nonnegative integer k, to decide whether there is a set F ⊆ E \ T with w(F ) ≤ k such that matroid M obtained from M by deleting the elements of F has no circuit containing an element of T. While Steiner Tree is FPT parameterized by the number of terminal vertices, the hardness results for Multiway Cut with three terminals yields that Space Cover parameterized by the size of the terminal set T is Para-NP-complete even if restricted to cographic matroids. This occurs when the algorithm processes cographic matroids “glued” with other matroids and for that part of the algorithm the transformation of the decomposition is essential

Algorithm roadmap
Regular matroid decompositions
Elementary reductions for Space Cover
Solving Space Cover for basic matroids
Solving Space Cover for regular matroids
Processing leaves
Reducing rank
Conclusion

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.