代码等价性综述：现状与开放问题
A Survey on Code Equivalence: The State-of-the-Art and Open Questions
浏览论文内容
中文总结 AI 辅助
对代码等价性问题及其变体进行全面综述，解释现有结果、回顾已知攻击并讨论其局限性，最后概述开放问题和研究方向，以助于深入理解代码等价性的硬度并指导未来工作。
中文摘要 AI 辅助
在这项工作中，我们对代码等价性问题及其变体进行了全面综述。我们解释了现有结果，突出了不同问题表述、算法技术和硬度假设之间的关系。此外，我们系统地回顾了已知攻击，确定了它们有效的参数范围并讨论了局限性。最后，我们概述了几个开放问题和研究方向，以阐明当前情况并指导未来工作更深入理解代码等价性的硬度。
英文摘要
In this work, we provide a comprehensive survey of the code equivalence problem and its variants. We explain the existing results, highlighting the relationships between different problem formulations, algorithmic techniques, and hardness assumptions. In addition, we systematically review known attacks, identify the parameter regimes in which they are effective, and discuss their limitations. Lastly, we outline several open problems and research directions, with the aim of clarifying the current landscape and guiding future work toward a deeper understanding of the hardness of code equivalence.
