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...

Descripción completa

Detalles Bibliográficos
Autores: Martí Farré, Jaume|||0000-0002-2596-5971, Mier Vinué, Anna de|||0000-0002-2817-7807
Tipo de recurso: artículo
Fecha de publicación:2017
País:España
Institución:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglés
OAI Identifier:oai:upcommons.upc.edu:2117/112728
Acceso en línea:https://hdl.handle.net/2117/112728
https://dx.doi.org/10.1016/j.aim.2017.03.022
Access Level:acceso abierto
Palabra clave:Combinatorial analysis
Graph theory
Clutter
Matroid
Decomposition
Poset
Combinatòria
Teoria de grafs
Classificació AMS::05 Combinatorics::05B Designs and configurations
Classificació AMS::05 Combinatorics::05C Graph theory
Àrees temàtiques de la UPC::Matemàtiques i estadística::Matemàtica discreta::Combinatòria
Àrees temàtiques de la UPC::Matemàtiques i estadística::Matemàtica discreta::Teoria de grafs
Descripción
Sumario: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.