[论文解读] Configuration Spaces of Linkages in R^n

Henry C. King|ArXiv.org|Nov 23, 1998

Advanced Graph Theory Research参考文献 5被引用 6

一句话总结

本文证明，R^n 中任意紧致代数集均可作为机械连杆的构型空间实现，且与该集合的有限个副本之间存在解析同构。当允许使用柔性杆件时，连杆可实现由多项式等式与不等式定义的任意紧致集合。该研究进一步刻画了此类连杆可计算的函数类。

ABSTRACT

This paper studies the configuration space of all possible positions of a linkage in R^n. For example, it shows that for every compact algebraic set, there is a linkage whose configuration space is analytically isomorphic to a finite number of copies of the algebraic set. If flexible edges are allowed, any compact set given by polynomial equalities and inequalities is the configuration space of a linkage. This paper also characterizes functions which can be computed by linkages.

研究动机与目标

• 刻画 R^n 中机械连杆的构型空间。
• 确定 R^n 中哪些紧致子集可作为连杆的构型空间实现。
• 研究 R^n 中连杆可计算的函数类。
• 建立高维欧氏空间中代数几何与机械连杆之间的关系。

提出的方法

• 构建构型空间与给定紧致代数集解析同构的连杆。
• 使用多项式约束来建模连杆中的刚性与柔性杆件条件。
• 应用几何拓扑与代数几何技术分析构型空间。
• 利用代数集的有限并集来建模复杂的构型空间。
• 引入柔性杆件，将可实现性扩展至由多项式不等式定义的半代数集。
• 通过研究连杆可计算的函数，分析其计算能力。

实验结果

研究问题

• RQ1 R^n 中哪些紧致子集可作为连杆的构型空间出现？
• RQ2 任意紧致代数集是否都可在 R^n 中通过连杆实现为构型空间？
• RQ3 R^n 中机械连杆可计算的函数类是什么？
• RQ4 柔性杆件如何影响半代数集作为构型空间的可实现性？
• RQ5 构型空间的拓扑与底层连杆结构之间存在何种关系？

主要发现

• 对于 R^n 中的每个紧致代数集，均存在一个连杆，其构型空间与该集合的有限个副本之间存在解析同构。
• 当允许使用柔性杆件时，任何由多项式等式与不等式定义的紧致集（即半代数集）均可作为连杆的构型空间实现。
• R^n 中连杆的构型空间始终是半代数集。
• 本文刻画了连杆可计算的函数类，即那些可通过连杆运动约束实现的函数。
• 该构造在高维欧氏空间中建立了代数几何时空与机械计算之间的深刻联系。
• 结果表明，R^n 中的连杆可通过机械方式模拟复杂的代数与半代数结构。