Upload
others
View
24
Download
0
Embed Size (px)
Citation preview
Límites Computacionales:Introducción a la Teoría de la Computación
y de la Complejidad
Borja Sotomayor15 de julio de 2005
!"# $%!% &
'()*()*()* !
$*&$*&$+!*&$+,-* .$/&$0
1!2!
!"# $%!% &
'()*()*()* !
$*&$*&$+!*&$+,-* .$/&$0
1!2!
3-!"%!%
4-!-!" 2#56 ,*"%$.%"!!0
$*!!!-!" **
72! 3
!!!*!%!-!!""!#
% 32!-!
$!8%9:; &!*!"! %*%-2*!*!* !!%
!!<=9; 4#-!!!"#%-->!*-!#!-!
&>!!?!!
3-!"%!* !%?2!
42!"!!!# -!"
,2!! 8 # "!
8 # "!
@!-!" .A?!%0
.A?0
.!%!04*.!"0
@!!! B"! 72!
4!2! !
3C"! -!8 ! !#C!
4%*C!!"!C#
42!%C $C!"*%%-2
!"# $%!% &
'()*()*()* !
$*&$*&$+!*&$+,-* .$/&$0
1!2!
$-!"
(:D:+:DE)
F%2!2G G(:DHI)
42# !
7#% $-!!"
Unidad deControl
Cabeza lectora
Máquina de Turing
3!"# J-2!%-%!-
J#!#**##*%2!%56
J##?- 56
3!"#(!!)
,!%!"#
$2!%#!"#-!$F!>!
$2!% -!(%!"#!56)
K-!"#*!2!%
3!"#%!!"#!!-!
$!!"#CLI-"!
3!"#!!%# -!"
7!!% +5F!"#!%!*>!6
M4!"!N
!"# $%!% &
'()*()*()* !
$*&$*&$+!*&$+,-* .$/&$0
1!2!
8 #!"#!$*>"!
5M4#!N6++O&'
4"!!!"! ,!!**-!"
&J&B&J&B"!
$%!%
4%!(P%!Q) .,!"#*!!-">!!0
'!%!.,!*!"%-0
!#%!%
4*!1#5+%!!!"#%6
.4%"!"586>!!0
.F"--()>!!0 M'N$2!%!*
,*%#!-*%!-%
&" F5&6*%>#%2#R!"(!)
7"! $%!$
$%!%*>!#%!%
B!%S!" T9::;
56% 4!!"
!<9:; 1-9:H;
8!# %!#" 2! $%!%
B*!%%%!#-! 2! $%!%
!"# $%!% &
'()*U()*V()* !
$*&$*&$+!*&$+,-* .$/&$0
1!2!
B%2!*!#
4!! >C(!)!
a
xa
k
&!k!
B!#!:*!-56!!!#n*!!
: H n :Wk Wk HWk nWk
mn n
fm cm
k
&!k!
B!#!:*!-
!!!#n2
: H n :Wk EWk DWk n2Wk
!"#
$!C
O(n) O(n2) O(f(n))++O5X+'6 ,*! !
5X+'6C4*!O(n2)# n2(!!)
O(n2)- n2 n2 + 5n + 3 = O(n2) 10000n2 + 0.7n + 2 = O(n2)
$!#X+'C>!!"C!5C!6##!-!R(-!*#!C)
anO bnc0, n0 : n n0 ancbn
!"#
4!!%#?!-%
F!#!O(n2) O(n)*-%!O(n)
!"#
!"#
M'N3X+'R 100n = O(n) n2 = O(n2) 100n 5!6#n2 #n=100 !4%#R
!"#
,! O(k) →! O(log n) →!2!
X>#% O(n·log n)
B!%>#(7*AY*) O(n) →! O(n2) →!"
B!%>#(X%**) O(nk) →!!
O(n2), O(n3), O(n4), ... O(an) →!C
O(2n), O(10n), ...
!"#
Ω (f(n)) – X+'! - $!!%>##Ω (n·log n)
Θ(f(n))- X+ - Θ(f(n)) ⇔ O(f(n)) y Ω (f(n))
Z
!"# $%!% &
'()*()*()* !
$*&$*&$+!*&$+,-* .$/&$0
1!2!
$ %&'
32!!%!
$%! 3-C*!"#*
$!-4%!#!#!
$5,-*!6
F%!%!*%!5%!%>#6(5,-*%H+6)*#!!-
'! $%!%>#5,>!*%-6(L:D/[\D\:H)
$%!5,>!*.%>! k06
(
3$#%!#!!
O(nk): O(n2), O(n3), O(n4), ... 3&$#%!#56-%!!
$%!5,-*!6
F H+"(56)*!-H+%
3H+-%!!$-* !%#!!( **!#>!H)
(
(
$%&$($⊆&$) F!%*%!$/&$$⊂&$(%)
7 -!"
(
(
!%&
.$#?!0 F$]&$* %!#!!*>!!C
!CM$%N 4*2!!%!&$+!
4%!5!"-26 #!!#%!*!"!2#$/&$
%!&$%!&$+!!Y+39E;
!%&
)*+
$]&$ M'N2%2%!&$($)#!!*#!2
$4 !#%!!!>!"$9H;
)*+
K**.$#?!0 $%!&$+!
$"!#%!-#&$+!-*-*-*
4%!!%(P!"#)
!!"-(P$Q)
$%!?!!" H+-*%>##*%-% *!*
3%!9; F$/&$*!%!
!%!&$#!!
$@F$/&$*!1FB
)*+
@
Z
!"# $%!% &
'()*()*()* !
$*&$*&$+!*&$+,-* .$/&$0
1!2!
,& $
.8 !!2!0
42!"!!!#!(!"#)4%#*!!*2!
8!3%>#5!"#6%!%
$%!!2! F!%!&$+! '!! !"
- &
F!%!&$+!
3%!&$+!-%!!!4*%C!%!
%B!#C!(5!6)F%%!*!!%
B!%%*2 " B!%!-!$!*!!" -()%!&$+!F!%**%!!!(,Y)
" &
'!! 4%#C!!*!"#*#C!2!
F!!*#!"#
%&
!"9I; F%-!!""!-! !
,!!*%%!"
&%!% XA$%!#!!"F%#$%XA$
$%XA$4* %!#!!"#!C"$@
XA$ &$4*!!"-!%!&$+!
%&
@
!"
%&
@"
B!F9[; $->!!! F""*2!!1FB
F!%*!!"->!:(H )
4C!X79L;
%&
F##"%%!!%!"
4%!
%
.$#?-% !!"0
$ !$-!-!"!! *!!*"%(% ) -!
2!0 $%2!!%
2!0 $%#?%!-!
!0 $%#?!!%!-!$! !
Borja SotomayorDepartment of Computer ScienceUniversity of [email protected]://people.cs.uchicago.edu/~borja/
.$0
.$
9:;$!8%YY$^^!_H_XH^^8%
9;!!<=YY!^^^!^^<_H_XI
9H;7B*&` &FC&'()"&*Y! !
9E;48-*17* -- ,J!( +, B+T * :
9;7< , (+$- +&$*@!*:D[D
9I;!"YY!_H_XH^_H_B:
9[;Fa!YYF_[^!
9L;X7a+%A!!7Y8 @!-Fa-!!%!!!!- :::D^#!!
9D;`!XX*1%3F, `!.+)/011** 12311.+)*
9: ;!8!*43*131 --F( 7$
9::;TYYT^
9:;<a!YY<_[^!
9:H;,#YY,^#