[논문 리뷰] Cayley Configuration Spaces of 1-dof Tree-decomposable Linkages, Part II: Combinatorial Characterization of Complexity

Meera Sitharam, Menghan Wang외 1명|arXiv (Cornell University)|2011. 12. 27.

Advanced Graph Theory Research참고 문헌 4인용 수 11

한 줄 요약

이 논문은 1-dof 트리분해가능 연결망에서 종점 길이를 기술하는 데 필요한 대수적 복잡도를 측정하는 케일리 복잡도가 기저 비에지의 선택과 무관하다는 것을 입증한다. 이는 그래프의 내재된 성질임을 의미한다. 자연스러운 부분집합에 대해 평면성에 기반한 유한하고 알고리즘적으로 식별 가능한 저케일리 복잡도 그래프의 특성화를 제공하며, 일반적으로는 이러한 유한한 금지 미니처 특성화가 불가능하다는 것을 보여준다.

ABSTRACT

We continue to study Cayley configuration spaces of 1-dof linkages in 2D begun in Part I of this paper, i.e. the set of attainable lengths for a non-edge. In Part II, we focus on the algebraic complexity of describing endpoints of the intervals in the set, i.e., the Cayley complexity. Specifically, We focus on Cayley configuration spaces of a natural class of 1-dof linkages, called 1-dof tree-decomposable linkages. The underlying graphs G satisfy the following: for some base non-edge f, G \cup f is quadratic-radically solvable (QRS), meaning that G \cup f is minimally rigid, and given lengths \bar{l} of all edges, the corresponding linkage (G \cup f, \bar{l}) can be simply realized by ruler and compass starting from f. It is clear that the Cayley complexity only depends on the graph G and possibly the non-edge f. Here we ask whether the Cayley complexity depends on the choice of a base non-edge f. We answer this question in the negative, thereby showing that low Cayley complexity is a property of the graph G (independent of the non-edge f). Then, we give a simple characterization of graphs with low Cayley complexity, leading to an efficient algorithmic characterization, i.e. an efficient algorithm for recognizing such graphs. Next, we show a surprising result that (graph) planarity is equivalent to low Cayley complexity for a natural subclass of 1-dof triangle-decomposable graphs. While this is a finite forbidden minor graph characterization of low Cayley complexity, we provide counterexamples showing impossibility of such finite forbidden minor characterizations when the above subclass is enlarged.

연구 동기 및 목표

• 1-dof 트리분해가능 연결망에서 케일리 복잡도가 기저 비에지의 선택에 의존하는지 여부를 규명하는 것.
• 저케일리 복잡도를 가지는 그래프에 대해 유한하고 알고리즘적인 특성화를 제공하는 것.
• 저케일리 복잡도가 유한한 금지 미니처 특성화를 가질 수 있는지 조사하는 것.
• 1-dof 트리분해가능 그래프의 자연스러운 부분집합에서 평면성과 저케일리 복잡도 사이의 놀라운 동치성을 확립하는 것.

제안 방법

• 기저 비에지 하나에서 유도된 극한 그래프가 트리분해가능하면, 다른 모든 기저 비에지에 대해서도 동일하게 트리분해가능하다는 것을 증명함으로써, 케일리 복잡도가 그래프 불변성임을 보장한다.
• 구성 단계 제약 조건과 수준 구조에 기반한, 저케일리 복잡도를 가지는 1-dof 트리분해가능 그래프의 특성화를 개발한다.
• 금지 미니처 특성화를 연구하기 위해 두 부분집합인 1경로 및 삼각형이 없는 그래프를 도입하고 분석한다.
• 트리분해가능 부분그래프의 귀납적 구성 기법을 사용하여, 임의의 클리크 $K_m$이 저케일리 복잡도 그래프의 미니처가 될 수 있음을 보여준다.
• 금지 미니처 이론을 적용하여, 1경로 및 삼각형이 없는 부분집합을 초월해 유한한 금지 미니처 특성화가 불가능하다는 것을 보여준다.
• 구성 수준과 정점 차수의 구조적 제약 조건에 기반한, 저케일리 복잡도 그래프를 효율적으로 식별하는 알고리즘을 설계한다.

실험 결과

연구 질문

• RQ1 1-dof 트리분해가능 연결망의 케일리 복잡도는 기저 비에지의 선택에 따라 달라지는가?
• RQ2 저케일리 복잡도는 유한한 금지 미니처 집합으로 특성화될 수 있는가?
• RQ3 자연스러운 부분집합인 1-dof 트리분해가능 그래프에서 평면성과 저케일리 복잡도 사이에 구조적 동치가 존재하는가?
• RQ4 임의의 클리크는 저케일리 복잡도를 가지는 그래프의 미니처가 될 수 있는가?
• RQ5 저케일리 복잡도를 가지는 그래프를 식별하는 알고리즘의 복잡도는 얼마인가?

주요 결과

• 케일리 복잡도는 기저 비에지의 선택과 무관하며, 그래프 자체의 성질이지 비에지에 따라 달라지지 않는다.
• 1-dof 트리분해가능 그래프가 저케일리 복잡도를 가지는 것은, 구성 과정에서 유도된 모든 극한 그래프가 트리분해가능할 때에 한하여 성립한다.
• 1경로 및 삼각형이 없는 1-dof 트리분해가능 그래프의 경우, 저케일리 복잡도는 그래프의 평면성과 동치이다.
• 임의의 유한 그래프, 특히 임의의 클리크 $K_m$도 저케일리 복잡도를 가지는 1-dof 트리분해가능 그래프의 미니처가 될 수 있다.
• 1-dof 트리분해가능 그래프의 더 넓은 클래스에 대해서는 저케일리 복잡도의 유한한 금지 미니처 특성화가 불가능하다.
• 구성 수준과 정점 차수의 구조적 제약 조건에 기반한, 저케일리 복잡도를 가지는 그래프를 효율적으로 식별하는 알고리즘이 존재한다.