Further Collapses in TFNP

02/15/2022
by   Mika Göös, et al.
0

We show =∩. Here the class consists of all total search problems that reduce to the End-of-Potential-Line problem, which was introduced in the works by Hubacek and Yogev (SICOMP 2020) and Fearnley et al. (JCSS 2020). In particular, our result yields a new simpler proof of the breakthrough collapse =∩ by Fearnley et al. (STOC 2021). We also prove a companion result =∩, where is the class associated with the Sink-of-Potential-Line problem.

READ FULL TEXT

page 1

page 2

page 3

page 4

09/05/2022

Unique Sink Orientations of Grids is in Unique End of Potential Line

The complexity classes Unique End of Potential Line (UEOPL) and its prom...
08/02/2019

On the modes of convergence of Stochastic Optimistic Mirror Descent (OMD) for saddle point problems

In this article, we study the convergence of Mirror Descent (MD) and Opt...
02/20/2019

The Hairy Ball Problem is PPAD-Complete

The Hairy Ball Theorem states that every continuous tangent vector field...
04/29/2012

Generalising unit-refutation completeness and SLUR via nested input resolution

We introduce two hierarchies of clause-sets, SLUR_k and UC_k, based on t...
03/26/2020

A Topological Characterization of Modulo-p Arguments and Implications for Necklace Splitting

The classes PPA-p have attracted attention lately, because they are the ...
01/24/2019

Infinite All-Layers Simple Foldability

We study the problem of deciding whether a crease pattern can be folded ...