We introduce a new class of functions that can be minimized in polynomial time in the value oracle model. These are functions @math satisfying @math where the domain of each variable @math corresponds to nodes of a rooted binary tree, and operations @math are defined with respect to this tree. Special cases include previously studied @math -convex and bisubmodular functions, which can be obtained with particular choices of trees. We present a polynomial-time algorithm for minimizing functions in the new class. It combines Murota's steepest descent algorithm for @math -convex functions with bisubmodular minimization algorithms.
Recently, researchers considered submodular functions on non-distributive lattices. It is known that a lattice is non-distributive if it contains as a sublattice either the pentagon @math or the diamond @math . Krokhin and Larose @cite_5 proved tractability for the pentagon case, using nested applications of a submodular minimization algorithm. The case of the diamond was considered by Kuivinen @cite_14 , who proved pseudo-polynomiality of the problem. The case of general non-distributive lattices is still open.
@cite_5 @cite_14
2951171906 2089729462 2545520746 1755884204
Let @math be a finite lattice and let @math be a positive integer. A function @math is said to be submodular if @math for all @math . In this paper we study submodular functions when @math is a diamond. Given oracle access to @math we are interested in finding @math such that @math as efficiently as possible. We establish a min--max theorem, which states that the minimum of the submodular function is equal to the maximum of a certain function defined over a certain polyhedron; and a good characterisation of the minimisation problem, i.e., we show that given an oracle for computing a submodular @math and an integer @math such that @math , there is a proof of this fact which can be verified in time polynomial in @math and @math ; and a pseudo-polynomial time algorithm for the minimisation problem, i.e., given an oracle for computing a submodular @math one can find @math in time bounded by a polynomial in @math and @math . A number of recent results on optimization problems involving submodular functions have made use of the "multilinear relaxation" of the problem. We present a general approach to deriving inapproximability results in the value oracle model, based on the notion of "symmetry gap". Our main result is that for any fixed instance that exhibits a certain "symmetry gap" in its multilinear relaxation, there is a naturally related class of instances for which a better approximation factor than the symmetry gap would require exponentially many oracle queries. This unifies several known hardness results for submodular maximization, e.g. the optimality of (1-1 e)-approximation for monotone submodular maximization under a cardinality constraint, and the impossibility of (1 2+epsilon)-approximation for unconstrained (non-monotone) submodular maximization. It follows from our result that (1 2+epsilon)-approximation is also impossible for non-monotone submodular maximization subject to a (non-trivial) matroid constraint. On the algorithmic side, we present a 0.309-approximation for this problem, improving the previously known factor of 1 4-o(1).As another application, we consider the problem of maximizing a non-monotone submodular function over the bases of a matroid. A (1 6-o(1))-approximation has been developed for this problem, assuming that the matroid contains two disjoint bases. We show that the best approximation one can achieve is indeed related to packings of bases in the matroid. Specifically, for any k≫=2, there is a class of matroids of fractional base packing number nu = k (k-1), such that any algorithm achieving a better than (1-1 nu)-approximation for this class would require exponentially many value queries. On the positive side, we present a 1 2 (1-1 nu-o(1))-approximation algorithm for the same problem. Our hardness results hold in fact for very special symmetric instances. For such symmetric instances, we show that the approximation factors of 1 2 (for submodular maximization subject to a matroid constraint) and 1-1 nu (for a matroid base constraint) can be achieved algorithmically and hence are optimal. Submodularity is one of the most important properties of combinatorial optimization, and k-submodularity is a generalization of submodularity. Maximization of a k-submodular function is NP-hard, and approximation algorithms have been studied. Most of algorithms use randomization and achieve the approximation ratio as the expected value. For unconstrained submodular maximization, [Buchbinder and Feldman 2016] gave a derandomization scheme, and showed that randomness is not necessary for obtaining optimal results. In this paper, we extend their scheme for unconstrained k-submodular maximization and give two deterministic algorithms for k-submodular maximization. The first is for monotone k-submodular functions. We derandomize (k (2k-1) )-approximation algorithm [Iwata, Tanigawa, and Yoshida 2016], and achieve the same approximation ratio. The second is for nonmonotone functions with (k 2 ). It achieves (k (3k-2) )-approximation, and it is better than a simple greedy algorithm [Ward and Živný 2016] which achieves 1 3-approximation for (k 3 ). We show that all non-negative submodular functions have high noise-stability . As a consequence, we obtain a polynomial-time learning algorithm for this class with respect to any product distribution on @math (for any constant accuracy parameter @math ). Our algorithm also succeeds in the agnostic setting. Previous work on learning submodular functions required either query access or strong assumptions about the types of submodular functions to be learned (and did not hold in the agnostic setting).