Consistency problem for one-variable patterns is polynomially decidable - 九大コレクション

＜テクニカルレポート＞
Consistency problem for one-variable patterns is polynomially decidable

作成者	著者識別子 K000167 作成者名 Sakamoto, Hiroshi 坂本, 比呂志所属機関所属機関名 Department of Informatics, Kyushu University 九州大学大学院システム情報科学研究院情報理学部門
本文言語	英語
出版者	Department of Informatics, Kyushu University
出版者	九州大学大学院システム情報科学研究院情報理学部門
発行日	1998-05
収録物名	DOI Technical Report
巻	150
出版タイプ	Accepted Manuscript
アクセス権	open access
関連DOI	DOI Technical Report \|\| 150
関連DOI	http://www.i.kyushu-u.ac.jp/research/report.html
関連URI	DOI Technical Report \|\| 150
関連URI	http://www.i.kyushu-u.ac.jp/research/report.html
関連情報	DOI Technical Report \|\| 150
関連情報	http://www.i.kyushu-u.ac.jp/research/report.html
概要	The present paper deals with the decision problem for the class of one-variable patterns, called the consistency problem. Although this problem is obviously in NP, its tractability is unknown. We prov...e the consistency problem to be decidable in P.続きを見る

ファイル	ファイルタイプ	サイズ	閲覧回数	説明
trcs150	pdf	177 KB	97
trcs150.ps	gz	81.5 KB	50