12月5日(金) 午前
10:00 - 11:30 |
| (1) |
10:00-10:30 |
A Nonuniform Circuit Class with Multi Layers of Threshold Gates Having Super Quasi Polynomial Size Lower Bounds against NEXP |
Kazuyuki Amano・○Atsushi Saito（Gunma Univ.） |
| (2) |
10:30-11:00 |
Energy Optimization in Speed Scaling Models via Submodular Optimization |
○Akiyoshi Shioura（Tohoku Univ.）・Natalia V. Shakhlevich（Univ. of Leeds）・Vitaly A. Strusevich（Univ. of Greenwich） |
| (3) |
11:00-11:30 |
On Zero-Suppressed Binary Decision Diagrams and Complexity Theory |
○Hiroki Morizumi（Shimane Univ.） |
| |
11:30-13:00 |
昼食 （ 90分 ） |
12月5日(金) 午後 SODA2015論文紹介
13:00 - 13:40 |
| (4) |
13:00-13:40 |
［招待講演］Lyndon木による連の特徴付け |
○坂内英夫（九大）・井 智弘（ドルトムント工大）・稲永俊介・中島祐人・竹田正幸・鶴田和弥（九大） |
| |
13:40-13:55 |
休憩 （ 15分 ） |
12月5日(金) 午後
13:55 - 17:40 |
| (5) |
13:55-14:25 |
ある条件を充たす正整数の非負整数結合に対する桁上がり無し位取り記数法 |
○松原俊一（青学大） |
| (6) |
14:25-14:55 |
Polynomial-time approximability of the 1-{sc Sink Location} problem in undirected graphs with triangular inequality |
○Remy Belmonte・Yuya Higashikawa・Naoki Katoh（Kyoto Univ.） |
| (7) |
14:55-15:25 |
5台のファットロボットによる集合プロトコルについて |
○平野拓弥・片山喜章（名工大）・和田幸一（法政大） |
| (8) |
15:25-15:55 |
Homomorphism-Substitutable Context-free Languages and Learning Algorithm |
○Takayuki Kuriyama（Sokendai/ NII） |
| |
15:55-16:10 |
休憩 （ 15分 ） |
| (9) |
16:10-16:40 |
空間充填立体bar-jointフレームワークの最適なブレース追加手法 |
○小林祐貴・伊藤慈彦・東川雄哉・加藤直樹（京大）・堀山貴史（埼玉大）・伊藤仁一（熊本大）・奈良知恵（東海大） |
| (10) |
16:40-17:10 |
A Fast Algorithm for Sphere Packings and its Applications |
○Shuji Yamada（Kyoto Sangyo Univ.）・Jinko Kanno（LaTech）・Miki Miyauchi（NTT） |
| (11) |
17:10-17:40 |
グリッドフレームワークにおける最適筋交い配置問題に関する研究 |
○伊藤慈彦・小林祐貴・東川雄哉・加藤直樹（京大）・Sheung-Hung Poon（National Tsing Hua Univ.）・Maria Saumell（Univ. of West Bohemia） |
: 
is
c