2021年度

冬のLAシンポジウム

プログラム

京都⼤学数理解析研究所RIMS共同研究（公開型）「情報社会を⽀える計算機科学の基礎理論」（研究代表者︓来嶋 秀治）

2022年2⽉1⽇(⽕)〜2⽉3⽇(⽊)⼀般セッション25分（発表20分，質疑5分）
学⽣セッション15分（発表12分，質疑3分）○︓発表者◎︓発表者（学⽣発表論⽂賞対象者）

2⽉1⽇（⽕）12:50〜13:00

オープニング

13:00〜14:15

⼀般セッション1

座⻑︓宮野 英次 (九州⼯業⼤学)[1] 連結な極⼩辺⽀配集合の近似的なトップ-K列挙○栗⽥ 和宏 (国⽴情報学研究所), 和佐 州洋 (豊橋科学技術⼤学)[2] ZDDを⽤いた組合せ遷移ソルバーについての考察伊藤 健洋 (東北⼤学), ○川原 純 (京都⼤学), 宋 剛秀 (神⼾⼤学), 鈴⽊ 顕 (東北⼤学), 照⼭ 順⼀ (兵庫県⽴⼤学), ⼾⽥ 貴久 (電気通信⼤学)[3] ⽊グラフに対する例外付き準平等分割◎伊藤 雅⼠, ⼩野 廣隆, ⼤舘 陽太 (名古屋⼤学)

14:15〜14:25

休憩

14:25〜15:40

⼀般セッション2座⻑︓栗⽥ 和宏 (国⽴情報学研究所)[4] 多⾯体の共通展開図の非存在性証明のための離散化⼿法◎鎌⽥ ⽃南, 上原 隆平 (北陸先端科学技術⼤学院⼤学)[5] アルキメデスの（反）角柱の重なりを持つ辺展開図◎塩⽥ 拓海, 斎藤 寿樹 (九州⼯業⼤学)[6] 45度系格⼦パターンにおける局所平坦折り可能な 展開図の数え上げとZDDによる列挙◎榎本 優⼤, 河上 悠輝, 脊⼾ 和寿, 堀⼭ 貴史 (北海道⼤学), 三⾕ 純 (筑波⼤学)

15:40〜15:50

休憩

15:50〜16:50

学⽣セッション1座⻑︓伊藤 健洋 (東北⼤学)[S1] Even-Mansour暗号に対する量⼦攻撃の最適性◎内藤 友輝, 河内 亮周 (三重⼤学)[S2] スタック型およびキュー型除去可能オンラインナップサック問題◎笹⽥ 彩奈, 藤原 洋志, ⼭本 博章 (信州⼤学)[S3] ビンパッキング問題の遷移問題に関する研究◎平林 可意, 藤原 洋志, ⼭本 博章 (信州⼤学)

[S4] 上界付き線形関数に対するハフマン⽊問題を解く動的計画法◎⼩林 佳⾳, 藤原 洋志, ⼭本 博章 (信州⼤学)

2⽉2⽇（⽔）
9:00〜10:15

⼀般セッション3座⻑︓平原 秀⼀ (国⽴情報学研究所)[7] ヨセフスの問題とその逆問題に対する線形時間アルゴリズム◎⽯塚 将太, ディプタラマ ヘンリアン, 吉仲 亮, 篠原 歩 (東北⼤学)[8] 疎グラフ上の最⼤カット問題に対する線形時間組合せ近似アルゴリズム◎佐藤 英⼀郎 (東京⼤学)[9] On Finding Nash Equilibria of Discrete Preference Games and Network Coordination Games◎⽯塚 天 (九州⼤学⼤学院 数理学府), 神⼭直之 (九州⼤学 マス・フォア・インダストリ研究所)

10:15〜10:25

休憩

10:25〜11:40

⼀般セッション4座⻑︓清⽔ 伸⾼ (東京⼯業⼤学)[10] 2次元空間上の線形閾値関数◎三星 諒太朗, 畑埜 晃平 (九州⼤学 / 理研AIP), 瀧本 英⼆ (九州⼤学)[11] 秘密同時通信と条件付き秘密開⽰に対する乱数複雑度○河内 亮周 (三重⼤学), 吉⽥ 真紀 (情報通信研究機構)[12] パラメタ化コンパクト接尾辞グラフのオンライン構築⼿法◎市川 慎太朗, ディプタラマ ヘンリアン, 吉仲 亮, 篠原 歩 (東北⼤学)

11:40〜13:00

昼⾷（各⾃）

13:00〜14:40

⼀般セッション5座⻑︓三重野 琢也 (北海道⼤学)[13] ⽂法圧縮索引構造 GCIS-index◎⾚⽊ 亨 (九州⼤学), ドミニク クップル (東京医科⻭科⼤学), 中島 祐⼈, 稲永 俊介 (九州⼤学), 坂内 英夫 (東京医科⻭科⼤学), ⽵⽥ 正幸 (九州⼤学)[14] LZEnd vs LZ77
◎井⼿上 卓弥 (九州⼤学), 三重野 琢也 (北海道⼤学), 舩越 満, 中島 祐⼈, 稲永 俊介, ⽵⽥ 正幸 (九州⼤学)[15] Parallel algorithm for pattern matching under substring consistent equivalence relations◎ジャルガルサイハン ダワージャブ, ディプタラマ ヘンリアン, 吉仲 亮, 篠原 歩 (東北⼤学)[16] Pumping Lemmas for Languages Expressed by Computational Models with Registers◎中⻄ 凜道 (名古屋⼤学), ⾼⽥ 喜朗 (⾼知⼯科⼤学), 関 浩之 (名古屋⼤学)

