NPC问题的有效程序应该是长度上界的，并通过机器枚举的方法进行了思想实验
Efficient programs of NPC problems should be length upper-bounded, and a thought experiment to search for them by machine enumeration
摘要：
本文提出了一个用机器枚举方法寻找NPC问题有效有界算法的思想实验。主要贡献包括：--在通用图灵机上，程序的时间复杂度应表征为：执行时间（n）=加载时间（n）+运行时间（n）。--引入有界算法的概念，提出了一种基于比较的判定有界算法是否无效的标准，并建立了有效有界程序的长度上界。--引入增长率特征函数来评估程序复杂性，更容易基于观察值进行机器检查。--提出了一个理论问题：对于NPC问题，是否存在多项式执行时间的有界算法。
英文摘要：
This paper proposes a thought experiment to search for efficient bounded algorithms of NPC problems by machine enumeration. The key contributions are: -- On Universal Turing Machines, a program's time complexity should be characterized as: execution time(n) = loading time(n) + running time(n). -- Introduces the concept of bounded algorithms; proposes a comparison based criterion to decide if a bounded algorithm is inefficient; and establishes the length upper bound of efficient bounded programs. -- Introduces the growth rate characteristic function to evaluate program complexity, which is more easily machine checkable based on observations. -- Raises the theoretical question: if there exists any bounded algorithm with polynomial execution time for NPC problems.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
