2023年度 夏のLAシンポジウム ：7月3日（月）〜7月5日（水）サン・リフレ函館（〒040-0034 函館市大森町2番14号）
7月3日（月）
9:15 受付開始
9:30 - 9:40 オープニング
9:40 - 11:00 一般セッション1（発表時間17分＋質疑応答3分） 座長: 長尾 篤樹（お茶の水女子大学）
- [1] On the Hardness of Inclusion-wise Minimal Separator Enumeration
- Caroline Brosse (Université Clermont Auvergne), Oscar Defrain (Aix-Marseille Université), Arnaud Mary (Université de Lyon), ○ Kazuhiro Kurita (Nagoya University), Vincent Limouzy (Université Clermont Auvergne), Takeaki Uno (National Institute of Informatics), Kunihiro Wasa (Hosei University)
- [2] 多様な最短経路を求める固定パラメータアルゴリズム
- ○ 舟山 諒, 小林 靖明 (北海道大学)
- [3] 平面上の最小重み無交差Lamanグラフと関連する幾何的グラフについて
- ○ 河上 悠輝, 脊戸 和寿, 堀山 貴史 (北海道大学), 小林 祐貴 (大阪公立大学), 東川 雄哉, 加藤 直樹 (兵庫県立大学)
- [4] 最小重み幾何的(k,l)-tightグラフの性質
- 加藤 直樹, ○ 林 瞳, 東川 雄哉 (兵庫県立大学)
11:00 - 11:10 休憩
11:10 - 12:10 一般セッション2（発表時間17分＋質疑応答3分） 座長: 栗田 和宏（名古屋大学）
- [5] パス状の動的フローネットワークにおける混合避難問題
- ○ 石川 理紗, 加藤 直樹, 東川 雄哉 (兵庫県立大学), ベンコツィ ロバート (レスブリッジ大学)
- [6] 格子状のネットワークにおける津波避難を想定した最速輸送問題
- 照山 順一, 戸國 友貴, 東川 雄哉, ○ 山本 杏珠紗 (兵庫県立大学)
- [7] 格子状の動的フローネットワークにおける避難施設配置問題
- 照山 順一, 戸國 友貴, ○ 西井 彩乃, 東川 雄哉 (兵庫県立大学)
- [8] 発表キャンセル
12:10 - 13:50 昼食休憩
13:50 - 15:20 学生セッション1（発表時間12分＋質疑応答3分） 座長: 東川 雄哉（兵庫県立大学）
- [9S] ABC End Viewに対するもう１つの物理的ゼロ知識証明
- ○ 田中 滉大, 水木 敬明 (東北大学)
- [10S] Moon型2本ジャンケンの不規則性
- ○ 豊永 明香里, 長尾 篤樹 (お茶の水女子大学)
- [11S] Proper disconnection numberが1になるグラフの特徴について
- ○ 川原 遥香, 長尾 篤樹 (お茶の水女子大学)
- [12S] 二部立方体グラフにおける最大幸福集合問題
- ○ 足立 有香, 長尾 篤樹 (お茶の水女子大学)
- [13S] SPQR木を利用したビール路問題への解法
- ○ 杉山 康恭 (名古屋大学), 土中 哲秀 (九州大学), 小野 廣隆 (名古屋大学), 定兼 邦彦 (東京大学)
- [14S] 連結グラフ分割問題の劣指数時間アルゴリズム
- ○ 山田 秀流, 土中 哲秀 (九州大学)
15:20 - 15:30 休憩
15:30 - 16:45 学生セッション2（発表時間12分＋質疑応答3分） 座長: 小林 靖明（北海道大学）
- [15S] Dichotomies for Tree Minor Containment with Structural Parameters
- Tatsuya Gima (Nagoya University), Soh Kumabe (The University of Tokyo), Kazuhiro Kurita, ○ Yuto Okada, Yota Otachi (Nagoya University)
- [16S] 彩色遷移可能性が多項式時間で判定できるマルチツリー遷移制約について
- 岩政 勇仁, ○ 浦川 樹 (京都大学)
- [17S] ビンパッキング遷移問題の計算複雑性の検討
- ○ 平林 可意, 藤原 洋志 (信州大学), 川原 純 (京都大学), 山本 博章 (信州大学)
- [18S] 正規パターン言語の有限和に対する特徴集合とコンパクト性について
- ○ 武田 直人, 内田 智之 (広島市立大学), 正代 隆義 (福岡工業大学), 松本 哲志 (東海大学), 鈴木 祐介, 宮原 哲浩 (広島市立大学)
- [19S] 正規表現から有限オートマトンへの変換法の検討
- ○ 藤本 悠, 藤原 洋志, 山本 博章 (信州大学)
16:45 - 17:00 休憩
17:00 - 19:00 一般セッション3（発表時間17分＋質疑応答3分） 座長: 清水 伸高（東京工業大学）
- [20] ブースティングに基づく高速なメタラウンディング
- ○ 三星 諒太朗, 畑埜 晃平 (九州大学/理研AIP), 瀧本 英二 (九州大学)
- [21] Polyhedral Clinching Auctions for Indivisible Goods
- ○ 佐藤 良亮 (東京大学), 平井 広志 (名古屋大学)
- [22] 距離制限を設けたToken Jumping問題の計算困難性
- ○ 羽田野 裕貴, 北村 直輝, 泉 泰介 (大阪大学), 伊藤 健洋 (東北大学), 増澤 利光 (大阪大学)
- [23] 時間制約付き有向木の遷移
- 伊藤 健洋 (東北大学), 岩政 勇仁 (京都大学), ○ 神山 直之 (九州大学), 小林 靖明 (北海道大学), 小林 佑輔 (京都大学), 前澤 俊一 (東京理科大学), 鈴木 顕 (東北大学)
- [24] 続・ラプラシアン行列の固有値に関する木幅の下界とその改善
- 儀間 達也 (名古屋大学), 土中 哲秀 (九州大学), ○ 野呂 浩平, 小野 廣隆, 大舘 陽太 (名古屋大学)
- [25] Transportation Problem on a Graph with Integer Property
- ○ Tetsuo Asano (Kanazawa University), Shin-Ichi Nakano (Gunma University)
7月4日（火）
9:20 - 10:40 一般セッション4（発表時間17分＋質疑応答3分） 座長: 平原 秀一(国立情報学研究所)
- [26] グラフ状態の生成とランク幅
- ○ 隈部 壮 (東京大学), 森 立平 (名古屋大学)
- [27] 秘密量子信号処理
- ○ 西窪 勇人, 河内 亮周 (三重大学)
- [28] Quantum state testing beyond the polarizing regime and quantum triangular discrimination
- ○ Yupan Liu (Nagoya University)
- [29] エクスパンダー性と符号の局所検査性
- ○ 清水 伸高 (東京工業大学)
10:40 - 10:50 休憩
10:50 - 12:20 学生セッション3（発表時間12分＋質疑応答3分） 座長: 木谷 裕紀（大阪公立大学）
- [30S] 整数計画法による敷地の除雪の最適化
- ○ 宮嶋 渓太, 藤原 洋志, 山本 博章 (信州大学)
- [31S] Optimally shifting intervals under intersection graph models
- ○ Nicolás Honorato Droguett, Kazuhiro Kurita (Nagoya University), Tesshu Hanaka (Kyushu University), Hirotaka Ono (Nagoya University)
- [32S] Blackbox Optimization for Approximately Linear Functions
- ○ セイ タクウ (九州大学)
- [33S] 敵対的環境下のダイナミック・プライシング
- ○ 平野 良太 (九州大学), 畑埜 晃平 (九州大学／理研AIP), 瀧本 英二 (九州大学)
- [34S] 木型文字列に対する高速パラメタ化照合
- ○ 藤里 法輝, 中島 祐人, 稲永 俊介 (九州大学)
- [35S] 反復分解の簡潔な線形時間アルゴリズム
- ○ 米本 優生, 中島 祐人, 稲永 俊介 (九州大学)
12:20 総会＋写真撮影
午後 自由討論
7月5日（水）
9:20 - 11:00 一般セッション5（発表時間17分＋質疑応答3分） 座長: 鈴木 顕（東北大学）
- [36] CONGESTモデルにおける媒介中心性のランキング計算時間下界
- ○ 川嶋 佑樹, 北村 直暉, 泉 泰介, 増澤 利光 (大阪大学)
- [37] 2体の無記憶エージェントによる記憶ありエージェントの模倣
- ○ 高本 皇輝, 北村 直暉, 泉 泰介, 増澤 利光 (大阪大学)
- [38] 閾値グラフ上の一般化辺しりとり
- 江藤 宏 (九州工業大学), 土中 哲秀 (九州大学), ○ 木谷 裕紀 (大阪公立大学), 小野 廣隆 (名古屋大学)
- [39] オストルのPSPACE困難性
- ○ 吉渡 叶 (名古屋大学), 塩田 拓海 (九州工業大学), 鎌田 斗南 (北陸先端科学技術大学院大学)
- [40] NP-completeness of Computing Pre-assignments to Uniquify Vertex Cover for Bipartite Graphs
- ○ Ryu Suzuki, Yasuaki Kobayashi, Kazuhisa Seto, Takashi Horiyama (Hokkaido University)
11:00 - 11:10 休憩
11:10 - 12:30 一般セッション6（発表時間17分＋質疑応答3分） 座長: 三重野 琢也（電気通信大学）
- [41] 2本の文字列の極大共通部分列を列挙するための効率的なアルゴリズム
- ○ 廣田 弥祐二, 酒井 義文 (東北大学)
- [42] フィボナッチ文字列中の極大ギャップ付き反復の個数
- ○ 山根 和真 (北海道大学), 中島 祐人 (九州大学), 脊戸 和寿, 堀山 貴史 (北海道大学)
- [43] CDAWGの左端編集厳密感度
- ○ 藤丸 大翔, 中島 祐人, 稲永 俊介 (九州大学)
- [44] CDAWGの定数感度
- ○ 濱井 陸哉, 藤丸 大翔, 中島 祐人, 稲永 俊介 (九州大学)