Table of Contents
Fetching ...

Efficient Deterministic Algorithms for Maximizing Symmetric Submodular Functions

Zongqi Wan, Jialin Zhang, Xiaoming Sun, Zhijie Zhang

TL;DR

This paper presents several efficient deterministic algorithms for maximizing a symmetric submodular function under various constraints and designs a deterministic algorithm that attains a cardinality constraint ratio and uses O(kn) queries.

Abstract

Symmetric submodular maximization is an important class of combinatorial optimization problems, including MAX-CUT on graphs and hyper-graphs. The state-of-the-art algorithm for the problem over general constraints has an approximation ratio of $0.432$. The algorithm applies the canonical continuous greedy technique that involves a sampling process. It, therefore, suffers from high query complexity and is inherently randomized. In this paper, we present several efficient deterministic algorithms for maximizing a symmetric submodular function under various constraints. Specifically, for the cardinality constraint, we design a deterministic algorithm that attains a $0.432$ ratio and uses $O(kn)$ queries. Previously, the best deterministic algorithm attains a $0.385-ε$ ratio and uses $O\left(kn (\frac{10}{9ε})^{\frac{20}{9ε}-1}\right)$ queries. For the matroid constraint, we design a deterministic algorithm that attains a $1/3-ε$ ratio and uses $O(kn\log ε^{-1})$ queries. Previously, the best deterministic algorithm can also attain $1/3-ε$ ratio but it uses much larger $O(ε^{-1}n^4)$ queries. For the packing constraints with a large width, we design a deterministic algorithm that attains a $0.432-ε$ ratio and uses $O(n^2)$ queries. To the best of our knowledge, there is no deterministic algorithm for the constraint previously. The last algorithm can be adapted to attain a $0.432$ ratio for single knapsack constraint using $O(n^4)$ queries. Previously, the best deterministic algorithm attains a $0.316-ε$ ratio and uses $\widetilde{O}(n^3)$ queries.

Efficient Deterministic Algorithms for Maximizing Symmetric Submodular Functions

TL;DR

This paper presents several efficient deterministic algorithms for maximizing a symmetric submodular function under various constraints and designs a deterministic algorithm that attains a cardinality constraint ratio and uses O(kn) queries.

Abstract

Symmetric submodular maximization is an important class of combinatorial optimization problems, including MAX-CUT on graphs and hyper-graphs. The state-of-the-art algorithm for the problem over general constraints has an approximation ratio of . The algorithm applies the canonical continuous greedy technique that involves a sampling process. It, therefore, suffers from high query complexity and is inherently randomized. In this paper, we present several efficient deterministic algorithms for maximizing a symmetric submodular function under various constraints. Specifically, for the cardinality constraint, we design a deterministic algorithm that attains a ratio and uses queries. Previously, the best deterministic algorithm attains a ratio and uses queries. For the matroid constraint, we design a deterministic algorithm that attains a ratio and uses queries. Previously, the best deterministic algorithm can also attain ratio but it uses much larger queries. For the packing constraints with a large width, we design a deterministic algorithm that attains a ratio and uses queries. To the best of our knowledge, there is no deterministic algorithm for the constraint previously. The last algorithm can be adapted to attain a ratio for single knapsack constraint using queries. Previously, the best deterministic algorithm attains a ratio and uses queries.
Paper Structure (13 sections, 15 theorems, 35 equations, 1 table, 5 algorithms)

This paper contains 13 sections, 15 theorems, 35 equations, 1 table, 5 algorithms.

Key Result

Lemma 1

Given a non-negative symmetric submodular function $f:2^N\rightarrow\mathbb{R}_+$ and a set $S\subseteq N$ such that $f(R)\leq f(S)$ for any $R\subseteq S$, then $f(S\cup T)\geq f(T)-f(S)$ for any $T\subseteq N$.

Theorems & Definitions (27)

  • Lemma 1
  • proof
  • Lemma 2
  • proof
  • Corollary 1
  • Lemma 3
  • proof
  • Theorem 1
  • proof
  • Lemma 4
  • ...and 17 more