Theory of Computation Chapter 10: coNP
Guan-Shieng Huang
- Nov. 22, 2006
Theory of Computation Chapter 10: coNP Guan-Shieng Huang Nov. 22, - - PowerPoint PPT Presentation
Theory of Computation Chapter 10: coNP Guan-Shieng Huang Nov. 22, 2006 0-0 coNP A problem is in coNP iff its complement is in NP. The complement of a decision problem is to interchange the yes/no answer for each
1
2
3
4
5
6
7
8
9
10
p−1 q
≡1 (mod p) for all prime
p−1 m ≡ 1 (mod p) for
11
13−1 2
13−1 3
12
17−1 2
13
91−1 2
91−1 45
91−1 3
14
15
p−1 qi
16
17
p−1 q
18
n = {m : 1 ≤ m < n, (m, n) = 1} ∪ {0}, the reduced residues
19
p|n(1 − 1 p).
20
21
1 12, 2 12, 3 12, 4 12, 5 12, 6 12, 7 12, 8 12, 9 12, 10 12, 11 12, 12 12 22
23
24
25
26
27
k|(p−1) R(k) = p − 1.
k|(p−1) R(k) ≤ k|(p−1) φ(k) = p − 1.
28
29
p−1 q
≡1 (mod p)
q
p−1 q
≡1 (mod p) for some q > 1. (Contradiction) 30
31