[論文レビュー] 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年のカルテシアン積ネットワークにおけるリソース配置に関する論文を批判的に検討し、誤ったまたは根拠のない主張、重複するアルゴリズム、用語の誤用、および基礎的文献の引用漏れを含む複数の技術的欠陥を特定している。批判では、中心的な結果がもともと既に先行研究で確立されていたことが強調されており、特に2000年の製品グラフに関するImrichとKlavžžrの書籍がその根拠となっている。また、体積や均一性といった重要な定義が一貫性なくまたは誤って適用されていることも指摘されている。

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)のような誤ったまたは誤解を招く定義を特定・是正する。これは頂点に依存するため、定理1における不変性の仮定に反する。
• 『均一性』という用語を『同型』を意味するのではなく、標準的なグラフ理論用語とは異なる意味で誤用している点を指摘する。
• 頂点を同型な部分グラフに分割するという重要な結果が、もともと先行文献で確立済みであることを示す。
• 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}の両方に属するという仮定が論理的矛盾を引き起こし、証明が無効である。