If969 - Complexidade e Completude

Embed Size (px)

Citation preview

  • 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