Introduksjon til IN2010
|
|
- Åse Hagen
- 4 år siden
- Visninger:
Transkript
1 Introduksjon til IN2010 Sjakkmotorer, Algoritmer og Datastrukturer 19. August, 2019 Institutt for Informatikk 1
2 Grunnleggende 2
3 Grunnleggende Regler 2
4 Grunnleggende Regler Kun stillingen på brettet har noe å si (med små unntak) 2
5 Grunnleggende Regler Kun stillingen på brettet har noe å si (med små unntak) Ingen skjult informasjon 2
6 Grunnleggende Regler Kun stillingen på brettet har noe å si (med små unntak) Ingen skjult informasjon Battleships 2
7 Grunnleggende Regler Kun stillingen på brettet har noe å si (med små unntak) Ingen skjult informasjon Battleships Ingen element av flaks 2
8 Grunnleggende Regler Kun stillingen på brettet har noe å si (med små unntak) Ingen skjult informasjon Battleships Ingen element av flaks Monopol 2
9 Grunnleggende Regler Kun stillingen på brettet har noe å si (med små unntak) Ingen skjult informasjon Battleships Ingen element av flaks Monopol Alternerende trekk 2
10 Grunnleggende Regler Kun stillingen på brettet har noe å si (med små unntak) Ingen skjult informasjon Battleships Ingen element av flaks Monopol Alternerende trekk Stein-Saks-Papir 2
11 Grunnleggende Regler Kun stillingen på brettet har noe å si (med små unntak) Ingen skjult informasjon Battleships Ingen element av flaks Monopol Alternerende trekk Stein-Saks-Papir Er det endelig mange stillinger? 2
12 Grunnleggende Regler Kun stillingen på brettet har noe å si (med små unntak) Ingen skjult informasjon Battleships Ingen element av flaks Monopol Alternerende trekk Stein-Saks-Papir Er det endelig mange stillinger? Er det endelig mange partier? 2
13 Den naive løsningen på sjakk 3
14 Den naive løsningen på sjakk Lag et komplett spill-tre 3
15 Den naive løsningen på sjakk Lag et komplett spill-tre Sjekk hvem som vant der partiet er over 3
16 Den naive løsningen på sjakk Lag et komplett spill-tre Sjekk hvem som vant der partiet er over Propager svaret oppover til utgangsstillingen 3
17 Den naive løsningen på sjakk Lag et komplett spill-tre Sjekk hvem som vant der partiet er over Propager svaret oppover til utgangsstillingen Hva er problemet? 3
18 Den naive løsningen på sjakk Lag et komplett spill-tre Sjekk hvem som vant der partiet er over Propager svaret oppover til utgangsstillingen Hva er problemet? Det komplette spill-treet til tre-på-rad har over løvnoder. I sjakk kan man spille de første 4 halvtrekkene på nesten forskjellige måter. 3
19 Tablebases (Retrograd analyse) 4
20 Tablebases (Retrograd analyse) Ovenfra og ned (top down) fungerer dårlig i praksis, hva med nedenfra og opp (bottom up)? 4
21 Tablebases (Retrograd analyse) Ovenfra og ned (top down) fungerer dårlig i praksis, hva med nedenfra og opp (bottom up)? Demo 4
22 Tablebases (Retrograd analyse) Ovenfra og ned (top down) fungerer dårlig i praksis, hva med nedenfra og opp (bottom up)? Demo Veldig nyttige til analyse av sluttspill 4
23 Tablebases (Retrograd analyse) Ovenfra og ned (top down) fungerer dårlig i praksis, hva med nedenfra og opp (bottom up)? Demo Veldig nyttige til analyse av sluttspill Krever mye lagringsplass 4
24 Tablebases (Retrograd analyse) Ovenfra og ned (top down) fungerer dårlig i praksis, hva med nedenfra og opp (bottom up)? Demo Veldig nyttige til analyse av sluttspill Krever mye lagringsplass Tid vs plass 4
25 Tablebases (Retrograd analyse) Ovenfra og ned (top down) fungerer dårlig i praksis, hva med nedenfra og opp (bottom up)? Demo Veldig nyttige til analyse av sluttspill Krever mye lagringsplass Tid vs plass Komprimering av tabellen er helt nødvendig 4
26 Tablebases (Retrograd analyse) Ovenfra og ned (top down) fungerer dårlig i praksis, hva med nedenfra og opp (bottom up)? Demo Veldig nyttige til analyse av sluttspill Krever mye lagringsplass Tid vs plass Komprimering av tabellen er helt nødvendig Sjakk med inntil 7 brikker er løst ved hjelp av tablebases (140TB minne) 4
27 Klassiske sjakk-motorer (veldig forenklet) 5
28 Klassiske sjakk-motorer (veldig forenklet) Genererer et spill-tre til en gitt dybde 5
29 Klassiske sjakk-motorer (veldig forenklet) Genererer et spill-tre til en gitt dybde Evaluerer stillingen basert på hvem man tror står best (teller brikker) 5
30 Klassiske sjakk-motorer (veldig forenklet) Genererer et spill-tre til en gitt dybde Evaluerer stillingen basert på hvem man tror står best (teller brikker) Propagerer resultatet oppover i treet (minimax, negamax (IN3130)) 5
31 Klassiske sjakk-motorer (veldig forenklet) Genererer et spill-tre til en gitt dybde Evaluerer stillingen basert på hvem man tror står best (teller brikker) Propagerer resultatet oppover i treet (minimax, negamax (IN3130)) Stockfish, Lichess 5
32 Klassiske sjakk-motorer (veldig forenklet) Genererer et spill-tre til en gitt dybde Evaluerer stillingen basert på hvem man tror står best (teller brikker) Propagerer resultatet oppover i treet (minimax, negamax (IN3130)) Stockfish, Lichess 5
33 Klassiske sjakk-motorer (veldig forenklet) Genererer et spill-tre til en gitt dybde Evaluerer stillingen basert på hvem man tror står best (teller brikker) Propagerer resultatet oppover i treet (minimax, negamax (IN3130)) Stockfish, Lichess Massevis av sofistikerte triks Avskjæringer, Alpha-Beta pruning (IN3130) Heuristikker Transposisjonstabeller Sluttspillstabeller (Tablebases) Bitboards... 5
34 Maskinlæring og dype nevrale nettverk 6
35 Maskinlæring og dype nevrale nettverk Alpha-Zero (Google) og Leela Chess Zero (open-source) 6
36 Maskinlæring og dype nevrale nettverk Alpha-Zero (Google) og Leela Chess Zero (open-source) Nevrale nettverk som skal etterligne en ekte hjerne 6
37 Maskinlæring og dype nevrale nettverk Alpha-Zero (Google) og Leela Chess Zero (open-source) Nevrale nettverk som skal etterligne en ekte hjerne Læres i utgangspunktet kun reglene, uten domenekunnskap 6
38 Maskinlæring og dype nevrale nettverk Alpha-Zero (Google) og Leela Chess Zero (open-source) Nevrale nettverk som skal etterligne en ekte hjerne Læres i utgangspunktet kun reglene, uten domenekunnskap Trenes opp ved å spille mot seg selv (reinforcement learning) 6
39 Maskinlæring og dype nevrale nettverk Alpha-Zero (Google) og Leela Chess Zero (open-source) Nevrale nettverk som skal etterligne en ekte hjerne Læres i utgangspunktet kun reglene, uten domenekunnskap Trenes opp ved å spille mot seg selv (reinforcement learning) Monte-Carlo tree search 6
40 Maskinlæring og dype nevrale nettverk Alpha-Zero (Google) og Leela Chess Zero (open-source) Nevrale nettverk som skal etterligne en ekte hjerne Læres i utgangspunktet kun reglene, uten domenekunnskap Trenes opp ved å spille mot seg selv (reinforcement learning) Monte-Carlo tree search Alpha-zero knuste Stockfish i en match fra 2017 (muligens diskutable forutsetninger) 6
Algoritmer og teknikker for sjakkprogrammer - teori og praksis
A Microsoft Subsidiary Algoritmer og teknikker for sjakkprogrammer - teori og praksis Rune Djurhuus, stormester i sjakk 22. oktober 2008 Innhold Sjakkspillets kompleksitet Historien til computersjakk Søketre
DetaljerUNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet «Midterm» i: INF 4130: Algoritmer: Design og effektivitet Eksamensdag: 1. november 2011 Tid for «midterm»: Kl. 09:00 13:00 (4 timer) [124%,
DetaljerIntroduksjon til Algoritmeanalyse
Introduksjon til Algoritmeanalyse 26. August, 2019 Institutt for Informatikk 1 Hvordan skal vi tenke i IN2010? Effektive løsninger Hvordan skalérer problemet og løsningen? 2 Terminologi Betegnelse Problem
DetaljerKompleksitet og Beregnbarhet
Kompleksitet og Beregnbarhet 16. September, 2019 Institutt for Informatikk 1 Dagens plan Avgjørelsesproblemer. P EXPTIME NP Reduksjoner NP-kompletthet Uavgjørbarhet UNDECIDABLE DECIDABLE PSPACE NPC NP
DetaljerINF3110 Programmeringsspråk
INF3 Programmeringsspråk Dagens tema Syntaks (Komp 47, kap 3 (og noe 4)) Repetisjon Regulære språk i klassisk BNF Regulære språk i utvidet BNF Regulære språk i jerbanediagrammer Regulære språk og automater
DetaljerSpillevarianter og øvelser
Spillevarianter og øvelser Sjakk steg for steg Førstemann over Når man skal spille «Førstemann over», stiller man opp brikkene slik som dette: 8-+-+-+-+0 Hvit begynner, akkurat som i vanlig sjakk. Etterpå
DetaljerKONTINUASJONSEKSAMEN I EMNE. TDT4136 Logikk og resonnerende systemer. Lørdag 8. august 2009, kl
Side 1 av 6 KONTINUASJONSEKSAMEN I EMNE TDT4136 Logikk og resonnerende systemer Lørdag 8. august 2009, kl. 09.00 13.00 Oppgaven er utarbeidet av Tore Amble, og kvalitetssikret av Lester Solbakken. Kontaktperson
DetaljerINF Algoritmer og datastrukturer
INF2220 - Algoritmer og datastrukturer HØSTEN 2009 Institutt for informatikk, Universitetet i Oslo INF2220, forelesning 13: Eksamensgjennomgang Bjarne Holen (Ifi, UiO) INF2220 H2009, forelesning 13 1 /
DetaljerINF2820 Datalingvistikk V Gang Jan Tore Lønning
INF2820 Datalingvistikk V2015 6. Gang - 23.2 Jan Tore Lønning PARSING DEL 1 2 I dag Høyre- og venstreavledninger Recursive-descent parser (top-down) Begynne Shift-reduce parser (bottom-up) 25. februar
DetaljerCybersjakk. Cybersjakk. av Kristoffer Gressli
av Kristoffer Gressli Cybersjakk Selv om flere sjakklubber opplever rekordvekst, er verdens største sjakklubber i dag nettbaserte. Hva er de beste nettstedene for å spille og trene sjakk? Kristoffer Gressli
DetaljerRepetisjon. 1 binærtall. INF3110 Programmeringsspråk. Sist så vi ulike notasjoner for syntaks: Jernbanediagrammer. BNF-grammatikker.
INF3 Programmeringsspråk INF3 Programmeringsspråk Dagens tema Syntaks (Komp 47, kap 3 (og noe 4)) Repetisjon Regulære språk i klassisk NF Regulære språk i utvidet NF Regulære språk i jerbanediagrammer
DetaljerUNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i: INF 4130: lgoritmer: Design og effektivitet Eksamensdag: 12. desember 2008 Tid for eksamen: Kl. 09:00 12:00 (3 timer) Oppgavesettet
DetaljerKap.4, del 2: Top Down Parsering Kap. 5, del 1: Bottom Up Parsing INF5110, 7/ Legger ut en oppgave til kap. 4 (se beskjed).
Kap.4, del 2: Top Down Parsering Kap. 5, del 1: Bottom Up Parsing INF5110, 7/2-2008 Legger ut en oppgave til kap. 4 (se beskjed). tein Krogdahl Ifi, UiO Merk: Av de foilene som ble delt ut på papir på
DetaljerKunstig intelligens og telesektoren: hva blir det neste? Dr. Mohammed Sourouri Seniorkonsulent, Acando Mai, 2018
Kunstig intelligens og telesektoren: hva blir det neste? Dr. Seniorkonsulent, Acando Mai, 2018 Agenda Introduksjon til AI Muligheter for telesektoren Tips på veien Agenda Introduksjon til AI Muligheter
DetaljerINF oktober Stein Krogdahl. Kap 23.5: Trær og strategier for spill med to spillere
INF 4130 1. oktober 2009 Stein Krogdahl Dagens program: Første time: Kap 23.5: Trær og strategier for spill med to spillere Andre time, gjesteforelesning: Rune Djurhuus: Om sjakkspillende programmer (Ikke
DetaljerINF Algoritmer og datastrukturer
INF2220 - Algoritmer og datastrukturer HØSTEN 2009 Institutt for informatikk, Universitetet i Oslo INF2220, forelesning 5: Prioritetskø og Heap Bjarne Holen (Ifi, UiO) INF2220 H2009, forelesning 5 1 /
DetaljerKap. 5, del 1: Parsering nedenfra-opp (Bottom up parsing) INF5110. Stein Krogdahl Ifi, UiO
Kap. 5, del 1: Parsering nedenfra-opp (Bottom up parsing) INF5110 NB: Disse foilene er litt justert og utvidet i forhold til de som er delt ut tidligere på en forelesning. Ta dem ut på nytt! Stein Krogdahl
DetaljerGenerelle Tips. INF Algoritmer og datastrukturer. Åpen og Lukket Hashing. Hashfunksjoner. Du blir bedømt etter hva du viser at du kan
Generelle Tips INF2220 - lgoritmer og datastrukturer HØSTEN 2009 Institutt for informatikk, Universitetet i Oslo Du blir bedømt etter hva du viser at du kan Du må begrunne svar Du må ikke skrive av bøker
DetaljerTextureTool med SOSI-parser
TextureTool med SOSI-parser Verktøy for teksturmapping og automatisk generering av 3D-modeller Hovedprosjekt 11E Erlend A. Lorentzen Jørn G. Nyegaard-Larsen 3DSU 2008/2009 Høgskolen i Sør-Trøndelag Avdeling
DetaljerRekursjon. Binærsøk. Hanois tårn.
Rekursjon Binærsøk. Hanois tårn. Hvorfor sortering (og søking) er viktig i programmering «orden» i dataene vi blir fort lei av å lete poleksempel internett «alt» er søking og sortering alternativer til
DetaljerINF2820 Datalingvistikk V2012
INF2820 Datalingvistikk V2012 Jan Tore Lønning KONTEKSTFRIE GRAMMATIKKER OG PARSING 24. februar 2012 2 1 I dag Kontekstfrie grammatikker, avledninger og trær (delvis repetisjon) Parsing: ovenifra og ned
DetaljerALGORITMER OG DATASTRUKTURER
Stud. nr: Side 1 av 6 NTNU Norges teknisk-naturvitenskapelige universitet BOKMÅL Fakultet for informasjonsteknologi, matematikk og elektroteknikk Institutt for datateknikk og informasjonsvitenskap AVSLUTTENDE
DetaljerKap. 5, del 1: Parsering nedenfra-opp (Bottom-up parsering) INF / Stein Krogdahl Ifi, UiO
Kap. 5, del 1: Parsering nedenfra-opp (Bottom-up parsering) INF5110 8/2-2013 tein Krogdahl Ifi, UiO 1 Bottom up parsering (nedenfra-og-opp) Tokenklasser + ikketerminaler B B Tilstander Tabell for LR-parsering
DetaljerINF2820 Datalingvistikk V2012. Jan Tore Lønning
INF2820 Datalingvistikk V2012 Jan Tore Lønning KONTEKSTFRIE GRAMMATIKKER OG PARSING 23. februar 2012 2 I dag Kontekstfrie grammatikker, avledninger og trær (delvis repetisjon) Parsing: ovenifra og ned
DetaljerDynamisk programmering Undervises av Stein Krogdahl
Dynamisk programmering Undervises av Stein Krogdahl 5. september 2012 Dagens stoff er hentet fra kapittel 9 i læreboka, samt kapittel 20.5 (som vi «hoppet over» sist) Kapittel 9 er lagt ut på undervisningsplanen.
DetaljerPG4200 Algoritmer og datastrukturer Forelesning 10
PG4200 Algoritmer og datastrukturer Forelesning 10 Lars Sydnes, NITH 9. april 2014 NOE Å STUSSE PÅ? Quadratic probing i Hash-tabell: ( ) 2 i + 1 p = p + ( 1) i+1 2 Underforstått forutsetning: Heltallsaritmetikk
DetaljerHeuristisk søking (kap. 4) Emner: Kunstig intelligens (MNFIT-272) Forelesning 4
Kunstig intelligens (MNFIT-272) Forelesning 4 Emner: Problemløsning som søking (forts.) -Heuristisk søk, generelt -Søking i spill Søkekontroll -Produksjonssystem -Blackboard system Heuristisk søking (kap.
DetaljerSTK1100 våren Generell introduksjon. Omhandler delvis stoffet i avsnitt 1.1 i læreboka (resten av kapittel 1 blir gjennomgått ved behov)
STK1100 våren 2017 Generell introduksjon Omhandler delvis stoffet i avsnitt 1.1 i læreboka (resten av kapittel 1 blir gjennomgått ved behov) Ørnulf Borgan Matematisk institutt Universitetet i Oslo 1 «Overalt»
DetaljerINF Algoritmer og datastrukturer
INF0 - Algoritmer og datastrukturer HØSTEN 05 Institutt for informatikk, Universitetet i Oslo Forelesning 6: Grafer II Ingrid Chieh Yu (Ifi, UiO) INF0.09.05 / 8 Dagens plan: Minimale spenntrær Prim Kruskal
DetaljerBONDESLUTTSPILL XABCDEFGHY XABCDEFGHY PmK-+$ xabcdefghy
BONDESLUTTSPILL Konge + bonde mot Konge Diagram 1 6-+-+-mk-+& 4-+-+PmK-+$ Dette er en av grunnstillingene i bondesluttspill.stillingen er remis, uansett hvem som er i trekket. Følgende trekk illustrerer
DetaljerEKSAMEN I EMNE. TDT4136 Logikk og resonnerande system. Tysdag 4. desember 2007 Tid: kl
Side 1 av 6 Fagleg kontakt under eksamen: Tore Amble (94451) Ein engelsk versjon av oppgåva er vedlagt. Oppgåva kan besvarast på engelsk eller norsk. NYNORSK EKSAMEN I EMNE TDT4136 Logikk og resonnerande
DetaljerN-dronningproblemet Obligatorisk oppgave 1 I120, H-2000
N-dronningproblemet Obligatorisk oppgave 1 I120, H-2000 Innleveringsfrist : Mandag, 2. Oktober, kl.10:00 Besvarelsen legges i arkivskapet på UA i skuff merket I120 Innhold: utskrift av godt dokumentert
DetaljerIN Algoritmer og datastrukturer
IN2010 - Algoritmer og datastrukturer HØSTEN 2018 Ingrid Chieh Yu Institutt for informatikk, Universitetet i Oslo Forelesning 3: Prioritetskø og Heap Ingrid Chieh Yu (Ifi, UiO) INF2010 H2018, forelesning
DetaljerBinære trær: Noen algoritmer og anvendelser
Binære trær: Noen algoritmer og anvendelser Algoritmer / anvendelser: Søking i usortert binært tre Telling av antall noder og nivåer i treet Traversering av binære trær Binære uttrykkstrær Kunstig intelligens(?):
Detaljer6. oktober Dagens program: Første time: Andre time, gjesteforelesning: Uavgjørbarhet. Stein Krogdahl. (Ikke pensum, egne foiler legges ut)
Dagens program: Første time: INF 4130 6. oktober 2011 Stein Krogdahl Kap 23.5: Spilltrær og strategier for spill med to spillere Andre time, gjesteforelesning: Rune Djurhuus: Om sjakkspillende programmer
DetaljerRekursjon. Hanois tårn. Milepeler for å løse problemet
Rekursjon. Hanois tårn. Milepeler for å løse problemet Hanois tårn. Milepeler for å løse problemet Forstå spillet Bestemme/skjønne hvordan spillet løses Lage en plan for hva programmet skal gjøre (med
DetaljerINF Algoritmer og datastrukturer
INF2220 - Algoritmer og datastrukturer HØSTEN 2016 Institutt for informatikk, Universitetet i Oslo Forelesning 6: Grafer II Ingrid Chieh Yu (Ifi, UiO) INF2220 28.09.2016 1 / 30 Dagens plan: Dijkstra fort.
DetaljerObligatorisk oppgave 1 i INF 4130, høsten 2008
Obligatorisk oppgave 1 i INF 4130, høsten 2008 Leveringsfrist 3. oktober Institutt for informatikk Krav til innleverte oppgaver ved Institutt for informatikk (Ifi) Ved alle pålagte innleveringer av oppgaver
DetaljerEksamen - INF 283 Maskinlæring
Eksamen - INF 283 Maskinlæring 23 feb. 2016 Tid: 3 timer Eksamen inneholder 15 oppgaver, som vil bli vektet likt ved evaluering. 1 Table 1 attributt antall personer forsørget av låntaker månedlig inntekt
DetaljerLage større programmer (Python, relatert til teoridelen om Software Engineering ) TDT 4110 IT Grunnkurs Professor Guttorm Sindre
Lage større programmer (Python, relatert til teoridelen om Software Engineering ) TDT 4110 IT Grunnkurs Professor Guttorm Sindre Læringsmål og pensum Mål Lære å lage større og sammensatte programmer Kunne
DetaljerSpråktyper og syntaksanalyseteknikker. Dagens temaer. Hvordan lage en deterministisk automat? Fra jernbanediagram til ID-automat
Dagens temaer Språktyper og syntaksanalyseteknikker Regulære språk og automater (fortsatt fra forrige uke) Syntaksanalyse o Skanner o Parsering top-down bottom-up o LL()-parsering Reursive desent orutsetninger
DetaljerIN Algoritmer og datastrukturer
IN010 - Algoritmer og datastrukturer HØSTEN 018 Institutt for informatikk, Universitetet i Oslo Forelesning 6: Grafer III Ingrid Chieh Yu (Ifi, UiO) IN010 0.10.018 1 / 0 Dagens plan: Dybde-først søk Biconnectivity
DetaljerNP-komplett, hva nå?
NP-komplett, hva nå? Anta vi har klart å vise at problemet vårt er NP-komplett eller NP-hardt. Hva betyr det? Såfremt P NP (de fleste tror det) har ikke problemet noen polynomisk algoritme. Hva skal vi
DetaljerINF5110 Kap. 5: Parsering nedenfra-og-opp (Bottom-up parsing) 21/ Stein Krogdahl Ifi, UiO. Angående Oblig 1:
INF5110 Kap. 5: Parsering nedenfra-og-opp (Bottom-up parsing) Del 1 21/2-2014 Stein Krogdahl Ifi, UiO ngående Oblig 1: Blir lagt ut tirsdag/onsdag neste uke Oblig-ansvarlig Henning Berg orienterer 28/2
DetaljerBacktracking som løsningsmetode
Backtracking Backtracking som løsningsmetode Backtracking løser problemer der løsningene kan beskrives som en sekvens med steg eller valg Kan enten finne én løsning eller alle løsninger Bygger opp løsningen(e)
DetaljerKUNSTIG INTELLIGENS I PRAKSIS NOKIOS 2018 KURS 1.
KUNSTIG INTELLIGENS I PRAKSIS NOKIOS 2018 KURS 1. HVEM ER VI Fabian Sødal Dietrichson Accenture Technology Martin Kowalik Gran Accenture Technology Runar Gunnerud Accenture Consulting XKCD.COM AGENDA 1.
DetaljerSyntaksanalyse. Skanner (repetisjon) Parsering top-down bottom-up LL(1)-parsering Recursive descent Forutsetninger. IN 211 Programmeringsspråk
Syntaksanalyse Skanner (repetisjon) Parsering top-down bottom-up LL(1)-parsering Recursive descent Forutsetninger Ark 1 av 26 Forelesning 15.10.2001 Syntaksanalyse En parser er et program som analyserer
DetaljerMatematisk induksjon
Matematisk induksjon 1 Innledning Dette er et nytt forsøk på å forklare induksjon. Strategien min i forelesning var å prøve å unngå å få det til å se ut som magi, ved å forklare prinsippet fort ved hjelp
DetaljerTDT4105 IT Grunnkurs Høst 2012
TDT4105 IT Grunnkurs Høst 2012 Norges teknisk naturvitenskapelige universitet Institutt for datateknikk og informasjonsvitenskap Øving 9 1 Teori a) Hva er en protokoll? b) Hva er HTTP og når brukes den?
DetaljerINF2820 Datalingvistikk V2011. Jan Tore Lønning & Stephan Oepen
INF2820 Datalingvistikk V2011 Jan Tore Lønning & Stephan Oepen KONTEKSTFRIE GRAMMATIKKER OG PARSING 22. februar 2011 2 I dag Avledninger og normalformer Parsing: ovenifra og ned (top-down) Parsing: nedenifra
DetaljerDynamisk programmering
Dynamisk programmering Metoden ble formalisert av Richard Bellmann (RAND Corporation) på 50-tallet. Programmering i betydningen planlegge, ta beslutninger. (Har ikke noe med kode eller å skrive kode å
DetaljerDagens stoff er hentet fra kapittel 9 i læreboka, samt kapittel 20.5 (som vi «hoppet over» sist)
Dynamisk programmering Undervises av Stein Krogdahl 5. september 2012 Dagens stoff er hentet fra kapittel 9 i læreboka, samt kapittel 20.5 (som vi «hoppet over» sist) Kapittel 9 er lagt ut på undervisningsplanen.
DetaljerIN Algoritmer og datastrukturer
IN2010 - Algoritmer og datastrukturer HØSTEN 2018 Ingrid Chieh Yu Institutt for informatikk, Universitetet i Oslo Forelesning 4: Grafer I Ingrid Chieh Yu (Ifi, UiO) INF2010 H2018, forelesning 4 1 / 54
DetaljerINF Algoritmer og datastrukturer
INF2220 - Algoritmer og datastrukturer HØSTEN 2015 Ingrid Chieh Yu Institutt for informatikk, Universitetet i Oslo Forelesning 4: Prioritetskø og Heap Ingrid Chieh Yu (Ifi, UiO) INF2220 H2015, forelesning
DetaljerLars Vidar Magnusson
Binære Søketrær Lars Vidar Magnusson 14.2.2014 Kapittel 12 Binære Søketrær Søking Insetting Sletting Søketrær Søketrær er datastrukturer som støtter mange dynamiske sett operasjoner. Kan bli brukt både
DetaljerSpørsmålskompilering del 1
UNIVERSITETET I OSLO Spørsmålskompilering del 1 Parsering Logiske spørreplaner uttrykt i relasjonsalgebra Optimalisering ved hjelp av algebraiske lover Institutt for Informatikk INF3100 - V18 - Evgenij
Detaljer2/24/2012. Context-Free Grammars. I dag. Avledning. Eksempel: grammar1 PARSING. Jan Tore Lønning
INF2820 Datalingvistikk V2012 Jan Tore Lønning KONTEKSTFRIE GRAMMATIKKER OG PARSING 24. februar 2012 2 Context-Free Grammars Det mest sentrale verktøyet i datalingvistikk 24. februar 2012 3 2/24/2012 Speech
DetaljerFlaksefugl Nybegynner Scratch Lærerveiledning
Flaksefugl Nybegynner Scratch Lærerveiledning Introduksjon Nå skal vi lage vår egen versjon av spillet Flappy Bird. Du styrer fuglen Flakse ved å trykke på mellomromtasten for å flakse med vingene. Du
DetaljerINF Algoritmer og datastrukturer
INF2220 - Algoritmer og datastrukturer HØSTEN 2015 Ingrid Chieh Yu Institutt for informatikk, Universitetet i Oslo Forelesning 4: Prioritetskø og Heap Ingrid Chieh Yu (Ifi, UiO) INF2220 H2015, forelesning
DetaljerKap.4 del I Top Down Parsering INF5110 v2005. Arne Maus Ifi, UiO
Kap.4 del I Top Down Parsering INF5110 v2005 Arne Maus Ifi, UiO Innhold Motivering Boka gir først parsering uten First/Follow-mengder og så innfører dem. Vi tar teorien først First og Follow-mengder Fjerning
DetaljerAlgDat 12. Forelesning 2. Gunnar Misund
AlgDat 12 Forelesning 2 Forrige forelesning Følg med på hiof.no/algdat, ikke minst beskjedsida! Algdat: Fundamentalt, klassisk, morsomt,...krevende :) Pensum: Forelesningene, oppgavene (pluss deler av
DetaljerBacktracking som løsningsmetode
Backtracking Backtracking som løsningsmetode Backtracking brukes til å løse problemer der løsningene kan beskrives som en sekvens med steg eller valg Kan enten finne én løsning eller alle løsninger Bygger
DetaljerEksamensoppgave i TDT4120 Algoritmer og datastrukturer
Eksamensoppgave i TDT4120 Algoritmer og datastrukturer Faglig kontakt under eksamen Magnus Lie Hetland Tlf.!! 91851949 Eksamensdato! 15. august 2013 Eksamenstid (fra til)! 0900 1300 Hjelpemiddelkode D.
DetaljerHeap og prioritetskø. Marjory the Trash Heap fra Fraggle Rock
Heap og prioritetskø Marjory the Trash Heap fra Fraggle Rock Binær heap En heap er et komplett binært tre: Alle nivåene i treet, unntatt (muligens) det nederste, er alltid helt fylt opp med noder Alle
DetaljerSøk i tilstandsrom. Backtracking (Kap. 10) Branch-and-bound (Kap. 10) Iterativ fordypning. Dijkstras korteste sti-algoritme A*-søk (Kap.
Søk i tilstandsrom Backtracking (Kap. 10) DFS i tilstandsrommet. Trenger lite lagerplass. Branch-and-bound (Kap. 10) BFS Trenger mye plass: må lagre alle noder som er «sett» men ikke studert. Kan også
DetaljerINF5110 V2012 Kapittel 4: Parsering ovenfra-ned
INF5110 V2012 Kapittel 4: Parsering ovenfra-ned (top-down) Tirsdag 7. februar Stein Krogdahl, Ifi, UiO Oppgaver som gjennomgås i morgen, onsdag: -Spørsmålene på de to siste foilene fra onsdag 1/2 (Bl.a.
DetaljerAnvendelser av grafer
Grafer Anvendelser av grafer Passer for modeller/datastrukturer med usystematiske forbindelser Ikke-lineære og ikke-hierarkiske koblinger mellom dataobjektene Modellering av nettverk: Veisystemer/rutekart
DetaljerAlgoritmer og datastrukturer Kapittel 9 - Delkapittel 9.2
Delkapittel 9.2 Rød-svarte og 2-3-4 trær Side 1 av 16 Algoritmer og datastrukturer Kapittel 9 - Delkapittel 9.2 9.2 Rød-svarte og 2-3-4 trær 9.2.1 B-tre av orden 4 eller 2-3-4 tre Et rød-svart tre og et
DetaljerNotat for oblig 2, INF3/4130 h07
Notat for oblig 2, INF3/4130 h07 Dag Sverre Seljebotn 15. oktober 2007 Jeg har skrivd et noe langt notat for oblig 2 som interesserte kan se på. Merk at dette er kun for å gi et par tips (for oppgave 3
DetaljerINF5110 V2013 Stoff som i boka står i kap 4, men som er generelt stoff om grammatikker
INF5110 V2013 Stoff som i boka står i kap 4, men som er generelt stoff om grammatikker 29. januar 2013 Stein Krogdahl, Ifi, UiO NB: Ikke undervisning fredag 1. februar! Oppgaver som gjennomgås 5. februar
DetaljerINF Algoritmer og datastrukturer
INF2220 - Algoritmer og datastrukturer HØSTEN 2017 Ingrid Chieh Yu Institutt for informatikk, Universitetet i Oslo Forelesning 4: Prioritetskø og Heap Ingrid Chieh Yu (Ifi, UiO) INF2220 H2017, forelesning
DetaljerObligatorisk oppgave 1 i INF 4130, høsten 2009
Obligatorisk oppgave 1 i INF 4130, høsten 2009 Leveringsfrist fredag 2. oktober Institutt for informatikk Krav til innleverte oppgaver ved Institutt for informatikk (Ifi) Ved alle pålagte innleveringer
DetaljerSøkeproblemet. Gitt en datastruktur med n elementer: Finnes et bestemt element (eller en bestemt verdi) x lagret i datastrukturen eller ikke?
Søking Søkeproblemet Gitt en datastruktur med n elementer: Finnes et bestemt element (eller en bestemt verdi) x lagret i datastrukturen eller ikke? Effektiviteten til søkealgoritmer avhenger av: Om datastrukturen
DetaljerINF2220: Forelesning 2
INF2220: Forelesning 2 Mer om analyse av algoritmer Analyse av binære søketrær Balanserte søketrær Rød-svarte trær (kapittel12.2) B-trær (kapittel 4.7) ANALYSE AV ALGORITMER 2 Analyse av tidsforbruk Hvor
DetaljerRF5100 Lineær algebra Leksjon 1
RF5100 Lineær algebra Leksjon 1 Lars Sydnes, NITH 20.august 2013 I. INFORMASJON FAGLÆRER Kontakt: Lars Sydnes lars.sydnes@nith.no 93035685 Bakgrunn: Doktorgrad i Matematikk fra NTNU (2012), Siv.ing. Industriell
DetaljerALGORITMER OG DATASTRUKTURER
Stud. nr: Side 1 av 6 NTNU Norges teknisk-naturvitenskapelige universitet BOKMÅL Fakultet for informasjonsteknologi, matematikk og elektroteknikk Institutt for datateknikk og informasjonsvitenskap AVSLUTTENDE
DetaljerLØSNINGSFORSLAG, EKSAMEN I ALGORITMER OG DATASTRUKTURER (IT1105)
Norges teknisk naturvitenskapelige universitet Institutt for datateknikk og informasjonsvitenskap Side 1 av 8 Faglig kontakt under eksamen: Magnus Lie Hetland LØSNINGSFORSLAG, EKSAMEN I ALGORITMER OG DATASTRUKTURER
DetaljerGrunnleggende Grafalgoritmer III
Grunnleggende Grafalgoritmer III Lars Vidar Magnusson 26.3.2014 Kapittel 21 og 22 Usammenhengende-sett Strongly-connected components Usammenhengende Sett Usammenhengende sett er ikke en grafalgoritme i
DetaljerUNIVERSITETET I OSLO
Eksamen i UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamensdag: 13. desember 2011 Tid for eksamen: 14.30 18.30 Oppgavesettet er på 7 sider. Vedlegg: INF2220 lgoritmer og datastrukturer
DetaljerIntroduksjon til - LEDELSE -
Introduksjon til - LEDELSE - Hva er ledelse og hva gjør ledelse så vanskelig? Hva er god ledelse og hvilke lederoppgaver står en leder ovenfor? Skrevet av: Kjetil Sander Utgitt av: estudie.no Revisjon:
DetaljerHeap* En heap er et komplett binært tre: En heap er også et monotont binært tre:
Heap Heap* En heap er et komplett binært tre: Alle nivåene i treet, unntatt (muligens) det nederste, er alltid helt fylt opp med noder Alle noder på nederste nivå ligger til venstre En heap er også et
DetaljerKurs i automatisk skog kartlegging 5-7 september 2018
Kurs i automatisk skog kartlegging 5-7 september 2018 juni 2018 TerraNor har gleden av å invitere til kurs i bruken av ecognition Developer fra Trimble, verdens mest avanserte program for objekt analyse
DetaljerPG4200 Algoritmer og datastrukturer Forelesning 3 Rekursjon Estimering
PG4200 Algoritmer og datastrukturer Forelesning 3 Rekursjon Estimering Lars Sydnes, NITH 22.januar 2014 I. Rekursjon commons.wikimedia.org Rekursjon i naturen En gren er et tre som sitter fast på et tre.
DetaljerKonvertering mellom tallsystemer
Konvertering mellom tallsystemer Hans Petter Taugbøl Kragset hpkragse@ifi.uio.no November 2014 1 Introduksjon Dette dokumentet er ment som en referanse for konvertering mellom det desimale, det binære,
DetaljerINF2220: Time 8 og 9 - Kompleksitet, beregnbarhet og kombinatorisk søk
INF0: Time 8 og 9 - Kompleksitet, beregnbarhet og kombinatorisk søk Mathias Lohne mathialo Rekursjonseksempel Eksempel Finn kjøretid for følgende program: (Ex11 b) 1 float foo(a) { n = Alength; 3 4 if
DetaljerINF 3/ oktober : Avslutte Branch and Bound 23.6: Trær og strategier for spill med to spillere
INF 3/4130 18. oktober 2007 Dagens forelesning: Kapittel 23 i hovedboka 23.5: Avslutte Branch and Bound 23.6: Trær og strategier for spill med to spillere Oblig 2 har ligget ute en stund. Frist 26 oktober.
DetaljerSøking i strenger. Prefiks-søking Naiv algoritme Knuth-Morris-Pratt-algoritmen Suffiks-søking Boyer-Moore-algoritmen Hash-basert Karp-Rabin-algoritmen
Søking i strenger Vanlige søkealgoritmer (on-line-søk) Prefiks-søking Naiv algoritme Knuth-Morris-Pratt-algoritmen Suffiks-søking Boyer-Moore-algoritmen Hash-basert Karp-Rabin-algoritmen Indeksering av
DetaljerEKSAMEN I EMNE. TDT4136 Logikk og resonnerende systemer. Tirsdag 4. desember 2007 Tid: kl. 09.00 13.00
Side 1 av 6 Faglig kontakt under eksamen: Tore Amble (94451) En engelsk versjon av oppgaven er vedlagt. Oppgaven kan besvares på engelsk eller norsk. BOKMÅL EKSAMEN I EMNE TDT4136 Logikk og resonnerende
DetaljerINF Algoritmer og datastrukturer
INF2220 - Algoritmer og datastrukturer HØSTEN 2016 Ingrid Chieh Yu Institutt for informatikk, Universitetet i Oslo Forelesning 4: Prioritetskø og Heap Ingrid Chieh Yu (Ifi, UiO) INF2220 H2016, forelesning
DetaljerVi skal se på grafalgoritmer for:
Grafalgoritmer Vi skal se på grafalgoritmer for: Traversering: Oppsøk alle nodene i grafen en og bare en gang, på en eller annen systematisk måte Nåbarhet: Finnes det en vei fra en node til en annen node?
DetaljerFlerveis søketrær og B-trær
Flerveis søketrær og B-trær Flerveis (multi-way, n-ært) søketre Generalisering av binært søketre Binært søketre: Hver node har maksimalt 2 barn og 1 nøkkelverdi. Barna ligger sortert på verdi i forhold
DetaljerLast ned Simens sjakkbok - Simen Agdestein. Last ned. Last ned e-bok ny norsk Simens sjakkbok Gratis boken Pdf, ibook, Kindle, Txt, Doc, Mobi
Last ned Simens sjakkbok - Simen Agdestein Last ned Forfatter: Simen Agdestein ISBN: 9788256273478 Antall sider: 166 Format: PDF Filstørrelse: 16.26 Mb Vår kjente stormester Simen Agdestein gjennomgår
DetaljerKONTINUASJONSEKSAMEN I EMNE. TDT4136 Logikk og resonnerande system. Laurdag 8. august 2009, kl. 09.00 13.00
Side 1 av 6 KONTINUASJONSEKSAMEN I EMNE TDT4136 Logikk og resonnerande system Laurdag 8. august 2009, kl. 09.00 13.00 Oppgåva er laga av Tore Amble, og kvalitetssikret av Lester Solbakken. Kontaktperson
DetaljerEksamensoppgave i TDT4120 Algoritmer og datastrukturer
Eksamensoppgave i TDT4120 Algoritmer og datastrukturer Faglig kontakt under eksamen Magnus Lie Hetland Tlf. 91851949 Eksamensdato 11. august 2014 Eksamenstid (fra til) 0900 1300 Hjelpemiddelkode D. Ingen
DetaljerINF5830, H2009, Obigatorisk innlevering 2. 1 Oppgave: Unære produksjoner i CKY
INF5830, H2009, Obigatorisk innlevering 2 Innleveringsfrist 4.11 1 Oppgave: Unære produksjoner i CKY For bottom-up parsere, som CKY, har vi forutsatt at grammatikken er på CNF. For de ikke-leksikalske
DetaljerAUTOCAD 2008. Artikkelserie. Tabeller
Odd-Sverre Kolstad AUTOCAD 2008 Artikkelserie Tabeller Gyldendal Norsk Forlag AS 2007 Omslag Marianne Thrap Redaktør: Rune Kjelvik Formgiver: Rune Kjelvik 1. opplag ISBN 978-82-05-37108-8 Alle henvendelser
DetaljerGrådige algoritmer. Lars Vidar Magnusson Kapittel 16. Aktivitetvelgingsproblemet Huffmankoder
Grådige Algoritmer Lars Vidar Magnusson 12.3.2014 Kapittel 16 Grådige algoritmer Aktivitetvelgingsproblemet Huffmankoder Ideen bak Grådige Algoritmer Ideen bak grådige algoritmer er å løse optimaliseringsproblem
DetaljerTDT4105 IT Grunnkurs Høst 2014
TDT4105 IT Grunnkurs Høst 2014 Norges teknisknaturvitenskapelige universitet Institutt for datateknikk og informasjonsvitenskap Øving 7 1 Teori a) Konverter tallet 69 fra det desimale til det binære og
DetaljerKorteste vei i en vektet graf uten negative kanter
Dagens plan: IN - Algoritmer og datastrukturer HØSTEN 7 Institutt for informatikk, Universitetet i Oslo IN, forelesning 7: Grafer II Korteste vei, en-til-alle, for: Vektet rettet graf uten negative kanter
DetaljerTuringmaskiner.
Turingmaskiner http://www.youtube.com/watch?v=e3kelemwfhy http://www.youtube.com/watch?v=cyw2ewoo6c4 Søking i strenger Vanlige søkealgoritmer (on-line-søk) Prefiks-søking Naiv algoritme Knuth-Morris-Pratt-algoritmen
Detaljer