Abstract:Constrained submodular maximization problems have long been studied, with near-optimal results known under a variety of constraints when the submodular function is monotone. The case of non-monotone submodular maximization is less understood: the first approximation algorithms even for the unconstrainted setting were given by Feige et al. (FOCS '07). More recently, Lee et al. (STOC '09, APPROX '09) show how to approximately maximize non-monotone submodular functions when the constraints are given by the intersection of p matroid constraints; their algorithm is based on local-search procedures that consider p-swaps, and hence the running time may be n^Omega(p), implying their algorithm is polynomial-time only for constantly many matroids. In this paper, we give algorithms that work for p-independence systems (which generalize constraints given by the intersection of p matroids), where the running time is poly(n,p). Our algorithm essentially reduces the non-monotone maximization problem to multiple runs of the greedy algorithm previously used in the monotone case. Our idea of using existing algorithms for monotone functions to solve the non-monotone case also works for maximizing a submodular function with respect to a knapsack constraint: we get a simple greedy-based constant-factor approximation for this problem. With these simpler algorithms, we are able to adapt our approach to constrained non-monotone submodular maximization to the (online) secretary setting, where elements arrive one at a time in random order, and the algorithm must make irrevocable decisions about whether or not to select each element as it arrives. We give constant approximations in this secretary setting when the algorithm is constrained subject to a uniform matroid or a partition matroid, and give an O(log k) approximation when it is constrained by a general matroid of rank k.

On the Average Complexity of Moore's State Minimization Algorithm

Minimization of Automata

Moore machines duality

On the Hopcroft's minimization algorithm

The Complexity of Simplifying $ω$-Automata through the Alternating Cycle Decomposition

Weighted Moore Machine Congruences and Minimization

Descriptional Complexity of Finite Automata -- Selected Highlights

Minimization of Büchi Automata using Fair Simulation

Rice-like complexity lower bounds for Boolean and uniform automata networks

Efficient Deterministic Finite Automata Minimization Based on Backward Depth Information

A lower bound on the state complexity of transforming two-way nondeterministic finite automata to unambiguous finite automata

Operational State Complexity of Block Languages

On state complexity for subword-closed languages

Improvement in JavaMOP by Simplifying Büchi Automaton

Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques

An Average Case Analysis Of Monien And Speckenmeyer Mechanical Theorem-Proving Algorithm

Learning Moore Machines from Input-Output Traces

Constrained Non-Monotone Submodular Maximization: Offline and Secretary Algorithms

State Complexity of Binary Coded Regular Languages

On state complexity of finite word and tree languages

The State Complexity of Two Combined Operations: Star of Catenation and Star of Reversal