Dice Question Streamline Icon: https://streamlinehq.com

Separation between Sink-or-Clash and Sink-USO in deterministic query complexity

Ascertain whether the deterministic query complexity t(n) of Sink-or-Clash is strictly larger than the deterministic query complexity q(n) of Sink-USO for some dimension n, by establishing tighter upper bounds for q(n) or lower bounds for t(n) that yield a provable separation.

Information Square Streamline Icon: https://streamlinehq.com

Background

The paper shows that for dimensions up to 4, the deterministic query complexities of Sink-or-Clash and Sink-USO coincide, even though Sink-or-Clash appears to be harder in general because it must either find a sink or identify a clash.

Despite this intuition, the authors were unable to derive bounds that demonstrate a strict hardness separation between the two problems, leaving the question of separation open.

References

However, we have not been able to find upper bounds for Sink-USO or lower bounds for Sink-or-Clash that confirm that Sink-or-Clash is indeed strictly harder.

Non-Promise Version of Unique Sink Orientations (2408.17283 - Marques, 30 Aug 2024) in Section 7 (Future Work)