Further Collapses in [math]

IF 1.2 3区计算机科学 Q3 COMPUTER SCIENCE, THEORY & METHODS

SIAM Journal on Computing Pub Date : 2024-05-02 DOI:10.1137/22m1498346

Mika Göös, Alexandros Hollender, Siddhartha Jain, Gilbert Maystre, William Pires, Robert Robere, Ran Tao

引用次数: 0

Abstract

SIAM Journal on Computing, Volume 53, Issue 3, Page 573-587, June 2024.
Abstract. We show [math]. Here the class [math] consists of all total search problems that reduce to the End-of-Potential-Line problem, which was introduced in the works by Hubáček and Yogev (SICOMP 2020) and Fearnley et al. (JCSS 2020). In particular, our result yields a new simpler proof of the breakthrough collapse [math] by Fearnley et al. (STOC 2021). We also prove a companion result [math], where [math] is the class associated with the Sink-of-Potential-Line problem.

查看原文本刊更多论文

数学]中的进一步崩溃

SIAM 计算期刊》，第 53 卷第 3 期，第 573-587 页，2024 年 6 月。摘要。我们证明了 [math]。这里的[math]类包括所有简化为 "End-of-Potential-Line "问题的全搜索问题，该问题在 Hubáček 和 Yogev (SICOMP 2020) 以及 Fearnley 等人 (JCSS 2020) 的著作中被引入。特别是，我们的结果为费恩利等人（STOC 2021）的突破性坍缩[math]提供了一个新的更简单的证明。我们还证明了一个伴生结果[math]，其中[math]是与势线凹陷问题相关的类。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

SIAM Journal on Computing 工程技术-计算机：理论方法

CiteScore

4.60

自引率

0.00%

发文量

审稿时长

6-12 weeks

期刊介绍： The SIAM Journal on Computing aims to provide coverage of the most significant work going on in the mathematical and formal aspects of computer science and nonnumerical computing. Submissions must be clearly written and make a significant technical contribution. Topics include but are not limited to analysis and design of algorithms, algorithmic game theory, data structures, computational complexity, computational algebra, computational aspects of combinatorics and graph theory, computational biology, computational geometry, computational robotics, the mathematical aspects of programming languages, artificial intelligence, computational learning, databases, information retrieval, cryptography, networks, distributed computing, parallel algorithms, and computer architecture.