Merlins-World 上 MERLIN 方法的验证结果是否已经公布?
没有。Merlins-World 页面把“Validation results”标注为 coming soon，也就是尚未公布完整的验证数据。页面上目前能直接获取的是 MERLIN 方法的说明材料、LP 格式的输入文件、优化输出文件，以及一篇期刊论文的链接；读者可以自行下载这些文件做检查，但网站本身没有给出可核对的验证结论。
页面上实际提供了什么
根据 Merlins-World 首页的内容，可获取的资料包括：
- 背景说明：关于 MERLIN 方法的背景介绍
- 期刊论文链接：发表在 Applied Mathematics and Computation（Volume 186-1, 1 March 2007, Pg. 907-914）上的对应文章
- 演示文稿（PDF）：概述 MERLIN 方法的基本思路
- LP 格式输入文件：供线性求解器使用
- 优化输出文件：方法运行后的输出结果
- 验证结果：页面标注为 coming soon，尚未提供
页面同时写有 “P=NP!” 和 “The polynomial-bounded solution for the Traveling Salesman Problem” 的表述，作者署名为 Joachim Mertz，联系邮箱为 [email protected]。
为什么“验证结果 coming soon”这件事很关键
MERLIN 方法声称解决的是旅行商问题（TSP），并进一步指向 P=NP 这一命题。这类主张在数学和计算机科学中属于最重大的级别，判断其是否成立，通常需要满足几个条件：
- 可复现的计算结果：用公开的输入文件跑出与作者一致或可解释的输出
- 独立复现：由作者之外的人，在不受作者控制的条件下重复实验
- 同行评议：论文经过该领域审稿人的审查并公开发表
- 对证明本身的检验：如果主张的是多项式时间算法，需要检查算法复杂度论证是否成立，而不只是看若干实例的运行结果
页面提供了论文链接和输入/输出文件，这为第 1 步提供了入口；但“验证结果 coming soon”意味着作者自己承诺的验证数据尚未到位，第 2、4 步更无法从该页面得到确认。
想自行判断，可以怎么做
如果你希望基于现有材料做初步检查，可以按下面的路径操作：
- 打开 Merlins-World 首页，下载 LP 格式输入文件和对应的优化输出文件
- 用你手边的线性求解器读取 LP 文件，记录求解结果
- 将你的结果与页面提供的输出文件逐项比对，看是否一致
- 阅读 Applied Mathematics and Computation 上的论文，检查其中对算法复杂度的论证
- 下载演示文稿 PDF，了解作者对方法思路的概述
预期结果：你能得到“输入—输出是否自洽”的判断，以及论文论证是否完整的初步印象。常见卡点：输入输出一致并不等于算法在一般情况下是多项式时间的；单篇论文的存在也不等于结论已被领域接受。这两者之间需要独立复现和后续评议来填补。
目前可以下的结论
- Merlins-World 是一个围绕 Joachim Mertz 提出的 MERLIN 方法建立的个人网站，核心主张是多项式时间求解旅行商问题，并延伸至 P=NP
- 网站提供了论文链接、演示文稿、LP 输入文件和优化输出文件
- 验证结果尚未公布，页面明确标注为 coming soon
- 因此，仅凭该网站，无法确认 MERLIN 方法的主张已经过独立验证；P=NP 这类命题的可信度判断，需要等待可复现的验证数据和领域内的独立检验