DOCSLIB.ORG

Submodular Functions, Optimization, and Applications to Machine Learning — Spring Quarter, Lecture 8 —

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Submodular Functions, Optimization, and Applications to Machine Learning — Spring Quarter, Lecture 8 — Submodular Functions, Optimization, and Applications to Machine Learning | Spring Quarter, Lecture 8 | http://www.ee.washington.edu/people/faculty/bilmes/classes/ee596b_spring_2016/ Prof. Jeff Bilmes University of Washington, Seattle Department of Electrical Engineering http://melodi.ee.washington.edu/~bilmes Apr 25th, 2016 f (A) + f (B) f (A B) + f (A B) Clockwise from top left:v Lásló Lovász Jack Edmonds ∪ ∩ Satoru Fujishige George Nemhauser ≥ Laurence Wolsey = f (A ) + 2f (C) + f (B ) = f (A ) +f (C) + f (B ) = f (A B) András Frank r r r r Lloyd Shapley ∩ H. Narayanan Robert Bixby William Cunningham William Tutte Richard Rado Alexander Schrijver Garrett Birkho Hassler Whitney Richard Dedekind Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F1/40 (pg.1/162) Logistics Review Cumulative Outstanding Reading Read chapters 2 and 3 from Fujishige's book. Read chapter 1 from Fujishige's book. Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F2/40 (pg.2/162) Logistics Review Announcements, Assignments, and Reminders Homework 3, available at our assignment dropbox (https://canvas.uw.edu/courses/1039754/assignments), due (electronically) Monday (5/2) at 11:55pm. Homework 2, available at our assignment dropbox (https://canvas.uw.edu/courses/1039754/assignments), due (electronically) Monday (4/18) at 11:55pm. Homework 1, available at our assignment dropbox (https://canvas.uw.edu/courses/1039754/assignments), due (electronically) Friday (4/8) at 11:55pm. Weekly Office Hours: Mondays, 3:30-4:30, or by skype or google hangout (set up meeting via our our discussion board (https: //canvas.uw.edu/courses/1039754/discussion_topics)). Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F3/40 (pg.3/162) Logistics Review Class Road Map - IT-I L1(3/28): Motivation, Applications, & L11(5/2): Basic Definitions L12(5/4): L2(3/30): Machine Learning Apps L13(5/9): (diversity, complexity, parameter, learning L14(5/11): target, surrogate). L15(5/16): L3(4/4): Info theory exs, more apps, L16(5/18): definitions, graph/combinatorial examples, matrix rank example, visualization L17(5/23): L4(4/6): Graph and Combinatorial L18(5/25): Examples, matrix rank, Venn diagrams, L19(6/1): examples of proofs of submodularity, some L20(6/6): Final Presentations useful properties maximization. L5(4/11): Examples & Properties, Other Defs., Independence L6(4/13): Independence, Matroids, Matroid Examples, matroid rank is submodular L7(4/18): Matroid Rank, More on Partition Matroid, System of Distinct Reps, Transversals, Transversal Matroid, L8(4/20): Transversals, Matroid and representation, Dual Matroids, Geometries L9(4/25): L10(4/27): Finals Week: June 6th-10th, 2016. Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F4/40 (pg.4/162) Logistics Review System of Distinct Representatives Let (V; ) be a set system (i.e., = (Vk : i I) where Vi V for all V V 2 ⊆ i), and I is an index set. Hence, I = . j j jVj A family (vi : i I) with vi V is said to be a system of distinct 2 2 representatives of if a bijection π : I I such that vi V and V 9 $ 2 π(i) vi = vj for all i = j. 6 6 In a system of distinct representatives, there is a requirement for the representatives to be distinct. We can re-state (and rename) this as a: Definition 8.2.2 (transversal) Given a set system (V; ) and index set I for as defined above, a set V V T V is a transversal of if there is a bijection π : T I such that ⊆ V $ x V for all x T (8.19) 2 π(x) 2 Note that due to π : T I being a bijection, all of I and T are $ \covered" (so this makes things distinct automatically). Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F5/40 (pg.5/162) Logistics Review When do transversals exist? As we saw, a transversal might not always exist. How to tell? Given a set system (V; ) with = (Vi : i I), and Vi V for all i. V V 2 ⊆ Then, for any J I, let ⊆ V (J) = j2J Vj (8.19) [ I so V (J) : 2 Z+ is the set cover func. (we know is submodular). Wej have j ! Theorem 8.2.2 (Hall's theorem) Given a set system (V; ), the family of subsets = (Vi : i I) has a V V 2 transversal (vi : i I) iff for all J I 2 ⊆ V (J) J (8.20) j j ≥ j j Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F6/40 (pg.6/162) Logistics Review When do transversals exist? As we saw, a transversal might not always exist. How to tell? Given a set system (V; ) with = (Vi : i I), and Vi V for all i. V V 2 ⊆ Then, for any J I, let ⊆ V (J) = j2J Vj (8.19) [ I so V (J) : 2 Z+ is the set cover func. (we know is submodular). Hall'sj theoremj ! ( J I; V (J) J ) as a bipartite graph. 8 ⊆ j j ≥ j j V I 4 3 2 1 Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F6/40 (pg.7/162) Logistics Review When do transversals exist? As we saw, a transversal might not always exist. How to tell? Given a set system (V; ) with = (Vi : i I), and Vi V for all i. V V 2 ⊆ Then, for any J I, let ⊆ V (J) = j2J Vj (8.19) [ I so V (J) : 2 Z+ is the set cover func. (we know is submodular). Hall'sj theoremj ! ( J I; V (J) J ) as a bipartite graph. 8 ⊆ j j ≥ j j V I 4 3 2 1 Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F6/40 (pg.8/162) Logistics Review When do transversals exist? As we saw, a transversal might not always exist. How to tell? Given a set system (V; ) with = (Vi : i I), and Vi V for all i. V V 2 ⊆ Then, for any J I, let ⊆ V (J) = j2J Vj (8.19) [ I so V (J) : 2 Z+ is the set cover func. (we know is submodular). Moreover,j j we have! Theorem 8.2.3 (Rado's theorem (1942)) If M = (V; r) is a matroid on V with rank function r, then the family of subsets (Vi : i I) of V has a transversal (vi : i I) that is independent in 2 2 M iff for all J I ⊆ r(V (J)) J (8.21) ≥ j j Note, a transversal T independent in M means that r(T ) = T . j j Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F6/40 (pg.9/162) We wish all jobs to be filled, and hence Hall's condition ( J I; V (J) J ) is a necessary and sufficient condition for this 8 ⊆ j j ≥ j j to be possible. Note if V = I , then Hall's theorem is the Marriage Theorem j j j j (Frobenious 1917), where an edge (v; i) in the graph indicate compatibility between two individuals v V and i I coming from 2 2 two separate groups V and I. If J I; V (J) J , then all individuals in each group can be 8 ⊆ j j ≥ j j matched with a compatible mate. Logistics Review Application's of Hall's theorem Consider a set of jobs I and a set of applicants V to the jobs. If an applicant v V is qualified for job i I, we add edge (v; i) to the 2 2 bipartite graph G = (V; I; E). Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F7/40 (pg.10/162) Note if V = I , then Hall's theorem is the Marriage Theorem j j j j (Frobenious 1917), where an edge (v; i) in the graph indicate compatibility between two individuals v V and i I coming from 2 2 two separate groups V and I. If J I; V (J) J , then all individuals in each group can be 8 ⊆ j j ≥ j j matched with a compatible mate. Logistics Review Application's of Hall's theorem Consider a set of jobs I and a set of applicants V to the jobs. If an applicant v V is qualified for job i I, we add edge (v; i) to the 2 2 bipartite graph G = (V; I; E). We wish all jobs to be filled, and hence Hall's condition ( J I; V (J) J ) is a necessary and sufficient condition for this 8 ⊆ j j ≥ j j to be possible. Prof. Jeff Bilmes EE596b/Spring 2016/Submodularity - Lecture 8 - Apr 25th, 2016 F7/40 (pg.11/162) If J I; V (J) J , then all individuals in each group can be 8 ⊆ j j ≥ j j matched with a compatible mate. Logistics Review Application's of Hall's theorem Consider a set of jobs I and a set of applicants V to the jobs. If an applicant v V is qualified for job i I, we add edge (v; i) to the 2 2 bipartite graph G = (V; I; E). We wish all jobs to be filled, and hence Hall's condition ( J I; V (J) J ) is a necessary and sufficient condition for this 8 ⊆ j j ≥ j j to be possible. Note if V = I , then Hall's theorem is the Marriage Theorem j j j j (Frobenious 1917), where an edge (v; i) in the graph indicate compatibility between two individuals v V and i I coming from 2 2 two separate groups V and I.
Load more

