!

"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

!" $%&'()*+,-,
$%&'./-0+%1-(
Aracell Sanchls de Mlguel
AgaplLo Ledezma Lsplno
!ose A. lgleslas Marunez
8eaLrlz Carcla !lmenez
!uan Manuel Alonso Weber
Crado lngenlerla lnformuca
1eorla de AuLmaLas y Lengua[es lormales

!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

2./3&-/-45 $%&'()*+,-,
6 $%&'./-7+(+,-,"
$(-4+8+0-0+31 ,) (%4
9:%7()&-4 ,) ;)0+4+31"
2
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

2./3&-/-45 $%&'()*+,-, 6 $%&'./-7+(+,-,
Ln la 1eorla de la CompuLacln, los Lres slgulenLes reas:
AuLmaLa,
Comple[ldad y
CompuLacln
esLn relaclonados por la slgulenLe pregunLa:
!"#$%&' ')* %+' ,+-+,./+/&' 0 %.1.2+,.)*&' /& %)' )3/&*+/)3&'4
Sln embargo, esLa pregunLa se lnLerpreLa de forma dlferenLe
en cada una de las 3 reas.

3
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Se encarga de las denlclones y propledades de los modelos
maLemucos de compuLacln (esenclales en reas apllcadas de
la lnformuca).
uno de esLos modelos son los AuLmaLas llnlLos, uullzados en:
rocesamlenLo de LexLos
Complladores
ulseno Pardware.
CLro modelo son las Cramucas Llbres de ConLexLo, usadas en:
Lengua[es de programacln
lnLellgencla Aruclal.


<)%:=- ,) 2./3&-/-4>
2./3&-/-45 $%&'()*+,-, 6 $%&'./-7+(+,-,
4
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Se basa en LraLar de dar respuesLa a la slgulenLe pregunLa:
!5#6 7+,& + +%8#*)' -3)9%&1+' ,)1-#2+,.)*+%1&*2& /.:;,.%&' 0 +
)23)' '&*,.%%)'4
1lene como nalldad la creacln de mecanlsmos y herramlenLas
capaces de descrlblr y anallzar la comple[ldad de un algorlLmo y
la comple[ldad lnLrlnseca de un problema.


<)%:=- ,) (- $%&'()*+,-,>
2./3&-/-45 $%&'()*+,-, 6 $%&'./-7+(+,-,
3
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

LsL muy relaclonado con la Leorla de la Comple[ldad, ya que
lnLroduce varlos de los concepLos que esLa rea uullza.
Su nalldad prlnclpal es la claslcacln de dlferenLes problemas,
asl como formallzar el concepLo de !"#$%&'()
Asl, esLudla que lengua[es son +,!-+-./,0 con dlferenLes upos de
1#23%-4'05 y dlferenLes modelos formales de compuLacln)


<)%:=- ,) (- $%&'./-7+(+,-,>
2./3&-/-45 $%&'()*+,-, 6 $%&'./-7+(+,-,
6
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

LsLudla el orden de comple[ldad de un algorlLmo que resuelve
un problema +,!-+-./,)

ara ello, consldera los 2 upos de recursos requerldos duranLe
el cmpuLo para resolver un problema:
1lempo: numero de pasos base de e[ecucln de un algorlLmo para
resolver un problema.
Lspaclo: Canudad de memorla uullzada para resolver un problema.
$%&'()*+,-, $%&'./-0+%1-(
7
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

La comple[ldad de un algorlLmo se expresa como funcln del
Lamano de la enLrada del problema, *"
Se reere al rauo de creclmlenLo de los recursos con respecLo a *<
8auo del 1lempo de e[ecucln (1emporal): =>*?@
8auo del espaclo de almacenamlenLo necesarlo (Lspaclal): 6748)
$%&'()*+,-, $%&'./-0+%1-(
8
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

AuLmaLas, Comple[ldad
y CompuLabllldad.
$(-4+8+0-0+31 ,) (%4
9:%7()&-4 ,) ;)0+4+31"
9
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Ln base a dos crlLerlos:
=&)3;+ /& %+ ")1-#2+9.%./+/
A&,./.9%&@
B+3,.+%1&*2& A&,./.9%& >3&,)*),.9%&?@
C) A&,./.9%&@

=&)3;+ /& %+ ")1-%&D./+/ ")1-#2+,.)*+%
")*D#*2)' /& "%+'& /& ")1-%&D./+/ >"%+'& EF CEF BF BG")1-%&2)F CBF CBG
")1-%&2)F CBGA#3)H?@
$(-4+8+0-0+31 ,) 9:%7()&-4 ,) ,)0+4+31
I* -3)9%&1+ /& /&,.'.J* &' +K#&%
&* &% K#& &* &% K#& %+' 3&'-#&'2+'
-)'.9%&' ')* L. ) C)
10
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Conslderando la 1eorla de la CompuLabllldad un problema de
declsln podr ser:

