# Finding Submodularity Hidden in Symmetric Difference

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 S) for X ⊆ V,where X 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-stransformations 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.

• 2 publications
• 10 publications
• 5 publications
• 8 publications
research
12/23/2017

### Finding the Submodularity Hidden in Symmetric Difference

A fundamental property of convex functions in continuous space is that t...
research
08/01/2019

### Submodular Cost Submodular Cover with an Approximate Oracle

In this work, we study the Submodular Cost Submodular Cover problem, whi...
research
03/20/2019

### Any Finite Distributive Lattice is Isomorphic to the Minimizer Set of an M^-Concave Set Function

Submodularity is an important concept in combinatorial optimization, and...
research
10/06/2020

### On Additive Approximate Submodularity

A real-valued set function is (additively) approximately submodular if i...
research
08/23/2023

### Balanced Submodular Flows

This paper examines the Balanced Submodular Flow Problem, that is the pr...
research
06/25/2020

### New Approximations and Hardness Results for Submodular Partitioning Problems

We consider the following class of submodular k-multiway partitioning pr...
research
07/17/2018

### Supermodular Locality Sensitive Hashes

In this work, we show deep connections between Locality Sensitive Hashab...