Abstract:A unique sink orientation (USO) is an orientation of the edges of a hypercube such that each face has a unique sink. Many optimization problems like linear programs reduce to USOs, in the sense that each vertex corresponds to a possible solution, and the global sink corresponds to the optimal solution. People have been studying intensively the problem of find the sink of a USO using vertex evaluations, i.e., queries which return the orientation of the edges around a vertex. This problem is a so called promise problem, as it assumes that the orientation it receives is a USO. In this paper, we analyze a non-promise version of the USO problem, in which we try to either find a sink or an efficiently verifiable violation of the USO property. This problem is worth investigating, because some problems which reduce to USO are also promise problems (and so we can also define a non-promise version for them), and it would be interesting to discover where USO lies in the hierarchy of subclasses of $\texttt{TFNP}^\texttt{dt}$, and for this a total search problem is required (which is the case for the non-promise version). We adapt many known properties and algorithms from the promise version to the non-promise one, including known algorithms for small dimensions and lower and upper bounds, like the Fibonacci Seesaw Algorithm. Furthermore, we present an efficient resolution proof of the problem, which shows it is in the search complexity class $\texttt{PLS}^\texttt{dt}$ (although this fact was already known via reductions). Finally, although initially the only allowed violations consist of $2$ vertices, we generalize them to more vertices, and provide a full categorization of violations with $4$ vertices, showing that they are also efficiently verifiable.

Generating a random sink-free orientation in quadratic time

On oriented cycles in randomly perturbed digraphs

Uniform sampling of undirected and directed graphs with a fixed degree sequence

Efficient and exact sampling of simple graphs with given arbitrary degree sequence

On Phases of Unique Sink Orientations

Sampling Arbitrary Subgraphs Exactly Uniformly in Sublinear Time

Thresholds for Extreme Orientability

Asymptotic Enumeration of Orientations of a Graph as a Function of the Out-Degree Sequence

First critical probability for a problem on random orientations in $G(n,p)$

Fair Sampling of Ground-State Configurations of Binary Optimization Problems.

Sampling and counting triangle-free graphs near the critical density

Non-Promise Version of Unique Sink Orientations

Sublinear Random Access Generators for Preferential Attachment Graphs

On Sampling Edges Almost Uniformly

Engineering Fully Dynamic Exact $Δ$-Orientation Algorithms

Uniform generation of random graphs with power-law degree sequences

Rapid Mixing via Coupling Independence for Spin Systems with Unbounded Degree

Approximate Sampling of Graphs with Near-$P$-stable Degree Intervals

Randomized algorithms to generate hypergraphs with given degree sequences

Random walks on Coxeter interchange graphs

Generating Connected Random Graphs