Unidade 2 Aspectos Teoricos Da Computação

 

PERGUNTA 1 Considere o grafo G = (V, A, g), em que: V = {1, {1,  , , !, ", # #, , $, %, & &' ' s�o o os s �ri ri*e *es s A = {a, +, *, d, e' g(a) = $ g(+) = "! g(*) = 

�

!

g(d) = 1" g(e) = 1 g(f) = #$ g(g) = # & g(-)=&% g(i)= $% g(.) = %! g(/) = &"   0e.a 0e.am m a as s s seg egui uin nes es af afir irma ma��es es: :   2 gr grafo afo a3re a3resen sena a u um m *a *aminmin-o o de Eu4e Eu4er, r, 3 3ois ois a3r a3resen esena a u um m n�mer mero o 3a 3ar r de n�s �m3ares5 

�

2 gra grafo fo a3r a3resen esena a um *i* *i*4o 4o -ami -ami4o 4onian niano, o, 3ois a3re a3resen sena a um n�mero 3ar de n�s

�m3ares5

 � Ese grafo a3resen a3resena a & �ri*es e um 3rograma que erifiqu erifique e se e6ise um *amin *am in-o -o -am ami4 i4oni onian ano o dee deer r� ef efeu euar ar e em m um uma a s siu iua a��o d de e 3i 3ior or * *aso aso &7 *�4*u4o 4*u4os5 s5 V � Ese graf grafo o a3re a3resen sena a $ n�s Eu4er5 a5 , ,  e V   +5 A3enas  e V   *5 A3enas  e   

d5

A3enas  e   

e5

�m3ares m3ares

e, 3or 3orano ano, , n�o a3re a3resen sena a um Cami Camin-o n-o de

 

A3enas  e V 8,# 3onos PERGUNTA  Em uma de deermi erminada nada edif edifi*a i*a��o, em que o esq esquema uema de segu seguran ran�a � *ru* *ru*ia4, ia4, dese dese.as .ase e *o+rir *o+r ir od odas as as �rea reas s d de e *ir* *ir*u4a u4a��o e ao mes mesmo mo em3 em3o o mini minimi9a mi9ar r o n�mero de 3on 3onos os de mo moni nior ora a��o5 0a+ 0a+es ese e que o n�me mero ro de sa sa4a 4as s dese dese 4ug 4ugar ar � !8 e o n�mero mero de *orredores *orredor es � 1#5 A fim de se o+er e6aame e6aamene ne o menor n�mero de 3onos de moniora��o de form moniora forma a a * *o+ri o+rir r o odos dos os * *orr orredor edores, es, dee deeriam riam ser rea rea4i9a 4i9ados dos *�4*u 4*u4os 4os de *om34e6idade: a5 aoria45   +5 ;uad ;uadr r�i i*a *a5 5   *5 �quina de Turing *orres3 *orres3ondene5 ondene5 Ta4 enun*iad enun*iado o � de *om34e6i *om34e6idade dade NP5   Um Uma a o orde rdena na��o 4e6i 4e6i*og *ogr r�fi* fi*a a f fund undame amen nada ada em u um m a4 a4fa fa+e +eo o de 1$ s�m+o4o m+o4os s a3resen a3re sena a uma 3a4 3a4ar ara a (s�m+o4 m+o4os os do a4f a4fa+e a+eo o *on* *on*aen aenados ados) ) 3ara a qua qua4 4 n�o e6is e6ise e uma >�quina de Turing *orres3 *orres3ondene5 ondene5 Ta4 enun*iad enun*iado o � de *om34e6i *om34e6idade dade P5 V � Uma >�quina de Turing que erifiq erifique ue se em um grafo e6ise um *amin-o que 3asse 3or odos os �ri*es uma �ni*a e9, a3resen a3resena a desem3en desem3en-o -o NP5 � *orreo

afirmar:

 

a5 A3enas  e    +5 A3enas  e    *5 A3enas  e V   d5 A3enas  e V   e5 A3enas  e V