Maximizing a skew-supermodular function

From Egres Open
Jump to: navigation, search

Given a skew-supermodular function p:2VZ with a function evaluation oracle, is it possible to find a set XV in polynomial time such that p(X)=max{p(Y):YV}? The problem is open even if p is a crossing negamodular function.


Solved b.jpg


It was shown by Toshimasa Ishii and Kazuhisa Makino [1] that the problem is hard even for negamodular functions. More precisely, they showed that any algorithm for the posimodular function minimization problem requires Ω(2n7.54) oracle calls. Furthermore, if the range of the set function is {0,1,d}, then Ω(2d15.08) oracle calls are necessary.

Remarks

There are several polynomial-time combinatorial algorithms for minimizing a submodular function (which is equivalent to maximizing a supermodular function); see [2] [3] for surveys.

References

  1. T. Ishii, K. Makino, Posimodular Function Optimization, arXiv link
  2. S.T. McCormick, Submodular function minimization, DOI link, author link
  3. S. Iwata, Submodular function minimization, DOI link, pdf link