Fórum studentů MFF UK

Dneska jsme dostali tuto sadu prikladu:

1) Reseni dvou rekurentnich rovnic
a) T(n) = 2T(n/2) + n^3
b) T(n) = 2T(2n/3) + T(n/3) + n * sqrt(n)

2) priklad z 3. cviceni cislo 3 (podle toho dokumentu co ma p. Cepek na webu)
tj. ze DFS minimalizuje pocet inkonzistentnich hran.... - dokazat nebo vyvratit

3) Problem TAUT
a) Je TAUT ve tride co-NP?
b) Jaka je slozitost TAUT pokud je F CNF?

Vi nekdo, kdy muzeme ocekavat vysledky (resp. my "ostatni", co nejdeme na predtermin)?

Jinak myslim, ze kombinace prikladu byla vice nez pratelska...

Jestli jsem dobre slysel a pochopil, tak vysledky by meli byt do nedele v SISu,
protoze potom odleta kamsi do /dev/null.
Kdo do te doby nebude mit zapocetv SISu tak to pravdepodobne neudelal.

Opravte me pokud to pisu blbe prosim

Vypadá to tak, já dostal zápočet už 16. tj. v pátek. Btw, datum toho zápočtu je v předmětu o rok pozadu

Void píše:Vypadá to tak, já dostal zápočet už 16. tj. v pátek.

Me se taky nekdy po poledni objevil zapocet v SISu

Btw, datum toho zápočtu je v předmětu o rok pozadu

Njn to se stava Casem dokonvegruju k tomu, abych zacal pouzivat novej letopocet

fixed