论文刻画双移动机器人任务可解性剖面

Tsukasa Ninomiya 等人在 arXiv 发表的论文完全刻画了平面上两个自主移动机器人在可变方向迷失、手性和刚体运动下的任务可解性 profile：已知商序 Q 含 13 个计算类，作者证明每个 upset 均可实现，并构造了含 13 个具体任务的最小精确析取基。 论文称可实现 profile 恰为 54 个，由反链多项式 1 + 13z + 24z^2 + 16z^3 计数，每个 profile 都有至多三个主任务的规范析取表示。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。