| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2025-10-30 15:40 オイラリアン二部グラフにおけるトークンスライディング型・独立集合遷移問題の困難性 ○柳 翰翔・和佐州洋（法政大）  COMP2025-11 |
|
| 抄録 | （和） | 遷移問題は実行可能解の間に段階的な変換をモデル化するものであり、現実的な問題において現れる。 本研究では、オイラリアン二部グラフにおけるトークンスライディング型・独立集合遷移問題 (ISR-TS) の計算困難性について研究を行った。 主結果として、入力がオイラリアン二部グラフであっても、ISR-TS は PSPACE-完全であることを証明した。 この結果は、既存の結果である二部グラフにおける ISR-TS の PSPACE-完全性 [Lokshtanov, Mouawad, ACM Trans. Algorithms, 2019] を拡張した結果となっている。 証明にあたっては、二部グラフ上の ISR-TS のインスタンスの二部性を維持しながらオイラリアン性を満たすようなガジェットを追加する多項式時間多対一還元を与えた。 |
| （英） | Reconfiguration problems, which model step-by-step transformations between feasible solutions, arise in various real-world applications. In this study, we investigate the Independent Set Reconfiguration problem under the Token Sliding rule (ISR-TS) on Eulerian bipartite graphs. Our main result shows that the ISR-TS problem remains PSPACE-complete even when restricted to Eulerian bipartite graphs. To establish this, we present a reduction from the ISR-TS problem on bipartite graphs, which is known to be PSPACE-complete [Lokshtanov, Mouawad, ACM Trans. Algorithms, 2019]. Our polynomial-time many-one reduction involves adding gadgets to bipartite graph instances. This transformation ensures that the resulting instances become Eulerian while preserving their bipartiteness. We prove that there is a one-to-one correspondence between TS-sequences in the original bipartite graphs and those in the transformed Eulerian bipartite graphs. |
|
| キーワード | （和） | 組合せ遷移 / トークンスライディング / 独立集合 / オイラリアングラフ / / / / |
| （英） | Combinatorial Reconfiguration Problem / Token-sliding / Independent set / Eulerian Graph / / / / | |
| 文献情報 | 信学技報, vol. 125, no. 219, COMP2025-11, pp. 17-23, 2025年10月. | |
| 資料番号 | COMP2025-11 | |
| 発行日 | 2025-10-23 (COMP) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | COMP2025-11 |
|
| 研究会情報 | |
| 研究会 | COMP |
| 開催期間 | 2025-10-30 - 2025-10-30 |
| 開催地（和） | 東北大学 青葉記念会館 4階 大研修室401 |
| 開催地（英） | 東北大学 青葉記念会館 4階 大研修室401 |
| テーマ（和） | 理論計算機科学，一般 |
| テーマ（英） | Theoretical Computer Science, etc |
| 講演論文情報の詳細 | |
| 申込み研究会 | COMP |
| 会議コード | 2025-10-COMP |
| 本文の言語 | 英語（日本語タイトルあり） |
| タイトル（和） | オイラリアン二部グラフにおけるトークンスライディング型・独立集合遷移問題の困難性 |
| サブタイトル（和） | |
| タイトル（英） | On the Hardness of Independent Set Reconfiguration under Token Sliding on Eulerian Bipartite Graphs |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 組合せ遷移 / Combinatorial Reconfiguration Problem |
| キーワード(2)（和/英） | トークンスライディング / Token-sliding |
| キーワード(3)（和/英） | 独立集合 / Independent set |
| キーワード(4)（和/英） | オイラリアングラフ / Eulerian Graph |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 柳 翰翔 / Hanxiang Liu / リュウ カンショウ |
| 第1著者 所属（和/英） | 法政大学 (略称： 法政大) Hosei University (略称： Hosei Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 和佐 州洋 / Kunihiro Wasa / ワサ クニヒロ |
| 第2著者 所属（和/英） | 法政大学 (略称： 法政大) Hosei University (略称： Hosei Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2025-10-30 15:40:00 |
| 発表時間 | 30分 |
| 申込先研究会 | COMP |
| 資料番号 | COMP2025-11 |
| 巻番号（vol） | vol.125 |
| 号番号（no） | no.219 |
| ページ範囲 | pp.17-23 |
| ページ数 | 7 |
| 発行日 | 2025-10-23 (COMP) |
[研究会発表申込システムのトップページに戻る]