Fórum studentů MFF UK

Jo, omylem jsi asi několikrát napsal "NP-úplný" místo "z třídy NP" Opraveno. Jak je člověk zvyklej převádět pořád něco NP-úplnýho na něco jinýho aby dokázal NP-těžkost, tak to snadno poplete. Cook & Levin dokazujou NP-těžkost přímo z definice, takže stačí "z třídy NP&qu...

Na kachlíkování je právě nejlepší, že si tam člověk může krásně představit prostorovou a časovou složitost. prostorová - šířka čtvercové sítě časová - výška čtvercové sítě V důkazu existence NP-úplného problému (Cook-Levin) se především ukazuje, že jsme schopni převést libovolný problém ze třídy NP ...

Na druhou stranu jsem videl, jak dneska nekoho vyhodili. Slysel jsem jenom "priste", tak nevim, jak to umel/neumel... Videl jsem jednoho kolegu odstoupit (u tohoto konkretniho cloveka jsem to vubec necekal - myslel jsem, ze si dela legraci kdyz prochazel okolo). Taky jsem slysel, jak nekd...

Hlaseni z fronty: Matematika: Fiala: Souvislost reseni soustav linearnich rovnic s ortogonalnim doplnkem Nu coz, zacal jsem z definicemi vseho co s tim souvisi: soustava linearnich rovnic, matice, radkovy a sloupcovy prostor, skalarni soucin, ortogonalni mnozina Moje tuseni ze ortogonalni doplnek ra...

1) teoreticka: Homomorfismy (skladani, inverze, obrazy a vzory podgrup) 2) prakticka: Kolik prvku radu 20 (tj. takovych, ze generuji podgrupu radu 20) obsahuje cyklicka grupa radu 1000 ? 1) dokazal jsem 3 tvrzeni: 1. f:A->B , g: B->C homomorfismy => gf : A -> C homomorfismus 2. f:A->B bijektivni hom...

pokus o dukaz 6. b)
http://www.peklo.unas.cz/logika/peano2.pdf

Vi nekdo jak dokazat aspon a) ? Sedel jsem nad tim s kamosem matematikem asi pul hodky.. Sad Ne to opravdu nevim, ale pokusil jsem se nalezt odpoved. Na zaklade toho co pise pan Vítězslav Švejdar v knize: Logika neúplnost složitost a nutnost se mi povedlo cosi vymyslet (viz.: http://www.peklo.unas....

Jeden z nejlepsich "navodu" co jsem kdy cetl. Pro ucely zkousky naprosto idealni. Behem ctvrthodiny to pochopi i cvicenej mroz.

4. Definujeme-li mnozinu formuli Con(T) = {A| T|−T} nemelo by to byt spis Con(T) = {A| T|− A } ? jinak podle me: a) je Con(T) uplna ? tzn. je bezesporna ? a splnuje podminku, ze pro kazdou A plati bud Con(T)|− A nebo Con(T) |− ¬A ? odpoved: ne - nevime nic o teorii T takze neni vylouceno ze je spor...

Pokusil jsem se vzorove vypracovat prvni priklad z pisemky http://forum.matfyz.info/viewtopic.php?t=3277

vysledek je na http://www.peklo.unas.cz

otazky:
1. je to tak spravne ?
2. pokud ano, staci to takhle u zkousky ?
3. pokud ne, jak se to teda resi ?

Student se dostane na zkousku jen jednou ( bylo by dobre pridat do vztahu entitu datum ) - datum pridano Nepozna se ke komu student chodi na cvika respektive na prednasky - pridal jsem vztah "zarazeni" studenta do skupiny, pres skupinu uz by to snad slo Vztahovy typ zkouska se neda univer...

sice jsem to nepsal, ale zkusil jsem neco vytvorit..
viz:
http://www.peklo.unas.cz

prijmu rad jakoukoliv konstruktivni kritiku...

zatim se mi nepodarilo napsat k tomu ty SQL dotazy.. mozna je to tim ze je model navrzeny nesikovne..

Otazka:

Je obecne mozne ziskat doplnek regularniho jazyka prohozenim koncovych a
nekoncovych stavu v nedeterministickem automatu?

Mam takove tuseni ze odpoved je NE, ale nevim presne proc....

Rekl jsem si, ze si v tomhle udelam jednou provzdy jasno: class SAVEC{ /* ... */ }; class PES: public SAVEC{ /* ... */ }; PES & azor = new PES; //NP PES & azor = new SAVEC; //NP PES & azor = * new PES; PES & azor = * new SAVEC; //NP PES * azor = new PES; PES * azor = new SAVEC; //NP ...

Na test je minimalne hodina... (mozna i vic - casu je proste dost)
Byl jsem zatim jen na predterminu, takze jak to bude opravovat na regularni zkousce to nevim.
(asi to nebude stihat na miste...)