简介:本文中用Kneser’s定理得到下列结论一个新的简单证法.设G为初等Abelp-群(运算用加法),S={a1,a2,…,an)为G的一个n项不含有零然的元素列(元素可允许重复),|s|=n=P^m-1+p-2,,其中P为素数,若对G的任意子群H,S最多含有|H|-1项,则:(1)当m=2时,∑^0(S)=G;(2)当m≥3时,∑(S)=G,特别有(1)Olson’猜想r(Zp+Zp)=2p-2;(2)r(+^mZp)=c(+^mZp)=p^m-1+p-2,m≥3.
简介:对静态机器人避障问题进行了全面分析,对最短路的设计进行了理论分析和证明,建立了机器人避障最短路径的几何模型,对最短时间路径问题通过建立非线性规划模型,有效地解决了转弯半径、圆弧圆心位置和行走时间等问题.