10.PとNP完全問題との境界.

Slides:



Advertisements
Similar presentations
SPSSによるHosmer-Lemeshow検定について
Advertisements

あなたは真夜中に 山の頂上を目指す登山者です
レポート書き方. おしいレポート よく調べてある それぞれの、1文の言っていることは正 しい しかし、全体として、何が言いた いのかわからない 内容の重要だが、全体の構成も重 要である.
1 7.時間限定チューリングマシンと クラス P. 2 7 -1.入力サイズ チューリングマシンの入力記号 の長さ を 入力サイズという。 名称:合成数の問題 インスタンス:整数n 問:nは合成数か? 通常は、入力サイズとしてはもっとも短い表現での 長さが利用される。 例えば、次のような合成数の問題における入力サイズは、
7.n次の行列式   一般的な(n次の)行列式の定義には、数学的な概念がいろいろ必要である。まずそれらを順に見ていく。
9.線形写像.
概要 2009 年 10 月 23 日に、いて座に出現した X 線新星 (XTE J ) を、出現から消滅まで 全天 X 線監視装置 MAXI (マキシ)で観測したところ、 新種のブラックホール新星であることが判明した。 従来のブラックホールを、 多量のガスを一気に飲み込む「肉食系」と.
3.多項式計算アルゴリズム べき乗の計算 多項式の計算.
時間的に変化する信号. 普通の正弦波 は豊富な情報を含んでいません これだけではラジオのような複雑な情報 を送れない 振幅 a あるいは角速度 ω を時間的に変化 させて情報を送る.
情報処理A 第10回 Excelの使い方 その3.
九州大学 岡村研究室 久保 貴哉 1. 利用中のAPの数の推移 2 横軸:時刻 縦軸:接続要求数 ・深夜では一分間で平均一台、 昼間では平均14台程度の接続 要求をAPが受けている。 ・急にAPの利用者数が増えてく るのは7~8時あたり.
麻雀ゲーム 和島研究室 ソ 小林巧人
5.連立一次方程式.
相関.
1 情報量(2章). 2 物理的概念との対比1(入れ物と中 身) 塩水 塩 データ 情報 情報の量? 塩分の量! 情報の量は見た目ではわ からない。データと情報 は異なる概念。 塩分の量は見た目 ではわからない。 しかし、本質的な もの。
―本日の講義― ・平均と分散 -代表値 -ぱらつき(分散・標準偏差等) ・Excelによる演習
ノイズ. 雑音とも呼ばれる。(音でなくても、雑 音という) 入力データに含まれる、本来ほしくない 成分.
広告付き価格サービ ス 小園一正. はじめに 世の中には様々な表現方法の広告があり ます。その中でも私たち学生にとって身 近にあるものを広告媒体として取り入れ られている。 価格サービス(無料配布のルーズリー フ)を体験したことにより興味を惹かれ るきっかけとなった。主な目的は、これ.
素数判定法 2011/6/20.
フーリエ係数の性質. どこまで足す? 理想的には無限大であるが、実際に はそれは出来ない これをフーリエ解析してみる.
公開鍵暗号系 2011/05/09.
1章 行列と行列式.
本宮市立白岩小学校. 1 はじめに 2 家庭学習プログラム開発の視点 ① 先行学習(予習)を生かした 確かな学力を形成する授業づく り ② 家庭との連携を図った家庭学習の習慣化.
フーリエ級数. 一般的な波はこのように表せる a,b をフーリエ級数とい う 比率:
3.エントロピーの性質と各種情報量.
9.通信路符号化手法1 (誤り検出と誤り訂正の原理)
Excelによる積分.
1 6.低次の行列式とその応用. 2 行列式とは 行列式とは、正方行列の特徴を表す一つのスカ ラーである。すなわち、行列式は正方行列からスカ ラーに写す写像の一種とみなすこともできる。 正方行列 スカラー(実数) の行列に対する行列式を、 次の行列式という。 行列 の行列式を とも表す。 行列式と行列の記号.
計算のスピードアップ コンピュータでも、sin、cosの計算は大変です 足し算、引き算、掛け算、割り算は早いです
線形符号(10章).
1 0章 数学基礎. 2 ( 定義)集合 集合については、 3セメスタ開講の「離散数学」で詳しく扱う。 集合 大学では、高校より厳密に議論を行う。そのために、議論の 対象を明確にする必要がある。 ある “ もの ” (基本的な対象、概念)の集まりを、 集合という。 集合に含まれる “ もの ” を、集合の要素または元という。
4.プッシュダウンオートマトンと 文脈自由文法の等価性
1 0章 数学基礎. 2 ( 定義)集合 集合については、 3セメスタ開講の「離散数学」で詳しく扱う。 集合 大学では、高校より厳密に議論を行う。そのために、議論の 対象を明確にする必要がある。 ある “ もの ” (基本的な対象、概念)の集まりを、 集合という。 集合に含まれる “ もの ” を、集合の要素または元という。
信号測定. 正弦波 多くの場合正弦波は 0V の上下で振動する しかし、これでは AD 変換器に入れら れないので、オフ セットを調整して データを取った.
1 9.線形写像. 2 ここでは、行列の積によって、写像を 定義できることをみていく。 また、行列の積によって定義される写 像の性質を調べていく。
通信路(7章).
3.プッシュダウンオートマトンと 文脈自由文法
6.符号化法(6章).
ビット. 十進数と二進数 十進数  0から9までの数字を使って 0、1、2、3、4、5、6、7、8、9、 10、11、12 と数える 二進数  0と1を使って 0、1、10、11、100、101、11 0、111 と数える.
人工知能特論 II 第 4 回 二宮 崇 1. CCG (COMBINATORY CATEGORIAL GRAMMAR) 組合せ範疇文法 2 今日の講義の予定.
A 「喫煙率が下がっても肺ガン死亡率が減っていないじゃな いか」 B 「喫煙を減らしてもガン減るかどうか疑問だ 」 1.
アルゴリズムとデータ構造 補足資料14-1 「ハッシュ法」
結城諒 司 吉田成 樹 完成予定図 O N! 7セグLE D ランダム表 示 OF F ? 数字が出たら 勝ち!!
3.正方行列(単位行列、逆行列、対称行列、交代行列)
様々な情報源(4章).
プログラミング演習B ML編 第3回 2010/6/15 (コミ) 2010/6/16 (情報・知能) 住井 ~sumii/class/proenb2010/ml3/
論理回路 第1回. 今日の内容 論理回路とは? 本講義の位置づけ,達成目標 講義スケジュールと内容 受講時の注意事項 成績の評価方法.
Bar-TOP における光の 群速度伝播の解析 名古屋大学 高エネルギー物理研究室 松石 武 (Matsuishi Takeru)
Analog “ neuronal ” networks in early vision Koch and Yuille et al. Proc Academic National Sciences 1986.
C言語応用 構造体.
3.多項式計算アルゴリズム べき乗の計算 多項式の計算.
階層分析法. 表3. 1 ルートR1R1 R2R2 R3R3 R4R4 R5R5 F1F1 最寄駅までの所要 時間(分) 10 7 F2F2 実乗車時間(分) F3F3 片道切符(円) ヶ月定期(円) 11,21011,9309,75012,46012,720.
偏微分方程式の境界値問題を 基礎とするデジタル画像解析
HKS Analysis Log Jul 2006 Part1 D.Kawama. 第壱部 HKS Sieve Slit Analysis.
1 中野研究室 4 年ゼミのイロハ 斉藤(修士 2 年) ( 2009 年 ”4 年ゼミのイロハ ” を参考に作りました)
1 プログラミング言語論 第13回 プログラムの意味論と検証 (2) 表示的意味論 担当:犬塚. 2 表示的意味論 denotational semantics  表示的意味論では、プログラムの要素とそれが 意味するものを対応付ける。 変数 式 文 A B … A+2 2B+C A:=A+2 if.
プログラミング言語論 第9回 論理型プログラミング言語 担当:犬塚.
8.任意のデータ構造 (グラフの表現とアルゴリズム)
メニューに戻る メニューに戻る | 前表示スライド 前表示スライド G*power 3 の web ページ Windows はこちら Mac はこちら ダウンロード後,実行してインストール.
第14回 プログラムの意味論と検証(3) 不動点意味論 担当:犬塚
実験5 規則波 C0XXXX 石黒 ○○ C0XXXX 杉浦 ○○ C0XXXX 大杉 ○○ C0XXXX 高柳 ○○ C0XXXX 岡田 ○○ C0XXXX 藤江 ○○ C0XXXX 尾形 ○○ C0XXXX 足立 ○○
オセロの思考アルゴリズムについて 1103072 岩間 隆浩.
1 アルゴリズムの高速化. 2 アルゴリズムにおける 大幅な性能アップ 多項式時間アルゴリズム VS 対数時間アルゴリズム (最大公約数の問題) 指数時間アルゴリズム VS 多項式時間アルゴリズム (フィボナッチ数列を求める問題)
音の変化を視覚化する サウンドプレイヤーの作成
Self-efficacy(自己効力感)について
本文. 考えながら読みましょ う 「いろいろなこと」( 3 行目)は何で すか 「①電話料金はコンビニで支払いをしていま す。いつでも払えますから、便利です。」 「②夕食はコンビニで買います。お弁当やお かずがいろいろありますから。」今、若者に 人気のあるコンビニは、いろいろなことをす るのに非常に便利な場所になった。
11万km上空のかぐやから見た地球. デジタル信号処理 Digital Signal Processing 2010 年度春学期 Spring Semester, 2010 担当者: 栗濱 忠司( Professor ) 第3週第3週.
東北大学 情報科学研究科 システム情報科学専攻 TOKUYAMA Lab. 1 左順序付き柔軟ラベリングの実 装 Implementation of Left-part ordered Flexible Labeling 東北大学大学院 情報科学研究科 ◎小池 敦 徳山 豪.
IIR 輪講復習 #18 Matrix decompositions and latent semantic indexing.
地球儀と様々な地図. 1 球体としての地球 こうした現象はあることをイ メージすると理解できる。
Presentation transcript:

