Posimodular Function Optimization.
ALGORITHMS AND DATA STRUCTURES: 15TH INTERNATIONAL SYMPOSIUM, WADS 2017(2017)
Abstract
A function f : 2(V) -> IR on a finite set V is posimodular if f(X) + f(Y) >= f(X \ Y) + f(Y \ X), for all X, Y subset of V. Posimodular functions often arise in combinatorial optimization such as undirected cut functions. We consider the problem of finding a nonempty subset X minimizing f(X), when the posimodular function f is given by oracle access. We show that posimodular function minimization requires exponential time, contrasting with the polynomial solvability of submodular function minimization that forms another generalization of cut functions. On the other hand, the problem is fixed-parameter tractable in terms of the size of the image (or range) of f. In more detail, we show that Omega(2(0.3219n) T-f) time is necessary and O(2(0.92n) T-f) sufficient, where T-f denotes the time for one function evaluation. When the image of f is D = {0, 1, ..., d}, O(2(1.271d) nT(f)) time is sufficient and Omega(2(0.1609d) T-f) necessary. We can also generate all sets minimizing f in time 2(O(d)) n(2)T(f). Finally, we also consider the problem of maximizing a given posimodular function, showing that it requires at least 2(n-1) T-f time in general, while it has time complexity circle minus(n(d-1) T-f) when D = {0, 1, ..., d} is the image of f, for integer d.
MoreTranslated text
Key words
Posimodular function, Algorithm, Lower bounds, 68W40, 68Q25
AI Read Science
Must-Reading Tree
Example
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined