- přednáška 24.února
- Komentář k praktickým testům a udílení zápočtů
- Náplň letního semestru, zkouška
- Vnitřní a vnější třídění - rozdíly
- Vnitřní třídění - specifikace úlohy, adresní a asociativní algoritmy
- Radixové třídění - příklad adresního třídícího algoritmu
- Jednodušší forma pro třídění posloupností, v nichž mohou být je čísla z malého rozsahu hodnot
- Asociativní algoritmy - založené na porovnávání klíčů
třída algoritmů, které "třídí "na místě" (in situ)
- Opakování jednoduchých algoritmů složitosti O(n2):
- přímé zatřiďování
- třídění výběrem
- třídění výměnami - bubblesort, shakesort
- Datová struktura heap (hromada) a základní operace na ní
delete-min, přidání prku
- Reprezentace heapu v poli - úsek pole reprezentuje ne jeden strom, ale les
- Procedura sift, která přidává k existujícímu heapu prvek "před ním v poli"
- Algoritmus heapsortu - složitost i v nejhorším případě n*log(n)
- zdrojové texty procedur realizujících jednotlivé třídící algoritmy jsou ke stažení na WWWW
- Podařilo se nám dosáhnout "optima". Neexistuje totiž žádný asociativní algoritmus vnitřního třídění,
který by měl asymptotickou časovou složitost lepší než n*log(n).
- Důkaz tvrzení, že neexistuje žádný algoritmus vnitřního třídění, kterému by v nejhorším případě
stačilo méně než n*log(n) porovnání
- Náčrt důkazu, že obdobné tvrzení platí i pro průměrný případ
- Platí toto tvrzení i pro nejlepší případ ?
- V mnoha učebnicích si můžete přečíst "slogan", že quicksort je nejlepší algoritmus v nějšího třídění,
rozmyslete si v čem může být lepší než heapsort, který třídí na místě a se složitostí n*log(n) i v nejhorším případě,
příště se k tomu vrátíme
- přednáška 3.března
- Vztah algoritmů quicksort a heapsort
- optimalizace quicksortu
- Mergesort třídí v čase n*log(n), ale ne in situ - potřebuje dvě pole
- Ukazatele a dynamická alokace paměti,
bázový typ ukazatele, dynamická alokace paměti pomocí procedury new,
procedura dispose pro uvolňování dynamické paměti,
konstanta nil. Jednoduchý příklad.
V definici typu ukazatel může být použit identifikátor jeho bázového typu i když ještě nebyl bázový typ definován.
- Možnost vzniku "smetí v paměti" ztratíme-li možnost přístupu k dynamicky alokované proměnné
- Jednosměrné spojové seznamy:
postavení seznamu, vkládání prvku za zadany prvek, vkládání prvku před zadaný prvek,
vypouštění následujícího prvku
- Další operace s jednosměrnými spojovými seznamy:
průchod seznamem, hledání prvku v seznamu, hledání s použitím zarážky
- přednáška 10.března
- opakování dynamicky alokované proměnné, ukazatele, procedury new a dispose
- Animace práce se spojovými seznamy
- spojový seznam
- přidání prvku na začátek spojového seznamu
- odebrání prvku ze začátku spojového seznamu
- průchod spojovým seznamem
- přidání prvku na konec spojového seznamu
pozor, nepracuje, je-li seznam prázdný
- odebrání prvku z konce spojového seznamu
- Jiné typy seznamů, např.:
- Seznamy s hlavou a/nebo s ocasem (fiktivní prvky na začátku resp. na konci seznamu)
- Cyklické seznamy
- Dvousměrné seznamy
Zkuste si naprogramovat jednoduché akce s nimi
-
Podprogram pro otáčení seznamu s hlavou
rozmyslete si kolik proměnných potřebujete
- Procedura search pro uspořádaný seznam s hlavou a ocasem - vyhledávává
resp. vkládá prvek s daným klíčem
- Samoorganizující se seznamy
( např. nalezený prvek se stěhuje na první místo, nový prvek je vkládán na začátek) - zkuste si naprogramovat.
- Řídké polynomy - reprezentace pomocí cyklického seznamu s hlavou,
její výhody oproti prvoplánovým alternativám (např. pole koeficientů, jednoduchý nezacyklený seznam nenulovách členů,
ukázka alokace a uvolňování paměti "svépomocí",
procedura pro nedestruktivní sčítání dvou řídkých polynomů.
- Řídké matice - je třeba kriticky hodnotit přínosy té které implementace
- Technická úloha na rozmyšlenou:
Napsat proceduru, která na základě dat ze vstupu vytvoří probíranou reprezentaci řídké matice
- Implementace fronty a zásobníku pomocí pole a spojových seznamů
- přednáška 17.března 12:20
- Práce Pascalu s pamětí - zásobník a heap, typická realizace heapu s ukazatelem na jeho vrchol a se seznamem "volných děr"
- Prostředky pro alokaci a uvolňování paměti
- Garbage collector - v Pascalu není
- new a dispose
- svépomocí - proč může být někdy vhodné
- mark a release - nepoužívat !!!
- prostředky nízké úrovně
MemAvail, MaxAvail, Getmem, Freemem - používat jen pro speciální účely,
kdy je to vhodné - na přednášce teprve bude
- Stromy - terminologie
- Různá data se stromovou strukturou, různé datové reprezentace stromu
- Kanonická reprezentace lesa pomocí binárního stromu
- Pojem binárního vyhledávacího stromu
- Algoritmus vyhledávání v binárním vyhledávacím stromě
- Binární vyhledávací stromy - vkládání prvku do binárního vyhledávacího stromu
- myšlenka vypuštění prvku s daným klíčem
její naprogramování
- Animace operací s binárními vyhledávacími stromy
- přednáška 24.března 14:00
- Dokonale vybalancované stromy
- Vytvoření dokonale vybalancovaného binárního vyhledávacího stromu
o N prvcích z rostoucí posloupnosti čísel na vstupu. Zkuste naprogramovat i nerekurzivně.
- Dokonale vybalancované binární vyhledávací stromu nejsou vhodné pro dynamické tabulky (t.j. tabulky,
ze kterých se mohou prvky vyhazovat a do nichž se mohou vkládat, proto se spíše používají jiné definice balancovaných stromů.
- AVL stromy - definice a datová reprezentace ( v každém uzlu "navíc" položka bal: -1..1,
která udává rozdíl výšek levého a pravého podstromu
- Fibonnaciovy stromy - nejhorší případ AVL stromů
- Rotace pro odstranění poruch v AVL stromu
- Algoritmy pro vkládání prvku do AVL stromu a vypouštění prvku z něj mají složitost log(n)
při vkládání stačí provést (je-li to potřeba) jednu rotaci
při vypouštění je v nepříznivém případě provést rotaci v každém prvku na cestě od kořene stromu a vypouštěnému prvku
- animace operací s AVL stromy
- vkládání do AVL stromu
- rotace při vkládání do AVL stromu
- vypouštění z AVL stromu
- rotace při vypouštění z AVL stromu
- datové soubory - určení, výhody a nevýhody oproti textovým souborům
reset, rewrite, close, read, write
- přímý přístup k datovým souborům - proč je podstatně pomalejší než sekvenční
podprogamy seek, pos, setpos, truncate,
- Vnější třídění - charakteristika úlohy, základní idea algoritmu přímého slučování, definice běhu
- Datový typ stream, který umožňuje testovat hodnotu položky, kterou jsme z něj ještě nepřečetli,
jeho programová realizace
- programová realizace algoritmu přímého slučování
podívejte se na ní, příště si budeme povídat o různých způsobech vylepšení základní idey přímého slučování
- Rozmyslete si:- algoritmus, který slévá "jednice do dvojic", ..... , 2(n-1)-tice do 2n-tic,
není motivací pro algoritmus přirozeného slévání, ale neúnosně pomalým algoritmem,
jehož implementace je navíc složitější než u algoritmu přirozeného slučování.
- přednáška 31.března
- různá vylepšení základní myšlenky přímého slučování
- při slévání rovnou rozděluji do více souborů
- více pásek, diskuse o tom, že nepomůže pracovat s příliš mnoha
- idea polyfázového třídění - ideální distribuce běhů
- zvětšování délky běhů (a tedy i zmenšování jejich počtu) předtříděním ve vnitřní paměti,
příklad použití dvou heapů
- binární vyhledávací stromy opakování
- Vypouštění intervalu z binárního vyhledávacího stromu (rekursivně z podstromů a pak z kořene)
rozmyslet a zkusit naprogramovat nerekursivní řešení
- Hašování jakožto alternativa k (vyváženým) stromům
bezkolizní hašování, kolize a různé metody jejich řešení, metoda řetízků, efektivita hašování
- přednáška 7.dubna
Pravděpodobný obsah přednášky
- Hledání optimálního uzávorkování součinu N matic jakožto "typická" úloha na dynamické programování
- Jednoduché úlohy vhodné k řešení pomocí dynamického programování
- mrkev a petržel
- Hledání nejdelší rostoucí vybrané posloupnosti - už jsme
dělali
- Hledání maximálního podřetězce - trasování
- Problém batohu s celočíselným zadáním
Algoritmus řešení problému batohu
- trasování konkrétního výpočtu
obecný problém batohu je NP úplný (stručně řečeno to znamená,že
- není znám polynomiální algoritmus pro řešení úlohy
- neumíme dokázat, že polynomiální algoritmus neexistuje
- kdyby byl polynomiální algoritmus nalezen, znamenalo by to existenci polynomiálních algoritmů
pro celou řadu složitých problémů
proto matematici příliš v možnost existence takového algoritmu nevěří)
- Rozmyslet:
- algoritmus pro optimalizaci rozložení písmen na klávesy mobilního telefonu
(jsou zadány frekvence písmen, optimalizuje se počet stisků kláves).
- minimální triangulace - viz kniha P.Topfera
- Optimální binární vyhledávací strom k zadaným frekvencím dotazů
- Rekursivní implementace vkládání do kořene binárního vyhledávacího stromu
- Technické výhody alternativní implementace binárního stromu s polem synů - mohu předat směr jako parametr
rozmyslete si
- přednáška 14.dubna
Na přednášce pravděpodobně bude
- Charakteristika metody dynamického programování
- Opakování hlavní myšlenky dynamického programování
- Skutečně si rozmyslete:
- řešení úlohy o optimalizaci rozložení písmen na klávesnici mobilu
- Optimální binární vyhledávací strom k zadaným frekvencím pozitivních a negativních dotazů
- Záznam s variantami pevné a variantní položky, rozlišovací položka (může chybět),
varianta může opět obsahovat pevné položky a další varianty
Význam - "nový typ" je "disjuktním" sjednocením jiných typů, šetření pamětí - paměťový nárok je maximem paměťových nároků variant,
nikoli jejich součtem.
Kdysi velmi důležité pro praktické programování,
dnes - téhož jde dosáhnout podstatně lépe v rámci objektového programování.
Porovnání použití záznamu s variantami a
a popisu téhož pomocí dědičnosti (návrh hierarchie tříd)
- Vývoj programování
- strojový kód, absolutní adresy
- První programovací jazyky
proměnné, řídící příkazy, cykly, podprogramy
- Strukturované programování
- strukturované řídící příkazy
- datové struktury
- role podprogramů
- návrh programu metodou shora dolů
- Modulární programování
separátní kompilace, abstraktní datové struktury, pojem metody
- Objektové programování - charakteristika přínosů
- První princip objektového programování: zapouzdření - encapsulation
metody jsou atributem datové struktury
jednoduchý příklad
- Terminologie:
třída ... datový typ
objekt ... proměnná daného typu (exemplář, instance třídy)
- Motivační příklad pro zavedení objektového programování
- Dědičnost.
Terminologie: Třída, objekt, podtřída, nadtřída.
Podtřída zdědí všechny atributy nadtřídy a může
- přidat datové atributy
- přidat další metody
- předefinovat metody sděděné z nadtřídy
- Ochrana přiřazovacího příkazu - lze přiřadit do proměnné pro třídu objekt podtřídy a nikoli naopak.
- přednáška 21.dubna
Na přednášce pravděpodobně bude
- Opakování objektového programování:
zapouzdření (encapsulation), dědičnost (inheritance), ochrana přiřazovacího příkazu
Terminologie: Třída, objekt, podtřída, nadtřída.
- Ochrana atributů třídy - private a public
- konstruktory
- Rozšířená syntaxe procedur new a dispose s druhým parametrem voláním konstruktoru resp. destruktoru
-
Doporučení pro objektové programování v Pascalu:
- Neužívejte staticky alokované objekty.
- Při alokaci a dealokaci dynamických objektů užívejte jen rozšířenou syntaxi
new resp. dispose s voláním konstruktoru resp. destruktoru.
- Každá třída, jejíž objekty chcete vytvářet (není jen abstraktní),
by měla mít konstruktor a destruktor (třeba zděděný nebo prázdný).
- Prvním příkazem konstruktoru podtřídy by mělo být
zavolání konstruktoru její nadtřídy (slušnost a dobrý návyk).
- Unita obsahující
objektovou implementaci dvojsměrných lineárních seznamů s hlavou
abstraktní typy, přetypování ukazatelů na objekt,implicitní parametr self, operátor @, funkce typeof,
destruktor třídy head, ...
příklad je poměrně komplexní, ilustruje mnoho jevů, některé jsme ještě neprobrali,
vrátíme se k němu, rozmyslete si případné dotazy
- ukázkové příklady na polytmorfismus
s hierarchií tříd zvíře, pes a kočka
k příkladům se vrátíme
- Polymorfismus, virtuální metody, VMT tabulka, role konstruktoru
- funkce typeof a její použití
- přednáška 28.dubna
- Průzkum zájmu o termíny zkoušky
- Opakování objektového programování
- ukázkové příklady na polytmorfismus
s hierarchií tříd zvíře, pes a kočka
- Polymorfismus, virtuální metody, VMT tabulka, role konstruktoru
- Antagonistické hry dvou hráčů s úplnou informací a nulovým součtem
- Shanonnova věta o existenci neprohrávající strategie,
algoritmus minimaxu jako její důkaz
- Negamaxová modifikace algoritmu minimaxu
- Když popisujeme hru vždy z pohledu hráče na tahu, vede to k jednodušším formulacím tvrzení i algoritmů .
- Použití algoritmu minimaxu v případě her, kde je úplný strom hry neúnosně velký - počítání do zvoleného horizontu
(doplněné vyhledáváním "tichých" pozic) a použití statické ohodnocovací funkce pro ohodnocení listů tohoto podstromu
minimax v tomto kontextu již není používán jako přesný algoritmus
pro hledání optimální strategie, ale jako součást heuristiky
- Kvalita statické ohodnocovací funkce versus hlubší horizont
- motivace alfa-beta metody procházení stromu hry jako heuristiky pro efektivnější nalezení přesné minmaxové hodnoty zadaného stromu hry.
- přednáška 5.května
Pravděpodobný obsah přednášky
- Tento pátek je programátorská soutěž pro studenty I.ročníku:
- Kdy: Pátek 6.5.2010 15:00 až 18:00
- Kdo: Studenti 1.ročníku MFF UK oborů informatika, matematika
- Jak: Skupina v CodExu
- Co: Úlohy, podobně jako ostatní úlohy v CodExu
- Přihlašování: Není třeba se přihlašovat, všichni budou přihlášení
- Submity: povoleno 5 submitů pro každou úlohu
- Proč:
- zjistit,
- jak na tom jsou ti, kdo si myslí, ze jsou špatní (a možná to není pravda)
- jak na tom jsou ti, kdo si myslí, ze jsou dobří (a možná to není pravda)
- kdo má chuť si hrát
- pro radost z řešení problémů
- Výsledky: Až po skončení soutěže.
- Výhry, kontrola nepodvádění : žádné, každý to dělá pro sebe
- O zkouškách
- Požadavky ke zkoušce - prohlédněte si,
abyste příšte mohli mít dotazy
- ukázková zadání příkladů k první části zkouškové písemky
- Algoritmus alfa-beta prořezávání jako efektivnější nalezení přesné minimaxové hodnoty
- efektivita alfa- beta prořezávání a různé metody analýzy plausibilty (t.j. snah o to, aby
bylo prořezávání efektivní)
- Metoda okénka
- Kaskádní varianta s použitím okénka
- Definice vyhraných a prohraných pozic, jejich hledání v případě jednoduchých konkrétních her
- řešení úlohy o optimalizaci rozložení písmen na klávesnici mobilu
- Opět rozmyslet:Optimální binární vyhledávací strom k zadaným frekvencím pozitivních a negativních dotazů
- Funkcionální a procedurální parametry, Funkcionální a procedurální typy, dlouhé adresy a přepinač F.
- Podprogram pro hledání kořene rovnice F(x)=0 metodou půlení intervalu s funkcionálním parametrem F
- přednáška 13.května
Pravděpodobný obsah přednášky
- přednáška 19.května
- B- stromy algoritmy vkládání a vypouštění
- opakování lineárního algoritmu prohledání mediánu
- jednoduchý lineární algoritmus pro nalezení prvních n prvků z n2 prvků
- nalezení optimálního binárního vyhledávacího stromu ze zadaných frekvencí pozitivních dotazů
myšlenka modifikace, aby pracovalo v čase O(n2)
- vytvoření dynamického pole v Brorland Pascalu pomocí prostředků nízké úrovně pro alokaci a dealokaci paměti
- Ukázky možných (teď) už nemožných) zkouškových příkladů
- přednáška 26.května
zajímavé algoritmy - bude suplována RNDr Tomášem Holanem