Non-Promise Version of Unique Sink Orientations

Tiago Oliveira Marques

2024-08-30

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.

Discrete Mathematics,Combinatorics

What problem does this paper attempt to address?

### Problems the paper attempts to solve

The paper aims to explore and solve the Non - Promise Version of Unique Sink Orientations (USO) problem. Specifically, it attempts to find a sink in a USO or effectively verify violations of the USO property. The reasons why this problem is worthy of study are as follows:

1. **Reduction of optimization problems**: Many optimization problems (such as linear programming) can be reduced to USO problems, where each vertex corresponds to a possible solution and the global sink corresponds to the optimal solution.
2. **Limitations of promise problems**: The traditional USO problem is a promise problem, that is, it is assumed that the input is a valid USO. However, verifying this is coNP - complete, so in practical applications, cases that are not USO may be encountered.
3. **Total search problem**: The non - promise version allows outputting a sink or a certificate that effectively verifies the violation of the USO property, which makes it a total search problem and thus can be studied in a broader context.

### Main contributions

- **Adapting existing algorithms**: The paper extends many known promise - version USO algorithms and properties to the non - promise version, including algorithms and upper and lower bounds in small dimensions, such as the improved Fibonacci Seesaw algorithm.
- **Proof complexity**: The paper provides an effective analytical proof, showing that the problem belongs to the PLSdt (Polynomial Local Search in deterministic time) complexity class.
- **Conflict classification**: The paper completely classifies the conflicts of 4 vertices and shows that these conflicts are also effectively verifiable.
- **Query complexity**: The paper explores the query complexity of the non - promise version in deterministic and randomized settings and finds that in some cases the non - promise version requires more query times.

Through the study of these problems, the paper not only deepens the understanding of the USO problem but also provides new perspectives and tools for further exploration of related problems in the future.