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

作成者
本文言語
出版者
発行日
収録物名
出版タイプ
アクセス権
関連情報
概要 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 66  
trcs150.ps gz 81.5 KB 45  

詳細

レコードID
査読有無
タイプ
登録日 2007.01.15
更新日 2018.08.31

この資料を見た人はこんな資料も見ています