12 research outputs found
Transformation and decomposition of clutters into matroids
A clutter is a family of mutually incomparable sets. The set of circuits of a matroid, its set of bases, and its set of hyperplanes are examples of clutters arising from matroids. In this paper we address the question of determining which are the matroidal clutters that best approximate an arbitrary clutter ¿. For this, we first define two orders under which to compare clutters, which give a total of four possibilities for approximating ¿ (i.e., above or below with respect to each order); in fact, we actually consider the problem of approximating ¿ with clutters from any collection of clutters S, not necessarily arising from matroids. We show that, under some mild conditions, there is a finite non-empty set of clutters from S that are the closest to ¿ and, moreover, that ¿ is uniquely determined by them, in the sense that it can be recovered using a suitable clutter operation. We then particularize these results to the case where S is a collection of matroidal clutters and give algorithmic procedures to compute these clutters.Peer ReviewedPostprint (author's final draft
On blockers in bounded posets
Antichains of a finite bounded poset are assigned antichains playing a role
analogous to that played by blockers in the Boolean lattice of all subsets of a
finite set. Some properties of lattices of generalized blockers are discussed.Comment: 9 pages; published versio
From clutters to matroids
Peer ReviewedPostprint (published version
A unified interpretation of several combinatorial dualities
AbstractSeveral combinatorial structures exhibit a duality relation that yields interesting theorems, and, sometimes, useful explanations or interpretations of results that do not concern duality explicitly. We present a common characterization of the duality relations associated with matroids, clutters (Sperner families), oriented matroids, and weakly oriented matroids. The same conditions characterize the orthogonality relation on certain families of vector spaces. This leads to a notion of abstract duality
Relative blocking in posets
Poset-theoretic generalizations of set-theoretic committee constructions are
presented. The structure of the corresponding subposets is described. Sequences
of irreducible fractions associated to the principal order ideals of finite
bounded posets are considered and those related to the Boolean lattices are
explored; it is shown that such sequences inherit all the familiar properties
of the Farey sequences.Comment: 29 pages. Corrected version of original publication which is
available at http://www.springerlink.com, see Corrigendu
Monotone clutters
A clutter is k-monotone, completely monotone or threshold if the corresponding Boolean function is k-monotone, completely monotone or threshold, respectively. A characterization of k-monotone clutters in terms of excluded minors is presented here. This result is used to derive a characterization of 2-monotone matroids and of 3-monotone matroids (which turn out to be all the threshold matroids). © 1993
Clutters and Circuits
AbstractWe introduce a way to associate a family of circuits to an arbitrary clutter, suggested by a theorem of Lehman. Several characterizations of matroid ports using their circuits are presented
Single Commodity Flow Algorithms for Lifts of Graphic and Cographic Matroids
Consider a binary matroid M given by its matrix representation. We show that if M is a lift of a graphic or a cographic matroid, then in polynomial time we can either solve the single commodity flow problem for M or find an obstruction for which the Max-Flow Min-Cut relation does not hold. The key tool is an algorithmic version of Lehman's Theorem for the set covering polyhedron