09 2018/10 11
300102 03040506
07080910111213
14151617181920
2122 2324252627
28293031010203
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分
発表者伝住周平 
発表者の紹介東京大学
タイトルSequence Sentential Decision Diagrams 
発表の概要
論理関数を表現する Binary Decision Diagram (BDD) を拡張したSentential Decision Diagram (SDD) [Darwiche, 2011] というデータ構造が存在する.これと同様の拡張を組合せ集合を表現する Zero-suppressed BDD (ZDD) 対して適用した ZSDD [Nishino, 2016] というデータ構造があるが,本発表では,文字列集合を表現する Sequence BDD に対しての同様の拡張によって得られるSequence SDD を提案する.
開催場所VBL 301B
接続サイト神田ラボ,京大ラボ