Информатика

29
Алгоритмы (и эффективность в целом) становятся менее важными?

Поскольку покупка вычислительных мощностей гораздо более доступна, чем в прошлом, становятся ли менее важными знания алгоритмов и эффективность? Понятно, что вы хотели бы избежать бесконечного цикла, поэтому не все идет. Но если бы у вас было лучшее аппаратное обеспечение, вы могли бы иметь...

28
Генерация комбинаций из набора пар без повторения элементов

У меня есть набор пар. Каждая пара имеет форму (x, y), так что x, y принадлежат целым числам из диапазона [0,n). Итак, если n равно 4, то у меня есть следующие пары: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) У меня уже есть пары. Теперь я должен построить комбинацию, используя n/2пары, чтобы ни одно из...

28
В чем именно разница между контролируемым и неконтролируемым обучением?

Я пытаюсь понять методы кластеризации. Что я думаю, я понял: При контролируемом обучении данные категорий / меток, которым назначены данные, известны до вычисления. Таким образом, метки, классы или категории используются для того, чтобы «изучить» параметры, которые действительно важны для этих...

28
Почему выборка сортируется быстрее, чем пузырьковая?

В Википедии написано, что "... сортировка выбора почти всегда превосходит сортировку по пузырькам и сортировку по гномам". Кто-нибудь, пожалуйста, объясните мне, почему сортировка выбора считается быстрее, чем сортировка пузырьком, даже если они оба имеют: В худшем случае сложность времени : O (...

28
Асимптотика числа слов в обычном языке заданной длины

Для обычного языка , пусть с п ( Ь ) быть число слов в L длины п . Используя Jordan канонической форму (применительно к Неаннотированным матрицам перехода некоторого DFA для L ), можно показать , что при достаточно большой п , с п ( L ) = K Е я = 1 P я ( п ) Л н I , где Р я являются сложными...

28
Подсчет бинарных деревьев

(Я студент с некоторой математической подготовкой, и я хотел бы знать, как подсчитать количество бинарных деревьев определенного вида.) Глядя на страницу Википедии о бинарных деревьях , я заметил это утверждение, что число корневых бинарных деревьев размером nnn будет таким каталонским числом :...

28
Измерение сложности экземпляров SAT

Учитывая пример SAT, я хотел бы иметь возможность оценить, насколько сложно будет решить этот случай. Одним из способов является запуск существующих решателей, но такой вид поражает цель оценки сложности. Вторым способом может быть поиск соотношения предложений и переменных, как это делается для...

28
Как найти суперзвезду за линейное время?

Рассмотрим ориентированные графы. Мы называем узел суперзвездой том и только в том случае, если от него невозможно связаться с другим узлом, но все остальные узлы имеют ребро к . Формально:vvvv vvv \qquad \displaystyle v Суперзвезда  : ⟺ о у т д е г ( v ) = 0 ∧ я н д е г ( v ) = п - 1 супер...

28
Какие комбинации до, после и по порядку секвенизации являются уникальными?

Мы знаем пост-заказ, post L(x) => [x] post N(x,l,r) => (post l) ++ (post r) ++ [x] и предварительный заказ pre L(x) => [x] pre N(x,l,r) => [x] ++ (pre l) ++ (pre r) и в порядке обхода соотв. sequentialisation. in L(x) => [x] in N(x,l,r) => (in l) ++ [x] ++ (in r) Легко видеть, что...

28
Что такое пакетный компилятор?

У меня есть следующая цитата из курса моего компилятора (в контексте раскраски графа): Поскольку это медленно, раскраска графа имеет тенденцию использоваться в пакетных компиляторах, в то время как линейное сканирование имеет тенденцию использоваться в компиляторах JIT. Я не мог найти четкое...

28
Проблема сумм подмножеств со многими условиями делимости

Пусть SSS множество натуральных чисел. Мы рассматриваем в частичном порядке делимости, т.е. . ПозволятьSSSs1≤s2⟺s1∣s2s1≤s2⟺s1∣s2s_1 \leq s_2 \iff s_1 \mid s_2 α(S)=max{|V|∣V⊆S,Vα(S)=max{|V|∣V⊆S,V\qquad \displaystyle \alpha(S) = \max \{|V| \mid V\subseteq S, V антицепь }}\} . Если мы рассмотрим...

28
Существуют ли какие-либо конкретные проблемы, о которых известно, что они неразрешимы по причинам, отличным от диагонализации, самоссылки или сводимости?

Каждая неразрешимая проблема, о которой я знаю, попадает в одну из следующих категорий: Проблемы, которые неразрешимы из-за диагонализации (косвенная самостоятельная ссылка). Эти проблемы, такие как проблема остановки, неразрешимы, потому что вы можете использовать предполагаемое определение языка...

28
Что означает «истинный параллелизм»?

Я часто слышу такие фразы, как «истинная семантика параллелизма» и «истинные эквивалентности параллелизма» без каких-либо ссылок. Что означают эти термины и почему они важны? Каковы некоторые примеры истинных совпадений параллелизма и зачем они нужны? Например, в каких случаях они более применимы,...

28
Как эффективно определить, является ли данная лестница действительной?

В моем местном сквош-клубе есть лестница, которая работает следующим образом. В начале сезона мы строим таблицу с именами каждого члена клуба на отдельной строке. Затем мы записываем количество выигранных игр и количество игр, сыгранных рядом с каждым именем (в форме: игрок выигрывает / игры)....

28
Алгоритм определения диаметра дерева с использованием BFS / DFS. Почему это работает?

Эта ссылка предоставляет алгоритм для определения диаметра ненаправленного дерева с использованием BFS / DFS . Подводя итог: Запустите BFS на любом узле в графе, помня узел, который вы обнаружили последним. Запустите BFS, вспомнив последний обнаруженный узел v. d (u, v) - диаметр дерева. Почему это...

28
Понятный, интуитивно понятный вывод комбинатора с фиксированной точкой (Y комбинатор)?

Комбинатор FIX с фиксированной запятой (он же Y-комбинатор) в (нетипизированном) лямбда-исчислении ( λλ\lambda ) определяется как: FIX ≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda x. f~(\lambda y....

28
Почему пустой тип C не аналогичен пустому / нижнему типу?

Википедия, а также другие источники, которые я обнаружил в списке voidтипа C как тип единицы, а не пустой тип. Мне кажется, что это сбивает с толку, так как мне кажется, что оно voidлучше подходит под определение пустого / нижнего типа voidНасколько я могу судить, ценности не обитают . Функция с...

28
Существуют ли программы, которые могут «переводить» исходный код между любыми двумя языками?

Существуют ли программы, которые могут «переводить» исходный код между любыми двумя языками (при условии, что переводчик имеет доступ к необходимым библиотекам)? Если есть, как они работают (используемые методы, необходимые знания и т. Д.)? Как они могут быть построены? Если нет, то какие...