45 research outputs found
The Complexity of Finding Fair Independent Sets in Cycles
Let be a cycle graph and let be a partition of its
vertex set into sets. An independent set of is said to fairly
represent the partition if for
all . It is known that for every cycle and every partition of its
vertex set, there exists an independent set that fairly represents the
partition (Aharoni et al., A Journey through Discrete Math., 2017). We prove
that the problem of finding such an independent set is -complete.
As an application, we show that the problem of finding a monochromatic edge in
a Schrijver graph, given a succinct representation of a coloring that uses
fewer colors than its chromatic number, is -complete as well. The
work is motivated by the computational aspects of the `cycle plus triangles'
problem and of its extensions.Comment: 18 page
2-D Tucker is PPA complete
The 2-D Tucker search problem is shown to be PPA-hard under many-one reductions; therefore it is complete for PPA. The same holds for k-D Tucker for all k≥2. This corrects a claim in the literature that the Tucker search problem is in PPAD.Peer ReviewedPostprint (author's final draft
Short proofs of the Kneser-Lovász coloring principle
We prove that propositional translations of the Kneser–Lovász theorem have polynomial size extended Frege proofs and quasi-polynomial size Frege proofs for all fixed values of k.
We present a new counting-based combinatorial proof of the K neser–Lovász theorem based on the Hilton–Milner theorem; this avoids the topological arguments of prior proofs for all but finitely many base cases. We introduce new “truncated Tucker lemma” principles, which are miniaturizations of the octahedral Tucker lemma. The truncated Tucker lemma implies the Kneser–Lovász theorem. We show that the
k=1 case of the truncated Tucker lemma has polynomial size extended Frege proofs.Peer ReviewedPostprint (author's final draft
Computing exact solutions of consensus halving and the Borsuk-Ulam theorem
We study the problem of finding an exact solution to the consensus halving
problem. While recent work has shown that the approximate version of this
problem is PPA-complete, we show that the exact version is much harder.
Specifically, finding a solution with cuts is FIXP-hard, and deciding
whether there exists a solution with fewer than cuts is ETR-complete. We
also give a QPTAS for the case where each agent's valuation is a polynomial.
Along the way, we define a new complexity class BU, which captures all problems
that can be reduced to solving an instance of the Borsuk-Ulam problem exactly.
We show that FIXP BU TFETR and that LinearBU PPA,
where LinearBU is the subclass of BU in which the Borsuk-Ulam instance is
specified by a linear arithmetic circuit
Computing Exact Solutions of Consensus Halving and the Borsuk-Ulam Theorem
We study the problem of finding an exact solution to the consensus halving problem. While recent work has shown that the approximate version of this problem is PPA-complete, we show that the exact version is much harder. Specifically, finding a solution with cuts is FIXP-hard, and deciding whether there exists a solution with fewer than cuts is ETR-complete. We also give a QPTAS for the case where each agent's valuation is a polynomial. Along the way, we define a new complexity class BU, which captures all problems that can be reduced to solving an instance of the Borsuk-Ulam problem exactly. We show that FIXP BU TFETR and that LinearBU PPA, where LinearBU is the subclass of BU in which the Borsuk-Ulam instance is specified by a linear arithmetic circuit
Consensus-Halving: Does It Ever Get Easier?
In the -Consensus-Halving problem, a fundamental problem in fair division, there are agents with valuations over the interval , and the goal is to divide the interval into pieces and assign a label "" or "" to each piece, such that every agent values the total amount of "" and the total amount of "" almost equally. The problem was recently proven by Filos-Ratsikas and Goldberg [2019] to be the first "natural" complete problem for the computational class PPA, answering a decade-old open question. In this paper, we examine the extent to which the problem becomes easy to solve, if one restricts the class of valuation functions. To this end, we provide the following contributions. First, we obtain a strengthening of the PPA-hardness result of [Filos-Ratsikas and Goldberg, 2019], to the case when agents have piecewise uniform valuations with only two blocks. We obtain this result via a new reduction, which is in fact conceptually much simpler than the corresponding one in [Filos-Ratsikas and Goldberg, 2019]. Then, we consider the case of single-block (uniform) valuations and provide a parameterized polynomial time algorithm for solving -Consensus-Halving for any , as well as a polynomial-time algorithm for ; these are the first algorithmic results for the problem. Finally, an important application of our new techniques is the first hardness result for a generalization of Consensus-Halving, the Consensus--Division problem. In particular, we prove that -Consensus--Division is PPAD-hard
A Fixed-Parameter Algorithm for the Schrijver Problem
The Schrijver graph is defined for integers and with as the graph whose vertices are all the -subsets of
that do not include two consecutive elements modulo , where two such sets
are adjacent if they are disjoint. A result of Schrijver asserts that the
chromatic number of is (Nieuw Arch. Wiskd., 1978). In the
computational Schrijver problem, we are given an access to a coloring of the
vertices of with colors, and the goal is to find a
monochromatic edge. The Schrijver problem is known to be complete in the
complexity class . We prove that it can be solved by a randomized
algorithm with running time , hence it is
fixed-parameter tractable with respect to the parameter .Comment: 19 pages. arXiv admin note: substantial text overlap with
arXiv:2204.0676
Hardness Results for Consensus-Halving
We study the consensus-halving problem of dividing an object into two portions, such that each of agents has equal valuation for the two portions. The -approximate consensus-halving problem allows each agent to have an discrepancy on the values of the portions. We prove that computing -approximate consensus-halving solution using cuts is in PPA, and is PPAD-hard, where is some positive constant; the problem remains PPAD-hard when we allow a constant number of additional cuts. It is NP-hard to decide whether a solution with cuts exists for the problem. As a corollary of our results, we obtain that the approximate computational version of the Continuous Necklace Splitting Problem is PPAD-hard when the number of portions is two