04 2018/05 06
29300102030405
06070809101112
13141516171819
20212223242526
27 28 29 30 310102
Click セミナー

今後のセミナー

開催日2018年5月31日(木曜日)
開催時間16時30分-17時30分
発表者Alan Mishchenko 
発表者の紹介EECS Dept., Univ. of Calfornia, Berkeley
タイトルEnumerating Reachable States of 2x2x2 Rubik’s Cube Using Implicit and Explicit Methods 
発表の概要
The talk discusses the design of a minimalistic ZDD package using actual
C code for illustration. The ZDD package was developed and applied to
enumerate reachable states of the simplified (2x2x2) Rubik's cube, as
described in Minato's Pi-DD paper (ISAAC 20014). The results of this
paper were reproduced and independently verified to be correct. The talk
also discusses an explicit enumeration method, which does not use
decision diagrams. The runtime of the explicit method is faster than the
ZDD-based one. An open question remains: in what applications or under
what conditions, a ZDD-based implementation is faster than an explicit
implementation.
開催場所京都大学 情報学研究科 総合研究7号館 235号室
接続サイト北大VBL301,神田ラボ
 
開催日2018年5月31日(木曜日)
開催時間17時30分-18時30分
発表者伝住周平 
発表者の紹介東京大学
タイトルTBA 
発表の概要
TBA
開催場所VBL 301B
接続サイト神田ラボ,京大ラボ