Advice Complexity of Priority Algorithms

06/16/2018
by   Allan Borodin, et al.
0

The priority model of "greedy-like" algorithms was introduced by Borodin, Nielsen, and Rackoff in 2002. We augment this model by allowing priority algorithms to have access to advice, i.e., side information precomputed by an all-powerful oracle. Obtaining lower bounds in the priority model without advice can be challenging and may involve intricate adversary arguments. Since the priority model with advice is even more powerful, obtaining lower bounds presents additional difficulties. We sidestep these difficulties by developing a general framework of reductions which makes lower bound proofs relatively straightforward and routine. We start by introducing the Pair Matching problem, for which we are able to prove strong lower bounds in the priority model with advice. We develop a template for constructing a reduction from Pair Matching to other problems in the priority model with advice -- this part is technically challenging since the reduction needs to define a valid priority function for Pair Matching while respecting the priority function for the other problem. Finally, we apply the template to obtain lower bounds for a number of standard discrete optimization problems.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/02/2019

Advice Complexity of Adaptive Priority Algorithms

The priority model was introduced by Borodin, Rackoff and Nielsen to cap...
research
02/21/2022

Priority Algorithms with Advice for Disjoint Path Allocation Problems

We analyze the Disjoint Path Allocation problem (DPA) in the priority fr...
research
07/31/2023

New Lower Bounds for Testing Monotonicity and Log Concavity of Distributions

We develop a new technique for proving distribution testing lower bounds...
research
12/07/2018

Kernelization of Packing Problems

Kernelization algorithms are polynomial-time reductions from a problem t...
research
03/15/2021

Lower Complexity Bounds of Finite-Sum Optimization Problems: The Results and Construction

The contribution of this paper includes two aspects. First, we study the...
research
01/22/2020

Axiomatizing Maximal Progress and Discrete Time

Milner's complete proof system for observational congruence is crucially...
research
05/18/2023

Submodularity Gaps for Selected Network Design and Matching Problems

Submodularity in combinatorial optimization has been a topic of many stu...

Please sign up or login with your details

Forgot password? Click here to reset