发表机构
University of Technology Sydney（悉尼科技大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文证明从任意有限表示逆幺半群到双循环幺半群的满同态判定问题是NP完全的，并扩展了存在性Presburger算术的NP成员结果。
AI 中文摘要
我们证明了判定是否存在从任意有限表示的逆幺半群到双循环幺半群的满同态是 $\mathsf{NP}$-完全的。作为证明的一部分，我们展示了涉及 $n$ 个参数上最大公约数的存在性 Presburger 算术的扩展属于 $\mathsf{NP}$，扩展了 Défossez、Haase、Mansutti 和 Pérez（SODA 2024）的最新结果。
英文摘要
We prove that deciding whether there is a surjective homomorphism from an arbitrary finitely presented inverse monoid onto the bicyclic monoid is $\mathsf{NP}$-complete. As part of the proof, we show that an extension of existential Presburger arithmetic which involves greatest common divisors on $n$ arguments is in $\mathsf{NP}$, extending a recent result of Défossez, Haase, Mansutti, and Pérez (SODA 2024).
Comments17 pages, 1 figure. Comment about OpenAI result added
