[论文解读] Comments on "Resource placement in Cartesian product of networks" [Imani, Sarbazi-Azad and Zomaya, J. Parallel Distrib. Comput., 70 (2010) 481-495]

Pranava K. Jha|arXiv (Cornell University)|Feb 16, 2013

Interconnection Networks and Systems参考文献 5被引用 3

一句话总结

本文批判性地评估了2010年关于笛卡尔积网络中资源放置的论文，指出其中存在多种技术性错误，包括错误或缺乏支持的断言、冗余算法、术语误用，以及未能引用基础文献。批评指出，核心结论实际上已在先前工作中被确立，尤其是Imrich与Klavžžr于2000年出版的关于乘积图的著作中已有相关成果；此外，关键定义（如‘体积’与‘同质性’）被不一致或错误地应用。

ABSTRACT

The present note points out a number of errors, omissions, redundancies and arbitrary deviations from the standard terminology in the paper "Resource placement in Cartesian product of networks," by N. Imani, H. Sarbazi-Azad and A.Y. Zomaya [J. Parallel Distrib. Comput. 70 (2010) 481-495].

研究动机与目标

• 识别并纠正2010年关于笛卡尔积网络中资源放置论文中的技术性错误。
• 强调遗漏基础文献引用，特别是Imrich与Klavžžr于2000年出版的关于乘积图的著作。
• 纠正对图论关键术语的误用，如‘同质’与‘体积’。
• 揭露冗余的算法与证明，这些内容削弱了该论文的原创性与清晰度。
• 纠正定理、定义与算法描述中的数学错误，包括错误的集合成员关系与矩阵表示。

提出的方法

• 采用形式化数学推理，逐行、逐节地批判2010年论文。
• 识别并纠正错误或具有误导性的定义，例如不具顶点不变性的体积函数Vol_G(d,c)。
• 指出‘同质’一词被错误地用于表示‘同构’，与图论标准术语相悖。
• 证明关键结果（如顶点被划分为同构子图）实际上已在先前文献中确立。
• 揭示算法冗余，例如HMP、HTP与IHTP中存在被证明为不必要的步骤。
• 纠正证明中的数学错误，包括错误的集合交集（例如顶点集的并集与交集混淆）及误用的矩阵表示。

实验结果

研究问题

• RQ1 笛卡尔积网络中资源放置的结果是否真正新颖，还是基于已有发表的工作？
• RQ2 体积定义（Vol_G(d,c)）是否适用于任意图，还是需要对称性假设？
• RQ3 为何该论文使用非标准术语‘同质’来表示‘同构’？其后果是什么？
• RQ4 所提出的算法（如HMP、HTP、IHTP）是否真正必要，还是如批判所证明的那样为冗余？
• RQ5 定理4、5与9的证明中存在哪些具体数学错误？这些错误如何影响结论的有效性？

主要发现

• 体积概念（Vol_G(d,c)）被错误使用，未意识到其依赖于顶点c的选择，与定理1中假设的不变性相矛盾。
• 术语‘同质’被错误地用于表示‘同构’，与图论标准术语冲突，因‘同质’在标准术语中指代一种更强烈、不同的性质。
• 该论文未能引用Imrich与Klavžžr于2000年出版的著作，而该书已包含后来被声称具有原创性的顶点划分结果。
• 定理2的证明表明，算法2-HMP的步骤(b)是冗余的，但该算法仍被完整呈现，反映出编辑质量低下。
• 定理4中的矩阵M定义模糊——先被称为‘立方矩阵’，后又称为M_{|Q_H|×|Q_H|}与M_{a×b}，但未明确a与b的定义。
• 在定理5中，假设顶点v同时属于R_{1,1}与R_{H,1}，导致逻辑矛盾，从而使证明无效。