[논문 리뷰] Lower Bounds for Planar Electrical Reduction.

Hsien-Chih Chang, Jeff Erickson|arXiv (Cornell University)|2017. 07. 15.

Computational Geometry and Mesh Generation참고 문헌 17인용 수 2

한 줄 요약

이 논문은 구멍이 있는 표면 위의 호모토피 이동과 연결하여 평면 그래프에서 전기 변환에 대해 더 강력한 하한을 설정한다. 고리 모양의 표면에서 호모토피 이동을 사용하여 두 개 이상의 종단점이 있는 그래프에 대해 Ω(n²)의 하한을 증명하고, 모든 임베딩에서 중간 그래프의 결함이 불변임을 이용하여 일반적인 평면 전기 변환으로 Ω(n^{3/2}) 하한을 확장한다.

ABSTRACT

We strengthen the connections between electrical transformations and homotopy from the planar setting---observed and studied since Steinitz---to arbitrary surfaces with punctures. As a result, we improve our earlier lower bound on the number of electrical transformations required to reduce an $n$-vertex graph on surface in the worst case [SOCG 2016] in two different directions. Our previous $\Omega(n^{3/2})$ lower bound applies only to facial electrical transformations on plane graphs with no terminals. First we provide a stronger $\Omega(n^2)$ lower bound when the planar graph has two or more terminals, which follows from a quadratic lower bound on the number of homotopy moves in the annulus. Our second result extends our earlier $\Omega(n^{3/2})$ lower bound to the wider class of planar electrical transformations, which preserve the planarity of the graph but may delete cycles that are not faces of the given embedding. This new lower bound follows from the observation that the defect of the medial graph of a planar graph is the same for all its planar embeddings.

연구 동기 및 목표

• 전기 변환과 평면 및 구멍이 있는 표면 위의 호모토피 이동 간의 관계를 강화하기 위해.
• 표면 위의 n-정점 그래프를 감소시키는 데 필요한 전기 변환의 최악의 경우 수를 향상된 하한으로 개선하기 위해.
• 면을 기반으로 한 전기 변환에 대한 Ω(n^{3/2}) 하한을 평면성과 균형을 유지하는 일반적인 평면 전기 변환의 더 넓은 범주로 확장하기 위해.
• 고리에서의 호모토피 이동을 사용하여 두 개 이상의 종단점이 있는 그래프에 대해 이차 하한을 설정하기 위해.

제안 방법

• 구멍이 있는 표면 위의 호모토피 이동의 관점에서 전기 변환을 분석하기 위해.
• 고리 표면을 모델 표면로 사용하여 종단점이 있는 그래프에 대한 호모토피 이동 수에 대한 이차 하한을 유도하기 위해.
• 평면 그래프의 중간 그래프의 결함 개념을 도입하고, 모든 평면 임베딩에서 그 결함이 불변임을 증명하기 위해.
• 이 불변성을 활용하여 Ω(n^{3/2}) 하한을 일반적인 평면 전기 변환으로 확장하기 위해.
• 기존에 알려진 고리에서의 호모토피 이동 결과를 활용하여 전기 변환 시퀀스의 하한을 유도하기 위해.
• 전기 변환 복잡도 문제를 그래프 임베딩의 위상적 불변량으로 환원하기 위해.

실험 결과

연구 질문

• RQ1 두 개 이상의 종단점이 있는 평면 그래프를 감소시키는 데 필요한 전기 변환의 최악의 경우 수는 얼마인가?
• RQ2 전기 변환의 복잡도는 구멍이 있는 표면 위의 호모토피 이동과 어떻게 관련이 있는가?
• RQ3 면 기반 전기 변환에 대한 Ω(n^{3/2}) 하한은 평면성과 균형을 유지하는 더 넓은 범주인 일반 평면 전기 변환으로 확장될 수 있는가?
• RQ4 평면 그래프의 중간 그래프의 결함은 서로 다른 평면 임베딩에서 불변인가?
• RQ5 그래프 감소에 필요한 최소 전기 변환 수를 규정하는 위상적 불변량은 무엇인가?

주요 결과

• 두 개 이상의 종단점이 있는 n-정점 평면 그래프를 감소시키는 데 필요한 전기 변환 수에 대해 Ω(n²) 하한이 확립되었다.
• 이 이차 하한은 고리에서의 호모토피 이동 수에 해당하는 하한에서 기인한다.
• 평면 그래프의 중간 그래프의 결함은 모든 평면 임베딩에서 불변이며, 이는 분석에서 핵심적인 위상적 불변량이다.
• 이전 연구에서 얻은 Ω(n^{3/2}) 하한이 평면성과 균형을 유지하는 일반적인 평면 전기 변환의 범주로 확장되었다. 이 범주에서는 비면 사이클을 삭제할 수 있다.
• 전기 변환과 호모토피 이동 간의 연결 고리가 임의의 구멍이 있는 표면에 대해 공식화되고 강화되었다.
• 중간 그래프의 결함 불변성은 전기 변환 시퀀스에 대한 하한을 증명하는 데 새로운 도구를 제공한다.