Matroids and submodular optimization

Similar documents
1 Matroid intersection

Greedy Algorithms My T. UF

Reachability-based matroid-restricted packing of arborescences

arxiv: v1 [math.co] 18 Jun 2015

CS599: Convex and Combinatorial Optimization Fall 2013 Lecture 17: Combinatorial Problems as Linear Programs III. Instructor: Shaddin Dughmi

CMPSCI611: The Matroid Theorem Lecture 5

/633 Introduction to Algorithms Lecturer: Michael Dinitz Topic: Matroids and Greedy Algorithms Date: 10/31/16

MAKING BIPARTITE GRAPHS DM-IRREDUCIBLE

1 Some loose ends from last time

Packing Arborescences

An Introduction to Matroids & Greedy in Approximation Algorithms

Edge-connectivity of undirected and directed hypergraphs

ACO Comprehensive Exam March 20 and 21, Computability, Complexity and Algorithms

EE595A Submodular functions, their optimization and applications Spring 2011

Downloaded 03/01/17 to Redistribution subject to SIAM license or copyright; see

Submodular Functions Properties Algorithms Machine Learning

Matroid Optimisation Problems with Nested Non-linear Monomials in the Objective Function

Restricted b-matchings in degree-bounded graphs

Making Bipartite Graphs DM-irreducible

Algorithms for Enumerating Circuits in Matroids

On the Complexity of Some Enumeration Problems for Matroids

Non-TDI graph-optimization with supermodular functions (extended abstract)

Matroids. Start with a set of objects, for example: E={ 1, 2, 3, 4, 5 }

Submodularity in Machine Learning

Word Alignment via Submodular Maximization over Matroids

10.3 Matroids and approximation

Countable Menger s theorem with finitary matroid constraints on the ingoing edges

A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees

arxiv: v2 [math.co] 11 Mar 2019

and e 2 ~ e 2 iff e 1

Submodular Functions, Optimization, and Applications to Machine Learning

A combinatorial algorithm minimizing submodular functions in strongly polynomial time

FRACTIONAL PACKING OF T-JOINS. 1. Introduction

Maps of matroids with applications

Submodular Functions, Optimization, and Applications to Machine Learning

Matroid Representation of Clique Complexes

Rough Sets. V.W. Marek. General introduction and one theorem. Department of Computer Science University of Kentucky. October 2013.

General Methods for Algorithm Design

Graphs (Matroids) with k ± ɛ-disjoint spanning trees (bases)

Preliminaries and Complexity Theory

Lecture 10 (Submodular function)

A Min-Max Theorem for k-submodular Functions and Extreme Points of the Associated Polyhedra. Satoru FUJISHIGE and Shin-ichi TANIGAWA.

VIII. NP-completeness

Discrete Optimization 2010 Lecture 2 Matroids & Shortest Paths

On disjoint common bases in two matroids

Deterministic Truncation of Linear Matroids

15.1 Matching, Components, and Edge cover (Collaborate with Xin Yu)

Graph coloring, perfect graphs

The cocycle lattice of binary matroids

Minimum spanning tree

Approximating Submodular Functions. Nick Harvey University of British Columbia

Fast algorithms for even/odd minimum cuts and generalizations

Theory of Computation Chapter 9

The Complexity of Maximum. Matroid-Greedoid Intersection and. Weighted Greedoid Maximization

Reachability of recurrent positions in the chip-firing game

A disjoint union theorem for trees

NP-Complete Problems and Approximation Algorithms

arxiv: v2 [cs.ds] 7 Mar 2016

A First Course in Combinatorial Optimization. JON LEE IBM T.J. Watson Research Center, Yorktown Heights, New York

Introduction to Automata

A multivariate interlace polynomial

Applications of Submodular Functions in Speech and NLP

CS675: Convex and Combinatorial Optimization Fall 2014 Combinatorial Problems as Linear Programs. Instructor: Shaddin Dughmi

Edmonds Branching Theorem in Digraphs without Forward-infinite Paths arxiv: v1 [math.co] 1 May 2017

On Greedy Algorithms and Approximate Matroids

Minimization and Maximization Algorithms in Discrete Convex Analysis

ABHELSINKI UNIVERSITY OF TECHNOLOGY

Packing of Rigid Spanning Subgraphs and Spanning Trees

ACO Comprehensive Exam March 17 and 18, Computability, Complexity and Algorithms

An algorithm to increase the node-connectivity of a digraph by one

COSE215: Theory of Computation. Lecture 20 P, NP, and NP-Complete Problems

Beyond JWP: A Tractable Class of Binary VCSPs via M-Convex Intersection

Bipartite Matchings. Andreas Klappenecker

Weighted linear matroid matching

1 Primals and Duals: Zero Sum Games

Part II: Integral Splittable Congestion Games. Existence and Computation of Equilibria Integral Polymatroids

Apprentice Linear Algebra, 1st day, 6/27/05

An inequality for polymatroid functions and its applications

An Algorithmic Framework for Wireless Information Flow

Enumeration: logical and algebraic approach

Determine the size of an instance of the minimum spanning tree problem.

MATROIDS DENSER THAN A PROJECTIVE GEOMETRY

