Информатика

15
Эффективная вставка в список с минимальным количеством инверсий

Предположим, два списка сопоставимых предметов: и и с. Пусть INV (u) будет числом инверсий в u. Я ищу эффективный алгоритм для вставки элементов s в вас с минимальным увеличением INV (u). По сути, я хотел бы вставлять объекты в список, сохраняя его «как можно более отсортированным», сохраняя...

15
Классы сложности, относящиеся к перечислению всех решений?

Я читал в Stack Overflow вопрос о том, является ли NP- трудным перечисление всех простых циклов в графе, содержащем определенный узел, и мне пришло в голову, что я не могу придумать какой-либо существующий класс сложности, который хорошо подходит для разговор о проблемах в форме «перечислите все...

15
Что именно отличает информатику от математики в теоретическом контексте?

Я студент университета компьютерных наук, с большим увлечением изучать математику. У меня есть твердое убеждение, что информатика или теоретическая информатика является прямым разделом математики и логики, а также мнение, что степень по информатике всегда должна быть ориентирована на математику....

15
Неравенство, вызванное неточностью поплавка

По крайней мере, на Java, если я напишу этот код: float a = 1000.0F; float b = 0.00004F; float c = a + b + b; float d = b + b + a; boolean e = c == d; значение будет . Я полагаю, что это связано с тем, что поплавки очень ограничены в способе точного представления чисел. Но я не понимаю , почему...

15
Что делает язык «оптимизированным» для конкретной задачи?

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

15
Доказательство Сложность доказательства или несоответствия P = NP

Проводились ли какие-либо исследования сложности доказательства решения проблемы P = NP? Если нет, учитывая отсутствие прогресса в решении этой проблемы, было бы неразумно предполагать, что любое доказательство, которое решает проблему P = NP, потребует суперполиномиального числа...

15
Покрытие сетки прямоугольниками

У нас есть сетки. У нас есть набор прямоугольников на этой сетке, каждый прямоугольник может быть представлен как двоичная матрица -by- . Мы хотим накрыть сетку этими прямоугольниками.N 1 N 2 RN1× N2N1×N2N_1 \times N_2N1N1N_1N2N2N_2ррR Является ли версия решения этого набора проблем NP-полной?...

15
Когда списки смежности или матрицы являются лучшим выбором?

Мне сказали, что мы будем использовать список, если граф разреженный, и матрицу, если граф плотный . Для меня это просто грубое определение. Я не вижу многого за этим. Можете ли вы уточнить, когда это будет естественным выбором? Заранее...

15
Существуют ли счетные множества, которые не являются вычислимо перечислимыми?

Множество является счетным, если оно имеет биекцию с натуральными числами, и вычислимо перечислимо (ce), если существует алгоритм, который перечисляет его членов. Любое не конечное вычислимо перечислимое множество должно быть счетным, поскольку мы можем построить биекцию из перечисления. Есть ли...

15
Как найти 5 повторных значений в O (n) времени?

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

15
Машина Тьюринга + замедление времени = решить проблему остановки?

Существуют релятивистские пространства-времени (например, пространства-времени МГ; см. Хогарт, 1994), где мировая линия бесконечной длительности может содержаться в прошлом конечного наблюдателя. Это означает, что обычный наблюдатель может иметь доступ к бесконечному количеству вычислительных...

15
NP-полная проблема с полиномиальным числом да-экземпляров?

У меня сложилось впечатление, что для каждой NP-полной задачи для бесконечно большого числа входных размеров число экземпляров yes на всех возможных входных данных размера (по крайней мере) экспоненциально по .NNnNNnNNn Это правда? Можно ли это доказать (вероятно, только в предположении, что )? Или...

15
Мощность множества алгоритмов

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

15
Что это за структура данных / концепция, где график точек определяет разбиение на пространство

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

14
Что не так с суммами терминов Ландау?

Я написал ∑i=1n1i=∑i=1nO(1)=O(n)∑i=1n1i=∑i=1nO(1)=O(n)\qquad \displaystyle \sum\limits_{i=1}^n \frac{1}{i} = \sum\limits_{i=1}^n \cal{O}(1) = \cal{O}(n) но мой друг говорит, что это неправильно. Из шпаргалки TCS я знаю, что сумма также называется HnHnH_n которая имеет логарифмический рост по nnn ....

14
Аппроксимация минимальной полосы пропускания на бинарных деревьях

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

14
Легко изложить открытые проблемы в теории вычислимости

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

14
Исследования по оценке производительности кеширования на практике

Не обращающие внимания на кэш алгоритмы и структуры данных - довольно новая вещь, представленная Frigo et al. в алгоритмах кеширования, 1999 . Тезис Прокопа того же года знакомит и с ранними идеями. Бумага Frigo et al. представить некоторые экспериментальные результаты, показывающие потенциал...

14
Всегда ли наборы до и после для контекстно-свободных грамматик всегда контекстно-свободны?

Пусть GGG - не зависящая от контекста грамматика. Строка терминалов и нетерминалов из GGG называется быть сентенциальная формой из GGG , если вы можете получить его путем применения постановки GGG нуля или более раз для начального символа SSS . Пусть SF(G)SF⁡(G)\operatorname{SF}(G) множество...

14
Доказательство, что бинарное дерево имеет не более

Я пытаюсь доказать, что бинарное дерево с узлами имеет самое большее ⌈ nnNnлистья. Как мне поступить с индукцией?⌈n2⌉⌈N2⌉\left\lceil \frac{n}{2} \right\rceil Для людей, которые следили за оригинальным вопросом о кучах, он был перенесен сюда...