Maks Flyt og NPkompletthet

Like dokumenter
Øvingsforelesning 12 Maks flyt

Avsluttende eksamen i TDT4120 Algoritmer og datastrukturer

Avsluttende eksamen i TDT4120 Algoritmer og datastrukturer

Algdat - Øvingsforelesning. Maks flyt

Avsluttende eksamen i TDT4120 Algoritmer og datastrukturer

Go with the. Niende forelesning. Mye matematikk i boka her ikke så komplisert, men mye å holde styr på.

Kompleksitet og Beregnbarhet

Go with the. Niende forelesning. Mye matematikk i boka her ikke så komplisert, men mye å holde styr på.

Løsningsforslag for eksamen i fag TDT4120 Algoritmer og datastrukturer Tirsdag 9. desember 2003, kl

Eksamen i tdt4120 Algoritmer og datastrukturer

Eksamensoppgave i TDT4120 Algoritmer og datastrukturer

Eksamensoppgave i TDT4120 Algoritmer og datastrukturer

Avanserte flytalgoritmer

Avsluttende eksamen i TDT4120 Algoritmer og datastrukturer

Avsluttende eksamen i TDT4120 Algoritmer og datastrukturer

Eksamensoppgave i TDT4120 Algoritmer og datastrukturer

Øvingsforelesning 9. Flytnettverk, maksimum flyt og maksimum bipartitt matching. Jon Marius Venstad

Go with the. Niende forelesning. Mye matematikk i boka her ikke så komplisert, men mye å holde styr på.

Algdat - Øvingsforelesning. NP-komplette problemer

ALGORITMER OG DATASTRUKTURER

Eksamensoppgave i TDT4120 Algoritmer og datastrukturer

Eksamensoppgave i TDT4120 Algoritmer og datastrukturer

Studentnummer: Side 1 av 1. Løsningsforslag, Eksamen i TDT4120 Algoritmer og datastrukturer August 2005

NP-kompletthet. «Hvordan gjøre noe lett for å vise at noe annet er vanskelig»

Kompleksitet. IN algoritmer og datastrukturer Plenumstime / repetisjon

Eksamensoppgave i TDT4120 Algoritmer og datastrukturer

ALGORITMER OG DATASTRUKTURER

Kontinuasjonseksamen i fag SIF8010 Algoritmer og Datastrukturer Torsdag 9. August 2001, kl

Eksamensoppgave i TDT4120 Algoritmer og datastrukturer

Algdat Redux. Fjortende forelesning. Repetisjon av utvalgte emner.

Kontinuasjonseksamen i tdt4125 Algoritmekonstruksjon, videregående kurs

Rundt og rundt og. Trettende forelesning

Teoriøving 7 + litt om Ford-Fulkerson. Magnus Lie Hetland

Ekstra ark kan legges ved om nødvendig, men det er meningen at svarene skal få plass i rutene på oppgavearkene. Lange svar teller ikke positivt.

Eksamensoppgave i TDT4120 Algoritmer og datastrukturer

Algdat Eksamensforelesning. Nils Barlaug

Eksamensoppgave i TDT4120 Algoritmer og datastrukturer

45011 Algoritmer og datastrukturer Løsningsforslag eksamen 13. januar 1992

Det er lett å gjøre problemet A Enklere B Vanskeligere

IN2010: Forelesning 11. Kombinatorisk søking Beregnbarhet og kompleksitet

Avsluttende eksamen i TDT4125 Algoritmekonstruksjon, videregående kurs (løsningsforslag)

LØSNINGSFORSLAG, EKSAMEN I ALGORITMER OG DATASTRUKTURER (IT1105)

Avsluttende eksamen i TDT4125 Algoritmekonstruksjon, videregående kurs

INF oktober Stein Krogdahl. Altså: Hva kan ikke gjøres raskt (med mindre P = NP)

Agenda. 1 Sortering, heap og select. 2 Binære trær. 3 Grafer, BFS og DFS. 4 Spenntrær og Korteste vei. 5 Maks flyt. 6 Dynamisk programmering

Eksamensoppgave i TDT4120 Algoritmer og datastrukturer

ALGORITMER OG DATASTRUKTURER

Eksamensoppgave i TDT4120 Algoritmer og datastrukturer

Eksamensoppgave i TDT4120 Algoritmer og datastrukturer

Eksamen i fag SIF8010 Algoritmer og Datastrukturer Tirsdag 14. Desember 1999, kl

Kontinuasjonseksamen i tdt4125 Algoritmekonstruksjon, videregående kurs

August

Alle mot alle. Åttende forelesning. (eller eller Bellman-Ford, eller BFS, alt ettersom) fra alle noder.

Løsningsforslag til eksamen i fag SIF8010 Algoritmer og Datastrukturer Tirsdag 14. Desember 1999, kl

