| 講演抄録/キーワード |
| 講演名 |
2022-12-06 15:25
半順序集合の弱埋め込み問題に対するパラメータ化アルゴリズム ○宮﨑怜子・有村博紀・小林靖明(北大) COMP2022-29 |
| 抄録 |
(和) |
半順序集合の埋め込み問題は,存在一階論理のモデル検査の固定パラメータ容易性と関連する問題であり,埋め込む半順序集合の大きさと埋め込み先の半順序集合の幅をパラメータとして固定パラメータ容易であることがGajarsk'{y}らによって示されている (Gajarsk'{y}ら,Log. Methods Comput. Sci., 2015).
本研究では,この埋め込み問題よりも弱い条件での埋め込み問題を考え,その固定パラメータ容易性を議論する.
具体的には,与えられたラベル付き半順序集合$P$から$Q$への弱埋め込みがあるかどうか判定する問題に対して,$P$の大きさと$Q$の幅をパラメータとして考えたときに高速な固定パラメータアルゴリズムを与える. |
| (英) |
|
| キーワード |
(和) |
半順序集合 / 弱埋め込み / パラメータ化計算量 / / / / / |
| (英) |
/ / / / / / / |
| 文献情報 |
信学技報, vol. 122, no. 294, COMP2022-29, pp. 40-47, 2022年12月. |
| 資料番号 |
COMP2022-29 |
| 発行日 |
2022-11-29 (COMP) |
| ISSN |
Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| PDFダウンロード |
COMP2022-29 |