今年もチームUnagiのいつものメンバーで参加。今年の問題は最大４０体のロボットを並列に操作して指定された３Dオブジェクトを出来るだけ効率よく構築・破壊するというタスクだった。各ロボットにどう仕事を割り振るかやお互い干渉しないようにどう動かすか…

NIIの吉田さん、阪大の山口さんとの共著論文 https://arxiv.org/abs/1704.02700 が理論計算機科学のトップ会議FOCS 2018に採択されました。 概略 与えられたグラフが森か？二部か？与えられた2-CNFが充足可能か？など様々な問題が単純なDFS (unit propagatio…