UNIVERSITETET I OSLO

Løsningsforslag for utvalgte oppgaver fra kapittel 9

Fra A til B. Syvende forelesning

ALGORITMER OG DATASTRUKTURER

UNIVERSITETET I OSLO

Eksamensoppgave i TDT4120 Algoritmer og datastrukturer

TMA4140 Diskret Matematikk Høst 2016

Eksamen i fag SIF8010 Algoritmer og Datastrukturer Tirsdag 18. Desember 2000, kl

Øvingsforelesning 4. Topologisk sortering, Strongly Connected Components og Minimale spenntrær. Magnus Botnan

ALGORITMER OG DATASTRUKTURER

UNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet

Grunnleggende Grafteori

Uretta grafar (1) Mengde nodar Mengde kantar som er eit uordna par av nodar

Korteste Vei I. Lars Vidar Magnusson Kapittel 24 Hvordan finne korteste vei Egenskaper ved korteste vei

Vann i rør Ford Fulkerson method

Eksamensoppgave i TDT4120 Algoritmer og datastrukturer

INF3/4130 PRØVE-EKSAMEN MED SVARFORSLAG Gjennomgås 1/ , (lille aud.)

LP. Leksjon 9: Kapittel 13: Nettverk strøm problemer, forts.2

Løsningsforslag for eksamen i fag SIF8010 Algoritmer og Datastrukturer Tirsdag 18. Desember 2000, kl

Avsluttende eksamen i TDT4120 Algoritmer og datastrukturer

Løsnings forslag i java In115, Våren 1998

Løsningsforslag - Korteste vei

Dijkstras algoritme. Her finnes det også (minst) en riktig rekkefølge for Relax, men den må vi oppdage litt etter hvert.

Kompleksitetsteori reduksjoner

Eksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag

HØGSKOLEN I SØR-TRØNDELAG Avdeling for informatikk og e-læring - AITeL

INF Stein Krogdahl. NB: Det som under forelesningen ble kalt et vitne er nå omdøpt til et sertifikat.

Algdat-ninja på 60 minutter: Et galskapsprosjekt. Magnus Lie Hetland

Lineær sortering. Radix sort

LO118D Forelesning 9 (DM)

MAT1030 Forelesning 24

NP-komplett, hva nå?

Svarforslag til ukeoppgaver til INF 4130

All good things. Fjortende forelesning

Repetisjon og mer motivasjon. MAT1030 Diskret matematikk. Repetisjon og mer motivasjon

HØGSKOLEN I BERGEN Avdeling for ingeniørutdanning

Plenumsregning 10. Diverse ukeoppgaver. Roger Antonsen april Vi øver oss litt på løse rekurrenslikninger.

Høgskolen i Agder. Institutt for matematiske fag EKSAMEN

Forelesning 23. Grafteori. Dag Normann april Oppsummering. Oppsummering. Oppsummering. Digresjon: Firefarveproblemet

Forelesning 28. Grafer og trær, eksempler. Dag Normann - 5. mai Grafer og trær. Grafer og trær. Grafer og trær

Eksamensoppgave i TDT4120 Algoritmer og datastrukturer

Forelesningsnotat i Diskret matematikk tirsdag 1. november Pascals trekant. Legg merke til møsteret! Det gir oss Pascals identitet:

Korteste vei problemet (seksjon 15.3)

SIF8010 ALGORITMER OG DATASTRUKTURER

Dijkstras algoritme Spørsmål

Innledning. IN2010/INF Algoritmer og datastrukturer. Tirsdag 27. november 2018 Kl (4 timer)

Transkript:

Maks Flyt og NPkompletthet

Flyt - Intro Mange av oppgavene om flyt handler om å se at Dette kan vi løse som et flytproblem. Resten er som regel kortsvarsoppgaver, og går på grunnleggende forståelse av flyt.

Flyt - Viktige begreper Kapasitet Flyt Maks flyt Minimalt snitt Residualkapasitet Flytforøkende sti Oppheving av flyt Ford-Fulkerson Edmonds-Karp

Kont 2011 - Oppg. 3b) Anta at du har oppgitt en rettet, asyklisk graf (DAG) G = (V, E), samt noder s og t i V. a) Hvordan ville du telle antall mulige stier fra s til t i G? -> Dynamisk Programmering b) Hvordan vil du telle (det maksimale) antall stier som kan følges samtidig fra s til t, hvis disse stiene ikke kan dele kanter? -> Kjør maks-flyt fra s til t med kapasiteter på 1.