Lecture 10 February 4, 2013

THE DIRECT SUM, UNION AND INTERSECTION OF POSET MATROIDS

A note on [k, l]-sparse graphs

Minimization of Symmetric Submodular Functions under Hereditary Constraints

Bounded Treewidth Graphs A Survey German Russian Winter School St. Petersburg, Russia

4. How to prove a problem is NPC

UC Berkeley CS 170: Efficient Algorithms and Intractable Problems Handout 22 Lecturer: David Wagner April 24, Notes 22 for CS 170

Connectivity augmentation algorithms

APPROXIMATION ALGORITHMS RESOLUTION OF SELECTED PROBLEMS 1

1 Submodular functions

Approximability and Parameterized Complexity of Consecutive Ones Submatrix Problems

a 1 a 2 a 3 a 4 v i c i c(a 1, a 3 ) = 3

ON THE NP-COMPLETENESS OF SOME GRAPH CLUSTER MEASURES

CS675: Convex and Combinatorial Optimization Fall 2016 Combinatorial Problems as Linear and Convex Programs. Instructor: Shaddin Dughmi

Efficient Computation of Representative Sets with Applications in Parameterized and Exact Algorithms

The complexity of finding arc-disjoint branching flows

More Approximation Algorithms

On shredders and vertex connectivity augmentation

Transcription:

Matroids and submodular optimization Attila Bernáth Research fellow, Institute of Informatics, Warsaw University 23 May 2012 Attila Bernáth () Matroids and submodular optimization 23 May 2012 1 / 10

About me I have done my university studies and my PhD at Eötvös Loránd University, Budapest. Currently I am a postdoctoral researcher working in the ERC project titled Practical Approximation Algorithms led by Piotr Sankowski. Attila Bernáth () Matroids and submodular optimization 23 May 2012 2 / 10

About the course Title: Matroids and submodular optimization Subject: see later Language: English Prerequisities: some background in graph theory (spanning trees, network flows), linear algebra and complexity theory (polynomial algorithms, NP-completeness) Coursebook: Connections in Combinatorial Optimization written by András Frank Attila Bernáth () Matroids and submodular optimization 23 May 2012 3 / 10

Matroids - motivation Minimum weight spanning trees Given a (connected, undirected) graph G = (V, E) and edge-weights w : E R, find a spanning tree whose cost is minimal. Attila Bernáth () Matroids and submodular optimization 23 May 2012 4 / 10

Matroids - motivation Maximum weight spanning trees Given a (connected, undirected) graph G = (V, E) and edge-weights w : E R, find a spanning tree whose cost is maximal. Attila Bernáth () Matroids and submodular optimization 23 May 2012 4 / 10

Matroids - motivation Maximum weight spanning trees Given a (connected, undirected) graph G = (V, E) and edge-weights w : E R, find a spanning tree whose cost is maximal. Greedy algorithm (Kruskal) Assume w(e 1 ) w(e 2 ) w(e m ), and start with F = For i = 1, 2,..., m Include ei in F iff no cycle arises Output F. Attila Bernáth () Matroids and submodular optimization 23 May 2012 4 / 10

Matroids - motivation Given some vectors v 1, v 2,..., v m R n, find a linearly independent subset of maximum size... Attila Bernáth () Matroids and submodular optimization 23 May 2012 5 / 10

Matroids - motivation Given some vectors v 1, v 2,..., v m R n, find a linearly independent subset of maximum size... Or, more generally, find a linearly independent subset of maximum weight (where the weight w(v i ) of each vector is also given). Attila Bernáth () Matroids and submodular optimization 23 May 2012 5 / 10

Matroids - motivation Given some vectors v 1, v 2,..., v m R n, find a linearly independent subset of maximum size... Or, more generally, find a linearly independent subset of maximum weight (where the weight w(v i ) of each vector is also given). Greedy algorithm (the same as before) Assume w(v 1 ) w(v 2 ) w(v m ), and start with F = For i = 1, 2,..., m Include vi in F iff it remains linearly independent Output F. Attila Bernáth () Matroids and submodular optimization 23 May 2012 5 / 10

Matroids - definition Matroids grab this greedy structure (or: they generalize linear independence) Given some finite set S, let 2 S denote the set of all subsets of S. A family I 2 S is called hereditary, if X X I implies X I. Attila Bernáth () Matroids and submodular optimization 23 May 2012 6 / 10

Matroids - definition Matroids grab this greedy structure (or: they generalize linear independence) Given some finite set S, let 2 S denote the set of all subsets of S. A family I 2 S is called hereditary, if X X I implies X I. Definition (Matroid) The pair (S, I) is called a matroid, if I is nonempty, hereditary, and for any X S, the inclusionwise maximal members of I contained in X all have the same size. Members of I are called independent. Attila Bernáth () Matroids and submodular optimization 23 May 2012 6 / 10

