| 日程： | 平成25年5月17日 (金) 18日 (土) |
|---|---|
| 会場： | 小樽商科大学 大学会館多目的ホール |
| 住所： | 〒047-0034 北海道小樽市緑3-5-21 |
| 交通案内： | JR小樽駅から小樽商大線バスに乗車して，終点「小樽商大前」で下車 http://www.otaru-uc.ac.jp/access.html |
| 現地世話人： | 小樽商科大学 加地 太一先生 |
| 備考 : |
コンプ研との合同開催 |
| 5月17日(金) AL/COMP一般講演 |
|||
| 発表番号 | 時間 | 題目 | 著者 (○は発表者)など |
|---|---|---|---|
| 144-1 | 9:30-9:55 | 大規模ハイパーグラフからZDDの高速な構築アルゴリズム | ○戸田貴久（ERATO湊プロジェクト） |
| 144-2 | 9:55-10:20 | ターミナル数5の成分素シュタイナー木最大化問題に対する近似アルゴリズム | ○星加大輝・宮野英次（九工大） |
| 144-3 | 10:20-10:45 | 長さ極大な群れパターンを軌跡集合から効率良く発見するアルゴリズム | ○有村博紀・耿暁亮（北大）・宇野毅明（NII） |
| 休憩 (15分) | |||
| 144-4 | 11:00-11:25 | A Linear Edge Kernel for Two-Layer Crossing Minimization | ○Yasuaki Kobayashi・Hirokazu Maruta・Yusuke Nakae・Hisao Tamaki (Meiji Univ.) |
| 144-5 | 10:55-11:20 | P行列線形相補性問題の新たな部分クラスの提案 | 福田公明（ETH Zurich）・○クラウス ローレンツ（NII/JST）・宮田洋行（東北大 |
| 昼食 (80分) |
|||
| 144-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) |
| 144-7 |
13:35-14:00 |
Query Complexity of Witness Finding | Akinori Kawachi（Tokyo Tech)・Ben Rossman（NII)・○Osamu Watanabe（Tokyo Tech） |
| 144-8 |
14:40-14:25 |
マッチングアルゴリズムを用いた大規模データk-匿名化の解法 |
○村上啓介（青山学院大）・宇野毅明（国立情報学研究所 |
| 休憩 (15分) |
|||
| 144-9 |
14:40-15:05 |
アイテム入札による組合せオークションのナッシュ均衡 | ○梅田博之・浅野孝夫（中央大） |
| 144-10 |
15:05-15:30 |
動的計画法を用いた有向二値完全系統樹の効率のよい列挙 |
森戸一貴・○斎藤寿樹・山口一章・増田澄男（神戸大） |
| 144-11 | 15:30-15:55 |
Another Optimal Binary Representation of Mosaic Floorplans |
○Yamanaka Katsuhisa (Iwate University)・Nakano Shin-ichi (Gunma Univ.) |
| 休憩 (10分) |
|||
| 144-12 |
16:05-16:30 |
AGPUモデルでの並列ソートアルゴリズムの計算量について |
○小池 敦・定兼邦彦・Hoa Vu（NII） |
| 144-13 |
16:30-16:55 |
極小剛な body-hinge グラフの列挙 |
東川雄哉・加藤直樹・○小林祐貴（京大） |
| 5月18日(土) AL/COMP 一般講演 |
|||
| 144-14 |
09:30-09:55 |
エッシャー風タイリング問題に対する局所探索法 |
○今堀慎治・酒井翔平（名大） |
| 144-15 |
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.） |
| 144-16 |
10:20-10:45 |
3次元箱詰め問題に対する構築型解法の効率的実現法 |
○田中勇真（成蹊大）・川島大貴・今堀慎治・柳浦睦憲（名大） |
| 144-17 |
11:00-11:25 |
Local Searchに対する汎用的な確率的解析モデル |
○加地太一（小樽商科大） |
| 休憩 (15分) | |||
| 144-18 |
11:25-11:50 |
Testing Subdivision-Freeness: - Property Testing Meets Structural Graph Theory |
河原林健一（NII）・○吉田悠一（NII/PFI） |
| 昼食 (130分) | |||
| 144-19 |
14:00-14:25 |
安定結婚問題における最大最適選好マッチングの頂点集合の一意性 |
○平川瑞樹・山内由紀子・来嶋秀治・山下雅史（九大） |
| 144-20 |
14:25-14:50 |
A New Framework for Connected Components Labeling of Binary Images |
○Tetsuo Asano（JAIST）・Sergey Bereg（UT Dallas） |
| 144-21 |
14:50-15:15 |
関数ルーターモデルによるハイパーキューブ上ランダムウォークの脱乱択化 |
○白髪丈晴 ・山内由紀子・来嶋秀治・山下雅史（九大） |
| 休憩 (15分) | |||
| 144-22 |
15:30-15:55 |
On parallel complexity of MapReduce computation |
○Koichi Wada（Hosei Univ.）・Taisuke Izumi（NIT |
| 144-23 |
15:55-16:20 |
写像枝を用いた系列二分決定グラフの効率化 |
○青木洋士（北大）・山下茂（立命館大）・湊真一（北大） |
| 144-24 |
16:30-16:55 |
回転する地図に対するラベルサイズ最大化 |
○横須賀佑介・今井桂子（中大) |
| 144-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) |