Білдіреді
Қоғамдастық (2)
Теориялық компьютерлік ғылым
67
Теориялық компьютерлік ғылымның философиялық салдары туралы кітап бар ма?
Norbert Blum-ның 2017 жылғы дәлелі $ P \ ne NP $ екенін дәлелдейді ме?
SAT ерітінділерінің практикалық жетістіктері үшін теориялық түсініктер?
ТСС-ның қандай жауаптары «нейрондық желілер неге жақсы жұмыс істейді?» Деген сұраққа келеді.
P-дегі қандай қиындықтар үшін оны табудан гөрі нәтижені тексеру жеңілірек болады?
Полиномдық иерархияның (PH) ыдырауы үшін жеткілікті шарттар
Теориялық КС-да таза математика туралы көп нәрсе бар ма?
Үлкен ашық күрделі кемшіліктермен проблемалар
Үш түссіздіктің нөлдік білімі туралы ең аз байланыс құны
Құдай бір хабарда қалай дәлелдей алады?
Табиғи NP - «үлкен» куәгерлермен толық проблемалар
Естелік CS кітабының көпшілігі
$ \ Mathbf {P} \ neq \ mathbf {NP} $ дегенді білдіреді
Теориялық компьютерлік ғылымның алгебра бағытталған бағыты
Lipton ең ықпалды нәтижелер
Факторинг - шешім мәселесі ретінде
Бірінші ретті логиканың ең аз тіркелген нүкте тапсырыс операторымен кеңейтілгендігі
Бұл SDP полиэдриясының ықтимал аймағы ма?
Кішкентай циклдарсыз графиктерде гамильтондық цикл
Қатты қиындықтар проблемалары
Кез-келген нәтиже NP-толық проблемасын шағын супер-полиномдық уақытпен байланыстырады?
Қазіргі заманғы бағдарламалау тілін дамыту үшін Process Calculi және PL Teorem пайдалану
Бұл мақалада изоморфизм текше метрге және $ 4 $ - тұрақты графикаларға арналған?
гиперкубаға арналған Фурье коэффициенттерінің векторының $ \ ell_1 $ нормасы
Қосымша уақытша иерархиялық теорема бар ма?
ro
nl
ja
ru
fr
es
pt
de
hi
bn
ar
uz
be
tr
uk
1
2
3
cstheory
көзі
licensed under
cc by-sa 3.0
with attribution