Информатика

Я узнавал о широте первого поиска и вопрос пришел в голову , что , почему BFS называется так. В книге Введение в алгоритмы по КСПС , я прочитал следующую причину этого: Поиск в ширину так назван потому, что он расширяет границы между открывшимся и неоткрытых вершин равномерно по всей ширине …

11 graphs  graph-theory  shortest-path  graph-traversal 

Эта вопрос в значительной степени объясняет, что они могут, но не показывает никаких примеров наличия двух разных деревьев с одним и тем же обходом предварительного заказа. Также упоминается, что обход по порядку двух разных деревьев может быть одинаковым, хотя они структурно разные. Есть ли пример этого?

11 trees  binary-trees  graph-traversal  search-trees 

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

11 type-theory  type-checking  dependent-types  homotopy-type-theory 

Итак, учитывая два DFA, является ли проблема обнаружения, если они генерируют один и тот же язык, разрешимой проблемой? Я уже знаю, что равенство двух КЛЛ не является разрешимым а как насчет равенства двух ДФА? учитывая, что большинство проблем с DFAs разрешимы, это тоже разрешимо?

11 computability  automata  finite-automata  decision-problem 

Мне дали следующую проблему во время интервью: Дает строку, которая содержит некоторую смесь символов (без скобок или фигурных скобок - только символы) с другими буквенно-цифровыми символами, идентифицирует все символы без соответствующих имен. Например, в строке ") (ab))" индексы 0 и 5 содержат символы, которые не имеют соответствующего имени. Я выдвинул …

11 algorithms 

У меня сложилось впечатление, что наши компьютеры, будучи конечными, в конечном итоге не более мощные, чем (чрезвычайно большие) конечные автоматы. Тем не менее, линейно ограниченные машины Тьюринга также конечны, но кажется, что регулярные языки являются строго неподходящим подмножеством контекстно-зависимых языков. Очевидно, я что-то здесь упускаю. Что происходит?

11 finite-automata  computation-models  linear-bounded-automata 

Предположим , что мы читаем последовательность чисел, один за другим. Как найти к «й наименьший элемент только с помощью O ( K ) клеток памяти и в линейном времени ( O ( п ) ). Я думаю , что мы должны сохранить первые K члены последовательности и когда получим K …

11 data-structures  search-algorithms  quicksort 

Википедия перечисляет временную сложность сложения как , где - количество битов.нNNnNNn Это жесткая теоретическая нижняя граница? Или это просто сложность самого быстрого известного алгоритма. Я хочу знать, потому что сложность сложения подчеркивает все другие арифметические операции и все алгоритмы, которые их используют. Теоретически невозможно получить алгоритм сложения, который работает в …

11 algorithms  algorithm-analysis  arithmetic 

Колода карт 52. Рука состоит из 5 карт из 52 (не может иметь дубликат). Какое наименьшее количество бит для представления комбинации из 5 карт и как? Рука НЕ ​​зависит от порядка (KQ = QK). 64329 = 96432 Да, можно использовать 52 бита. Это может представлять собой руку любого количества карт. …

11 combinatorics 

Общий вопрос, как следует из названия: В чем разница между DS и OR / оптимизацией. На концептуальном уровне я понимаю, что DS пытается извлечь знания из имеющихся данных и использует в основном статистические методы машинного обучения. С другой стороны, OR использует данные для принятия решений на основе данных, например, путем …

11 optimization  data-mining 

При создании клиента для веб-API в C # я столкнулся с проблемой, связанной nullсо значением, в которой он представлял бы две разные вещи: ничего , например, fooможет иметь или не иметьbar неизвестно : по умолчанию ответ API включает только подмножество свойств, вы должны указать, какие дополнительные свойства вы хотите. Таким …

11 programming-languages  language-design 

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

11 type-theory  functional-programming  dependent-types  inductive-datatypes 

Вопрос в том, можно ли свести каждую математическую теорему к вопросу о том, останавливается ли одна машина Тьюринга. В частности, меня интересуют гипотезы, которые в настоящее время не доказаны. Например: Википедия говорит, что в настоящее время неизвестно, существуют ли какие-то нечетные совершенные числа. Поскольку можно решить, является ли данное число …

11 formal-languages  computability  mathematical-foundations 

У меня есть два набора точек в 2-мерной плоскости. Я хочу найти ближайшую пару точек такую, чтобы , , а евклидово расстояние между как можно меньше. Насколько эффективно это можно сделать? Можно ли это сделать за , где?s , t s ∈ S t ∈ T s , t O …

11 algorithms  computational-geometry 

Я дал множество , целое число , и неотрицательные целые числа . Моя проблема состоит в нахождении непересекающиеся подмножества из такие , что:A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\}s⩽ks⩽ks\leqslant kaijaija_{ij}sssSjSjS_j{1,…,k}{1,…,k}\{1,\ldots,k\} ⋃sj=1Sj=A⋃j=1sSj=A\bigcup_{j=1}^s S_j=A ; и |Sj|⩽aij|Sj|⩽aij|S_j|\leqslant a_{ij} для всех и .i∈Sji∈Sji\in S_jj=1,…,sj=1,…,sj=1,\ldots,s Как решить эту проблему? Сложно ли найти реальное решение? Я думаю , что это не …

11 complexity-theory  integer-programming