INF2080 Logikk og beregninger

Størrelse: px

Begynne med side:

Download "INF2080 Logikk og beregninger"

Børre Johan Børresen
6 år siden
Visninger:

1 INF2080 Logikk og beregninger Forelesning 22: Fliser Sist oppdatert: :32

2 22.1 Fliser

3 Beregne med fliser 22.1 Fliser Beregne med fliser INF2080 Logikk og beregninger Forelesning 22 Side 3 / 5

4 Beregne med fliser 22.1 Fliser Beregne med fliser Fliser: Beregning som fliseleggingsproblem Beregning: Start med en rad fylle ut et helt rom med fliser som passer sammen INF2080 Logikk og beregninger Forelesning 22 Side 3 / 5

5 Beregne med fliser 22.1 Fliser Beregne med fliser Fliser: Beregning som fliseleggingsproblem Beregning: Start med en rad fylle ut et helt rom med fliser som passer sammen Turingmaskin: Tape tilstand aktiv rute INF2080 Logikk og beregninger Forelesning 22 Side 3 / 5

6 Beregne med fliser 22.1 Fliser Beregne med fliser Fliser: Beregning som fliseleggingsproblem Beregning: Start med en rad fylle ut et helt rom med fliser som passer sammen Turingmaskin: Tape tilstand aktiv rute Tape: Horisontal rad INF2080 Logikk og beregninger Forelesning 22 Side 3 / 5

7 Beregne med fliser 22.1 Fliser Beregne med fliser Fliser: Beregning som fliseleggingsproblem Beregning: Start med en rad fylle ut et helt rom med fliser som passer sammen Turingmaskin: Tape tilstand aktiv rute Tape: Horisontal rad Aktiv rute: Markert rød INF2080 Logikk og beregninger Forelesning 22 Side 3 / 5

8 Beregne med fliser 22.1 Fliser Beregne med fliser Fliser: Beregning som fliseleggingsproblem Beregning: Start med en rad fylle ut et helt rom med fliser som passer sammen Turingmaskin: Tape tilstand aktiv rute Tape: Horisontal rad Aktiv rute: Markert rød Farger: Gir symbol i vanlig rute gir symbol+tilstand i aktiv rute INF2080 Logikk og beregninger Forelesning 22 Side 3 / 5

9 Beregne med fliser 22.1 Fliser Beregne med fliser Fliser: Beregning som fliseleggingsproblem Beregning: Start med en rad fylle ut et helt rom med fliser som passer sammen Turingmaskin: Tape tilstand aktiv rute Tape: Horisontal rad Aktiv rute: Markert rød Farger: Gir symbol i vanlig rute gir symbol+tilstand i aktiv rute Tid: Antall rader INF2080 Logikk og beregninger Forelesning 22 Side 3 / 5

10 Beregne med fliser 22.1 Fliser Beregne med fliser Fliser: Beregning som fliseleggingsproblem Beregning: Start med en rad fylle ut et helt rom med fliser som passer sammen Turingmaskin: Tape tilstand aktiv rute Tape: Horisontal rad Aktiv rute: Markert rød Farger: Gir symbol i vanlig rute gir symbol+tilstand i aktiv rute Tid: Antall rader Rom: Antall kolonner INF2080 Logikk og beregninger Forelesning 22 Side 3 / 5

11 Turingmaskin 22.1 Fliser Turingmaskin Gitt transisjoner for turing maskin med m symboler og n tilstander INF2080 Logikk og beregninger Forelesning 22 Side 4 / 5

12 Turingmaskin 22.1 Fliser Turingmaskin Gitt transisjoner for turing maskin med m symboler og n tilstander For hver a i alfabetet: a a INF2080 Logikk og beregninger Forelesning 22 Side 4 / 5

13 Turingmaskin 22.1 Fliser Turingmaskin Gitt transisjoner for turing maskin med m symboler og n tilstander For hver a i alfabetet: For hver transisjon (b,p;c,q,r): a a (b,p) c q INF2080 Logikk og beregninger Forelesning 22 Side 4 / 5

14 Turingmaskin 22.1 Fliser Turingmaskin Gitt transisjoner for turing maskin med m symboler og n tilstander For hver a i alfabetet: For hver transisjon (b,p;c,q,r): For hver transisjon (b,p;c,q,l): a a (b,p) c q (b,p) q c INF2080 Logikk og beregninger Forelesning 22 Side 4 / 5

15 Turingmaskin 22.1 Fliser Turingmaskin Gitt transisjoner for turing maskin med m symboler og n tilstander For hver a i alfabetet: For hver transisjon (b,p;c,q,r): For hver transisjon (b,p;c,q,l): a a (b,p) c q (b,p) q c For hver b i alfabetet og tilstand q: q b (b,q) og b (b,q) q INF2080 Logikk og beregninger Forelesning 22 Side 4 / 5

