5月17日(金) 午前 AL/COMP 一般講演
09:30 - 11:50 |
| (1) |
09:30-09:55 |
大規模ハイパーグラフからZDDの高速な構築アルゴリズム
○戸田貴久（ERATO湊プロジェクト） |
(2)
COMP |
09:55-10:20 |
ターミナル数5の成分素シュタイナー木最大化問題に対する近似アルゴリズム |
○星加大輝・宮野英次（九工大） |
| (3) |
10:20-10:45 |
長さ極大な群れパターンを軌跡集合から効率良く発見するアルゴリズム
○有村博紀・耿暁亮（北大）・宇野毅明（NII） |
| |
10:45-11:00 |
休憩 （ 15分 ） |
| (4) |
11:00-11:25 |
A Linear Edge Kernel for Two-Layer Crossing Minimization
○Yasuaki Kobayashi・Hirokazu Maruta・Yusuke Nakae・Hisao Tamaki (Meiji Univ.) |
(5)
COMP |
11:25-11:50 |
A New Subclass of P-matrix Linear Complementarity Problems |
Komei Fukuda（ETH Zurich）・○Lorenz Klaus（NII/JST）・Hiroyuki Miyata（Tohoku Univ.） |
| |
11:50-13:10 |
昼食 （ 80分 ） |
5月17日(金) 午後 AL/COMP 一般講演
13:10 - 16:55 |
| (6) |
13:10-13:35 |
Computational Complexity of Piano-Hinged Dissections
Zachary Abel (MIT)・Erik Demaine (MIT)・Martin Demaine (MIT)・Takashi Horiyama (Saitama Univ.)・○Ryuhei Uehara(JAIST) |
(7)
COMP |
13:35-14:00 |
Query Complexity of Witness Finding |
Akinori Kawachi（Tokyo Inst. of Tech.）・Benjamin Rossman（NII）・○Osamu Watanabe（Tokyo Inst. of Tech.） |
| (8) |
14:00-14:25 |
マッチングアルゴリズムを用いた大規模データk-匿名化の解法
○村上啓介（青山学院大）・宇野毅明（国立情報学研究所） |
| |
14:25-14:40 |
休憩 （ 15分 ） |
| (9) |
14:40-15:05 |
アイテム入札による組合せオークションのナッシュ均衡
○梅田博之・浅野孝夫（中央大） |
(10)
COMP |
15:05-15:30 |
動的計画法を用いた有向二値完全系統樹の効率のよい列挙 |
森戸一貴（西部建設）・○斎藤寿樹・山口一章・増田澄男（神戸大） |
| (11) |
15:30-15:55 |
Another Optimal Binary Representation of Mosaic Floorplans
○Yamanaka Katsuhisa (Iwate University)・Nakano Shin-ichi (Gunma Univ.) |
| |
15:55-16:05 |
休憩 （ 10分 ） |
(12)
COMP |
16:05-16:30 |
AGPUモデルでの並列ソートアルゴリズムの計算量について |
○小池 敦・定兼邦彦・Hoa Vu（NII） |
| (13) |
16:30-16:55 |
極小剛な body-hinge グラフの列挙
東川雄哉・加藤直樹・○小林祐貴（京大） |
5月18日(土) 午前 AL/COMP 一般講演
09:30 - 11:25 |
| (14) |
09:30-09:55 |
エッシャー風タイリング問題に対する局所探索法
○今堀慎治・酒井翔平（名大） |
(15)
COMP |
09:55-10:20 |
Complexity of Counting Output Patterns of Logic Circuits |
○Kei Uchizawa（Yamagata Univ.）・Zhenghong Wang（Tohoku Univ.）・Hiroki Morizumi（Shimane Univ.）・Xiao Zhou（Tohoku Univ.） |
| (16) |
10:20-10:45 |
3次元箱詰め問題に対する構築型解法の効率的実現法
○田中勇真（成蹊大）・川島大貴・今堀慎治・柳浦睦憲（名大） |
| |
10:45-11:00 |
休憩 （ 15分 ） |
| (17) |
11:00-11:25 |
Local Searchに対する汎用的な確率的解析モデル
○加地太一（小樽商科大） |
5月18日(土) 【COMP特別企画】 STOC2013論文紹介
11:25 - 11:50 |
(18)
COMP |
11:25-11:50 |
Testing Subdivision-Freeness
-- Property Testing Meets Structural Graph Theory -- |
Ken-ichi Kawarabayashi（NII）・○Yuichi Yoshida（NII/PFI） |
| |
11:50-14:00 |
昼食 （ 130分 ） |
5月18日(土) 午後 AL/COMP 一般講演
14:00 - 17:20 |
| (19) |
14:00-14:25 |
安定結婚問題における最大最適選好マッチングの頂点集合の一意性
○平川瑞樹・山内由紀子・来嶋秀治・山下雅史（九大） |
(20)
COMP |
14:25-14:50 |
A New Framework for Connected Components Labeling of Binary Images |
○Tetsuo Asano（JAIST）・Sergey Bereg（Univ. of Texas at Dallas） |
| (21) |
14:50-15:15 |
関数ルーターモデルによるハイパーキューブ上ランダムウォークの脱乱択化
○白髪丈晴 ・山内由紀子・来嶋秀治・山下雅史（九大） |
| |
15:15-15:30 |
休憩 （ 15分 ） |
(22)
COMP |
15:30-15:55 |
On parallel complexity of MapReduce computation |
○Koichi Wada（Hosei Univ.）・Taisuke Izumi（Nagoya Inst. of Tech.） |
| (23) |
15:55-16:20 |
写像枝を用いた系列二分決定グラフの効率化
○青木洋士（北大）・山下茂（立命館大）・湊真一（北大） |
| |
16:20-16:30 |
休憩 （ 10分 ） |
(24)
COMP |
16:30-16:55 |
回転する地図に対するラベルサイズ最大化 |
○横須賀佑介・今井桂子（中大） |
| (25) |
16:55-17:20 |
An O(sqrt(n)+eps})-Space Algorithm for Directed Planar Reachability with Polynomial Running Time
Tatsuya Imai・Kotaro Nakagawa (TITECH)・Aduri Pavan (Iowa State Univ.)・Variyam Vinochandran (Johns Hopkins Univ.)・○Osamu Watanabe (TITECH) |
n
e
is
is
o
bei
