대기시간 제한 하의 무휴식 시간 경로 탐색 복잡도

초록

시간이 변하는 그래프에서 각 정점에 머무를 수 있는 최대 대기시간 Δ를 초과하지 않는 경로(Δ‑restless 경로)를 찾는 문제의 계산 복잡성을 조사한다. 일반적인 시간‑존중 경로는 다항시간에 해결되지만, Δ‑제한을 두면 문제는 NP‑hard가 되며, 특히 거리‑to‑disjoint‑paths 파라미터에 대해 W

상세 분석

이 논문은 정점 집합은 고정되고 시간에 따라 변하는 간선 집합을 갖는 temporal graph에서, 각 정점에 머무를 수 있는 대기시간을 Δ로 제한한 “Δ‑restless” 경로 존재 여부를 결정하는 문제를 다룬다. 기본적인 정의에 따르면, 경로는 시간‑증가(또는 비감소) 순서대로 간선을 따라가며, 연속된 두 간선 사이의 시간 차이가 Δ 이하이어야 한다. 또한 정점은 한 번만 방문할 수 있어, SIR 모델의 회복 후 면역을 자연스럽게 모델링한다.

먼저 저자들은 이 문제가 일반적인 temporal path 탐색보다 훨씬 어려운 성격을 가짐을 증명한다. Lifetime(시간 단계 수)이 3으로 제한된 경우에도 NP‑hard임을 보여, 시간 제한이 짧아도 문제의 난이도가 크게 감소하지 않음을 확인한다. 더 나아가, 기본 그래프의 구조적 파라미터인 “distance to disjoint paths”(즉, 그래프를 여러 개의 독립적인 경로들만 남도록 만들기 위해 삭제해야 하는 정점 수)를 매개변수로 잡으면 W