Core Concepts
기하학적 교차 그래프에서 밀도가 낮은 경우 효율적으로 최대 매칭을 찾을 수 있는 알고리즘을 제시하고, 일반적인 기하학적 교차 그래프에서 최대 매칭 문제를 밀도가 낮은 경우로 축소할 수 있는 기법을 제안한다.
Abstract
이 논문은 기하학적 교차 그래프에서 최대 매칭 문제를 다룬다.
먼저, 밀도가 낮은 기하학적 교차 그래프에서 최대 매칭을 효율적으로 찾는 알고리즘을 제시한다. 이 알고리즘은 대수적 방법, 즉 가우스 소거법을 이용하여 행렬의 rank를 계산하고, 기하학적 교차 그래프가 작은 분리자를 가진다는 사실을 활용한다. 이 알고리즘은 밀도 ρ와 행렬 곱셈 시간 복잡도 ω에 의존하여 O(ρ^(3ω/2) n^(ω/2)) 시간 복잡도를 가진다.
다음으로, 일반적인 기하학적 교차 그래프에서 최대 매칭 문제를 밀도가 낮은 경우로 축소하는 기법을 제안한다. 이 기법은 크기가 유사한 볼록 도형의 집합에 대해 작동하며, 특정 범위 검색 연산을 효율적으로 수행할 수 있다는 가정 하에 동작한다. 이를 통해 평면 디스크 그래프와 평면 도형의 병진이동 그래프에서 최대 매칭을 각각 O(Ψ^6 log^11 n + Ψ^(12ω) n^(ω/2))와 O(n^(ω/2)) 시간 복잡도로 찾을 수 있음을 보인다.
Stats
기하학적 교차 그래프 G의 밀도 ρ는 최대 O(ρn)개의 간선을 가진다.
기하학적 교차 그래프 G의 분리자 크기는 O(√ρn)이다.
Quotes
"Let G be an intersection graph of n geometric objects in the plane. We show that a maximum matching in G can be found in O(ρ^(3ω/2) n^(ω/2)) time with high probability, where ρ is the density of the geometric objects and ω > 2 is a constant such that n × n matrices can be multiplied in O(n^ω) time."
"We also show that in many interesting cases, the maximum matching problem in a general geometric intersection graph can be reduced to the case of bounded density."