Вопросы с тегом «cc.complexity-theory»

9
Результаты начальной загрузки, которые действительно загружают

В TCS есть тип результатов, обычно называемый результатами начальной загрузки . В общем, это имеет вид Если предложение выполнено, то предложение выполнено.AAAA′A′A' где и - предложения, которые выглядят одинаково, а по-видимому, "слабее", чем , и именно поэтому мы называем этот тип результатов....

9
Скрытые константы в сложности алгоритмов

Для многих задач алгоритм с наилучшей асимптотической сложностью имеет очень большой постоянный коэффициент, который скрыт большими обозначениями O. Это происходит в матричном умножении, целочисленном умножении (в частности, недавнем алгоритме умножения целых чисел O (n log n) Харви и...