Further Collapses in TFNP

by   Mika Göös, et al.

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.


page 1

page 2

page 3

page 4


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

The complexity classes Unique End of Potential Line (UEOPL) and its prom...

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...

The Hairy Ball Problem is PPAD-Complete

The Hairy Ball Theorem states that every continuous tangent vector field...

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...

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

The classes PPA-p have attracted attention lately, because they are the ...

Infinite All-Layers Simple Foldability

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