2009-01-16 計算量の下界 おととい寝ながら証明を思いついて,昨日議論をしてOKということになったので,これも論文に含めることに.だんだんalgebraic decision treeに慣れてきた.ちなみに,これは迷路とは関係ありません.