8/3/2019 If969 - Complexidade e Completude
1/32
Bkf}ce|dnhneeBkf}ce~uneBea~pkneDaikpf&bh
UadyeprdnhneIenephcne]epahf`ubk
Rdr~efhrneDaikpfhk
YdadbdurBhpnkrkGhpbdh
ybgMbda!ui}e!`p
0=88YdadbdurBhpnkrkGhpbdh
8/3/2019 If969 - Complexidade e Completude
2/32
Da~pknuk
Bkf}ce|dnhne#neadkgeapdbh:Bkf}ce|dnhneherbkchckrbhxueyk
fuankbkfkuf~knkdandrrkbdyece}pk}eufhh`kpnhgeffuc&ndrbd}cdahp}hphhbkar~puknk
bkalebdfea~k!Bka~ph}erebhurhcdnhne}kph`kpnhpkrieafeakrbkfk~k~hcdnhnekpgadbh!
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
0
8/3/2019 If969 - Complexidade e Completude
3/32
Bkf}ce|dnhneBkf}u~hbdkahc
^ekpdhnhbkf}ce|dnhnebkf}u~hbdkahch}hp~enh~ekpdhnhbkf}u~hkxueer~unhkrpebuprkraeberrpdkrnupha~ekbcbuck}hphperkcyepuf}pk`cefh!
H~ekpdhnhbkf}ce|dnhnendiepenh~ekpdhnhbkf}u~h`dcdnhnehxuhcrekbu}hne}krrd`dcdnhnenererkcubdkahpuf}pk`cefh
bkfhcgkpd~fkrrefceyhpefbka~hkrpebuprkraeberrpdkr}hphece!
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
2
8/3/2019 If969 - Complexidade e Completude
4/32
Bkf}ce~une
Bkf}ce~une~efhyepbkfhbkf}ce~hnerbpdkkuh`phagabdhneuffkneck#gephcfea~eh`r~ph~k#bkfk}pk`cefh+uadyeprkxueeceeaykcye!
E|:k}pkgphfh:|6da}u~,ndgd~eufafepk$}pda~|/8
bkf}ce~k}hphkrda~edpkr#}kdrnhnkxuhcxuepda~edpk#hk}ephkrepe|ebu~hnh!
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
>
8/3/2019 If969 - Complexidade e Completude
5/32
Bkf}ce~une
Nefkar~phnk}kpOup~Gnec#k~ekpefhnhdabkf}ce~une#ghpha~exue~knkrkrbcbuckrcgdbkrnek}epherrdf}cerrk`pekrda~edpkrak}knefreprdfuc~haehfea~ebkf}ce~krebkardr~ea~er!
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
5
8/3/2019 If969 - Complexidade e Completude
6/32
Nebdnd`dcdnhne
Uf}pk`cefhnd~knebdnyecrelufhfxudahne^updag,bkf}u~hnkp$xue}krrhbkf}u~hp#dane}eanea~enk~ef}kxueceye!Bhrkbka~ppdk#blhfhnknedanebdnyec!
E|ef}ck:ndzepreufafepk}pdfkkuak~pdydhcfea~enebdnyec#fhre|}kaeabdhcak~hfhalknhea~phnh!
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
9
l}:++ea!wdod}endh!kpg+wdod+^updag[fhbldae
8/3/2019 If969 - Complexidade e Completude
7/32
Bkf}u~h`dcdnhne
H^ekpdhnhBkf}u~h`dcdnhneer~unh:Xuer~ernenebd`dcdnhneFkneckrnebkf}u~hkBh}hbdnhnebkf}u~hbdkahc!
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
7
8/3/2019 If969 - Complexidade e Completude
8/32
Rufhpdzhank
H~ekpdhnhbkf}ce|dnhneer~}pekbu}hphbkfperkcyep}pk`cefhrndMbedrnefhaedphebdea~e!
H~ekpdhnhbkf}u~h`dcdnhneer~}pekbu}hnhbkfhikpfhbkfxuehrbkf}u~herrkied~hr,fkneckh`r~ph~knebkf}u~hk$!
Kikbknhhuchnelkjebkf}ce|dnhne!
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
8/3/2019 If969 - Complexidade e Completude
9/32
Neader
Hcgkpd~fk}kcdakfdhcnk&}k:aO#kaneak~hfhalknhea~phnheo
bkar~ha~e!
Ufhcgkpd~fke|}kaeabdhcnk&}k:Oba#kaneak~hfhalknhea~phnheoebrk
bkar~ha~erfhdkperxuezepk!
]pk`cefhr}kcdakfdhdrrknd~kr~ph~yedree|}kaeabdhdrda~ph~yedr,ndbedr$!
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
4
8/3/2019 If969 - Complexidade e Completude
10/32
E|ef}ckrnebur~kr
Iuakne
Bur~k
a68= a60= a62= a6>= a65= a69=
a 8=5r 0!8=5r 2!8=5r >!8=5r 5!8=5r 9!8=5r
a0 8=>r >!8=>r 4!8=>r 89!8=>r 05!8=>r 29!8=>r
a2 8=2r !8=2r 805!8=2r 089!8=2r
a5 =#8r 2#0r 0>#2r 8#7fda 5#0fda 82fda
0a 8=2r 8r 87#4fda 80#7ndhr 25#7hakr 299rb!
2a 54#8=2r 5
8/3/2019 If969 - Complexidade e Completude
11/32
Hcgkpd~fkrNe~epfdarKbkr
Rkhcgkpd~fkrxueh}perea~hfbkf}kp~hfea~k}peydryec!Nhnhufhne~epfdahnhea~phnh#khcgkpd~fkh}perea~href}pehferfhrhnh!
Fxudahrne~epfdar&bhrrkhxuechrxuer}knefer~hpefufer~hnk}kpyez!
Ufer~hnkneaekxuehfxudaher~ihzeankefufne~epfdahnk~ef}k!
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
88
8/3/2019 If969 - Complexidade e Completude
12/32
Hcgkpd~fkrAk&Ne~epfdarKbkr
Rkhcgkpd~fkrxueh}perea~hfbkf}kp~hfea~kgudhnk}kpufhbep~hndr~pd`udker~hr&bh!Nhnhufhne~epfdahnhea~phnh#khcgkpd~fkh}perea~h
ufhrhnhbkfufhnhnh}pk`h`dcdnhne!
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
80
8/3/2019 If969 - Complexidade e Completude
13/32
Hcgkpd~fkrAk&Ne~epfdarKbkr
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
82
Apebe`ek}pk`cefh
8/3/2019 If969 - Complexidade e Completude
14/32
Hcgkpd~fkrAk&Ne~epfdarKbkr
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
8>
Ru`ndydnekr}pk`cefhr
8/3/2019 If969 - Complexidade e Completude
15/32
Hcgkpd~fkrAk&Ne~epfdarKbkr
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
85
Akyhru`ndydrk
8/3/2019 If969 - Complexidade e Completude
16/32
Hcgkpd~fkrAk&Ne~epfdarKbkr
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
89
Akyhru`ndydrk
8/3/2019 If969 - Complexidade e Completude
17/32
Hcgkpd~fkrAk&Ne~epfdarKbkr
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
87
Ufaeabka~phkperuc~hnk
8/3/2019 If969 - Complexidade e Completude
18/32
Hcgkpd~fkrAk&Ne~epfdarKbkr
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
8
8/3/2019 If969 - Complexidade e Completude
19/32
Hcgkpd~fkrAk&Ne~epfdarKbkr
Efku~phr}hchyphr:]pk`cefhdadbdhcbkfperkcukef0a}hrrkref
fxudahne~epfdar&bh,}dkpbhrk$
Efufhfxudahakne~epfdar&bhceyh~ef}ka!
Da~pdgha~e:Repxuee|dr~ehcguf}pk`cefhxueh}eahrufh
fxudahakne~epfdar&bhperkcyh;
Ak!Ufhfxudahakne~epfdar&bhbhcbuchh}eahrfhdrp}dnk#}kpfexudyhcea~ehfxudahrne~epfdar&bhr!
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
84
8/3/2019 If969 - Complexidade e Completude
20/32
Bchrrene]pk`cefhr
]pk`cefhr]hbchrrenkr}pk`cefhrperkcyyedref~ef}k]kcdakfdhceffxudahne~epfdarKbh!
]pk`cefhrA]hbchrrenkr}pk`cefhrperkcyyedref~ef}k]kcdakfdhceffxudahAk&ne~epfdarKbh!
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
0=
8/3/2019 If969 - Complexidade e Completude
21/32
Bchrrene]pk`cefhr
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
08
8/3/2019 If969 - Complexidade e Completude
22/32
Bchrrene]pk`cefhr
]pk`cefhrA]BkuA]Bkf}ce~krhbchrrenkr}pk`cefhrxuerk]kcdakfdhdref
fxudahrAkNe~epfdar&bhrerkBkf}ce~krakrea&nkxue#}hphbhnhufnecer#~knkrkr
}pk`cefhrneA]}knefreppenuzdnkrheceef~ef}k}kcdakfdhc,effxudahne~epfdar&bh$!
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
00
8/3/2019 If969 - Complexidade e Completude
23/32
A]&Bkf}ce~k
Ikpfhcfea~e#uf}pk`cefhA]Bkf}ce~kre:
K}pk`cefhA]A]Ndbdc
A]Ndbdcuf}pk`cefhxue}knereppenuzdnkhku~pk}pk`cefhA]#efku~phr}hchyphr#re~efferfhbkf}ce|dnhneneuf
}pk`cefhA]!
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
02
8/3/2019 If969 - Complexidade e Completude
24/32
A]&Bkf}ce~k
]pk`cefhrA]BkuA]Bkf}ce~kr Reuf}pk`cefhneA]B}uneprepperkcydnkef
~ef}k}kcdakfdhceffxudahne~epfdar&bh#ea~k~knkrkr}pk`cefhrneA]k}knepk#eA]6]?
Reuf}pk`cefhneA]Bikp}pkyhnhfea~eda~ph~yec#ea~k~knkrkr}pk`cefhrefA]B~hf`fkrepk!Nh:,A]Bda~epbe}~h]$rerkfea~ere,A]6]$!HfhdkpdhbpxueA]Bndrjua~kne]#}kp~ha~kA]]!
Er~eufnkr}pk`cefhrefh`ep~kxue}knefunhp~knkkea~eandfea~knhbkf}u~h`dcdnhneah}p&bh#reikp}pkyhnkxueA]6]
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
0>
8/3/2019 If969 - Complexidade e Completude
25/32
Bchrrene]pk`cefhr
Bkfk}pkyhpxueuf}pk`cefhHA]B;Fkr~phpxueH}ep~eabehA]?Recebdkahpuf}pk`cefhH#bkalebdnk#neA]B?Bkar~pudpufh~pharikpfhki:HH?Fkr~phpxueiufh~pharikpfhk}kcdakfdhc!
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
05
8/3/2019 If969 - Complexidade e Completude
26/32
]pk`cefhrA]&Bkf}ce~kr
^R]^le^phyecdagRhcerfha]pk`cef,]BY]pk`cefhnkBhd|edpkYdhjha~e$:
Ufyeanenkp~efxueydrd~hpbhnhufhneabdnhner#~epfdahankahxuech}kpkanebkfeku?
Bhnhhpbk~efufbur~khrrkbdhnk?K}pk`cefh#ahyeprknenebdrk#}epgua~h:L
ufh~upanebur~kfeakpkuhdguhchufyhckp#
nhnk;?Hyeprknek&fdzhk}epgua~h:Xuhckfeakp
bur~k}krryec}hphufh~upa#exuhcech;
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
09
8/3/2019 If969 - Complexidade e Completude
27/32
]pk`cefhrA]&Bkf}ce~kr
LB^leLhfdc~kaBdpbud~,6Btbce$
Bdpbud~kLhfdc~kadhak:Nhnkufgphikkpdea~hnk#ne~epfdaereluf
bdbckxueydrd~ebhnhae|h~hfea~eufhyez#~epfdahankakadadbdhc!
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
07
8/3/2019 If969 - Complexidade e Completude
28/32
]pk`cefhrA]&Bkf}ce~kr
ZKO,^leZepkKaeOah}rhbo$
,]pk`cefhnhFkbldch#bhnhd~efreank~k~hcfea~e~kfhnkkuak~kfhnk$:
Ufhfkbldch~efbh}hbdnhneneFodckgphfhr?Aufbkipe#lAd~ear#bhnhufbkfreu}erk,}d$
ereuyhckp,yd$?
Erbkclhxued~earceyhpahfkbldch#nefknkxuek~k~hcne}erkrejhfeakpkudguhchF#ek~k~hcnkryhckperrejhf|dfk!
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
0
8/3/2019 If969 - Complexidade e Completude
29/32
]pk`cefhrA]&Bkf}ce~kr
@kkcehaRh&rh`dcd~t]pk`cef,RH^$
RhKrihK`dcdnhnenee|}perrk`kkcehah:Nhnhufhe|}perrk}pk}krdbdkahcahikpfh
akpfhcbkajua&yh#ne~epfdaerelhcguf
bkajua~kneh~pd`uder~pueeihcrehkrrf`kckr}pk}krdbdkahdr#xue~kpaekyhckpnhe|}perrkdguhch~pue!
Ikdk}pdfedpk}pk`cefhA]Bkf}ce~k}pk}kr~k}kpR~e}leaBkkoefef8478!Ikdnefkar~phnkh~phyrnefxudahne^updag!
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
04
8/3/2019 If969 - Complexidade e Completude
30/32
^badbhrne~ph`hclhpbkfhcgkpd~fkrA]&
Bkf}ce~kr
Akihzrea&nkndzepxueuf}pk`cefhA]erdf}cerfea~eerxuebck!
E|dr~ef~badbhrnerkcukxueyk~ea~hphblhpufhrkcukk&fdzhnhneuf}pk`cefhA]!
Errhr~badbhr~ph`hclhfahxuer~knebkf}pkfe~ephcgk}hphhblhpufhrkcuk:
K}&fhcdnhne Pk`ur~ez Ebdabdh Bkf}ce~unenhrRkcuer
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
2=
d n ` cl c d
8/3/2019 If969 - Complexidade e Completude
31/32
^badbhrne~ph`hclhpbkfhcgkpd~fkrA]&
Bkf}ce~kr
Hcgufhrnerrhr~badbhr: Hcgkpd~fkrneh}pk|dfhk,rkcuk}knerepkuak
&fh$ Bkf}pkfe~efhk}~hfd`dcdnhne!
Hcgkpd~fkrxue~ph~hf}pk`cefhrA]Bef~ef}k}kcdakfdhcahfndh! Bkf}pkfe~efhebdabdh!
Hcgkpd~fkrxueiuabdkahf}hphbhrkrer}ebdhdrnhea~phnh! Bkf}pkfe~efhbkf}ce~une!
Hcgkpd~fkre|}kaeabdhdrxue~ph`hclhf`ef}hph}exueahrea~phnhr,`hbo~phbodag$!
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhneeBkf}ce~une0=88YdadbdurBhpnkrkGhpbdh
28
8/3/2019 If969 - Complexidade e Completude
32/32
HKydnhnerbkf}cefea~hper
Ced~uphnkbh}~uck2>nkcdypknkBkpfea
Hcgkpd~fkreEr~pu~uphneNhnkrBkf}ce|dnhne e Bkf}ce~une 20