10.PとNP完全問題との境界

10-1.2SAT 3SATがNP完全であることを見てきたが、 ここでは2SATがPに属することを見ていく。 問題     2SATisfiability problem) インスタンス:2CNF論理式 問:     となる        への0,1の   割り当てが存在するか? 変数の個数 自体には 制限が無い ことに注意

例 この2CNFが充足可能かどうか調べる。 と仮定する。 先ず、 このとき、節にはリテラルが2つしかないので、 このとき、節にはリテラルが2つしかないので、      を充足させるためには、   を含む節に対して、   以外の変数への割り当てが決まってしまう。 このことが連続で引き起こされる。 この例では、この連鎖によって、矛盾が導ける。 したがって、      である。

したがって、      である。 同様に        と仮定する。 このとき、次のように連鎖を導ける。 このときには、さらに、与えられた関数を簡単化できる。 このとき、  が充足可能であるための必要十分条件は、   が充足可能であることに注意する。

この例の方針にしたがって、 多項式時間アルゴリズムが得られる。 インスタンス: ここで、入力サイズは、         である。 とする。 このとき、

証明 具体的にに多項式時間アルゴリズムを示す。 アルゴリズム2SAT 1.変数  に対して0または1を割り当て、   割り当ての連鎖を求める。 2.1.の連鎖で矛盾が生じた場合には、   をその割り当てを採用しない。 3.1.の割り当てで矛盾が生じない場合には、   関数   を簡単化した関数  を作成し、     に対して再帰的にアルゴリズムを適用する。

ここkで、アルゴリズム2SATが最悪でも 多項式時間で動作することを示す。 まず、ステップ1の連鎖は   時間で求めることができる。 各変数に対して、 連鎖を求めることは、 高々2回(肯定の割り当てか、否定の割り当て) しか行わない。 さらに、一度連鎖に入った節は、簡単化され、 関数  には含まれない。  以上より、高々      時間で充足可能かどうか を調べることができる。(なお、ここでは、多項式時間 を示しただけである。現在知られている最速のアルゴリズム ではない。)

以上より、次のような状態であることがわかる。 NP-hard SAT 3SAT NP-complete 2SAT P NP このように、問題を注意深く観察しないと、 Pの問題か、NP完全の問題かは区別できない。

練習 次の2CNFが充足可能かどうかを調べよ。

10-2.2次元マッチング 次のような問題を考える。 問題 あるパーティには、n人の男性と、n人の女性が招待されて いる。このパーティにおいて、ダンスを踊るために、 男と女のペアを作りたい。 しかし、全ての男女が組みを作れるわけではなく、 組を作ることができる男女間の情報だけがわかっている ものとする。 このときに、同時にn組のペアをつくることが可能か?

先ほどの問題は、グラフの問題として定式化できる。 問題:2次元マッチング 名称:2次元マッチング インスタンス: 問い:完全マッチングがあるか?

肯定のインスタンス a1 b1 a2 b2 a3 b3 a4 b4 a5 b5

否定のインスタンス a1 b1 a2 b2 a3 b3 a4 b4 a5 b5

性質:2次元マッチング問題の計算量 とする。 このとき、 証明 次のようなアルゴリズムを考える。 まず、辺を適当に選択して、マッチングを構成していく。 この選択を可能な限り行なう。 ここで、選択した辺の両方の点がこれまでに選択した辺に 接続している場合を考えよう。

a a’ b b’ c c’ d d’ e’ e f’ f このとき、このような状況になっているはずである。 つまり、fに接続している辺はすべて、既にマッチングの 辺が接続している。

a a’ b b’ c c’ d d’ e’ e f’ f このときは、マッチングの辺と、マッチしていない辺を交互に 辿って、マッチしていない点まで辿る。

a a’ a a’ b b’ b b’ c c’ c c’ d d’ d d’ e’ e e’ e f’ f f’ f 必要部分だけを抜き出すと上図左のようになる。 このとのようなマッチと非マッチの辺を辿った道を 交互道という。交互道において、マッチと非マッチを 交換することができる。このように交換(スイッチ)しても、 マッチングの条件を満足していることに注意する。

非マッチの点から初めて非マッチの点で終わる交互道は、 スイッチすることによって、 マッチの辺を1本増加させることができる。 スイッチ不可能のな例 a a’ b b’ c c’ d d’ e’ e f’ f このような場合非マッチの点から初めて交互道を辿ると、 交互道の始点側からなる部集合の点集合(青点)が、 交互道の逆の部集合の点集合(赤点)より 必ず個数が多くなる。

つまり、このような交互道の選択ステップが失敗するならば、 完全マッチングが存在しないことがわかる。 以上より、次のような多項式時間アルゴリズムが得られる。 アルゴリズム2DM 1.各辺       を含む極大な交互道を   見つける。(必要ならスイッチを行う。) 2.1.の交互道を取り除いて、再帰的にマッチングを   見つける。 このアルゴリズムの厳密な解析は行わないが、 最悪       時間で動作することが知られている。 (現在知られている最も高速なアルゴリズムの計算量は、          時間である。)

練習 次の例に対して、交互道を延長することによって、 マッチングがあるかどうかを決定せよ。 a1 b1 a2 b2 a3 b3 a4 b4

10-3.3次元マッチング 2次元マッチングに対しては、多項式時間アルゴリズム が存在した。しかし、自然な拡張である3次元マッチング はNP完全であることが示せる。 問題:3次元マッチング 名称:3次元マッチング インスタンス: 問い:完全3次元マッチングがあるか? すなわち、M中の互いに素な部分集合で、 A、B、Cの要素を全て網羅できるか?

性質:3次元マッチング問題の計算量 とする。 このとき、 証明 を示す。 まず、      を非決定的に選択することによって、 3DMの受理を決定できる。したがって、 である。(あるいは、3DMになっているかどうかの 検証は容易に多項式時間で行えるから       である。)

