Khái niệm cốt lõi
본 논문은 최장 경로 문제를 해결하기 위한 새로운 대수적 접근법을 제안한다. 이 접근법은 트리, 균일 블록 그래프, 블록 그래프, 유향 비순환 그래프와 같은 특정 그래프 클래스에 대해 다항식 시간 내에 정확한 해를 제공한다.
Tóm tắt
본 논문은 최장 경로 문제(Longest Path Problem, LPP)에 대한 새로운 대수적 접근법을 소개한다. LPP는 그래프의 두 정점 간 최대 길이 경로를 찾는 문제로, 일반적으로 NP-hard 문제이다. 그러나 특정 그래프 클래스에 대해서는 효율적인 해결책이 존재한다.
현재 LPP 해결 방법은 근사 알고리즘 또는 계산 열거 기법을 사용한다. 트리 형태 그래프의 경우 효율적인 근사 및 열거 알고리즘이 존재한다. 본 논문은 이와 다른 접근법으로, 대수적 연산과 조건을 사용하여 다항식 시간 내에 정확한 해를 찾는 새로운 방법을 제안한다.
논문에서는 그래프 인접행렬에 대한 "불리언화" 매핑을 소개하고, 이를 통해 트리, 균일 블록 그래프, 블록 그래프, 유향 비순환 그래프에 대한 해를 도출하는 접근 조건을 증명한다. 또한 해를 찾는 알고리즘과 모든 최장 경로를 생성하는 알고리즘을 제시한다.
Thống kê
그래프 Γ의 정점 집합 V(Γ)와 간선 집합 E(Γ)로 구성된다.
그래프 Γ는 유한하고, 단순하며, 연결된 무향 그래프로 가정한다.
경로 γ는 서로 다른 정점들로 구성된 순서열이며, 길이 L(γ)는 경로에 포함된 간선 수이다.
트리는 사이클 부분 그래프가 없는 연결 그래프이다.
균일 블록 그래프는 모든 블록이 동일한 크기의 클릭으로 구성된 블록 그래프이다.
유향 비순환 그래프(DAG)는 정점 간 유일한 경로가 존재하는 유향 그래프이다.
Trích dẫn
"The Longest Path Problem (LPP) is a well known challenge in combinatorial optimization which is directly linked to the prominent Hamiltonian Path Problem (HPP)."
"Specifically, for a graph of order n if there exists a path of length n −1 then there exists a Hamiltonian path."
"We introduce a separate approach to LPP which largely focuses on algebraic conditions that exactly identify the length of the longest path."