[논문 리뷰] The Hamiltonicity, Hamiltonian Connectivity, and Longest (s, t)-path of L-shaped Supergrid Graphs

Fatemeh Keshavarz-Kohjerdi, Ruo-Wei Hung|arXiv (Cornell University)|2019. 04. 04.

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

한 줄 요약

이 논문은 L자형 슈퍼그리드 그래프에서 해밀턴성과 해밀턴 연결성에 대한 필수 및 필요조건을 설정하며, 이러한 그래프가 하나의 자명한 조건을 제외하고는 항상 해밀턴적임을 증명하고, 몇 가지 특정 케이스를 제외하고는 해밀턴 연결임을 보여준다. 또한 이러한 그래프에서 가장 긴 (s,t)-경로를 계산하는 선형 시간 알고리즘을 제시하며, 이는 자수 및 3D 프린팅 경로 최적화에 적용된다.

ABSTRACT

Supergrid graphs contain grid graphs and triangular grid graphs as their subgraphs. The Hamiltonian cycle and path problems for general supergrid graphs were known to be NP-complete. A graph is called Hamiltonian if it contains a Hamiltonian cycle, and is said to be Hamiltonian connected if there exists a Hamiltonian path between any two distinct vertices in it. In this paper, we first prove that every L-shaped supergrid graph always contains a Hamiltonian cycle except one trivial condition. We then verify the Hamiltonian connectivity of L-shaped supergrid graphs except few conditions. The Hamiltonicity and Hamiltonian connectivity of L-shaped supergrid graphs can be applied to compute the minimum trace of computerized embroidery machine and 3D printer when a L-like object is printed. Finally, we present a linear-time algorithm to compute the longest (s, t)-path of L-shaped supergrid graph given two distinct vertices s and t.

연구 동기 및 목표

• L자형 슈퍼그리드 그래프에서 해밀턴성에 대한 필요 및 충분조건을 규명하는 것.
• 특정 구조적 제약 조건 하에서 L자형 슈퍼그리드 그래프의 해밀턴 연결성을 검증하는 것.
• L자형 슈퍼그리드 그래프에서 가장 긴 (s,t)-경로를 효율적으로 계산하는 알고리즘을 개발하는 것.
• 이론적 결과를 컴퓨터화된 자수 및 3D 프린팅 경로 계획과 같은 실제 문제에 적용하는 것.

제안 방법

• 저자는 L자형 슈퍼그리드 그래프의 구조적 성질을 분석하며, 이는 상단 우측 모서리에서 직사각형 부분 그래프가 제거된 직사각형 슈퍼그리드 그래프로 정의된다.
• 정점의 위치와 그래프의 치수에 기반하여 이러한 그래프가 해밀턴 사이클을 포함하거나 임의의 두 정점 사이에 해밀턴 경로를 포함하는 조건을 설정한다.
• 정점 컷 조건과 부분 그래프 분해를 사용하여 해밀턴 경로 존재성을 검증하기 위해 케이스 기반 분석을 수행한다.
• 알고리즘은 분해된 구성 요소에서 하위 문제를 재귀적으로 해결함으로써 가장 긴 (s,t)-경로를 구성한다. 이는 직사각형 슈퍼그리드 그래프에 대한 기존 결과를 활용한다.
• 알고리즘은 s와 t의 위치가 L자형 구조와 상대적으로 어떤지에 따라 그래프를 체계적으로 순회함으로써 O(mn) 시간에 실행된다.
• 이론적 증명은 다양한 구성 조건, 특히 정점 컷 및 경계 조건 하에서 경로 존재성을 검증하는 레미마 및 정리에 기반한다.

실험 결과

연구 질문

• RQ1 L자형 슈퍼그리드 그래프가 해밀턴적일 조건은 무엇인가?
• RQ2 L자형 슈퍼그리드 그래프가 해밀턴 연결일 조건은 무엇인가?
• RQ3 L자형 슈퍼그리드 그래프에서 가장 긴 (s,t)-경로의 구조는 어떠한가?
• RQ4 어떻게 하면 이러한 그래프에서 가장 긴 (s,t)-경로를 효율적으로 계산할 수 있는가?

주요 결과

• L자형 슈퍼그리드 그래프는 단 하나의 자명한 조건이 위반되지 않는 한 항상 해밀턴적이다. 이는 그래프가 너무 작거나 탈구된 경우에만 발생한다.
• 해밀턴 연결성은 정점의 위치와 치수에 관여하는 세 가지 특정 구조적 조건을 제외하고 L자형 슈퍼그리드 그래프에 대해 성립한다.
• 서로 다른 정점 s와 t를 가진 모든 L자형 슈퍼그리드 그래프에서 가장 긴 (s,t)-경로를 계산하는 선형 시간 알고리즘이 존재한다 (O(mn)).
• 알고리즘은 {s,t}가 정점 컷을 형성하는 경우에도 올바르게 처리하며, 그래프를 부분 그래프로 분해하고 가장 긴 경로를 조합함으로써 작동한다.
• 가장 긴 (s,t)-경로 계산은 재귀적 분해 및 직사각형 슈퍼그리드 그래프에 대한 기존 결과에 기반하여 이루어지며, 이는 정확성과 효율성을 보장한다.
• 이론적 결과는 컴퓨터화된 자수 기계 및 3D 프린터의 경로 계획 문제에 직접 적용 가능하다.