[論文レビュー] Cayley Configuration Spaces of a Common Class of Mechanisms in Two Dimensions

Meera Sitharam, Menghan Wang+2 more|arXiv (Cornell University)|Dec 27, 2011

Advanced Materials and Mechanics参考文献 2被引用数 4

ひとこと要約

本稿は、2次元における1自由度、木分解可能なリンクレージングの配置空間をケイリー配置空間を用いて分析するフレームワークを導入する。最小表現、連続的運動経路、最小埋め込み次元における一対一曲線の計算に向けたアルゴリズムを提案し、O(|V|²)の計算複雑度を達成するとともに、低代数的複雑性条件下でケイリー・サイズが1となる最小実現型を保証する。

ABSTRACT

We study Cayley configuration spaces of a class of 1 degree-of-freedom linkages (graphs with specified edge lengths), obtained by dropping an edge from a tree-decomposable graph. The class includes well-known mechanisms based on the four-bar, as well as strandbeest, cardioid, limacon etc. The Cayley configuration space is the set of intervals of attainable lengths for a \emph{base} nonedge (e.g. the dropped edge) over the linkage's 2 dimensional realizations. We require \emph{quadratic radical solvability (QRS)} (an extension of ruler-and-compass-realizability) of the interval endpoints, and tree-decomposability guarantees efficient, ruler-and-compass construction of the linkage realization, given the Cayley configuration. Due to these restrictions of Kempe universality, this class of \emph{low Cayley complexity (LCC)} graphs is common in mechanical computer aided design and kinematics. Our main contributions are the following. (1) We show that the definition of LCC is robust, and depends only on the graph, no matter the choice of base nonedge whose addition ensures tree-decomposability. (2) We give an efficient algorithmic characterization of LCC graphs (3) We show (graph) planarity is equivalent to LCC for a natural subclass of 1-degree-of-freedom tree-decomposable graphs. Counterexamples show impossibility of such finite forbidden minor characterizations when the above subclass is enlarged. (4) We give an easily testable definition of genericity of LCC linkages (i.e. with underlying LCC graphs) based on their edge lengths. (5) For generic LCC linkages, we give an algorithm to find both paths of continuous motion (provided they exist) between two distinct realizations, in time linear in a discrete measure of the length of the path. Nontrivial generalizations of these results to non-LCC, 1-degree-of-freedom tree-decomposable linkages. Several accessible open problems are posed.

研究の動機と目的

• 1自由度で木分解可能な2次元リンクレージングの配置空間を、機械的CADで一般的に見られるように、効率的に表現・計算することに取り組む。
• ケイリー配置空間を単一の区間に制限する最小実現型を定義し、低複雑性と耐障害性を確保する。
• 経路長に比例する時間で2つの実現間の連続的運動経路を計算するアルゴリズムを開発し、最大で2本の経路が存在することを保証する。
• 最小埋め込み次元におけるデカルト実現空間の標準的かつ一対一の表現を提供し、非連結成分間の意味のある距離測定を可能にする。

提案手法

• 独立非辺の実現可能な距離の集合としてケイリー配置空間の概念を導入する。
• ケイリー・サイズを配置空間に含まれる区間の数として定義し、ケイリー計算複雑度を区間端点の計算に要する時間を定義する。
• グローバル剛性と最小埋め込み次元表現を保証するため、頂点の構築順序に基づく最小完全ケイリー・ベクトルを提案する。
• 補題6および補題7を用いて、最小完全ケイリー・ベクトルからの非辺の追加が、一般の1自由度リンクレージングにおいてグローバル剛性を保証することを証明する。
• 完全ケイリー距離ベクトルからなる標準ケイリー曲線を用いて、最小次元における実現空間の双対的表現を実現する。
• CayMosソフトウェアにおいて運動経路計算および配置空間解析のためのアルゴリズムを実装し、ウェブでアクセス可能なデモを提供する。

実験結果

リサーチクエスチョン

• RQ1 1自由度で木分解可能な2次元リンクレージングの配置空間は、低代数的複雑性を持つグラフにおいて、どのようにして効率的に測定・計算できるか？
• RQ2 どの実現型（局所的向きの集合）がケイリー配置空間を単一の区間に制限し、効率的に計算できるか？
• RQ3 2つの実現間の連続的運動経路は、経路長に比例する時間でどのように計算できるか？また、そのような経路は最大で何本存在するか？
• RQ4 デカルト実現空間は最小埋め込み次元における曲線として一対一に表現可能か？また、これにより非連結成分間の距離計算がどのように可能になるか？

主な発見

• ケイリー代数的複雑度が低いリンクレージングでは、ケイリー・サイズが1であり、O(|V|²)の計算複雑度を保証する最小実現型が存在する。
• 最小実現型より少ない局所的向きを指定すると、ケイリー・サイズおよび計算複雑度が超多項式的に増大する（P ≠ NPを仮定）。
• 経路長に比例する時間で2つの実現間の連続的運動経路を計算するアルゴリズムが提供され、任意の2実現間には最大で2本の経路しか存在しない。
• 最小埋め込み次元における実現空間の標準的かつ一対一の表現が、最小完全ケイリー距離ベクトルによって達成され、非連結成分間の意味のある距離測定が可能になる。
• 最小完全ケイリー・ベクトルは、グローバル剛性を保証する最小サイズであることが証明されており、最小集合として、または1辺を削除しても最小性を保つ集合としての性質を持つ。
• 理論的結果はCayMosソフトウェアに実装されており、ウェブでアクセス可能なデモと、補足論文で記載された完全なアーキテクチャが提供されている。