|
本文PDFファイルを閲覧するには,ログインする必要があります.
左メニューよりログインして下さい.
|
Circ1P分割問題の計算困難性とSATソルバを用いたその解法
原田 崇司 竹内 聖悟
(FIT2019推薦論文)
誌名
電子情報通信学会論文誌 D
No.11
pp.800-807 発行日: 2020/11/01 早期公開日: 2020/07/14 Online ISSN: 1881-0225
DOI: 10.14923/transinfj.2020JDT0002 論文種別: 論文 専門分野: 情報・システム基礎 キーワード: consecutive ones property, circular ones property, トップダウンZDD, SATソルバ,
本文: PDF(1004.2KB)>>
あらまし:
0/1行列Mに対して,Mの各行の1または0が連続するようにMの列を並べられるとき,MはCircular Ones Property (Circ1P)を満たすという.0/1行列MがCirc1Pを満たすかはO(m+n+c)で判定できる.ただし,m, n, cはそれぞれMの行数,列数とM中の1の数である.0/1行列Mと正の整数Kが与えられたとき,Mの行に対するサイズK以下の分割があるかを判定する問題を考える.ただし,分割の各部分行列はCirc1Pを満たすものとする.本論文では,この判定問題がNP完全であることを証明する.そして,この問題に対するSATソルバを用いた解法を提案する.更に,提案手法の有効性を計算機実験により確かめる.
|
|
|