od lavor » 13. 5. 2007 22:53
kedze som bol na tom termine a kdesi som vyhrabal zadanie, tak tu je pisomka:
Haskell:
1. K peermutaci P(prvku od 1 do n) muzeme definovat vektor inverzi I delky n,pro niz plati,ze:
Kód: Vybrat vše
Oi=pocet prvku {j je mensie ako i| (Pj je vascie ako Pi)}
Tedy napr k permutaci P={3,2,1,4} je prislusnym vektorem inverzi O={0,1,2,0}.
Sestavte funkce,ktere:
a) k dane permutaci urci prislusny vektor inverzi
b) k danemu vektoru inverzi urc prislusnu permutaci
c) k vektoru urci zda je to vektor inversi nejake postupnosti
2. Najdete komponenty v neorientovanem grafu a mosty v nich.
Prolog:
3. Permutaci prvku 1 do n muzeme reprezentovat bud jako "vektor obrazu"
jako seznam netrivialnych cyklu prislusneho zobrazeni
Kód: Vybrat vše
c(7, [ [1,3,4] , [5,6] ] ) (trivialni cykly [2] a [7] sme vynechali)
Sestavte predikat, ktery realizuje umocnovani permutaci reprezentovanych pomoci cyklu.
4. Sestavte predikat
ktery uspeje pokud je Formule spravne utvorena formule vyrokoveho poctu
Kód: Vybrat vše
(spojky: unarni ~ (negace), binarni: & (konjunkce), # (disjunkce), => (implikace) s obvyklymi prioritami; zavorky pro zmenu poradi vyhodnocovani; vyrokov premenne - mala pismena)
a sdeli zda formule je nebo neni tautologii.
Tautologie je formule pravdiva nezavisle na pravdivosti vyrokovych premennych. Napiste i predikaty, ktere zajisti pouziti prislusnych spojek jako operatoru.
kedze som bol na tom termine a kdesi som vyhrabal zadanie, tak tu je pisomka:
Haskell:
1. K peermutaci P(prvku od 1 do n) muzeme definovat vektor inverzi I delky n,pro niz plati,ze:
[code]Oi=pocet prvku {j je mensie ako i| (Pj je vascie ako Pi)}[/code]
Tedy napr k permutaci P={3,2,1,4} je prislusnym vektorem inverzi O={0,1,2,0}.
Sestavte funkce,ktere:
a) k dane permutaci urci prislusny vektor inverzi
b) k danemu vektoru inverzi urc prislusnu permutaci
c) k vektoru urci zda je to vektor inversi nejake postupnosti
2. Najdete komponenty v neorientovanem grafu a mosty v nich.
Prolog:
3. Permutaci prvku 1 do n muzeme reprezentovat bud jako "vektor obrazu"
[code][3,2,4,1,6,5,7][/code]
jako seznam netrivialnych cyklu prislusneho zobrazeni
[code]c(7, [ [1,3,4] , [5,6] ] ) (trivialni cykly [2] a [7] sme vynechali)[/code]
Sestavte predikat, ktery realizuje umocnovani permutaci reprezentovanych pomoci cyklu.
4. Sestavte predikat
[code]taut(+Formule)[/code]
ktery uspeje pokud je Formule spravne utvorena formule vyrokoveho poctu
[code](spojky: unarni ~ (negace), binarni: & (konjunkce), # (disjunkce), => (implikace) s obvyklymi prioritami; zavorky pro zmenu poradi vyhodnocovani; vyrokov premenne - mala pismena)
[/code]
a sdeli zda formule je nebo neni tautologii.
Tautologie je formule pravdiva nezavisle na pravdivosti vyrokovych premennych. Napiste i predikaty, ktere zajisti pouziti prislusnych spojek jako operatoru.