14:40〜15:00

休憩

15:00〜16:15

学⽣セッション2座⻑︓ 坂内 英夫 (東京医科⻭科⼤学)[S5] 全域⽊設計スケジューリング問題の近似解法◎⿑藤 雄介, 塩浦 昭義 (東京⼯業⼤学)

[S6] Blackwell ゲームへの帰着に基づく⼀般化順列のオンライン予測◎⼤塚 玲, ⼩永吉 健太 (九州⼤学), 畑埜 晃平 (九州⼤学/理研AIP), 瀧本 英⼆ (九州⼤学)[S7] スプリットグラフにおける分数型ヘドニックゲームの安定性の代償◎ 池⼭ 愛梨 (名古屋⼤学情報学部), ⼟中 哲秀, ⼩野 廣隆 (名古屋⼤学情報学研究科)[S8] ⽂字列シーケンスの最短マッチング◎宮部 恭兵, 三村 廉, 宮本 賢伍, 藤芳 明⽣ (茨城⼤学⼤学院理⼯学研究科)[S9] 最⻑共通部分列関連問題の多項式時間同値性◎歌島 侃勇 (九州⼯業⼤学), 朝廣 雄⼀ (九州産業⼤学), ジャンソン ジェスパー (京都⼤学), リン グオフイ (アルバータ⼤学), 宮野 英次 (九州⼯業⼤学), ⼩野 廣隆 (名古屋⼤学)

16:15〜16:30

休憩

16:30〜16:50

EATCSビジネスミーティング

2⽉3⽇（⽊）
9:00〜10:15

⼀般セッション6座⻑︓⼩林 靖明 (京都⼤学)[17] Extended MSO Model Checking via Small Vertex Integrity◎儀間 達也 , ⼤舘 陽太 (名古屋⼤学)[18] ユニグラフのクリーク幅について○中畑 裕 (奈良先端科学技術⼤学院⼤学)[19] ガロア接続と極⼩セパレータ○⼭﨑 浩⼀ (東京電機⼤学)

10:15〜10:25

休憩

10:25〜11:40

学⽣セッション3座⻑︓⼩野 廣隆 (名古屋⼤学)[S11] 前⽅に⼈がいることを許した⾃転⾞共有問題◎ハララノフ ヴァレリ, ⼭⽥ 敏規 (埼⽟⼤学)[S12] 永久点被覆数と最⼩点被覆数が⼀致する2部グラフの特徴づけ◎鎌⽥ 太晴, ⼭⽥ 敏規 (埼⽟⼤学)[S13] 合意モデルのコミュニティ検出への応⽤◎笛⽊ 正雄, 清⽔ 伸⾼ (東京⼯業⼤学)[S14] Algorithmic Self-Assembly of Squares in Oritatami
Szilard Zsolt Fazekas (秋⽥⼤学), Hwee Kim (Incheon National University), ◎松岡 龍⼀, 関 新之助, ⽵内 ⽇南乃 (電気通信⼤学)[S15] 円周上の初期配置からの2⾊モバイルロボット群の分離問題◎清家 広和, ⼭内 由紀⼦ (九州⼤学)

11:40〜13:00

昼⾷（各⾃）

13:00〜14:15

⼀般セッション7座⻑︓中島 祐⼈ (九州⼤学)

[20] フィボナッチ⽂字列の最⼩⽂法は RePair ⽂法○三重野 琢也 (北海道⼤学), 稲永 俊介 (九州⼤学), 堀⼭ 貴史 (北海道⼤学)[22] ⽂字列圧縮アルゴリズムの感度
⾚⽊ 亨, 舩越 満, ○稲永 俊介 (九州⼤学)[23] 辺ケイレスのための指数時間アルゴリズム◎吉渡 叶 (名古屋⼤学), ⽊⾕ 裕紀 (九州⼤学), ⼟中 哲秀, ⼩野 廣隆 (名古屋⼤学)

14:15〜14:30

休憩

14:30〜15:45

⼀般セッション8座⻑︓⼟中 哲秀 (名古屋⼤学)[24] パスのm最適ぺブリング数◎町⽥ 諒, 来嶋 秀治 (九州⼤学), ⼭⼝ 勇太郎 (⼤阪⼤学)[25] ⻑さコスト付きパスカバー最⼤化問題の近似アルゴリズム
⼩林 賢也 (九州⼯業⼤学), リン グオフイ (アルバータ⼤学), ○宮野 英次, 斎藤 寿樹 (九州⼯業⼤学), 鈴⽊ 顕 (東北⼤学), 歌島 侃勇, ⼋⽊⽥ 剛 (九州⼯業⼤学)[26] Mizarによるビンパッキングアルゴリズムの近似保証の形式化○藤原 洋志 (信州⼤学), ⾜⽴ 良太 (インテージテクノスフィア), 前 佑⼀郎, ⼭本 博章 (信州⼤学)

15:55

LA/EATCS 発表論⽂賞の投票締切

16:00〜16:20

LA/EATCS 発表論⽂賞の発表 および クロージング