Information and Systems-Theoretical Foundations of Computing(Date:2017/10/27)

Presentation
An Improvement of the Algorithm of Hertli for the Unique 3SAT Problem

Tong Qin(Tokyo Tech),  Osamu Watanabe(Tokyo Tech),  

[Date]2017-10-27
[Paper #]COMP2017-21
Modified group nonmembership is in AWPP

Tomoyuki Morimae(Gunma Univ.),  Harumichi Nishimura(Nagoya Univ.),  Francois Le Gall(Kyoto Univ.),  

[Date]2017-10-27
[Paper #]
Subgraph Isomorphism Problem in Polynomial Time

Yasunori Ohto(*),  

[Date]2017-10-27
[Paper #]COMP2017-20
単方向リングにおいて部分集合問題を解決する匿名エージェント乱択アルゴリズム

Norikazu Kawata(Osaka Univ.),  Masahiro Shibata(KIT),  Yuichi Sudo(Osaka Univ.),  Fukuhito Ooshita(NAIST),  Hirotsugu Kakugawa(Osaka Univ.),  Toshimitsu Masuzawa(Osaka Univ.),  

[Date]2017-10-27
[Paper #]COMP2017-24
A Revised Version of "Games with a Single Pile of Stones and Number Theoretic Problems"

Yoshihiro Tsukamura(former Sony),  Yoshihide Igarashi(Gunma Univ.),  Takaaki Fujita(Gunma Univ.),  Yuta Urabe(Gunma Univ.),  Koichi Yamazaki(Gunma Univ.),  

[Date]2017-10-27
[Paper #]COMP2017-22
Linear width and Single ideal

Takaaki Fujita(Gunma Univ.),  Koichi Yamazaki(Gunma Univ.),  

[Date]2017-10-27
[Paper #]COMP2017-23
Exploration of dynamic tori by mobile agents

Tsuyoshi Gotoh(Osaka Univ),  Yuichi Sudo(Osaka Univ),  Fukuhito Ooshita(NAIST),  Hirotsugu Kakugawa(Osaka Univ),  Toshimitsu Masuzawa(Osaka Univ),  

[Date]2017-10-27
[Paper #]COMP2017-25