[논문 리뷰] 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)|2013. 02. 16.

Interconnection Networks and Systems참고 문헌 5인용 수 3

한 줄 요약

이 논문은 카르테시언 곱 네트워크에서 자원 배치에 관한 2010년 논문을 철저히 평가하며, 잘못된 또는 근거 없는 주장, 중복된 알고리즘, 용어의 오용, 기초 문헌의 누락과 같은 다수의 기술적 결함을 밝혀낸다. 비판은 핵심 결과들이 이미 이전 연구, 특히 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년 논문의 기술적 오류를 식별하고 수정하는 것.
• 특히 제품 그래프에 관한 임리히와 클라브주르의 2000년 저서를 포함한 기초 문헌을 누락한 것을 부각하는 것.
• 예를 들어 '동질적'과 '볼륨'과 같은 핵심 그래프 이론 용어의 오용을 수정하는 것.
• 과도한 알고리즘과 증명이 논문의 독창성과 명료성을 떨어뜨리는 것을 폭 드러내는 것.
• 정의, 정리, 알고리즘 기술에서의 수학적 오류를 수정하는 것—예를 들어 잘못된 집합 소속 관계와 행렬 표기법 포함.

제안 방법

• 수학적 추론을 사용하여 2010년 논문을 줄별, 섹션별로 철저히 검토하는 것.
• 볼륨 함수 Vol_G(d,c)와 같이 잘못되거나 오해의 소지가 있는 정의를 식별하고 수정하는 것—이는 정점 간에 불변이 아님을 보여준다.
• 표준 그래프 이론 용어와 다른 의미로 '동질적'이라는 용어를 '동형'으로 사용한 오용을 지적하는 것.
• 핵심 결과—예를 들어 정점들을 동형 부분그래프로 분할하는 것—이 이미 이전 문헌에서 확립되어 있음을 보여주는 것.
• HMP, HTP, IHTP에서 반복되는 알고리즘 단계를 드러내어 불필요한 것을 증명하는 것.
• 증명에서의 오류를 수정하는 것—예를 들어 정점 집합의 교집합과 합집합을 잘못 사용하거나, 행렬 표기법을 잘못 사용한 경우.

실험 결과

연구 질문

• RQ1 카르테시언 곱 네트워크에서 자원 배치에 관한 결과들은 진정으로 새로운가, 아니면 이미 발표된 연구에 기반한가?
• RQ2 임의의 그래프에 대해 볼륨(Vol_G(d,c))의 정의는 타당한가, 아니면 대칭성 가정이 필요한가?
• RQ3 왜 논문은 '동형'을 의미하는 데 '동질적'이라는 비표준 용어를 사용하는가, 그 결과는 무엇인가?
• RQ4 제시된 알고리즘(예: HMP, HTP, IHTP)은 진정으로 필요한가, 아니면 비판에서 증명된 바와 같이 중복된가?
• RQ5 정리 4, 5, 9의 증명에서 특정한 수학적 오류는 무엇이며, 그 결과의 타당성에 어떤 영향을 미치는가?

주요 결과

• 정리 1에서의 불변성 가정에 위배되며, 정점 c의 선택에 따라 달라지는 볼륨 개념(Vol_G(d,c))이 잘못 사용되었음을 보여준다.
• '동질적'이라는 용어가 '동형'을 의미하도록 오용되었으며, 표준 그래프 이론에서 '동질적'은 더 강력한 다른 성질을 의미하므로 충돌한다.
• 이미 정점 분할 결과가 포함된 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}에 속한다는 가정은 논리적 모순을 일으키며, 이는 증명을 무효로 만든다.