Merlins-World 上的 MERLIN 方法声称解决了什么问题?

Merlins-World（merlins-world.de）是一个个人学术展示页面，其核心主张是：提出了一种名为 MERLIN 的方法，声称能以多项式时间有界（polynomial-bounded）的方式求解旅行商问题（Traveling Salesman Problem, TSP），并据此宣称 P=NP。页面同时给出了该方法关联的期刊文章、演示文档、LP 格式输入文件、优化输出文件以及部分验证结果。需要明确的是，这些是网站作者 Joachim Mertz 的单方面声明，页面本身并未提供完整的同行验证结论，因此应把它当作一项待检验的学术主张，而不是已被公认的结论。

网站声称的核心内容

根据页面信息，MERLIN 方法的主张可以拆解为以下几点：

• 求解对象：旅行商问题，即在给定一组城市及两两之间距离的情况下，寻找访问每个城市恰好一次并回到起点的最短闭合路径。
• 方法定位：页面称其为该问题的“多项式有界解法”（polynomial-bounded solution）。多项式时间通常意味着计算量随问题规模的增长速度是可控的，而 TSP 的判定版本是经典的 NP 完全问题。
• 理论推论：页面直接写出 “P=NP!”，这是计算机科学中最重要的未解难题之一。若真存在 TSP 的多项式时间精确算法，确实会推出 P=NP。
• 学术关联：页面指向 2007 年 3 月 1 日发表于期刊 Applied Mathematics and Computation（第 186 卷第 1 期，第 907–914 页）的一篇文章，作为该方法的背景来源。

页面提供了哪些可核对的材料

Merlins-World 并非只有一句口号，它列出了若干可供查阅或下载的内容：

其中“验证结果 coming soon”这一点值得注意：页面在给出 P=NP 这类重大主张的同时，并未同步给出完整的验证数据，这意味着读者若想评估该主张，需要自行依据文章、输入输出文件进行检验。

如何理解这类重大理论主张

面对“TSP 多项式时间算法”或“P=NP”的声明，可以从几个通用角度判断其可信度：

• 是否经过同行评审并达成共识：单篇期刊文章的存在不等于结论被领域接受。P 与 NP 是否相等是千禧年大奖难题之一，学界对此有长期而严格的审查标准。
• 验证是否可复现：页面提供的 LP 输入/输出文件是复现的起点。可以尝试用线性求解器运行这些文件，检查输出是否与页面声称一致。
• 是否覆盖最坏情况：TSP 的难点在于最坏情况下的精确求解。一个方法若只在特定实例上表现良好，或只给出近似解、启发式解，并不能推出 P=NP。
• “多项式有界”的具体含义：需要确认它指的是精确最优解的多项式时间算法，还是某种带条件的、近似的或平均情况下的界。这两者在理论含义上差别很大。

适合谁进一步查看

• 对 TSP、组合优化或 P vs NP 问题感兴趣、希望了解一个具体民间解法案例的读者。
• 想依据页面提供的 LP 文件和文章，自行做复现或批判性阅读的研究者或学生。
• 需要判断该网站性质的人：它是一个围绕单一作者主张建立的展示页，而非综合性工具或服务网站。

如果你的目的是引用或采信其结论，建议先获取那篇 2007 年的期刊文章，并对照页面提供的输入输出文件独立验证；仅凭网站首页的 “P=NP!” 表述，不足以作为结论依据。