Информатика

11
Хроматический полином квадрата

Рассмотрим квадрат, ABCD. Интуитивно мне показалось, что его хроматический полином является где есть цвета, доступные ..λ(λ−1)(λ−1)(λ−2)λ(λ-1)(λ-1)(λ-2)\lambda(\lambda - 1)(\lambda - 1)(\lambda - 2)λλ\lambda То есть есть способы в которых можно выбрать цвет для A, есть способы для выбора цветов для...

11
Почему проблемы решения обычно используются в теории сложности?

Из Википедии : Тип вычислительной проблемы: Наиболее часто используемые проблемы - это проблемы с решением . Однако классы сложности могут быть определены на основе функциональных проблем, проблем с подсчетом, оптимизационных задач, проблем с обещаниями и т. Д. Я также видел, что определения...

11
Динамическое программирование с большим количеством подзадач

Динамическое программирование с большим количеством подзадач. Поэтому я пытаюсь решить эту проблему с улицы Интервью: Ходьба по сетке (оценка 50 баллов) Вы находитесь в мерной сетке в позиции . Размеры сетки: ). За один шаг вы можете идти на один шаг вперед или назад в любом из измерений. (Так что...

11
Разрешимость задачи о полиномах

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

11
Имеют ли «индуктивно» и «рекурсивно» очень похожие значения?

Означают ли «индуктивно» и «рекурсивно» очень похожие? Например, если есть алгоритм, который определяет n-dim вектор путем определения его первых k + 1 компонентов на основе определения его первых k компонентов и инициализируется с первым компонентом, вы бы назвали его работающим рекурсивно или...

11
Ссылки на сравнение между квантовыми компьютерами и машинами Тьюринга

Мне сказали, что квантовые компьютеры не являются вычислительно более мощными, чем машины Тьюринга. Может ли кто-нибудь любезно помочь дать некоторые литературные ссылки, объясняющие этот...

11
Определение состояния объекта в ООП

Мне нужно краткое определение «состояния объекта» в объектно-ориентированном программировании (для статьи). Примерно полдня я искал статью, которую смогу процитировать по этой теме, но не смог ее найти. Все статьи, которые я нашел, были в основном общими статьями по объектно-ориентированному...

11
Краткий пример экспоненциальной стоимости вывода типа ML

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

11
Что является дополнением к контекстно-свободным языкам?

Можно понять ваш вопрос двумя способами, согласно определению «дополнение КЛЛ». Случай A: Дополнение к CFL - это класс всех языков, которых нет в CFL. Формально, В этом случае намного больше, чем , у него даже есть языки, которых нет в и т. Д. Но, возможно, это не то, что вы имели в...

11
Связь и разница между поиском и извлечением информации?

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

11
Поиск наборов «отпечатков пальцев»

Скажем, у нас есть 10 людей, каждый из которых со списком любимых книг. Для данного лица X, я хотел бы найти особое подмножество книг иксов понравившихся только X, т.е. нет другого человека, который любит все книги в специальном подмножестве Х. Я думаю, что этого специального подмножества в...

11
Направленный союз-найти

Рассмотрим ориентированный граф , на котором можно динамически добавлять края и сделать некоторые конкретные запросы.граммграммG Пример: непересекающееся-множество лесов Рассмотрим следующий набор запросов: arrow(u, v) equiv(u, v) find(u) первый добавляет стрелку к графу, второй решает, если ,...

11
Асимптотический анализ для двух переменных?

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

11
Упростить сложность n многоходовой k

У меня есть рекурсивный алгоритм с временной сложностью, эквивалентной выбору k элементов из n с повторением, и мне было интересно, смогу ли я получить более упрощенное выражение big-O. В моем случае может быть больше и они растут независимо.kkknnn В частности, я бы ожидал некоторого явного...

11
Легкое доказательство того, что контекстно-зависимые языки закрываются при циклическом сдвиге

Циклический сдвиг (также называемый поворот или конъюгации ) из языка определяется как { у х | х у ∈ L } . Согласно википедии (и здесь ), контекстно-свободные языки закрыты для этой операции со ссылками на статьи из Oshiba и Maslov. Есть ли простое доказательство этого факта?LLL{yx∣xy∈L}{yx∣xy∈L}\{...

11
Можно ли решить, является ли данный алгоритм асимптотически оптимальным?

Есть ли алгоритм для решения следующей задачи: При заданной машине Тьюринга которая определяет язык L , существует ли машина Тьюринга M 2, решающая L так , что t 2 ( n ) = o ( t 1 ( n ) ) ?M1M1M_1LLLM2M2M_2LLLt2(n)=o(t1(n))t2(n)=o(t1(n))t_2(n) = o(t_1(n)) Функции и t 2 являются наихудшим временем...

11
Алгоритм книги по ряду тем

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

11
Независимый набор на кубических треугольных свободные график

Я знаю, что максимальное независимое множество на кубических графах без треугольников является NP-полным. Является ли он еще NP-полным, если нам требуется, чтобы независимый набор имел размер точно ?|V|/2|V|/2|V|/2 В основном, ДА экземпляр задачи о независимом множестве в задаче о кубах без...

11
Не удалось преобразовать из NFA в DFA

У меня есть простая проблема создания DFA, который принимает все входные данные, начинающиеся с двойных букв (aa, bb) или заканчивающиеся двойными буквами (aa, bb), учитывая, что является набором алфавита данный язык.Σ = { a , b }Σзнак равно{a,б}\Sigma =\{a, b\} Я попытался решить это окольным...