![Page 1: Límites Computacionales - University of Chicagopeople.cs.uchicago.edu/~borja/lectures/limites_computacionales.pdf · Límites Computacionales: Introducción a la Teoría de la Computación](https://reader034.vdocuments.mx/reader034/viewer/2022042513/5f5ed523fc524b220f14976e/html5/thumbnails/1.jpg)
Límites Computacionales:Introducción a la Teoría de la Computación
y de la Complejidad
Borja Sotomayor15 de julio de 2005
![Page 2: Límites Computacionales - University of Chicagopeople.cs.uchicago.edu/~borja/lectures/limites_computacionales.pdf · Límites Computacionales: Introducción a la Teoría de la Computación](https://reader034.vdocuments.mx/reader034/viewer/2022042513/5f5ed523fc524b220f14976e/html5/thumbnails/2.jpg)
!"# $%!% &
'()*()*()* !
$*&$*&$+!*&$+,-* .$/&$0
1!2!
!"# $%!% &
'()*()*()* !
$*&$*&$+!*&$+,-* .$/&$0
1!2!
![Page 3: Límites Computacionales - University of Chicagopeople.cs.uchicago.edu/~borja/lectures/limites_computacionales.pdf · Límites Computacionales: Introducción a la Teoría de la Computación](https://reader034.vdocuments.mx/reader034/viewer/2022042513/5f5ed523fc524b220f14976e/html5/thumbnails/3.jpg)
3-!"%!%
4-!-!" 2#56 ,*"%$.%"!!0
$*!!!-!" **
72! 3
!!!*!%!-!!""!#
% 32!-!
$!8%9:; &!*!"! %*%-2*!*!* !!%
!!<=9; 4#-!!!"#%-->!*-!#!-!
&>!!?!!
![Page 4: Límites Computacionales - University of Chicagopeople.cs.uchicago.edu/~borja/lectures/limites_computacionales.pdf · Límites Computacionales: Introducción a la Teoría de la Computación](https://reader034.vdocuments.mx/reader034/viewer/2022042513/5f5ed523fc524b220f14976e/html5/thumbnails/4.jpg)
3-!"%!* !%?2!
42!"!!!# -!"
,2!! 8 # "!
8 # "!
@!-!" .A?!%0
.A?0
.!%!04*.!"0
@!!! B"! 72!
![Page 5: Límites Computacionales - University of Chicagopeople.cs.uchicago.edu/~borja/lectures/limites_computacionales.pdf · Límites Computacionales: Introducción a la Teoría de la Computación](https://reader034.vdocuments.mx/reader034/viewer/2022042513/5f5ed523fc524b220f14976e/html5/thumbnails/5.jpg)
4!2! !
3C"! -!8 ! !#C!
4%*C!!"!C#
42!%C $C!"*%%-2
!"# $%!% &
'()*()*()* !
$*&$*&$+!*&$+,-* .$/&$0
1!2!
![Page 6: Límites Computacionales - University of Chicagopeople.cs.uchicago.edu/~borja/lectures/limites_computacionales.pdf · Límites Computacionales: Introducción a la Teoría de la Computación](https://reader034.vdocuments.mx/reader034/viewer/2022042513/5f5ed523fc524b220f14976e/html5/thumbnails/6.jpg)
$-!"
(:D:+:DE)
F%2!2G G(:DHI)
42# !
7#% $-!!"
![Page 7: Límites Computacionales - University of Chicagopeople.cs.uchicago.edu/~borja/lectures/limites_computacionales.pdf · Límites Computacionales: Introducción a la Teoría de la Computación](https://reader034.vdocuments.mx/reader034/viewer/2022042513/5f5ed523fc524b220f14976e/html5/thumbnails/7.jpg)
Unidad deControl
Cabeza lectora
Máquina de Turing
3!"# J-2!%-%!-
J#!#**##*%2!%56
J##?- 56
3!"#(!!)
![Page 8: Límites Computacionales - University of Chicagopeople.cs.uchicago.edu/~borja/lectures/limites_computacionales.pdf · Límites Computacionales: Introducción a la Teoría de la Computación](https://reader034.vdocuments.mx/reader034/viewer/2022042513/5f5ed523fc524b220f14976e/html5/thumbnails/8.jpg)
,!%!"#
$2!%#!"#-!$F!>!
$2!% -!(%!"#!56)
K-!"#*!2!%
3!"#%!!"#!!-!
$!!"#CLI-"!
3!"#!!%# -!"
7!!% +5F!"#!%!*>!6
M4!"!N
![Page 9: Límites Computacionales - University of Chicagopeople.cs.uchicago.edu/~borja/lectures/limites_computacionales.pdf · Límites Computacionales: Introducción a la Teoría de la Computación](https://reader034.vdocuments.mx/reader034/viewer/2022042513/5f5ed523fc524b220f14976e/html5/thumbnails/9.jpg)
!"# $%!% &
'()*()*()* !
$*&$*&$+!*&$+,-* .$/&$0
1!2!
8 #!"#!$*>"!
5M4#!N6++O&'
4"!!!"! ,!!**-!"
&J&B&J&B"!
$%!%
![Page 10: Límites Computacionales - University of Chicagopeople.cs.uchicago.edu/~borja/lectures/limites_computacionales.pdf · Límites Computacionales: Introducción a la Teoría de la Computación](https://reader034.vdocuments.mx/reader034/viewer/2022042513/5f5ed523fc524b220f14976e/html5/thumbnails/10.jpg)
4%!(P%!Q) .,!"#*!!-">!!0
'!%!.,!*!"%-0
!#%!%
4*!1#5+%!!!"#%6
.4%"!"586>!!0
.F"--()>!!0 M'N$2!%!*
,*%#!-*%!-%
&" F5&6*%>#%2#R!"(!)
![Page 11: Límites Computacionales - University of Chicagopeople.cs.uchicago.edu/~borja/lectures/limites_computacionales.pdf · Límites Computacionales: Introducción a la Teoría de la Computación](https://reader034.vdocuments.mx/reader034/viewer/2022042513/5f5ed523fc524b220f14976e/html5/thumbnails/11.jpg)
7"! $%!$
$%!%*>!#%!%
B!%S!" T9::;
56% 4!!"
!<9:; 1-9:H;
8!# %!#" 2! $%!%
B*!%%%!#-! 2! $%!%
![Page 12: Límites Computacionales - University of Chicagopeople.cs.uchicago.edu/~borja/lectures/limites_computacionales.pdf · Límites Computacionales: Introducción a la Teoría de la Computación](https://reader034.vdocuments.mx/reader034/viewer/2022042513/5f5ed523fc524b220f14976e/html5/thumbnails/12.jpg)
!"# $%!% &
'()*U()*V()* !
$*&$*&$+!*&$+,-* .$/&$0
1!2!
B%2!*!#
4!! >C(!)!
![Page 13: Límites Computacionales - University of Chicagopeople.cs.uchicago.edu/~borja/lectures/limites_computacionales.pdf · Límites Computacionales: Introducción a la Teoría de la Computación](https://reader034.vdocuments.mx/reader034/viewer/2022042513/5f5ed523fc524b220f14976e/html5/thumbnails/13.jpg)
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
![Page 14: Límites Computacionales - University of Chicagopeople.cs.uchicago.edu/~borja/lectures/limites_computacionales.pdf · Límites Computacionales: Introducción a la Teoría de la Computación](https://reader034.vdocuments.mx/reader034/viewer/2022042513/5f5ed523fc524b220f14976e/html5/thumbnails/14.jpg)
!"#
$!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)
![Page 15: Límites Computacionales - University of Chicagopeople.cs.uchicago.edu/~borja/lectures/limites_computacionales.pdf · Límites Computacionales: Introducción a la Teoría de la Computación](https://reader034.vdocuments.mx/reader034/viewer/2022042513/5f5ed523fc524b220f14976e/html5/thumbnails/15.jpg)
!"#
!"#
M'N3X+'R 100n = O(n) n2 = O(n2) 100n 5!6#n2 #n=100 !4%#R
![Page 16: Límites Computacionales - University of Chicagopeople.cs.uchicago.edu/~borja/lectures/limites_computacionales.pdf · Límites Computacionales: Introducción a la Teoría de la Computación](https://reader034.vdocuments.mx/reader034/viewer/2022042513/5f5ed523fc524b220f14976e/html5/thumbnails/16.jpg)
!"#
,! 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), ...
!"#
![Page 17: Límites Computacionales - University of Chicagopeople.cs.uchicago.edu/~borja/lectures/limites_computacionales.pdf · Límites Computacionales: Introducción a la Teoría de la Computación](https://reader034.vdocuments.mx/reader034/viewer/2022042513/5f5ed523fc524b220f14976e/html5/thumbnails/17.jpg)
Ω (f(n)) – X+'! - $!!%>##Ω (n·log n)
Θ(f(n))- X+ - Θ(f(n)) ⇔ O(f(n)) y Ω (f(n))
Z
!"# $%!% &
'()*()*()* !
$*&$*&$+!*&$+,-* .$/&$0
1!2!
![Page 18: Límites Computacionales - University of Chicagopeople.cs.uchicago.edu/~borja/lectures/limites_computacionales.pdf · Límites Computacionales: Introducción a la Teoría de la Computación](https://reader034.vdocuments.mx/reader034/viewer/2022042513/5f5ed523fc524b220f14976e/html5/thumbnails/18.jpg)
$ %&'
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)
![Page 19: Límites Computacionales - University of Chicagopeople.cs.uchicago.edu/~borja/lectures/limites_computacionales.pdf · Límites Computacionales: Introducción a la Teoría de la Computación](https://reader034.vdocuments.mx/reader034/viewer/2022042513/5f5ed523fc524b220f14976e/html5/thumbnails/19.jpg)
(
(
$%&$($⊆&$) F!%*%!$/&$$⊂&$(%)
7 -!"
![Page 20: Límites Computacionales - University of Chicagopeople.cs.uchicago.edu/~borja/lectures/limites_computacionales.pdf · Límites Computacionales: Introducción a la Teoría de la Computación](https://reader034.vdocuments.mx/reader034/viewer/2022042513/5f5ed523fc524b220f14976e/html5/thumbnails/20.jpg)
(
(
![Page 21: Límites Computacionales - University of Chicagopeople.cs.uchicago.edu/~borja/lectures/limites_computacionales.pdf · Límites Computacionales: Introducción a la Teoría de la Computación](https://reader034.vdocuments.mx/reader034/viewer/2022042513/5f5ed523fc524b220f14976e/html5/thumbnails/21.jpg)
!%&
.$#?!0 F$]&$* %!#!!*>!!C
!CM$%N 4*2!!%!&$+!
4%!5!"-26 #!!#%!*!"!2#$/&$
%!&$%!&$+!!Y+39E;
!%&
![Page 22: Límites Computacionales - University of Chicagopeople.cs.uchicago.edu/~borja/lectures/limites_computacionales.pdf · Límites Computacionales: Introducción a la Teoría de la Computación](https://reader034.vdocuments.mx/reader034/viewer/2022042513/5f5ed523fc524b220f14976e/html5/thumbnails/22.jpg)
)*+
$]&$ M'N2%2%!&$($)#!!*#!2
$4 !#%!!!>!"$9H;
)*+
K**.$#?!0 $%!&$+!
$"!#%!-#&$+!-*-*-*
4%!!%(P!"#)
!!"-(P$Q)
$%!?!!" H+-*%>##*%-% *!*
3%!9; F$/&$*!%!
!%!&$#!!
$@F$/&$*!1FB
![Page 23: Límites Computacionales - University of Chicagopeople.cs.uchicago.edu/~borja/lectures/limites_computacionales.pdf · Límites Computacionales: Introducción a la Teoría de la Computación](https://reader034.vdocuments.mx/reader034/viewer/2022042513/5f5ed523fc524b220f14976e/html5/thumbnails/23.jpg)
)*+
@
Z
!"# $%!% &
'()*()*()* !
$*&$*&$+!*&$+,-* .$/&$0
1!2!
![Page 24: Límites Computacionales - University of Chicagopeople.cs.uchicago.edu/~borja/lectures/limites_computacionales.pdf · Límites Computacionales: Introducción a la Teoría de la Computación](https://reader034.vdocuments.mx/reader034/viewer/2022042513/5f5ed523fc524b220f14976e/html5/thumbnails/24.jpg)
,& $
.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)
![Page 25: Límites Computacionales - University of Chicagopeople.cs.uchicago.edu/~borja/lectures/limites_computacionales.pdf · Límites Computacionales: Introducción a la Teoría de la Computación](https://reader034.vdocuments.mx/reader034/viewer/2022042513/5f5ed523fc524b220f14976e/html5/thumbnails/25.jpg)
" &
'!! 4%#C!!*!"#*#C!2!
F!!*#!"#
%&
!"9I; F%-!!""!-! !
,!!*%%!"
&%!% XA$%!#!!"F%#$%XA$
$%XA$4* %!#!!"#!C"$@
XA$ &$4*!!"-!%!&$+!
![Page 26: Límites Computacionales - University of Chicagopeople.cs.uchicago.edu/~borja/lectures/limites_computacionales.pdf · Límites Computacionales: Introducción a la Teoría de la Computación](https://reader034.vdocuments.mx/reader034/viewer/2022042513/5f5ed523fc524b220f14976e/html5/thumbnails/26.jpg)
%&
@
!"
%&
@"
B!F9[; $->!!! F""*2!!1FB
F!%*!!"->!:(H )
4C!X79L;
![Page 27: Límites Computacionales - University of Chicagopeople.cs.uchicago.edu/~borja/lectures/limites_computacionales.pdf · Límites Computacionales: Introducción a la Teoría de la Computación](https://reader034.vdocuments.mx/reader034/viewer/2022042513/5f5ed523fc524b220f14976e/html5/thumbnails/27.jpg)
%&
F##"%%!!%!"
4%!
%
.$#?-% !!"0
$ !$-!-!"!! *!!*"%(% ) -!
2!0 $%2!!%
2!0 $%#?%!-!
!0 $%#?!!%!-!$! !
![Page 28: Límites Computacionales - University of Chicagopeople.cs.uchicago.edu/~borja/lectures/limites_computacionales.pdf · Límites Computacionales: Introducción a la Teoría de la Computación](https://reader034.vdocuments.mx/reader034/viewer/2022042513/5f5ed523fc524b220f14976e/html5/thumbnails/28.jpg)
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,^#