[논문 리뷰] Computing the obstacle number of a plane graph

Matthew Johnson, Deniz Sarıöz|arXiv (Cornell University)|2011. 07. 22.

Computational Geometry and Mesh Generation참고 문헌 10인용 수 6

한 줄 요약

이 논문은 평면 그래프의 장애물 수를 계산하는 것이 평면 정점 커버 문제로부터의 환원을 통해 NP-난이도임을 증명한다. 동시에 문제는 고정 매개변수 복잡도(정점 수가 k일 때, k에 대해 다항 시간 내에 해결 가능한)로 해결 가능하며, 다항 시간 근사 스킴(PTAS)을 갖는다. 이는 최대 차수 3인 평면 정점 커버 문제로의 해값 유 preserving 환원을 통해 이루어진다. 주요 기여는 평면 그래프에서 장애물 표현과 정점 커버 간의 엄밀한 연결 고리이다.

ABSTRACT

An obstacle representation of a plane graph G is V(G) together with a set of opaque polygonal obstacles such that G is the visibility graph on V(G) determined by the obstacles. We investigate the problem of computing an obstacle representation of a plane graph (ORPG) with a minimum number of obstacles. We call this minimum size the obstacle number of G. First, we show that ORPG is NP-hard by reduction from planar vertex cover, resolving a question posed by [8]. Second, we give a reduction from ORPG to maximum degree 3 planar vertex cover. Since this reduction preserves solution values, it follows that ORPG is fixed parameter tractable (FPT) and admits a polynomial-time approximation scheme (PTAS).

연구 동기 및 목표

• 평면 그래프의 장애물 수 계산의 계산 복잡도를 규명하는 것.
• 장애물 표현에 대해 더 나은 근사 또는 최적 알고리즘이 존재하는지 여부에 대한 열린 문제를 해결하는 것.
• 장애물 표현 문제에 대해 고정 매개변수 복잡도(FPT)와 다항 시간 근사 스킴(PTAS)을 확립하는 것.
• 장애물 표현 문제에서 최대 차수 3인 평면 정점 커버 문제로의 해값 유지 환원을 제공하는 것.
• 장애물 수가 변형된 이중 그래프 구조에서의 정점 커버 문제와 동일하다는 것을 보여주는 것.

제안 방법

• 평면 정점 커버 문제를 장애물 표현 문제(ORPG)로 환원하여 NP-난이도를 증명한다.
• 정점 커버 크기를 유지하면서 일반 평면 그래프를 최대 차수 3인 평면 그래프로 변환하기 위해 사이클과 경로를 사용한다.
• 장애물 표현이 변환된 그래프 G^3의 정점 커버와 정확히 일치하는 평면 그래프 G'을 구성한다.
• 각 변이 원래 그래프의 다이아몬드(두 개의 인접한 빈 삼각형)에 대응하는 이중 그래프 \hat{G}를 정의한다.
• 이중 그래프 \hat{G}를 사용하여 장애물 선택을 정점 커버 문제로 모델링하며, 각 면은 잠재적 장애물에 대응한다.
• 최대 차수 3인 평면 정점 커버 문제에 대해 알려진 FPT 및 PTAS 알고리즘을 적용하여 장애물 표현 문제를 해결한다.

실험 결과

연구 질문

• RQ1 평면 그래프의 장애물 수 계산은 NP-난이도인가?
• RQ2 장애물 표현 문제는 효율적으로 근사 가능하며, 다항 시간 근사 스킴(PTAS)을 갖는가?
• RQ3 장애물 표현 문제는 장애물 수에 대해 고정 매개변수 복잡도(FPT)인가?
• RQ4 장애물 표현 문제에서 알려진 NP-난이도 문제로의 해값 유지 환원이 존재하는가, 이는 유리한 구조적 성질을 갖는가?
• RQ5 평면 정점 커버에 대해 알려진 알고리즘을 사용하여 장애물 수를 효율적으로 계산할 수 있는가?

주요 결과

• 장애물 표현 문제(ORPG)는 평면 그래프로 제한된 경우조차도 평면 정점 커버 문제로부터의 환원을 통해 NP-난이도임을 증명하였다.
• ORPG는 가중치가 있는 최대 차수 3인 평면 정점 커버 문제로 환원되며, 이 문제는 알려진 바에 따라 PTAS를 갖기 때문에 ORPG 역시 다항 시간 근사 스킴(PTAS)을 갖는다.
• ORPG는 장애물 수 k로 매개변수화할 때, FPT로 해결 가능하며, 실행 시간은 $O(2^{4\sqrt{3k}}n)$ 또는 $1.1616^k n^{O(1)}$ 이다. 이는 평면 정점 커버 문제에 대한 FPT 알고리즘을 활용한 것이다.
• ORPG에서 최대 차수 3인 평면 정점 커버 문제로의 환원이 해값을 유지하므로, 한 문제의 최적 해가 다른 문제의 최적 해로 직접 대응된다.
• 평면 그래프의 모든 비연결 선분은 다이아몬드(볼록 위치에 있는 두 개의 인접한 빈 삼각형)의 공통 변을 가로질러야 하며, 이는 이중 그래프 $\hat{G}$의 구성에 기여한다.
• 평면 그래프의 장애물 수는 변형된 이중 그래프 $\hat{G}$에서 최소 정점 커버의 크기와 동일하며, 이중 그래프 $\hat{G}$의 각 변은 원래 그래프의 다이아몬드에 대응한다.