2009-02-04から1日間の記事一覧

アルゴリズム論 過去問06年

1.ポスト対応問題 (1)文脈自由言語k=4の例 ポスト対応問題のインスタンスをなんとなく(110,01),(10,0)(001,111),(1,11)とおく。すると、L(x1,x2,x3,x4)={1#10#11#100#110001011} になる。これより、文脈自由文法は S→ij# S xijR S→ε (2)2つの文脈自由文法が…

アルゴリズム論 過去問04年

1.1テープと2テープのTMの性能差 言語{0^n1^n} 2テープ:O(n) 1テープ:O(nlogn) 言語{xcxR} 2テープ:O(n) 1テープ:O(n^2) 教科書にあったの。 説明は直感的でいいみたいなので、交差列の説明とかはいらんかな??? 2.空集合問題の非可解性 教科書どおり…

アルゴリズム論 過去問01年

明日テストなので、過去問を解いてみる。ムズすぎる。 間違いだらけやと思うので、おかしいとこは教えてください。>< 1.言語{0^n1^m | n制限なしのポスト対応問題のインスタンスすべての頭にa(決まった記号)をつけるという還元を作る。 制限なしのポスト対…

還元

非可解性の証明や、NP完全性の証明をするときには、 すでに非可解であったり、NP完全であると証明されている問題のインスタンスを 証明したい問題のインスタンスに還元することで証明をする。 これがなんとも分かりにくいので、 解きたい問題とインスタンス…