2002 Fiscal Year Annual Research Report
Project/Area Number |
01J03161
|
Research Institution | Kyoto University |
Principal Investigator |
松浦 昭洋 京都大学, 情報学研究科, 特別研究員(PD)
|
Keywords | アルゴリズム / 組合せ問題 / 和積形論理式 / CNF / SAT / 数え上げ / 有限オートマトン / 状態数 |
Research Abstract |
主に以下の四点の成果を上げた。 1.代表的な組合せ問題である、和積形論理式(CNF式)充足解数数え上げ問題に関してk-CNF式の解総数を一意に定めるためには、各項を非充足とする変数割当ての集合の変数の数に関する多項式個の情報を持つことが必要十分であることを示した。また、同結果を応用し、ハイパーグラフの彩色数を一意に定めるための必要十分条件を示した。 2.1に関してk-CNF式の充足解数を実際に求めるアルゴリズムを陽的に構築した。 3.CNF式に対して、充足解の総数を充足解に含まれる1となる変数の数に関する事前知識を仮定することで、各々準指数時間、多項式時間の効率的なアルゴリズムが存在することを示した。 4.計算理論に関し、従来任意の整数nとαが与えられたときに、2^n-α個の状態を持つ決定性有限オートマトンと等価なn状態非決定性有限オートマトンが存在するかどうかは知られていなかったが、本研究により、n【greater than or equal】7、5【less than or equal】α、【less than or equal】2n-2である全てのn、αに対しては、そのような非決定性有限オートマトンが存在することが示された。
|
Research Products
(5 results)
-
[Publications] 松浦昭洋, 岩間一雄: "k-CNF式に対するInclusion-Exclusion公式について"電信情報通信学会 信学技法. Vol.102,No.258. 45-51 (2002)
-
[Publications] 松浦昭洋: "k-CNF式に対するInclusion-Exclusion公式における非充足解数計算手法"情報科学技術フォーラム大会論文集. A-25. 49-50 (2002)
-
[Publications] K.Iwata, A.Matsuura: "Solving SAT Efficiently with Promises"IEICE Transactions on Information and Systems. Vol.E86-D No.2. 213-218 (2003)
-
[Publications] K.Amano, K.Iwata, A.Maruoka, K.Matsuo, A.Matsuura: "Inclusion-Exclusion for k-CNF Formulas"Information Processing Letters. (未定(採録済)).
-
[Publications] K.Iwata, M.Paterson, A.Matsuura: "A Family of NFA's Which Need 2^n-α Deterministic States"Theoretical Computer Science. (未定(採録済)).