第147回アルゴリズム研究会プログラム

日時・会場

日程:2014年 3月 3日(月), 4日(火)
会場:中央大学後楽園キャンパス6号館3階6301室,6302室
住所:〒112-8551 東京都文京区春日1-13-27
交通案内:http://www.chuo-u.ac.jp/access/
備考 :
今回,研究会の交流活性化のために,ポスター展示という新しい試みを行います.
休憩時間を長めにとり,休憩室にポスター会場を設けますので,ぜひ活発な議論の場としてお使いください.

発表題目


 3月3日(月) 13:00〜17:45 (受付 12:30〜)
 
発表番号時間題目著者 (○は発表者)など
13:00-13:05 開会
1 13:05-13:30 重み付きグラフの公平連結分割 ○小野村 歩(関西学院大学),西関隆夫(関西学院大学)
2 13:30-13:55 グラフの全域配送林 ○井上惠介(関西学院大学),西関隆夫(関西学院大学)
3 13:55-14:20 辺容量付き電力需給ネットワーク ○丸田真平(関西学院大学),西関隆夫(関西学院大学)
14:20-14:45 休憩 (25分)
4 14:45-15:10 2部クリーク被覆問題とmodified Galois lattice ○大月英明(南山大学情報理工学部),平田富夫(名古屋大学情報科学研究科)
5 15:10-15:35 Independent Spanning Trees of Extended Chordal Rings ○Hamada Yukihiro (Akashi National College of Technology)
6 15:35-16:00 賞金収集ネットワークアクティベーション問題に対する近似アルゴリズム ○福永拓郎(国立情報学研究所)
16:00-16:25 休憩 (25分)
7 16:25-16:45 (short) 不揮発性メモリを用いたHybrid BFSアルゴリズム 岩渕圭太(東京工業大学 / JST CREST),佐藤 仁;(東京工業大学 / JST CREST),○溝手 竜(東京工業大学 / JST CREST),安井雄一郎(中央大学 / JST CREST),藤澤克樹(中央大学 / JST CREST),松岡 聡(東京工業大学 / JST CREST)
8 16:45-17:05 (short) NUMAを考慮した並列幅優先探索 ○安井雄一郎(中央大学 / JST CREST),藤澤克樹(中央大学 / JST CREST)
9 17:05-17:25 (short) 超大規模半正定値計画問題に対する高性能汎用ソルバの開発と評価 ○藤澤克樹(中央大学 / JST CREST)
10 17:25-17:45 (short) On Computing Sensitivity, Block Sensitivity, and Certificate Complexity for Boolean Formulas ○森住大樹(島根大学)



 3月4日(火) 10:00〜15:35
 
発表番号時間題目著者 (○は発表者)など
11 10:00-10:25 キャタピラグラフの独立点集合遷移問題に対する多項式時間アルゴリズム ○山田 武(北陸先端科学技術大学院大学),上原隆平(北陸先端科学技術大学院大学)
12 10:25-10:50 Polynomial-Time Algorithms for Subgraph Isomorphism in Small Graph Classes of Perfect Graphs ○小長谷松雄(北陸先端大),大舘陽太(北陸先端大),上原隆平(北陸先端大)
10:50-11:10 休憩(20分)
13 11:10-11:35 既存点までの距離誤差を最小にする点位置発見アルゴリズム ○中村茂幹(北陸先端科学技術大学院大学),浅野哲夫(北陸先端科学技術大学院大学),Cheng Siu-Wing (The Hong Kong University of Science and Technology)
14 11:35-12:00 A note on distance dominating in maximal outerplanar graphs 趙 亮(京都大学 / ドイツカールスルーエ工科大学),懿「ォ李 佳(京都大学),Wagner Dorothea(ドイツカールスルーエ工科大学)
* 12:00-12:05 2013年度コンピュータサイエンス領域奨励賞 表彰式 受賞者:齋川勇人 氏「A New Compact Encoding of Rectangular Drawings」
12:05-13:00 昼休み(55分)
招待講演 15 13:00-14:00 大量映像の分析と利用に基づく映像合成 ○岡部 誠(電気通信大学)
14:00-14:20 休憩(20分)
16 14:20-14:45 ZDDを用いたExactCover問題に対するパレート最適な解の列挙 ○松永 涼(神戸大学),斎藤寿樹(神戸大学),近藤広樹(神戸大学),中野浩太郎(京都大学)
17 14:45-15:10 Toward Constant Time Enumeration ○宇野毅明(国立情報学研究所)
18 15:10-15:35 Non-Interactive Proof Verification Procedures of Reversible and Quantum Finite Automata ○Villagra Marcos(福井大学),山上智幸(福井大学)

今回は,一般発表25分(発表20分+質疑5分)で行います.また(short)はショートトークで,発表時間20分(発表15分+質疑5分)です.
(本研究会は無査読で実施しています)