Recommended publications
  • Arxiv:1403.0920V3 [Math.CO] 1 Mar 2019
    Matroids, delta-matroids and embedded graphs Carolyn Chuna, Iain Moffattb, Steven D. Noblec,, Ralf Rueckriemend,1 aMathematics Department, United States Naval Academy, Chauvenet Hall, 572C Holloway Road, Annapolis, Maryland 21402-5002, United States of America bDepartment of Mathematics, Royal Holloway University of London, Egham, Surrey, TW20 0EX, United Kingdom cDepartment of Mathematics, Brunel University, Uxbridge, Middlesex, UB8 3PH, United Kingdom d Aschaffenburger Strasse 23, 10779, Berlin Abstract Matroid theory is often thought of as a generalization of graph theory. In this paper we propose an analogous correspondence between embedded graphs and delta-matroids. We show that delta-matroids arise as the natural extension of graphic matroids to the setting of embedded graphs. We show that various basic ribbon graph operations and concepts have delta-matroid analogues, and illus- trate how the connections between embedded graphs and delta-matroids can be exploited. Also, in direct analogy with the fact that the Tutte polynomial is matroidal, we show that several polynomials of embedded graphs from the liter- ature, including the Las Vergnas, Bollab´as-Riordanand Krushkal polynomials, are in fact delta-matroidal. Keywords: matroid, delta-matroid, ribbon graph, quasi-tree, partial dual, topological graph polynomial 2010 MSC: 05B35, 05C10, 05C31, 05C83 1. Overview Matroid theory is often thought of as a generalization of graph theory. Many results in graph theory turn out to be special cases of results in matroid theory. This is beneficial
    [Show full text]
  • Parity Systems and the Delta-Matroid Intersection Problem
    Parity Systems and the Delta-Matroid Intersection Problem Andr´eBouchet ∗ and Bill Jackson † Submitted: February 16, 1998; Accepted: September 3, 1999. Abstract We consider the problem of determining when two delta-matroids on the same ground-set have a common base. Our approach is to adapt the theory of matchings in 2-polymatroids developed by Lov´asz to a new abstract system, which we call a parity system. Examples of parity systems may be obtained by combining either, two delta- matroids, or two orthogonal 2-polymatroids, on the same ground-sets. We show that many of the results of Lov´aszconcerning ‘double flowers’ and ‘projections’ carry over to parity systems. 1 Introduction: the delta-matroid intersec- tion problem A delta-matroid is a pair (V, ) with a finite set V and a nonempty collection of subsets of V , called theBfeasible sets or bases, satisfying the following axiom:B ∗D´epartement d’informatique, Universit´edu Maine, 72017 Le Mans Cedex, France. [email protected] †Department of Mathematical and Computing Sciences, Goldsmiths’ College, London SE14 6NW, England. [email protected] 1 the electronic journal of combinatorics 7 (2000), #R14 2 1.1 For B1 and B2 in and v1 in B1∆B2, there is v2 in B1∆B2 such that B B1∆ v1, v2 belongs to . { } B Here P ∆Q = (P Q) (Q P ) is the symmetric difference of two subsets P and Q of V . If X\ is a∪ subset\ of V and if we set ∆X = B∆X : B , then we note that (V, ∆X) is a new delta-matroid.B The{ transformation∈ B} (V, ) (V, ∆X) is calledB a twisting.
    [Show full text]
  • Matroids, Cyclic Flats, and Polyhedra
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by ResearchArchive at Victoria University of Wellington Matroids, Cyclic Flats, and Polyhedra by Kadin Prideaux A thesis submitted to the Victoria University of Wellington in fulfilment of the requirements for the degree of Master of Science in Mathematics. Victoria University of Wellington 2016 Abstract Matroids have a wide variety of distinct, cryptomorphic axiom systems that are capable of defining them. A common feature of these is that they areable to be efficiently tested, certifying whether a given input complies withsuch an axiom system in polynomial time. Joseph Bonin and Anna de Mier, re- discovering a theorem first proved by Julie Sims, developed an axiom system for matroids in terms of their cyclic flats and the ranks of those cyclic flats. As with other matroid axiom systems, this is able to be tested in polynomial time. Distinct, non-isomorphic matroids may each have the same lattice of cyclic flats, and so matroids cannot be defined solely in terms of theircyclic flats. We do not have a clean characterisation of families of sets thatare cyclic flats of matroids. However, it may be possible to tell in polynomial time whether there is any matroid that has a given lattice of subsets as its cyclic flats. We use Bonin and de Mier’s cyclic flat axioms to reduce the problem to a linear program, and show that determining whether a given lattice is the lattice of cyclic flats of any matroid corresponds to finding in- tegral points in the solution space of this program, these points representing the possible ranks that may be assigned to the cyclic flats.
    [Show full text]
  • Matroid Partitioning Algorithm Described in the Paper Here with Ray’S Interest in Doing Ev- Erything Possible by Using Network flow Methods
    Chapter 7 Matroid Partition Jack Edmonds Introduction by Jack Edmonds This article, “Matroid Partition”, which first appeared in the book edited by George Dantzig and Pete Veinott, is important to me for many reasons: First for per- sonal memories of my mentors, Alan J. Goldman, George Dantzig, and Al Tucker. Second, for memories of close friends, as well as mentors, Al Lehman, Ray Fulker- son, and Alan Hoffman. Third, for memories of Pete Veinott, who, many years after he invited and published the present paper, became a closest friend. And, finally, for memories of how my mixed-blessing obsession with good characterizations and good algorithms developed. Alan Goldman was my boss at the National Bureau of Standards in Washington, D.C., now the National Institutes of Science and Technology, in the suburbs. He meticulously vetted all of my math including this paper, and I would not have been a math researcher at all if he had not encouraged it when I was a university drop-out trying to support a baby and stay-at-home teenage wife. His mentor at Princeton, Al Tucker, through him of course, invited me with my child and wife to be one of the three junior participants in a 1963 Summer of Combinatorics at the Rand Corporation in California, across the road from Muscle Beach. The Bureau chiefs would not approve this so I quit my job at the Bureau so that I could attend. At the end of the summer Alan hired me back with a big raise. Dantzig was and still is the only historically towering person I have known.
    [Show full text]
  • Computing Algebraic Matroids
    COMPUTING ALGEBRAIC MATROIDS ZVI ROSEN Abstract. An affine variety induces the structure of an algebraic matroid on the set of coordinates of the ambient space. The matroid has two natural decorations: a circuit poly- nomial attached to each circuit, and the degree of the projection map to each base, called the base degree. Decorated algebraic matroids can be computed via symbolic computation using Gr¨obnerbases, or through linear algebra in the space of differentials (with decora- tions calculated using numerical algebraic geometry). Both algorithms are developed here. Failure of the second algorithm occurs on a subvariety called the non-matroidal or NM- locus. Decorated algebraic matroids have widespread relevance anywhere that coordinates have combinatorial significance. Examples are computed from applied algebra, in algebraic statistics and chemical reaction network theory, as well as more theoretical examples from algebraic geometry and matroid theory. 1. Introduction Algebraic matroids have a surprisingly long history. They were studied as early as the 1930's by van der Waerden, in his textbook Moderne Algebra [27, Chapter VIII], and MacLane in one of his earliest papers on matroids [20]. The topic lay dormant until the 70's and 80's, when a number of papers about representability of matroids as algebraic ma- troids were published: notably by Ingleton and Main [12], Dress and Lovasz [7], the thesis of Piff [24], and extensively by Lindstr¨om([16{19], among others). In recent years, the al- gebraic matroids of toric varieties found application (e.g. in [22]); however, they have been primarily confined to that setting. Renewed interest in algebraic matroids comes from the field of matrix completion, starting with [14], where the set of entries of a low-rank matrix are the ground set of the algebraic matroid associated to the determinantal variety.
    [Show full text]
  • Matroid Theory Release 9.4
    Sage 9.4 Reference Manual: Matroid Theory Release 9.4 The Sage Development Team Aug 24, 2021 CONTENTS 1 Basics 1 2 Built-in families and individual matroids 77 3 Concrete implementations 97 4 Abstract matroid classes 149 5 Advanced functionality 161 6 Internals 173 7 Indices and Tables 197 Python Module Index 199 Index 201 i ii CHAPTER ONE BASICS 1.1 Matroid construction 1.1.1 Theory Matroids are combinatorial structures that capture the abstract properties of (linear/algebraic/...) dependence. For- mally, a matroid is a pair M = (E; I) of a finite set E, the groundset, and a collection of subsets I, the independent sets, subject to the following axioms: • I contains the empty set • If X is a set in I, then each subset of X is in I • If two subsets X, Y are in I, and jXj > jY j, then there exists x 2 X − Y such that Y + fxg is in I. See the Wikipedia article on matroids for more theory and examples. Matroids can be obtained from many types of mathematical structures, and Sage supports a number of them. There are two main entry points to Sage’s matroid functionality. The object matroids. contains a number of con- structors for well-known matroids. The function Matroid() allows you to define your own matroids from a variety of sources. We briefly introduce both below; follow the links for more comprehensive documentation. Each matroid object in Sage comes with a number of built-in operations. An overview can be found in the documen- tation of the abstract matroid class.
    [Show full text]
  • Submodular Functions, Optimization, and Applications to Machine Learning — Spring Quarter, Lecture 6 —
    Submodular Functions, Optimization, and Applications to Machine Learning — Spring Quarter, Lecture 6 — http://www.ee.washington.edu/people/faculty/bilmes/classes/ee563_spring_2018/ Prof. Jeff Bilmes University of Washington, Seattle Department of Electrical Engineering http://melodi.ee.washington.edu/~bilmes April 11th, 2018 f (A) + f (B) f (A B) + f (A B) Clockwise from top left:v Lásló Lovász Jack Edmonds ∪ ∩ Satoru Fujishige George Nemhauser ≥ Laurence Wolsey = f (A ) + 2f (C) + f (B ) = f (A ) +f (C) + f (B ) = f (A B) András Frank r r r r Lloyd Shapley ∩ H. Narayanan Robert Bixby William Cunningham William Tutte Richard Rado Alexander Schrijver Garrett Birkho Hassler Whitney Richard Dedekind Prof. Jeff Bilmes EE563/Spring 2018/Submodularity - Lecture 6 - April 11th, 2018 F1/46 (pg.1/163) Logistics Review Cumulative Outstanding Reading Read chapter 1 from Fujishige’s book. Read chapter 2 from Fujishige’s book. Prof. Jeff Bilmes EE563/Spring 2018/Submodularity - Lecture 6 - April 11th, 2018 F2/46 (pg.2/163) Logistics Review Announcements, Assignments, and Reminders If you have any questions about anything, please ask then via our discussion board (https://canvas.uw.edu/courses/1216339/discussion_topics). Prof. Jeff Bilmes EE563/Spring 2018/Submodularity - Lecture 6 - April 11th, 2018 F3/46 (pg.3/163) Logistics Review Class Road Map - EE563 L1(3/26): Motivation, Applications, & L11(4/30): Basic Definitions, L12(5/2): L2(3/28): Machine Learning Apps L13(5/7): (diversity, complexity, parameter, learning L14(5/9): target, surrogate). L15(5/14): L3(4/2): Info theory exs, more apps, L16(5/16): definitions, graph/combinatorial examples L17(5/21): L4(4/4): Graph and Combinatorial Examples, Matrix Rank, Examples and L18(5/23): Properties, visualizations L–(5/28): Memorial Day (holiday) L5(4/9): More Examples/Properties/ L19(5/30): Other Submodular Defs., Independence, L21(6/4): Final Presentations L6(4/11): Matroids, Matroid Examples, maximization.
    [Show full text]
  • Linear Matroid Intersection Is in Quasi-NC∗
    Electronic Colloquium on Computational Complexity, Report No. 182 (2016) Linear Matroid Intersection is in quasi-NC∗ Rohit Gurjar1 and Thomas Thierauf2 1Tel Aviv University 2Aalen University November 14, 2016 Abstract Given two matroids on the same ground set, the matroid intersection problem asks to find a common independent set of maximum size. We show that the linear matroid intersection problem is in quasi-NC2. That is, it has uniform circuits of quasi-polynomial size nO(log n), and O(log2 n) depth. This generalizes the similar result for the bipartite perfect matching problem. We do this by an almost complete derandomization of the Isolation lemma for matroid intersection. Our result also implies a blackbox singularity test for symbolic matrices of the form A0 + A1z1 + A2z2 + ··· + Amzm, where the matrices A1;A2;:::;Am are of rank 1. 1 Introduction Matroids are combinatorial structures that generalize the notion of linear independence in Linear Algebra. A matroid M is a pair M = (E; I), where E is the finite ground set and I ⊆ P(E) is a family of subsets of E that are said to be the independent sets. There are two axioms the independent sets must satisfy: (1) closure under subsets and (2) the augmentation property. (See the Preliminary Section for exact definitions.) Matroids are motivated by Linear Algebra. For an n × m matrix V over some field, let v1; v2; : : : ; vm be the column vectors of V , in this order. We define the ground set E = f1; 2; : : : ; mg as the set of indices of the columns of V . A set I ⊆ E is defined to be independent, if the collection of vectors vi, for i 2 I, is linearly independent.
    [Show full text]
  • Finding Fair and Efficient Allocations When Valuations Don't Add Up
    Finding Fair and Efficient Allocations When Valuations Don’t Add Up Nawal Benabbou, Mithun Chakraborty, Ayumi Igarashi, Yair Zick To cite this version: Nawal Benabbou, Mithun Chakraborty, Ayumi Igarashi, Yair Zick. Finding Fair and Efficient Allo- cations When Valuations Don’t Add Up. The 13th Symposium on Algorithmic Game Theory (SAGT 2020), Sep 2020, Augsburg (Virtual Conference), Germany. pp.32-46, 10.1007/978-3-030-57980-7_3. hal-02955635 HAL Id: hal-02955635 https://hal.sorbonne-universite.fr/hal-02955635 Submitted on 2 Oct 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Finding Fair and Efficient Allocations When Valuations Don't Add Up? Nawal Benabbou1, Mithun Chakraborty2, Ayumi Igarashi3, and Yair Zick4 1 Sorbonne Universit´e,CNRS, Laboratoire d'Informatique de Paris 6, LIP6 F-75005, Paris, France [email protected] 2 University of Michigan, Ann Arbor, USA [email protected] 3 National Institute of Informatics, Tokyo, Japan ayumi [email protected] 4 University of Massachusetts, Amherst, USA [email protected] Abstract. In this paper, we present new results on the fair and ef- ficient allocation of indivisible goods to agents whose preferences cor- respond to matroid rank functions.
    [Show full text]
  • On the Graphic Matroid Parity Problem
    On the graphic matroid parity problem Zolt´an Szigeti∗ Abstract A relatively simple proof is presented for the min-max theorem of Lov´asz on the graphic matroid parity problem. 1 Introduction The graph matching problem and the matroid intersection problem are two well-solved problems in Combi- natorial Theory in the sense of min-max theorems [2], [3] and polynomial algorithms [4], [3] for finding an optimal solution. The matroid parity problem, a common generalization of them, turned out to be much more difficult. For the general problem there does not exist polynomial algorithm [6], [8]. Moreover, it contains NP-complete problems. On the other hand, for linear matroids Lov´asz provided a min-max formula in [7] and a polynomial algorithm in [8]. There are several earlier results which can be derived from Lov´asz’ theorem, e.g. Tutte’s result on f-factors [15], a result of Mader on openly disjoint A-paths [11] (see [9]), a result of Nebesky concerning maximum genus of graphs [12] (see [5]), and the problem of Lov´asz on cacti [9]. This latter one is a special case of the graphic matroid parity problem. Our aim is to provide a simple proof for the min-max formula on this problem, i. e. on the graphic matroid parity problem. In an earlier paper [14] of the present author the special case of cacti was considered. We remark that we shall apply the matroid intersection theorem of Edmonds [4]. We refer the reader to [13] for basic concepts on matroids. For a given graph G, the cycle matroid G is defined on the edge set of G in such a way that the independent sets are exactly the edge sets of the forests of G.
    [Show full text]
  • Matroid Optimization and Algorithms Robert E. Bixby and William H
    Matroid Optimization and Algorithms Robert E. Bixby and William H. Cunningham June, 1990 TR90-15 MATROID OPTIMIZATION AND ALGORITHMS by Robert E. Bixby Rice University and William H. Cunningham Carleton University Contents 1. Introduction 2. Matroid Optimization 3. Applications of Matroid Intersection 4. Submodular Functions and Polymatroids 5. Submodular Flows and other General Models 6. Matroid Connectivity Algorithms 7. Recognition of Representability 8. Matroid Flows and Linear Programming 1 1. INTRODUCTION This chapter considers matroid theory from a constructive and algorithmic viewpoint. A substantial part of the developments in this direction have been motivated by opti­ mization. Matroid theory has led to a unification of fundamental ideas of combinatorial optimization as well as to the solution of significant open problems in the subject. In addition to its influence on this larger subject, matroid optimization is itself a beautiful part of matroid theory. The most basic optimizational property of matroids is that for any subset every max­ imal independent set contained in it is maximum. Alternatively, a trivial algorithm max­ imizes any {O, 1 }-valued weight function over the independent sets. Most of matroid op­ timization consists of attempts to solve successive generalizations of this problem. In one direction it is generalized to the problem of finding a largest common independent set of two matroids: the matroid intersection problem. This problem includes the matching problem for bipartite graphs, and several other combinatorial problems. In Edmonds' solu­ tion of it and the equivalent matroid partition problem, he introduced the notions of good characterization (intimately related to the NP class of problems) and matroid (oracle) algorithm.
    [Show full text]
  • Finding Fair and Efficient Allocations for Matroid Rank Valuations
    Finding Fair and Efficient Allocations for Matroid Rank Valuations NAWAL BENABBOU, Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, France MITHUN CHAKRABORTY, University of Michigan, Ann Arbor AYUMI IGARASHI, National Institute of Informatics, Tokyo, Japan YAIR ZICK, University of Massachusetts, Amherst, USA In this paper, we present new results on the fair and efficient allocation of indivisible goods to agents whose preferences correspond to matroid rank functions. This is a versatile valuation class with several desirable properties (such as monotonicity and submodularity), which naturally lends itself to a number of real-world domains. We use these properties to our advantage; first, we show that when agent valuations are matroid rank functions, a socially optimal (i.e. utilitarian social welfare-maximizing) allocation that achieves envy-freeness up to one item (EF1) exists and is computationally tractable. We also prove that the Nash welfare-maximizing and the leximin allocations both exhibit this fairness/efficiency combination, by showing that they canbe achieved by minimizing any symmetric strictly convex function over utilitarian optimal outcomes. To the best of our knowledge, this is the first valuation function class not subsumed by additive valuations for whichit has been established that an allocation maximizing Nash welfare is EF1. Moreover, for a subclass of these valuation functions based on maximum (unweighted) bipartite matching, we show that a leximin allocation can be computed in polynomial time. Additionally, we explore possible extensions of our results to fairness criteria other than EF1 as well as to generalizations of the above valuation classes. ACM Reference Format: Nawal Benabbou, Mithun Chakraborty, Ayumi Igarashi, and Yair Zick.
    [Show full text]