Høst 2011 - Oppg. 3c) Du er teaterregissør, og skal lage en øvingsplan en oversikt over hvilke skuespillere som skal møte på hvilke dager under innøvingen av et teaterstykke. Du har oppgitt følgende: Et sett med skuespillere, der skuespiller i er betalt for å møte på D[i] øvingsdager (og altså ikke kan møte flere dager enn dette). Et sett med scener, der scene i skal jobbes med på S[i] av øvingsdagene. Summen av S[i] over alle scenene er lik antall dager tilgjengelig. Informasjon om hvilke skuespillere som har anledning til å møte hvilke av dagene. (Enkelte er altså opptatt på noen av dagene.) Informasjon om hvilke skuespillere som er med i hvilke scener (og dermed må møte hvis scenen skal jobbes med). Du ønsker å utarbeide en algoritme som lager en øvingsplan, det vil si, som avgjør hvilken scene det skal jobbes med på hver av øvingsdagene. Dersom det er umulig å få til en slik plan skal algoritmen oppgi dette. c) Beskriv kort en algoritme som løser problemet. (Bruk gjerne en figur i svaret.)

Høst 2011 - Oppg. 3c) Nøkkelsetning:... avgjør hvilken scene det skal jobbes med på hver av øvingsdagene Ting fra to grupper som skal kobles sammen to og to -> Bipartitt matching! Dette kan løses som et flytproblem. Hvordan sette opp flytnettverket? Lag kilde, sluk og noder for dager/scener. En flytenhet er en dag med jobbing. Da må det gå S[i] flytenheter gjennom scene i. Det kan kun gå 1 flytenhet gjennom en gitt dag. En scene kan kun jobbes med på en gitt dag hvis alle relevante skuespillere er ledige. En ting til man må huske for å få full uttelling: Sjekk at skuespillerene blir betalt for minst det antall dager de må jobbe!

NP-kompletthet Også her har man mange kortsvarsoppgaver. Dere MÅ forstå begrepene på neste slide. De lengre oppgavene er ofte på formen Vis at sånn og sånn problem er NP-komplett. Eksempler på hvordan gjøre dette i kap. 34.5 Mulig dette ikke er pensum lenger...

NP-kompletthet - Viktige Begreper P NP Reduksjon Verifisering vs. løsing NP-komplett NP-hard Dere må også kjenne til en del NP-komplette problemer: Circuit-SAT, SAT, 3-CNF-SAT Clique Vertex cover Hamiltonian cycle Traveling salesman Subset-sum/0-1 knapsack Longest simple path

Høst 2010 - Oppg. 3 Tenk deg at du står overfor tre beslutningsproblemer, Foo, Bar og Baz. Alle tre problemer ligger i klassen NP. Du vet at Foo ligger i NPC og at Baz ligger i P. Du ønsker å prøve å konstruere polynomiske reduksjoner mellom noen av disse for å komme frem til ulike konklusjoner. a) Hvilket problem vil du redusere til hvilket for å vise at Bar P? Forklar kort. b) Hvilket problem vil du redusere til hvilket for å vise at Bar NPC? Forklar kort. c) Hvilket problem vil du redusere til hvilket for å vise at P = NP? Forklar kort.

Høst 2012 - Oppg. i) En venn av deg har et problem som består i å avgjøre om en graf G inneholder en sykel av lengde k (målt i antall kanter), for et gitt heltall k. Vennen din vil vise at problemet er NP-komplett, og vil gjøre det ved å la grafen H være en sykel av lengde k, og så løse sykelproblemet ved hjelp av subgrafisomorfismeproblemet. Enkelt svar: Reduksjon feil vei! De viser en reduksjon til et NP-komplett problem, og har dermed ikke vist annet enn at problemet er i NP Tok med denne oppgaven fordi slike feil er veldig fort gjort å gjøre selv. PS. Vi kan vise at problemet er NP-komplett ved å redusere fra Hamiltonsykel-problemet.

Kont 2011 - Oppg. 4a) Følgende oppgave ble gitt ved fjorårets kontinuasjonseksamen: «Du skal invitere venner til fest. Du vurderer et sett med n kandidater, men du vet at hver av dem bare vil ha det hyggelig dersom han eller hun kjenner minst k andre på festen. (Du kan anta at dersom A kjenner B så kjenner B automatisk A.) Beskriv en algoritme som finner en størst mulig delmengde av de n vennene dine der alle kjenner minst k av de andre, dersom en slik delmengde eksisterer. Forklar kort hvorfor algoritmen er korrekt og optimal.» Du ønsker nå å arrangere en liten sammenkomst, og vil dermed løse samme problem, bortsett fra at du vil finne en minst mulig delmengde der alle kjenner minst k av de andre. a) Vis (dvs. forklar kort) at det er urealistisk å løse denne nye varianten av oppgaven. Urealistisk å løse = NP-hard Reduksjon fra klikkproblemet: Finn den minimale delmengden der alle kjenner minst k-1 av de andre. Dersom denne delmengden har akkurat k elementer, har grafen en klikk med størrelse k.