License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ICALP.2020.61
URN: urn:nbn:de:0030-drops-124687
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2020/12468/
Go to the corresponding LIPIcs Volume Portal


Gurjar, Rohit ; Rathi, Rajat

Linearly Representable Submodular Functions: An Algebraic Algorithm for Minimization

pdf-format:
LIPIcs-ICALP-2020-61.pdf (0.5 MB)


Abstract

A set function f : 2^E → ℝ on the subsets of a set E is called submodular if it satisfies a natural diminishing returns property: for any S ⊆ E and x,y ∉ S, we have f(S ∪ {x,y}) - f(S ∪ {y}) ≤ f(S ∪ {x}) - f(S). Submodular minimization problem asks for finding the minimum value a given submodular function takes. We give an algebraic algorithm for this problem for a special class of submodular functions that are "linearly representable". It is known that every submodular function f can be decomposed into a sum of two monotone submodular functions, i.e., there exist two non-decreasing submodular functions f₁,f₂ such that f(S) = f₁(S) + f₂(E ⧵ S) for each S ⊆ E. Our class consists of those submodular functions f, for which each of f₁ and f₂ is a sum of k rank functions on families of subspaces of ?ⁿ, for some field ?.
Our algebraic algorithm for this class of functions can be parallelized, and thus, puts the problem of finding the minimizing set in the complexity class randomized NC. Further, we derandomize our algorithm so that it needs only O(log²(kn|E|)) many random bits.
We also give reductions from two combinatorial optimization problems to linearly representable submodular minimization, and thus, get such parallel algorithms for these problems. These problems are (i) covering a directed graph by k a-arborescences and (ii) packing k branchings with given root sets in a directed graph.

BibTeX - Entry

@InProceedings{gurjar_et_al:LIPIcs:2020:12468,
  author =	{Rohit Gurjar and Rajat Rathi},
  title =	{{Linearly Representable Submodular Functions: An Algebraic Algorithm for Minimization}},
  booktitle =	{47th International Colloquium on Automata, Languages, and Programming (ICALP 2020)},
  pages =	{61:1--61:15},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-138-2},
  ISSN =	{1868-8969},
  year =	{2020},
  volume =	{168},
  editor =	{Artur Czumaj and Anuj Dawar and Emanuela Merelli},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2020/12468},
  URN =		{urn:nbn:de:0030-drops-124687},
  doi =		{10.4230/LIPIcs.ICALP.2020.61},
  annote =	{Keywords: Submodular Minimization, Parallel Algorithms, Derandomization, Algebraic Algorithms}
}

Keywords: Submodular Minimization, Parallel Algorithms, Derandomization, Algebraic Algorithms
Collection: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020)
Issue Date: 2020
Date of publication: 29.06.2020


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI