Transcript 2．2ブール代数の基本事項

100万ドルの問題
（アルゴリズムとグラフ理論）
湯沢高校 アドバンスト講義
2007年9月19日（水）
秋田県立大学 草苅良至
1
100万ドルの問題を教えます。
問題に懸賞金が付いてます。
問題を解けば、
１００万ドルが手に入ります。
関連のサイト（英語）
http://www.claymath.org/millennium/
2
3
目次
I部 アルゴリズムの世界
II部 グラフ理論とアルゴリズム
4
I.アルゴリズムの世界
5
１．アルゴリズム入門
アルゴリズム：問題をとくための、 （有限回の機械的な）手順。
アルゴリズムの性質
あいまい性が無い。
有限のステップで終了する。
6
アルゴリズム例：１０進数から２進数への変換
入力
出力
人間が理解
しやすい数
D = (dn - 1dn - 2 L d1d0 )10
B = (bm - 1bm - 1 L bb
1 0 )2
(19)10 Û (10011)2
(1989)10 Û (11111000101)2
(2007)10 Û (11111010111)2
コンピュー
タが理解し
やすい数
１０進数と２進数
di Î {0,1,2, 3, 4, 5, 6, 7, 8, 9}
各桁の数字は、その位
の値が何個あるのかを
示している。
D = (dn - 1dn - 2 L d1d0 )10
= dn - 1 ´ 10n - 1 + L + d1 ´ 101 + d0 ´ 100
各桁の数字は、その位
の値が何個あるのかを
示している。
bj Î {0,1}
B = (bm - 1bm - 2 L bb
1 0 )2
= bm - 1 ´ 2
m- 1
+ L + b1 ´ 2 + b0 ´ 2
1
0
8
(19)10 = 1´ 10 + 9 ´ 10
1
0
= 10 + 9
16 + 2 + 1
= 1´ 2 + 0 ´ 2 + 0 ´ 2 + 1´ 2 + 1´ 2
4
3
2
1
0
= (10011)2
9
２進数変換アルゴリズム
[step1]：
[step2]:
(2-1)
(2-2)
(2-3)
[step3]: B
初期設定
D0 := D, i = 0 とする。
Di > 0 の間以下を繰り返す;
2で割った余り
bi := Di mod 2
２で割った商
ú
Di + 1 := ê
D
/
2
ë i
û
（切り捨て）
i := i + 1
i
を１増加させる。
を出力して終了する。
= (bm - 1 L bb
)
1 0 2
10
開始
D0 = D,
i= 0
偽
Di > 0
真
bi = Di
(mod 2)
Di + 1 = êëDi / 2ú
û
i= i+1
B = (bm - 1bm - 1 L bb
1 0 )2
として出力。
終了
11
実行例
19の2進数は？
19割２は、
商が9で余りが１．
b0 := 19mod 2 = 1
19/2 =9
9/2 = 4
4/2 = 2
2/2 = 1
1/2 = 0
;1
;1
;0
;0
;1
下位ビット
D1 := êë19/ 2ú
û= 9
上位ビット
(19)10 = (10011)2
12
２．アルゴリズムの正当性
（なぜ、正しく２進数にしてくれるのか？）
D = D0 = bm - 1 ´ 2m - 1 + L + b1 ´ 21 + b0 ´ 20
ææ
ö
ö
÷
çççç
÷
÷
÷
ö
÷
÷
ççççæ
÷
÷
÷
ç
÷
÷
÷
÷
= çççççç(bm - 1 )´ 2 + bm - 2 ÷
´
2
+
L
´
2
+
b
´ 2 + b0
÷
1
÷
÷
÷
{
ç
çççççè
÷
÷
÷
÷
÷
ø
D
m- 1
÷
÷
çççç144444442
4444444
3
÷
÷
÷
çèè
ø
Dm - 2
ø
144444444444444442 44444444444444443
D1
144444444444444444444
2 444444444444444444443
D0
= D1 ´ 2 + b0
除算における商
と余りの関係式
13
(19)10 = (9)10 ´ 2 + 1
奇数なので１余る
= ((4)10 ´ 2 + 1)´ 2 + 1
=
(((2)10 ´ 2 + 0) + 1)´ 2 + 1
= ((((1)10 ´ 2 + 0)´ 2 + 0)´ 2 + 1)´
2+ 1
= ((((1)2 ´ 2 + 0)´ 2 + 0)´ 2 + 1)´ 2 + 1
= (((10)2 ´ 2 + 0)´ 2 + 1)´ 2 + 1
= ((100)2 ´ 2 + 1)´ 2 + 1
= (1001)2 ´ 2 + 1 = (10011)2
14
３．アルゴリズムの性能評価
（どのくらいの時間で終了するのか？
≒繰り返し回数は何回か？）
D = (bm - 1 L bb
1 0 )2
のときの繰り返し回数を調べよう。
アルゴリズムより繰り返し回数は、出力のビット数
m回
である。この回数を入力の桁数
の関数として表したい。
n
15
m- 1
2
£ D = (bm - 1 L bb
<
2
)
1 0 2
m
各辺で２を底として対数をとる。
m - 1 £ log2 D < m
底の変換公式
\ log2 D < m £ log2 D + 1
1
1
\
log10 D < m £
log10 D + 1
log10 2
log10 2
\ 3.32n < m £ 3.33n + 1
繰り返し数
m は桁数 n に比例する。
16
プログラムにすると
桁数
n
に比例する時間で終了する。
O  n 時間（線形時間）のアルゴリ
ズムといいます。
17
アルゴリズムとプログラム
アルゴリズム
＋
プログラミング
プログラム
プログラム言語
データ構造
2進数変換アルゴリズム
＋
整数型データ
C言語風プログラム
intは整数のデータ型。
int * bin(int D){
int B[100];
Di=D;i=0;
while(Di>0){
B[i]=Di (mod) 2;
Di=Di/2;
i=i+1;
};
return B;
}
18
プログラムとアルゴリズムの計算時間
while(Di>0){
B[i]=Di (mod) 2;
Di=Di/2;
i=i+1;
};
加減乗除の四則演算
代入演算
不等号や等号の成立判定
等は全て一定の時間で行える
（コンピュータにより違う。）
繰り返し回数が重要
アルゴリズム評価では、比例
定数は無視される。
（コンピュータに依存しない評
価法）
19
４．様々なアルゴリズム
• 最大公約数を求めるユークリッドの互
除法
• 素数を求めるエラトステネスのふるい法
アルゴリズム例２
ユークリッドの互除法（自然数A,Bの最大公約数
gcd(A,B)を求めるアルゴリズム）
初期設定
[step1]：
[step2]:
P = A;Q = B とする。
R = P mod Q
Qで割った余り
R > 0 の間以下を繰り返す;
(3-1) P = Q;Q = R とする。
(3-2) R = P mod Q とする。
[step3]: Q = gcd(A, B ) として出力する。
[step3]:
x i + 1 :=
x i + 1 :=
P ：被除数
Q
0
0
：除数
R
：余り
21
開始
P ：被除数
Q ：除数
R ：余り
P = A;Q = B
R = P mod Q;
R> 0
偽
真
P = Q;Q = R ;
R = P mod Q;
Q = gcd(A, B )
として出力。
終了
22
実行例
A = 36, B = 21
P
Q
R
36 = 21 ´ 1 + 15
21 =
15 ´ 1 + 6
15 =
6´ 1
+3
6=
3´ 2
+0
\ gcd(36,21) = 3
割り切れたと
きのQが最大
公約数
23
ユークリッド互除法の評価
ユークリッドの互除法は、
小さい数（ B ）の桁数 n に比例する時間
（ O  n  時間）
で正しく、最大公約数 gcd( A, B)
を求める。
このアルゴリズムを少し修正することにより、
最小公倍数
も求められる。
lcm( A, B)
24
アルゴリズム例３
エラトステネスのふるい法（自然数A以下の素数
をすべて求めるアルゴリズム）
[step1]：
2～A までのセルを持つ表 P
を用意する
[step2]:各 i, 2 £ i £ A に対して、
セル P [i ] にTRUEをセットする。
[step3]:
[step4]:
m = 2 とする。
m < A である限り以下を繰り返す。
(4-1)各i, m < i £ A に対して 、i が
切れれば、P [i ] = FALSE とする。
m で割り
(4-2) P [i ] = TRUE である m の次に大きい要 25
素 i で m を更新する。
開始
P = A;Q = B
i mod m = 0
R = P mod Q;
偽
真
P[i ] = FALSE
m<A
真
偽
終了
P [i ] = TRUE
m
m
となる
の次の要素 i で
を更新する。
26
実行例
A = 30
2
3
4
5
6
7
8
9
10
11 12 13 14 15 16 17 18 19 20
21 22 23 24 25 26 27 28 29 30
m=2
2 3
5
7
9
11
13
15
17
19
21
23
25
27
29
27
m= 3
2 3
11
5
13
7
17
23
25
2 3
5
19
29
m= 5
11
13
23
7
17
19
29
28
m = 7,11,13,17,19, 23, 29
2 3
11
5
13
23
7
17
19
29
以上より、
{2, 3, 5, 7,11,13,17,19, 23, 29}
が３０以下の素数である。
29
エラトステネスのふるい法の評価
エラトステネスのふるい法は、
数 A の桁数 n に対して、指数時間
n
（ O 10 時間）
かかってしまうアルゴリズムである。
 
30
５．アルゴリズムの分類と問題の分類
• アルゴリズムは計算時間（繰り返し回数）
により分類される。
• 問題は、問題を解くアルゴリズムにより分
類される。
31
入力
サイズ
アルゴリ
ズム
A
B
C
n n log n n 2
D3
n
En
2
F
n!
n = 10 1.0 ´ 10- 7 3.3 ´ 10- 7 1.0 ´ 10- 6 1.0 ´ 10- 5 1.0 ´ 10- 5 0.04
-7
-6
-6
-4
-4
3.6(h)
1.5
´
10
0.6
´
10
2.3
´
10
0.3
´
10
3.3
´
10
15
20
30
50
2.0 ´ 10 0.8 ´ 10
-7
-6
0.4 ´ 10 0.8 ´ 10 1.1 ´ 10
-5
-4
3.0 ´ 10 1.5 ´ 10 0.9 ´ 10 0.3 ´ 10
-7
-6
-5
-3
-2
772(y )
11
14
4
´
10
(y )
5.0 ´ 10 2.8 ´ 10 1.6 ´ 10 1.3 ´ 10
-7
-6
-5
100 1.0 ´ 10- 6 6.6 ´ 10- 6 1.0 ´ 10- 4
500
-6
-5
-3
5.0 ´ 10 4.5 ´ 10 2.5 ´ 10
-3
0.01
1.3
1000 1.0 ´ 10- 5 0.1 ´ 10- 3 1.0 ´ 10- 2
10
2.8(h)
10000 1.0 ´ 10- 4 1.3 ´ 10- 3 1.0
105 1.0 ´ 10- 3 1.7 ´ 10
100 116(d)
-2
-8
100MIPSの計算機（１命令あたり 10 秒）
単位：秒(sec)
32
入力サイズと計算時間
指数時間アルゴリズム
ア多
ル項
ゴ式
リ時
ズ間
ム
33
log n
1000log n
2log n
O(log n)
対数（時間）
n
10n
1000n
O(n)
n
2
100n
k
n
2
n
3
10n2
O(n2 )
n
k
c
k
O(n )
多項式（時間）
n
O(cn )
34
指数(時間）
アルゴリズムの分類
エラトステネス
のふるい 法
基数変換アルゴリズム
ユークリッドの互除法
多項式（時間）
O(n)
O(cn )
指数(時間）
35
問題の分類
基数変換問題
素数発見問題
最大公約数計算問題
O(n)
多項式（時間）
O(cn )
指数(時間）
36
素数発見問題は難しい
素数発見問題
11438162575788886766923577997614661201
02182967212423625625618429357069352457
33897830597123563958705058989075147599
290026879543541
以下の最大の素数を求めよ？
桁数が大きいとエラトステネスの
ふるい法は役にたたない。
37
アルゴリズム論で考える事
いろんな問題をコンピュータに解かせる場合に、
どんな手順で処理をすすめたらいいのか考える。
（アルゴリズムの設計といいます。）
アルゴリズムをプログラムに直した場合に、
どのくらいの時間で終了するのかを考える。
（アルゴリズムの解析といいます。）
そもそも、計算機で解ける問題とは、
どのような問題なのかを考える。
つまり、アルゴリズムがあるのかどうかを考える。
（計算量理論といいます。）
38
II.グラフ理論とアルゴリズム
39
1．グラフ理論入門
グラフ：いくつかの点集合と、それらを結
ぶいくつかの辺から構成される図形
いくつかの点
2点間を結ぶ辺
グラフの例
40
なんでグラフとか考えるの？
グラフ：いろいろなものを単純に抽象化して
考えることができる。
現実世界とグラフ
（１）ネットワーク
点： コンピュータ
辺：配線
コンピュータ３
コンピュータ１
コンピュータ２
41
（２）路線図
点：駅
辺：路線
盛岡
田沢湖線
東北本線
大曲
秋田
羽越本線
北上
奥羽本線
北上線
本荘
余目
横手
陸羽西線 新庄
陸羽東線
小牛田
42
（３）道路地図
点：交差点
辺：道路
43
（４）回路図
点：分岐点
辺：素子

~
44
（５）友達関係図
点：人間
辺：友達関係
Ａ
Ａ君とＢ君は友達だけど、
Ａ君とＥ君は友達でない。
Ｂ
Ｄ
Ｃ
Ｆ
Ｅ
Ｇ
Ｈ
45
（６）ＵＮＩＸのファイル構造
点：ディレクトリまたはファイル
辺：包含関係、位置関係
/
bin
usr
bin
tmp
home
b08b001
report.txt
etc
passwd
hosts
kusakari
initial.html kadai.c
46
２.グラフの仲間
有向グラフ
いくつかの点
今までのグラフ
は無向グラフ
2つの点を結ぶ
いくつかの有向辺
有向グラフの例
47
現実世界と有向グラフ
（１）一方通行のある道路地図
点：交差点
辺：一方通行路
48
（２）恋愛感情の図
点：人間
辺：恋愛感情
Ａ
Ｄ
Ａ君はBさんを好きだけど、
BさんはＣさんが好き。
Ｂ
Ｃ
Ｆ
Ｅ
Ｇ
Ｈ
49
多重グラフ
いくつかの点
今までのグラフ
は無向グラフ
2つの点を結ぶ
いくつかの多重辺
多重グラフの例
50
グラフ理論で考えること、
平面上に書けるグラフってどんなのだろう？
（グラフの平面性判定といいます。）
隣接している国同士は違う色で塗るとしたら、
何色必要なの？
（彩色問題といいます。
その中で、４色問題が結構有名です。）
ネットワークで、
途中のコンピュータが何台まで故障しても、
相手のコンピュータと通信できるの？
（グラフの連結度といいます。）
51
３.オイラー回路問題
さて、グラフ上の問題を解くアルゴリズムを考えてみましょ。
一筆書きの図形はグラフとみなせる。
図形をグラフとみなしたとき、そのグラフは一筆書きできるの？
52
オイラー回路とは？
始点と終点が
等しい。
オイラー回路
始点、終点
が異なる
一筆がきできる。
一筆がきできない。
53
オイラー回路の例
54
オイラー回路問題
グラフGが与えられたとき、そのグラフにオイラー回路が
あるか判別せよ。
つまり、グラフGは、任意の点を始点として、
一筆がきできるか判別せよ。
３
１
４
10
９
５
11
12
６
２
８
２
１
５
３
７
n ：点数、 m：辺数
６
７
４
８
55
単純なアルゴリズム
辺 順列法（順列によるオイラー回路判定法）
step1:全ての辺に番号をつける。
step2：1-mの数字を適当にならべる。
step３：ならべた数字に対応する辺の順序で、
一筆書きできるかしらべる。
step4:全てのならべ方を調べてなければ、
step2に戻る。
３
１
４
10
９
５
11
12
６
２
８
７
1 2 3 4 5 6 7 8 9 10 11 12
1 3 4 10 9 12 11 5 6 7 8 2
56
辺順列法の手間（計算量）
m個の数字の並べ方は、ｍ！であるので、
ｍ！に比例する手間がかかる。
ちなみに、
m! > 2
m
(m>=4 のとき）
辺順列法は 指数時間アルゴリズムであるという。
１００MIPSの計算機としましょ。
（1秒間に100万回の計算ができる。）
辺数mと計算時間
ｍ
１０
ｍ
２
0.00005秒
２０
0.01秒
３０
４０
５０
10秒
3時間
130日
ｍ！
0.04秒
771年
57
グラフ理論を使った高速化
定理１
グラフGにｵｲﾗｰ回路があるための、必要十分条件は、
（Gが連結で）Gのすべての 点の次数が偶数であること。
4次の点
非連結グラフ
次数：接続する辺の本数
58
次数による一筆書きの分類
奇次数の点数
０
始点と終点が
等しい。
オイラー回路
２
４以上
奇次数の点
が始点と終点
になる
一筆がきできる。
一筆がきできない。
59
次数法（次数によるオイラー回路判定法）
step１:点の次数が偶数かどうか調べる。
step2:全ての点を調べてなければ、step1にもどる。
m
O(m )
に比例した計算時間。（ O(m ) 時間）
２０
0.0000001秒
0.0000002秒
0.04秒
771年
３０
0.0000003秒
次数法は、辺数
ｍ
１０
O(m !)
４０
５０
1000
1万
0.0000１秒
0.0001秒
多項式時間アルゴリズム
指数時間アルゴリズム
ずいぶん賢くなった。めでたし、めでたし。
60
４.ハミルトン閉路問題
さて、ｵｲﾗｰ回路と似た別の問題を考えよう。
同じ辺を1度しか通らずに全ての辺を1度は通る回路が、
ｵｲﾗｰ回路である。
同じ点を1度しか通らずに全ての点を1度は通るような閉路を
ハミルトン閉路という。（ｵｲﾗｰ回路は、同じ点を何度も通っていた。）
61
ハミルトン閉路の例
62
○
ハミルトン閉路あり
×
ハミルトン閉路なし
63
64
ハミルトン閉路問題
グラフGが与えられたとき、そのグラフにハミルトン閉路が
あるか判別せよ。
１
２
５
６
８
４
７
３
n ：点数、 m：辺数
65
単純なアルゴリズム
点順列法（順列によるハミルトン閉路判定法）
step1:全ての点に番号をつける。
step2：1-nの数字を適当にならべる。
step3：ならべた数字に対応する点の順序で、
ハミルトン閉路ができるか調べる。
step4:全てのならべ方を調べてなければ、
step2に戻る。
１
２
５
12345678
６
８
４
12376582
７
３
66
ハミルトン閉路問題の評価
ハミルトン閉路を解く点順列法は、
指数時間（ O  n! 時間）
かかってしまうアルゴリズムである。
ハミルトン閉路問題を解く高速なアルゴリズムは？
実は、この問題が現在のコンピュータサイエンスの
最大の未解決問題です。
だれも、ハミルトン閉路問題を解く
高速な（多項式時間の）アルゴリズムを作れていない。
67
問題の分類
指数(時間）
多項式（時間）
基数変換問題
最大公約数計算問題
オイラー回路問題
O(nk )
素数発見問題
ハミルトン閉路問題
68
５.１００万ドルの問題
「ハミルトン閉路問題を解く多項式時間アル
ゴリズムが存在するか？」
答えの
可能性
存在する。
まだ誰も見つけていない
だけ。
存在しない。
これから未来永劫誰もアル
ゴリズムを設計できない。
69
クラスPの問題
クラスＰに属する問題の特徴。
問題から答えを求めることが容易
（多項式時間 Polynomial time Algorithm
で問題を解くアルゴリズムが存在）
例 ：２進数変換、最大公約数、オイラー回路問題等
70
クラスNPの問題
クラスＮＰに属する問題の特徴。
厳密な定義は
省く。
問題と答えが両方与えられたら、答えのチェックは容
易に行える。
（多項式時間でチェックが行える。問題から答えを求め
ることは計算量が多くてもかまわない。
Nondeterministic Polynomial time Algorithm が存在。）
例 ：２進数変換、最大公約数、オイラー回路問題、
素数発見問題、ハミルトン閉路問題、因数分解問題等
71
他のＮＰ問題
因数分解問題
11438162575788886766923577997614661201
02182967212423625625618429357069352457
33897830597123563958705058989075147599
290026879543541
チェック（掛け算）
34905295108476509491478496199038981334
17764638493387843990820577
×
32769132993266709549961988190834461413
177642967992942539798288533
72
クラスNP完全の問題
クラスＮＰ完全に属する問題の特徴。
厳密な定義は
省く。
（１）問題と答えが両方与えられたら、答えのチェックは容易に
行える。（クラスNPの特徴）
（２）この問題を解く多項式時間アルゴリズムが発見されれば、
クラスNPに属するすべての問題が多項式時間で溶ける。
（NP完全独自の特徴）
例 ハミルトン閉路問題、巡回セールスマン問題
73
問題の難しさの階層
指数時間
NP完全
ハミルトン閉路問題
NP
P
難しい
ｵｲﾗｰ閉路問題
最大公約数
因数分解
74
P vs NP 問題
（計算機科学最大の問題）
答えを多項式時間でチェックできる問題（NP問題
）には、すべて答えを多項式時間で求めるアルゴ
リズムが存在する（Pに属する）のか？
もし、ハミルトン閉路問題を解く多項式時間アルゴリズムを見つ
ければ、P vs NP問題を解いたことになる。
コンピュータサイエンスの
チューリング賞間違いなし ノーベル賞のようなもの。
P=NP問題またはPNP問題ともいう。
75
「P vs NP問題」
等価
「ハミルトン閉路問題を解く多項式時間アルゴリズムが存在
するか？」
存在する。
P=NP
答えのチェックできる問題は、
解くことができる。
存在しない。
P≠NP
答えのチェックと問題を解くこと
は本質的に異なる。（計算量が
76
違う）
まとめ
アルゴリズム論を紹介した。
グラフ理論を紹介した。
P=NP問題という現在のコンピュータサイエンス（情報科学）
最大の未解決問題を紹介した。
１００万ドル（１億円）の懸賞が付いています。
77
参考文献
（１）中村亨、「数学２１世紀の７大難問（数学の未来をのぞいてみよう）」、
（ブルーバックス）、２００４、講談社、ISBN 4-06-257429-2
（2）一松信ほか、「数学７つの射解決問題（あなたも１００万ドルにチャレンジしよう）」、
２００２、森北出版、ISBN 4-627-01961-0
78