FITstagram

admin @tmokenc ty se *zase* nudíš na TINu? 😀😀😀

tmokenc nooo upravovali jsme logicke formuli do NNF, mega chill to byl

admin wowers

admin POG

admin a co je advent of tin? nejake ulohy pro nerdy?

tmokenc kazdy den dostaneme nejaky ulohu v ramci TINu

tmokenc predpokladam, ta uloha v 25.12. bude dokaz P vs NP :stronk:

admin vojnar říkal že kdo dokáže P vs NP tak mu na fakultě postaví sochu :pog:

tmokenc Prave vcera jsem mel takovy sen, ze jsem nejak dokazal, ze P = NP je pravda, protoze jsem dokazal, ze nedeterministicke odhady lze delat v polynomialnim case, i kdyz ma pouze jeden vysledek. Pak dnes jsem stravil 4 hodiny tim, ze jsem se podival na ruzne clanky, a nejlepsi algoritmus pro odhad je O(2^sqrt(n)), ktery stale patri do tridy EXPTime, ale zatim nezna ten optimalni upper-bound, takze je mozne, ze patri do tridy PTime. Mozna na ten problem neco zkusim o zimnich prazdninach

admin 😳😳😳😳😳