Consensus Division in an Arbitrary Ratio

02/13/2022
by   Paul W. Goldberg, et al.
0

We consider the problem of partitioning a line segment into two subsets, so that n finite measures all has the same ratio of values for the subsets. Letting α∈[0,1] denote the desired ratio, this generalises the PPA-complete consensus-halving problem, in which α=1/2. It is known that for any α, there exists a solution using 2n cuts of the segment. Here we show that if α is irrational, that upper bound is almost optimal. We also obtain bounds that are nearly exact for a large subset of rational values α. On the computational side, we explore its dependence on the number of cuts available. More specifically, 1. when using the minimal number of cuts for each instance is required, the problem is NP-hard for any α; 2. for a large subset of rational α = ℓ/k, when k-1/k· 2n cuts are available, the problem is in the Turing closure of PPA-k; 3. when 2n cuts are allowed, the problem belongs to PPA for any α; furthermore, the problem belong to PPA-p for any prime p if 2(p-1)·⌈ p/2 ⌉/⌊ p/2 ⌋· n cuts are available.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/08/2014

Rational Closure in SHIQ

We define a notion of rational closure for the logic SHIQ, which does no...
research
08/30/2017

Identity Testing from High Powers of Polynomials of Large Degree over Finite Fields

We consider the problem of identity testing of two "hidden" monic polyno...
research
05/09/2018

On the number of integer points in translated and expanded polyhedra

We prove that the problem of minimizing the number of integer points inp...
research
03/07/2019

Computing Exact Solutions of Consensus Halving and the Borsuk-Ulam Theorem

We study the problem of finding an exact solution to the consensus halvi...
research
03/27/2018

A Faster FPTAS for the Subset-Sums Ratio Problem

The Subset-Sums Ratio problem (SSR) is an optimization problem in which,...
research
04/29/2021

On the Complexity of Recognizing Integrality and Total Dual Integrality of the {0,1/2}-Closure

The {0,1/2}-closure of a rational polyhedron { x Ax ≤ b } is obtained b...
research
12/21/2022

GCS-Q: Quantum Graph Coalition Structure Generation

The problem of generating an optimal coalition structure for a given coa...

Please sign up or login with your details

Forgot password? Click here to reset