TY - JOUR

T1 - Finding submodularity hidden in symmetric difference

AU - Nakashima, Junpei

AU - Yamauchi, Yukiko

AU - Kijima, Shuji

AU - Yamashita, Masafumi

N1 - Publisher Copyright:
Copyright © 2017, The Authors. All rights reserved.
Copyright:
Copyright 2020 Elsevier B.V., All rights reserved.

PY - 2017/12/23

Y1 - 2017/12/23

N2 - A set function f on a finite set V is submodular if f(X) + f(Y ) ≥ f(X ∪ Y ) + f(X ∩ Y ) for any pair X, Y ⊆ V. The symmetric difference transformation (SD-transformation) of f by a canonical set S ⊆ V is a set function g given by g(X) = f(X M S) for X ⊆ V, where X M S = (X \ S) ∪ (S \ X) denotes the symmetric difference between X and S. Submodularity and SD-transformations are regarded as the counterparts of convexity and affine transformations in a discrete space, respectively. However, submodularity is not preserved under SD-transformations, in contrast to the fact that convexity is invariant under affine transformations. This paper presents a characterization of SD-transformations preserving submodularity. Then, we are concerned with the problem of discovering a canonical set S, given the SD-transformation g of a submodular function f by S, provided that g(X) is given by a function value oracle. A submodular function f on V is said to be strict if f(X) + f(Y ) > f(X ∪ Y ) + f(X ∩ Y ) holds whenever both X \ Y and Y \ X are nonempty. We show that the problem is solved by using O(|V |) oracle calls when f is strictly submodular, although it requires exponentially many oracle calls in general.

AB - A set function f on a finite set V is submodular if f(X) + f(Y ) ≥ f(X ∪ Y ) + f(X ∩ Y ) for any pair X, Y ⊆ V. The symmetric difference transformation (SD-transformation) of f by a canonical set S ⊆ V is a set function g given by g(X) = f(X M S) for X ⊆ V, where X M S = (X \ S) ∪ (S \ X) denotes the symmetric difference between X and S. Submodularity and SD-transformations are regarded as the counterparts of convexity and affine transformations in a discrete space, respectively. However, submodularity is not preserved under SD-transformations, in contrast to the fact that convexity is invariant under affine transformations. This paper presents a characterization of SD-transformations preserving submodularity. Then, we are concerned with the problem of discovering a canonical set S, given the SD-transformation g of a submodular function f by S, provided that g(X) is given by a function value oracle. A submodular function f on V is said to be strict if f(X) + f(Y ) > f(X ∪ Y ) + f(X ∩ Y ) holds whenever both X \ Y and Y \ X are nonempty. We show that the problem is solved by using O(|V |) oracle calls when f is strictly submodular, although it requires exponentially many oracle calls in general.

UR - http://www.scopus.com/inward/record.url?scp=85092873836&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85092873836&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:85092873836

JO - Quaternary International

JF - Quaternary International

SN - 1040-6182

ER -