Fórum studentů MFF UK

1. Prolog (POVINNÁ): Transformace obecného kořenového stromu. Na vstupu jen zadán obecný (ne nutně binární) kořenový strom, jehož vrcholy jsou ohodnoceny (ne nutně různými) přirozenými čísly. Cílem této úlohy je sestavit predikát trans/2, který k zadanému vstupnímu stromu T sestrojí strom téhož tvar...

1. POVINNÁ (Prolog) : Generátor cyklické grupy Cílem této úlohy je definovat predikát cyklicka/2 , který obdrží multiplikativní tabulku grupy jako matici (seznam seznamů) prvků, kde první řádek matice obsahuje násobení grupovou jednotkou e, pořadí prvků odpovídající řádkům a sloupcům je stejné, zji...

1) 5 tvrzení o stromu a dokázat jednu ekvivalenci.
2) Princip inkluze a exkluze + důkaz.
3) Dokázat, že pokud v grafu existuje uzavřený sled liché délky, tak v něm existuje i lichá kružnice.
4) Střední hodnota počtu nepřerušených sérií stejných hodnot v posloupnosti 0 a 1 délky n.