Matroids - definition Matroids grab this greedy structure (or: they generalize linear independence) Given some finite set S, let 2 S denote the set of all subsets of S. A family I 2 S is called hereditary, if X X I implies X I. Definition (Matroid) The pair (S, I) is called a matroid, if I is nonempty, hereditary, and for any X S, the inclusionwise maximal members of I contained in X all have the same size. Members of I are called independent. In other words, if the greedy algorithm for finding a maximum weight member of I works for any 0 1 valued weight function (i.e. χ X ). Attila Bernáth () Matroids and submodular optimization 23 May 2012 6 / 10

Matroids - definition Matroids grab this greedy structure (or: they generalize linear independence) Given some finite set S, let 2 S denote the set of all subsets of S. A family I 2 S is called hereditary, if X X I implies X I. Definition (Matroid) The pair (S, I) is called a matroid, if I is nonempty, hereditary, and for any X S, the inclusionwise maximal members of I contained in X all have the same size. Members of I are called independent. In other words, if the greedy algorithm for finding a maximum weight member of I works for any 0 1 valued weight function (i.e. χ X ). (Note: this already implies that the greedy algorithm works properly for any weight function.) Attila Bernáth () Matroids and submodular optimization 23 May 2012 6 / 10

Matroids - examples Example 1: if G = (V, E) is a graph then forests form the independent sets of a matroid with ground set S = E (graphic matroid) Example 2: Given vectors v 1, v 2,..., v m, the linearly independent subsets also give a matroid (linear matroid). Attila Bernáth () Matroids and submodular optimization 23 May 2012 7 / 10

Matroids - applications Spanning tree union Given a graph G = (V, E), positive integer k, find k spanning trees, that are (pairwise) edge-disjoint. Polynomially solvable with matroid techniques, moreover... Attila Bernáth () Matroids and submodular optimization 23 May 2012 8 / 10

Matroids - applications Spanning tree union Given a graph G = (V, E), positive integer k, find k spanning trees, that are (pairwise) edge-disjoint. Polynomially solvable with matroid techniques, moreover... Maximum weight spanning tree union Given a graph G = (V, E), positive integer k and edge-weights w : E R, find k edge-disjoint spanning trees whose total weight is maximal. This is also polynomially solvable with matroid techniques (it is the special case of finding a maximum weight independent set in a matroid). Attila Bernáth () Matroids and submodular optimization 23 May 2012 8 / 10

Submodularity - motivating definition Suppose we have a factory that can produce any subset of a product set S. Attila Bernáth () Matroids and submodular optimization 23 May 2012 9 / 10

Submodularity - motivating definition Suppose we have a factory that can produce any subset of a product set S. If we decide to produce a subset X S, we have to pay a setup cost c(x ). Attila Bernáth () Matroids and submodular optimization 23 May 2012 9 / 10

Submodularity - motivating definition Suppose we have a factory that can produce any subset of a product set S. If we decide to produce a subset X S, we have to pay a setup cost c(x ). Suppose we have tentatively decided to produce some X S, and consider adding a new product e S \ X. The incremental setup cost will then be c(x + e) c(x ). Attila Bernáth () Matroids and submodular optimization 23 May 2012 9 / 10

Submodularity - motivating definition Suppose we have a factory that can produce any subset of a product set S. If we decide to produce a subset X S, we have to pay a setup cost c(x ). Suppose we have tentatively decided to produce some X S, and consider adding a new product e S \ X. The incremental setup cost will then be c(x + e) c(x ). Economists say, that in real-world applications this incremental setup cost of adding e can only get smaller, if X gets bigger, i.e. If X X and e S X, then c(x + e) c(x ) c(x + e) c(x ). Such a set function c is called submodular. Attila Bernáth () Matroids and submodular optimization 23 May 2012 9 / 10

Submodularity - motivating definition Suppose we have a factory that can produce any subset of a product set S. If we decide to produce a subset X S, we have to pay a setup cost c(x ). Suppose we have tentatively decided to produce some X S, and consider adding a new product e S \ X. The incremental setup cost will then be c(x + e) c(x ). Economists say, that in real-world applications this incremental setup cost of adding e can only get smaller, if X gets bigger, i.e. If X X and e S X, then c(x + e) c(x ) c(x + e) c(x ). Such a set function c is called submodular. Informally: introducing a new product is cheaper in a bigger factory. Attila Bernáth () Matroids and submodular optimization 23 May 2012 9 / 10

Submodularity - applications, examples Applications: optimization problems are usually tractable because submodularity is involved, many proofs in graph theory use submodularity. Attila Bernáth () Matroids and submodular optimization 23 May 2012 10 / 10

Submodularity - applications, examples Applications: optimization problems are usually tractable because submodularity is involved, Examples many proofs in graph theory use submodularity. The cut function d G : 2 V Z + of an (undirected) graph G = (V, E), defined by d G (X ) = {e E : e enters X } is submodular (it is also symmetric, meaning d G (X ) = d G ((V X ) for any X ), The in-degree function ϱ D : 2 V Z + of a directed graph D = (V, A) defined by ϱ D (X ) = {a A : a enters X } is (non-symmetric and) submodular (so is the out-degree function, of course), The rank function r : 2 S Z + of a matroid (S, I) defined by r(x ) = max{ I : I I, I X } is submodular. Attila Bernáth () Matroids and submodular optimization 23 May 2012 10 / 10