Theory of Computation (Fall 2014): Minimalization
-
Upload
vladimir-kulyukin -
Category
Science
-
view
81 -
download
2
Transcript of Theory of Computation (Fall 2014): Minimalization
![Page 1: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/1.jpg)
Theory of Computation
Minimalization
Vladimir Kulyukin
www.vkedco.blogspot.comwww.vkedco.blogspot.com
![Page 2: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/2.jpg)
Outline
● Minimalization● Bounded Minimalization● Minimalization & PRC Classes● Unbounded Minimalization● Minimalization in Proofs of Primitive Recursiveness
![Page 3: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/3.jpg)
Minimalization
![Page 4: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/4.jpg)
Minimalization: Definition
• Suppose P is a predicate, P(t, x1, … , xn) for n ≥ 0• Minimalization is a technique for finding the minimal
value of t for which P(t, x1, … , xn) = 1• If there is such a t, then minimalization returns it• If there is no such t, then minimalization is undefined
![Page 5: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/5.jpg)
Example
P(1) = 0 P(2) = 0 P(3) = 1 P(4) = ?
1 2 3 4
P(0) = 0
0
3,0...0
1111210
11110
10
nnPP
PPP
PP
P
![Page 6: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/6.jpg)
Bounded Minimalization
![Page 7: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/7.jpg)
Bounded Minimalization
0
0
01
1010
101
if 0
if 1,...,,
Then
true.is ),...,,(for which , of aluesmallest v theis ;1),...,,( .2
false; is ),...,,(, valuesallfor ;0),...,,( 1.
:Suppose
0
tu
tuxxtP
xxtPttxxtP
xxtPttxxtPt
u
tn
nn
nnt
![Page 8: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/8.jpg)
Bounded Minimalization
y
u
u
tnn
n
n
xxtPxxyg
xxtPt
CxxtP
0 011
10
1
)).,...,,((),...,,(
:function following theDefine
.1),...,,(for which aluesmallest v thebe Let
. class PRC somein predicate a be ),...,,(Let
![Page 9: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/9.jpg)
Example
.300111)),...,,((
)),...,,(()),...,,((
)),...,,(()),...,,((
)),...,,((),...,,4(
.4,3 Suppose
4
01
2
0
3
011
1
01
0
01
4
0 011
0
tn
t tnn
tn
tn
u
u
tnn
xxtP
xxtPxxtP
xxtPxxtP
xxtPxxyg
yt
![Page 10: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/10.jpg)
Example
.211
)),...,,(()),...,,((
)),...,,((),...,,1(
.1,3 Suppose
1
01
0
01
1
0 011
0
tn
tn
u
u
tnn
xxtPxxtP
xxtPxxg
yt
![Page 11: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/11.jpg)
Lemma
.1,...,, 10 yxxygy nt
![Page 12: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/12.jpg)
Proof
y
u
u
tnn
u
tn
yxxtPxxyg
yy
xxtPy
uty
0 011
01
0
.1)),...,,((,...,,
elements, 1 has ,0 range
theSince .1)),...,,(( ,,0
range in the every for Then .Let
![Page 13: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/13.jpg)
Corollary
.1),...,,(which
for of eleast valu theis ),...,,(
.1),...,,( then , If
1
1
010
0
n
n
tun
xxtP
txxyg
txxygyt
![Page 14: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/14.jpg)
Example
.2011)),...,,((
)),...,,(()),...,,((
)),...,,((),...,,2(
.2,2 Suppose
2
01
1
01
0
01
2
0 011
0
tn
tn
tn
u
u
tnn
xxtP
xxtPxxtP
xxtPxxyg
yt
![Page 15: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/15.jpg)
Bounded Minimalization: Definition
otherwise. 0 and ,0 if 1,...,,for which
of eleast valu theis ,...,,mins,other wordIn
otherwise 0
,...,, if ,...,,,...,,min
1
1
11
1
ytxxtP
t xxtP
xxtPtxxtgxxtP
n
nyt
nyn
nyt
![Page 16: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/16.jpg)
Minimalization & PRC Classes
![Page 17: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/17.jpg)
Theorem 7.1 (Ch. 03)
. tobelongs also ),...,,(
then ),,...,,(min),...,,( and
class PRC some tobelongs ),...,,( If
1
11
1
Cxxyf
xxtPxxyf
CxxtP
n
nyt
n
n
In other words, if some predicate belongs to a PRC class, its bounded minimalization will stay in that class.
![Page 18: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/18.jpg)
Proof 7.1 (Ch. 03)
.in is ),...,,(min cases),by n (definitio 5.4 TheoremBy
.in also is ),...,,( 6.3, TheoremBy
n.compositioby themfrom obtained is ),...,,( and
C,in are and ,, because ,in is tion,minimaliza bounded
of definition in the usedfunction the),,...,,(
1
1
1
1
CxxtP
CxxtPt
xxyg
C
xxyg
nyt
ny
n
n
![Page 19: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/19.jpg)
Unbounded Minimalization
![Page 20: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/20.jpg)
Theorem 7.2 (Ch. 3)
computablepartially is ,...,,min,...,
thenpredicate, computable a is ,...,, If
11
1
ny
n
n
xxyPxxg
xxtP
![Page 21: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/21.jpg)
Proof 7.2 (Ch. 03)
[A1] IF P(Y, X1, …, Xn) GOTO E Y ← Y + 1 GOTO A1
Here is a program that computes g(x1 , …, x
n) is partially computable.
Why is g not computable?
![Page 22: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/22.jpg)
Minimalization & Proofs of Primitive Recursiveness
![Page 23: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/23.jpg)
Floor Function
recursive. primitive
is )quotient theofpart (integer that Show x/yy
x
![Page 24: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/24.jpg)
Floor Function
xyty
xxt
)1(min
Keep incrementing t until (t+1)y > x. Then return t.
![Page 25: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/25.jpg)
Example
.78213 because
,372)1(min2
77
t
t
![Page 26: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/26.jpg)
More Examples
Why?00
05
4
42
9
42
8
x
![Page 27: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/27.jpg)
Remainder Function
recursive. primitive is ,by ofdivision
theofremainder thei.e. , that Show
yx
R(x,y)
![Page 28: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/28.jpg)
Remainder Examples
4
3
4
7
4
31
4
7
3
1
3
7
3
12
3
7
3
1
3
4
3
11
3
4
![Page 29: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/29.jpg)
Remainder Function
.0)0,( that Note
),( .4
),( .3
),( .2
),( .1
xR
yy
xxyxR
yxRyy
xx
y
yxR
y
x
y
x
y
yxR
y
x
y
x
![Page 30: Theory of Computation (Fall 2014): Minimalization](https://reader033.fdocuments.in/reader033/viewer/2022052901/55664823d8b42a3b398b4d5f/html5/thumbnails/30.jpg)
Reading Suggestions
● Ch. 3, Computability, Complexity, and Languages, 2nd Edition, by Davis, Weyuker, Sigal