One of the most intriguing unsolved questions of matroid optimization is the characterization of the existence of k disjoint common bases of two matroids. The significance of the problem is well-illustrated by the long list of conjectures that can be formulated as special cases, such as Woodall's conjecture on packing disjoint dijoins in a directed graph, or Rota's beautiful conjecture on rearrangements of bases.In the present paper we prove that the problem is difficult under the rank oracle model, i.e., we show that there is no algorithm which decides if the common ground set of two matroids can be partitioned into k common bases by using a polynomial number of independence queries. Our complexity result holds even for the very special case when k = 2.Through a series of reductions, we also show that the abstract problem of packing common bases in two matroids includes the NAE-SAT problem and the Perfect Even Factor problem in directed graphs. These results in turn imply that the problem is not only difficult in the independence oracle model but also includes NP-complete special cases already when k = 2, one of the matroids is a partition matroid, while the other matroid is linear and is given by an explicit representation.
We provide a combinatorial study of split matroids, a class that was motivated by the study of matroid polytopes from a tropical geometry point of view. A nice feature of split matroids is that they generalize paving matroids, while being closed under duality and taking minors. Furthermore, these matroids proved to be useful in giving exact asymptotic bounds for the dimension of the Dressian, and also implied new results on the rays of the tropical Grassmannians.In the present paper, we introduce the notion of elementary split matroids, a subclass of split matroids that contains all connected split matroids. We give a hypergraph characterization of elementary split matroids in terms of independent sets, and show that the proposed class is closed not only under duality and taking minors but also truncation. We further show that, in contrast to split matroids, the proposed class can be characterized by a single forbidden minor. As an application, we provide a complete list of binary split matroids.
The basis exchange axiom has been a driving force in the development of matroid theory. However, the axiom gives only a local characterization of the relation of bases, which is a major stumbling block to further progress, and providing a global understanding of the structure of matroid bases is a fundamental goal in matroid optimization.While studying the structure of symmetric exchanges, Gabow proposed the problem that any pair of bases admits a sequence of symmetric exchanges. A different extension of the exchange axiom was proposed by White, who investigated the equivalence of compatible basis sequences. Farber studied the structure of basis pairs, and conjectured that the basis pair graph of any matroid is connected. These conjectures suggest that the family of bases of a matroid possesses much stronger structural properties than we are aware of.In the present paper, we study the distance of basis pairs of a matroid in terms of symmetric exchanges. In particular, we give an upper bound on the minimum number of exchanges needed to transform a basis pair into another for split matroids, a class that was motivated by the study of matroid polytopes from a tropical geometry point of view. As a corollary, we verify the above mentioned long-standing conjectures for this large class. Being a subclass of split matroids, our result settles the conjectures for paving matroids as well.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.