Теоретическая информатика

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

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

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

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

9
Доказательство для верхней границы суммы квадратов

В [1] Garey et al. определите то, что позже будет известно как проблема суммы квадратных корней в ходе разработки NP-полноты евклидовой TSP. Даны целые числа a1,a2,…,ana1,a2,…,ana_1, a_2, \ldots, a_n а также LLLопределить, если a1−−√+a2−−√+⋯+an−−√<La1+a2+⋯+an<L\sqrt{a_1} + \sqrt{a_2} + \cdots...

9
Сколько времени нужно, чтобы найти короткий цикл в случайном графе?

Позволять G∼G(n,n−1/2)G∼G(n,n−1/2)G \sim G(n, n^{-1/2}) быть случайным графом на ≈n3/2≈n3/2\approx n^{3/2}кромки. С очень высокой вероятностью,GGG имеет много 444-циклов. Наша цель - вывести любой из этих444-циклы как можно быстрее. Предположим, у нас есть доступ к GGG в форме списка смежности, мы...

9
Источник модульного графа разложения

При введении модульной декомпозиции графа большинство авторов используют граф из 11 вершин, который я копирую из википедии. Вопрос в том, кто является (являются) его первоначальным разработчиком. (Я не спрашиваю, кто нарисовал этот график для Википедии, но его первоначальный источник.) Страница...