Finding minimally weighted subgraphs
WG '90 Proceedings of the 16th international workshop on Graph-theoretic concepts in computer science
Fast construction of irreducible polynomials over finite fields
Journal of Symbolic Computation
Handbook of combinatorics (vol. 1)
Handbook of combinatorics (vol. 1)
Fast Probabilistic Algorithms for Verification of Polynomial Identities
Journal of the ACM (JACM)
Probabilistic algorithms for sparse polynomials
EUROSAM '79 Proceedings of the International Symposiumon on Symbolic and Algebraic Computation
Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)
Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)
Parameterized coloring problems on chordal graphs
Theoretical Computer Science - Parameterized and exact computation
Compression via matroids: a randomized polynomial kernel for odd cycle transversal
Proceedings of the twenty-third annual ACM-SIAM symposium on Discrete Algorithms
Stable assignment with couples: Parameterized complexity and local search
Discrete Optimization
A matroidal approach to rough set theory
Theoretical Computer Science
Hi-index | 5.24 |
Matroid theory gives us powerful techniques for understanding combinatorial optimization problems and for designing polynomial-time algorithms. However, several natural matroid problems, such as 3-matroid intersection, are NP-hard. Here we investigate these problems from the parameterized complexity point of view: instead of the trivial n^O^(^k^) time brute force algorithm for finding a k-element solution, we try to give algorithms with uniformly polynomial (i.e., f(k)@?n^O^(^1^)) running time. The main result is that if the ground set of a represented linear matroid is partitioned into blocks of size @?, then we can determine in randomized time f(k,@?)@?n^O^(^1^) whether there is an independent set that is the union of k blocks. As a consequence, algorithms with similar running time are obtained for other problems such as finding a k-element set in the intersection of @? matroids, or finding k terminals in a network such that each of them can be connected simultaneously to the source by @? disjoint paths.