講演名 2019-10-25
Circ1P分割問題の計算複雑さと解法
竹内 聖悟(高知工科大), 原田 崇司(高知工科大),
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 0-1行列の列を並び替えることにより各行の1または0を連続させられるとき,その0-1行列はCircular Ones Property (Circ1P) を満たす.0-1行列がCirc1Pを満たすかは行列サイズの多項式時間で判定可能である.本稿では, Circ1Pを満たさない0-1行列をCirc1Pを満たす部分行列へと分割できるかを判定する問題がNP完全であることを示し, その問題に対するアルゴリズムを提案する.
抄録(英) 0-1 matrix satisfies Circular Ones Property (Circ1P) when 1 or 0 in each row can be continued by reordering the columns of the matrix. Whether the 0-1 matrix satisfies Circ1P can be determined by polynomial time of the matrix size. In this paper, we show that the problem of determining whether a 0-1 matrix which does not satisfy Circ1P can be divided into submatrices which satisfy Circ1P is NP-complete and propose an algorithm for the problem.
キーワード(和) 0-1行列 / Circular Ones Property
キーワード(英) 0-1 matrix / Circular Ones Property
資料番号 COMP2019-25
発行日 2019-10-18 (COMP)

研究会情報
研究会 COMP
開催期間 2019/10/25(から1日開催)
開催地(和) 北海道大学 札幌キャンパス
開催地(英) Sapporo Campus, Hokkaido University
テーマ(和)
テーマ(英)
委員長氏名(和) 藤戸 敏弘(豊橋技科大)
委員長氏名(英) Toshihiro Fujito(Toyohashi Univ. of Tech.)
副委員長氏名(和) 中野 眞一(群馬大)
副委員長氏名(英) Shinichi Nakano(Gunma Univ.)
幹事氏名(和) 大舘 陽太(熊本大) / 玉置 卓(兵庫県立大)
幹事氏名(英) Yota Otachi(Kumamoto Univ) / Suguru Tamaki(Univ. of Hyogo)
幹事補佐氏名(和) 脊戸 和寿(成蹊大)
幹事補佐氏名(英) Kazuhisa Seto(Seikei Univ.)

講演論文情報詳細
申込み研究会 Technical Committee on Theoretical Foundations of Computing
本文の言語 JPN
タイトル(和) Circ1P分割問題の計算複雑さと解法
サブタイトル(和)
タイトル(英) Computational Complexity of Circ1P Problem and its Algorithm
サブタイトル(和)
キーワード(1)(和/英) 0-1行列 / 0-1 matrix
キーワード(2)(和/英) Circular Ones Property / Circular Ones Property
第 1 著者 氏名(和/英) 竹内 聖悟 / Shogo Takeuchi
第 1 著者 所属(和/英) 高知工科大学(略称:高知工科大)
Kochi University of Technology(略称:Kochi Univ. of Tech.)
第 2 著者 氏名(和/英) 原田 崇司 / Takashi Harada
第 2 著者 所属(和/英) 高知工科大学(略称:高知工科大)
Kochi University of Technology(略称:Kochi Univ. of Tech.)
発表年月日 2019-10-25
資料番号 COMP2019-25
巻番号(vol) vol.119
号番号(no) COMP-249
ページ範囲 pp.53-56(COMP),
ページ数 4
発行日 2019-10-18 (COMP)