网格的唯一汇方向位于势线的唯一端点
Unique Sink Orientations of Grids is in Unique End of Potential Line
摘要：
复杂性类Unique End of Potential Line（UEOPL）及其承诺版本PUEOPL由Fearnly等人于2018年引入。UEOPL捕获实例承诺有唯一解决方案的搜索问题。UEOPL捕获这些promise问题的总搜索版本。可以通过定义作为未实现promise的短证书返回的违规来解决promise问题。GridUSO是在具有唯一汇方向的网格中查找汇的问题。它是由Gärtner等人介绍的。我们描述了一个从GridUSO到UniqueForwardEOPL的承诺保持减少，这是一个UEOPL完全问题。因此，我们表明GridUSO在UEOPL中，其承诺版本在PUEOPL中。
英文摘要：
The complexity classes Unique End of Potential Line (UEOPL) and its promise version PUEOPL were introduced in 2018 by Fearnly et al. UEOPL captures search problems where the instances are promised to have a unique solution. UEOPL captures total search versions of these promise problems. The promise problems can be made total by defining violations that are returned as a short certificate of an unfulfilled promise. GridUSO is the problem of finding the sink in a grid with a unique sink orientation. It was introduced by Gärtner et al. We describe a promise preserving reduction from GridUSO to UniqueForwardEOPL, a UEOPL-complete problem. Thus, we show that GridUSO is in UEOPL and its promise version is in PUEOPL.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