uecldlble (o resoluble algorlLmlcamenLe):
Sl exlsLe un procedlmlenLo mecnlco (M1) que lo resuelva.
Adems, la M1 debe deLenerse para cualquler enLrada.
arclalmenLe uecldlble (8econoclble):
Sl exlsLe un procedlmlenLo mecnlco (M1) que lo resuelva.
Adems, la M1 debe deLenerse para aquellas enLradas que son una
solucln correcLa al problema.
no uecldlble
Sl nC es decldlble
$(-4+8+0-0+31 ,) 9:%7()&-4 ,) ,)0+4+31
11
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Conslderando la 1eorla de la Comple[ldad CompuLaclonal un problema
de declsln podr ser:
9"4:%4&"0 +, 9/'0, +, 9"#$/,:-+'+ 79/'0, ;< =;< >, -CompleLo< =><
=>?9"#$/,&"< =>?@%("A8)
Sln embargo, para esLa dlsuncln es necesarlo conslderar el
modelo Lerlco de las 9;<=)&%* .- >=7)&3.
Adems, debemos dlsungulr enLre:
9> ?-@-70)&)*@% (ara cada par 7,0&'+"< 0B#."/"8< exlsLe
como mxlmo una Lranslcln a oLro esLado).
9> A: ?-@-70)&)*@% (LxlsLe al menos un par 7,0&'+"<
0B#."/"8, con ms de una Lranslcln a esLados dlferenLes).
Ln esLe caso, nos
cenLraremos unlcamenLe en
los problemas denomlnados
Clase , n y n-CompleLo.
Sln embargo, para esLa dlsuncln es necesarlo conslderar el
modelo Lerlco de las 9;<=)&%* .- >=7)&3.
Adems, debemos dlsungulr enLre:
9> ?-@-70)&)*@% (ara cada par 7,0&'+"< 0B#."/"8< exlsLe
como mxlmo una Lranslcln a oLro esLado).
9> A: ?-@-70)&)*@% (LxlsLe al menos un par 7,0&'+"<
0B#."/"8, con ms de una Lranslcln a esLados dlferenLes).
$(-4+8+0-0+31 ,) 9:%7()&-4 ,) ,)0+4+31
12
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Conslderando la 1eorla de la Comple[ldad CompuLaclonal un problema
de declsln podr ser:
Clase (olynomlal-ume)
Conuene aquellos problemas de declsln que una 9> ?-@-70)&)*@%
puede resolver en B-0C: C:4)&D0)':.
Los problemas de comple[ldad pollnmlca son LraLables, es declr en la prcuca
se pueden resolverse en uempo ('C"4'./,)
La mayorla de los problemas !"((-,4&,0 (ordenacln, busqueda.) perLenecen a
esLa clase.
$(-4+8+0-0+31 ,) 9:%7()&-4 ,) ,)0+4+31
13
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Conslderando la 1eorla de la Comple[ldad CompuLaclonal un problema
de declsln podr ser:
Clase n (non-ueLermlnlsuc olynomlal-ume)
Conuene aquellos problemas de declsln que una 9> A:
?-@-70)&)*@% puede resolver en B-0C: C:4)&D0)':.
Saber sl =n o =n es Lodavla un problema ablerLo en
compuLacln Lerlca!!
1an lmporLanLe es demosLrar que esLas clases son dlsunLas,
que es uno de los $("./,#'0 premlados con 1.000.000 $.



hup://www.claymaLh.org/mlllennlum/_vs_n/

Como Loda M1u es
un caso parucular de
una M1nu:
! n
Clase n


Clase
$(-4+8+0-0+31 ,) 9:%7()&-4 ,) ,)0+4+31
14
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

Conslderando la 1eorla de la Comple[ldad CompuLaclonal un problema
de declsln podr ser:
Clase n-CompleLo
un problemas de declsln es n-CompleLo sll:
Ls n
1odos los dems problemas de n se pueden se pueden reduclr a el en
uempo pollnmlco.
8educlr de un problema:
Ls una manera de converur un problema en oLro de
Lal forma que la solucln al segundo problema se
puede uullzar para resolver el prlmero.
$(-4+8+0-0+31 ,) 9:%7()&-4 ,) ,)0+4+31
13
!
"

$
%
&
'
(
)
*
+

!
"

,
-
.
-
/
0
%
+

1
"
!
"

2
3
4
-
*
)
%
*
+

5
"

6
%
7
'
8
%
+

1
"

9
"
!
4
:
&
*
:

!" $%&'()*+,-,
$%&'./-0+%1-(
Aracell Sanchls de Mlguel
AgaplLo Ledezma Lsplno
!ose A. lgleslas Marunez
8eaLrlz Carcla !lmenez
!uan Manuel Alonso Weber
Crado lngenlerla lnformuca
1eorla de AuLmaLas y Lengua[es lormales