16 Turingmaskin 22.1 Fliser Turingmaskin Gitt transisjoner for turing maskin med m symboler og n tilstander For hver a i alfabetet: For hver transisjon (b,p;c,q,r): For hver transisjon (b,p;c,q,l): a a (b,p) c q (b,p) q c For hver b i alfabetet og tilstand q: q b (b,q) og b (b,q) q Trenger 1 + m + n + mn farger og m + 3mn typer fliser INF2080 Logikk og beregninger Forelesning 22 Side 4 / 5

17 Turingmaskin 22.1 Fliser Turingmaskin Gitt transisjoner for turing maskin med m symboler og n tilstander For hver a i alfabetet: For hver transisjon (b,p;c,q,r): For hver transisjon (b,p;c,q,l): a a (b,p) c q (b,p) q c For hver b i alfabetet og tilstand q: q b (b,q) og b (b,q) q Trenger 1 + m + n + mn farger og m + 3mn typer fliser Også for ikke deterministiske maskiner INF2080 Logikk og beregninger Forelesning 22 Side 4 / 5

18 Kompleksitet 22.1 Fliser Kompleksitet Vi ser på beregninger som ender i svar JA / NEI INF2080 Logikk og beregninger Forelesning 22 Side 5 / 5

19 Kompleksitet 22.1 Fliser Kompleksitet Vi ser på beregninger som ender i svar JA / NEI Gitt størrelse S på start INF2080 Logikk og beregninger Forelesning 22 Side 5 / 5

20 22.1 Fliser Kompleksitet Kompleksitet Vi ser på beregninger som ender i svar JA / NEI Gitt størrelse S på start Beregningen gir type fliser INF2080 Logikk og beregninger Forelesning 22 Side 5 / 5

21 22.1 Fliser Kompleksitet Kompleksitet Vi ser på beregninger som ender i svar JA / NEI Gitt størrelse S på start Beregningen gir type fliser Skal fliselegge et rom INF2080 Logikk og beregninger Forelesning 22 Side 5 / 5

22 22.1 Fliser Kompleksitet Kompleksitet Vi ser på beregninger som ender i svar JA / NEI Gitt størrelse S på start Beregningen gir type fliser Skal fliselegge et rom Rommet er avhengig av størrelsen på start INF2080 Logikk og beregninger Forelesning 22 Side 5 / 5

23 22.1 Fliser Kompleksitet Kompleksitet Vi ser på beregninger som ender i svar JA / NEI Gitt størrelse S på start Beregningen gir type fliser Skal fliselegge et rom Rommet er avhengig av størrelsen på start Enkel fra en rad til neste INF2080 Logikk og beregninger Forelesning 22 Side 5 / 5

24 22.1 Fliser Kompleksitet Kompleksitet Vi ser på beregninger som ender i svar JA / NEI Gitt størrelse S på start Beregningen gir type fliser Skal fliselegge et rom Rommet er avhengig av størrelsen på start Enkel fra en rad til neste Vanskelig fylle hele rommet INF2080 Logikk og beregninger Forelesning 22 Side 5 / 5

25 22.1 Fliser Kompleksitet Kompleksitet Vi ser på beregninger som ender i svar JA / NEI Gitt størrelse S på start Beregningen gir type fliser Skal fliselegge et rom Rommet er avhengig av størrelsen på start Enkel fra en rad til neste Vanskelig fylle hele rommet NP: Dimensjonene polynomielle i S INF2080 Logikk og beregninger Forelesning 22 Side 5 / 5

26 22.1 Fliser Kompleksitet Kompleksitet Vi ser på beregninger som ender i svar JA / NEI Gitt størrelse S på start Beregningen gir type fliser Skal fliselegge et rom Rommet er avhengig av størrelsen på start Enkel fra en rad til neste Vanskelig fylle hele rommet NP: Dimensjonene polynomielle i S P: I tillegg er fliseleggingen entydig gitt INF2080 Logikk og beregninger Forelesning 22 Side 5 / 5

27 22.1 Fliser Kompleksitet Kompleksitet Vi ser på beregninger som ender i svar JA / NEI Gitt størrelse S på start Beregningen gir type fliser Skal fliselegge et rom Rommet er avhengig av størrelsen på start Enkel fra en rad til neste Vanskelig fylle hele rommet NP: Dimensjonene polynomielle i S P: I tillegg er fliseleggingen entydig gitt PSPACE: En korridor bredden polynomiell i S, ingen begrensinger på lengden INF2080 Logikk og beregninger Forelesning 22 Side 5 / 5

Like dokumenter

INF2080 Logikk og beregninger

INF2080 Logikk og beregninger Forelesning 9: Endelige kjeder Sist oppdatert: 2012-02-15 11:22 9.1 Beskrivelse endelige kjeder Fargelegging av kjeder 9.1 Beskrivelse endelige kjeder Fargelegging av kjeder