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ソルバを用いた解法を提案する.更に,提案手法の有効性を計算機実験により確かめる.