ここでは、3SATを多項式時間で3DMに帰着できることを 示す。 すなわち、 3SAT 3DM と問題を変換できることを示す。 ここでは、3SATの具体例に対して帰着法(変換法) を示すにとどめる。 この例から容易に一般の3SATのインスタンスを 3DMに帰着できることがわかる。 3SATのインスタンスを とする。

まず、A,B,Cを次のように定める。 A={ , , ,・・・} B={ , , ,・・・} C={ , , ,・・・} 次に、各変数   に対して次のような構造を持つように、 3DMのインスタンスを作成する。この例では、項が5つあるので 肯定と否定で10角形を構成する。

各節は下図のように構成する。

3SATが充足可能であるときにかつ、そのときに限り、 この構成が3DMを持つことを示す. 先ず、3DMがあると仮定する。このときに、充足可能である ことを示す。   10角形中のBやCの要素をいずれかのマッチングが網羅 するためには、変数は偶数番目だけすべて選ぶか あるいは奇数番目だけをすべて選ぶしかない。 偶数番目を選んだときには肯定の変数が自由でなくなり、 (節への割り当てが不可能)、 奇数番目を選んだときには否定の変数が自由でなくなる。 したがって、 変数  の偶数番目をマッチングで選んだら、    に0を割り当てると考える。 逆に、奇数番目をマッチングで選んだら、     に1を割り当てると考える。

節に対応するマッチングにより、Aの要素をいずれかの変数で 網羅しなければならない。この選択によって、 変数における自由な頂点が一意に決定することに注意する。 3DMのインスタンスの構成から、3DMが存在するときには、 3SATが充足可能であることがわかる。 次に充足可能であるならば、3DMが存在することを示す。 全ての節を1にする割り当てが存在する。この割り当てに したがって、10角形の奇数番目か偶数版目かを選ぶことができる。 このとき、BとCの要素はすべて網羅されている。したがって、 残っている要素はAの要素だけである。 残った要素は、あらかじめ必要分のMの要素をすべてのAに対応 させておくことにより、すべてのAをマッチさせることができる。 (一種のガベージコレクションを行えばよい。)

以上より、次のような状態であることがわかる。 NP-hard 3DM NP-complete 2DM P NP 一見似たような問題でも計算量が全く異なる。 このような問題の組をいくつか示す。(証明なしで)

10-4.PとNP完全 Pの問題解決手法を組み合わせることで、 多項式時間アルゴリズムが得られることもある。 また、NP完全の問題を帰着できて、NP困難であることが 証明できることもある。 これらは、計算機科学の主要な研究テーマである。 NP完全 部分問題を表す 矢印 未解決 (PとNP完全の境界) 多項式時間アルゴリズム

似ているクラスPの問題とNP完全の問題1 NP完全 P 名称:2点間の最短路 名称:2点間の最長路 インスタンス: 辺重みつきグラフ G=(V,E)と 2点     さらに、正定数B インスタンス: 辺重みつきグラフ G=(V,E)と 2点     さらに、正定数B 問い: 点aから点bまで結ぶ 単純な路で長さがB以下 のものがあるか? 問い: 点aから点bまで結ぶ 単純な路で長さがB以上 のものがあるか?

a a b b a a b b

似ているクラスPの問題とNP完全の問題2 NP完全 P 名称:辺被覆 名称:点被覆 インスタンス: グラフG=(V,E)と さらに、正定数K 問い: かつ かつ で、全ての点は      の いずれかの辺に 接続している。 で、全ての辺は      の いずれかの点に 接続している。

似ているクラスPの問題とNP完全の問題3 NP完全 P 名称:0-1ナップザック 名称:実数ナップザック インスタンス: 集合 と、 集合         と、 サイズ関数 価値関数   。 また、正定数B、正定数K インスタンス: 集合         と、 サイズ関数 価値関数   。 また、正定数B、正定数K 問い: 問い: に対して、 に対して、 が存在して、 が存在して、 かつ かつ とできるか? とできるか?