Partial Function Extension with Applications to Learning and Property Testing

12/14/2018
by   Umang Bhaskar, et al.
0

In partial function extension, we are given a partial function consisting of n points from a domain and a function value at each point. Our objective is to determine if this partial function can be extended to a function defined on the domain, that additionally satisfies a given property, such as convexity. This basic problem underlies research questions in many areas, such as learning, property testing, and game theory. We formally study the problem of extending partial functions to satisfy fundamental properties in combinatorial optimization, focusing on upper and lower bounds for extension and applications to learning and property testing. (1) For subadditive functions, we show the extension problem is coNP-complete, and we give tight bounds on the approximability. We also give an improved lower bound for learning subadditive functions, and give the first nontrivial testers for subadditive and XOS functions. (2) For submodular functions, we show that if a partial function can be extended to a submodular function on the lattice closure (the minimal set that contains the partial function and is closed under union and intersection) of the partial function, it can be extended to a submodular function on the entire domain. We obtain algorithms for determining extendibility in a number of cases, including if n is a constant, or the points are nearly the same size. The complexity of extendibility is in general unresolved. (3) Lastly, for convex functions in R^m, we show an interesting juxtaposition: while we can determine the existence of an extension efficiently, computing the value of a widely-studied convex extension at a given point is strongly NP-hard.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/16/2019

The Complexity of Partial Function Extension for Coverage Functions

Coverage functions are an important subclass of submodular functions, fi...
research
09/26/2020

An optimization problem for continuous submodular functions

Real continuous submodular functions, as a generalization of the corresp...
research
05/31/2017

Diversified Top-k Partial MaxSAT Solving

We introduce a diversified top-k partial MaxSAT problem, a combination o...
research
10/10/2020

Structural Ramsey Theory and the Extension Property for Partial Automorphisms

We survey recent developments concerning two properties of classes of fi...
research
03/28/2022

An improved approximation algorithm for maximizing a DR-submodular function over a convex set

Maximizing a DR-submodular function subject to a general convex set is a...
research
02/03/2021

Extending Partial Representations of Rectangular Duals with Given Contact Orientations

A rectangular dual of a graph G is a contact representation of G by axis...
research
01/17/2023

Matroid Horn functions

Hypergraph Horn functions were introduced as a subclass of Horn function...

Please sign up or login with your details

Forgot password? Click here to reset