Рассмотрим наборов значений (представленных в виде отсортированных массивов без дубликатов и с известным размером (т. Е. Размер можно получить за O (1)). Значения можно проверить на равенство за O (1). Я хочу чтобы получить набор значений, которые присутствуют по меньшей мере в k различных наборах...
Я перевожу книгу на LISP и, естественно, она затрагивает некоторые элементы калькуляции. Таким образом, понятие экстенсиональности упоминается там наряду с некоторыми моделями λ- вычисления, а именно: P ω и D ∞ (да, с бесконечностью вверху). И говорят, что P ω экстенсиональна, а D ∞...
Это похоже на SAT, за исключением того, что мы знаем назначение каждой переменной, но не знаем назначения какого-либо логического оператора. В таком случае, является ли поиск присваивания каждого оператора таким образом, чтобы выражение оценило данное логическое значение как проблему NPC? На самом...
Я ищу способ генерации графов, чтобы было известно оптимальное покрытие вершин. Нет ограничений на количество узлов или ребер, только то, что граф полностью связен. идея состоит в том, чтобы создать граф, который не легко найти оптимальное покрытие вершин, чтобы иметь возможность тестировать...
Существуют ли какие-либо приложения абстрактной алгебры к теории языка программирования? Есть ли что-нибудь полезное в дизайне языка и реализации
Я пытаюсь покрыть простой вогнутый многоугольник с минимумом прямоугольников. Мои прямоугольники могут быть любой длины, но они имеют максимальную ширину, и у многоугольника никогда не будет острого угла. Я думал о попытке разложить мой вогнутый многоугольник на треугольники, которые создают набор...
-раскраске с т × п сеткиkКkm×nм×Nm \times n является функция . Сломан прямоугольник в C является кортежем ( я , я ' , J , J ' ) , удовлетворяющие С ( я , J ) = С ( я ' , J ) = С (C:[m]×[n]→[k]С:[м]×[N]→[К]C:[m] \times [n] \to [k]CCC(i,i′,j,j′)(i,i′,j,j′)(i,i',j,j') - то есть ровно три угла...
Проблема N-королевы заключается в следующем: Вход: N Вывод: размещение N «ферзей» на шахматной доске NXN таким образом, чтобы никакие две королевы не лежали в одной строке, столбце или диагонали. Сделав поиск в Google по этому вопросу, я обнаружил, что многие слайды многих профессоров утверждают,...
Широко распространено мнение, что некоторые вычислительные задачи, такие как изоморфизм графов, не могут быть NP-полными, поскольку они не обладают достаточной структурой или избыточностью, чтобы быть вычислительно сложными (NP-трудными). Я заинтересован в различных формальных понятиях для...
Теорема Курселя гласит, что любое свойство графа, определяемое в монадической логике второго порядка, может быть определено за линейное время на графах ограниченной длины дерева . Это одна из самых известных алгоритмических мета-теорем. Основываясь на теореме Курселя, я высказал следующую гипотезу:...
Какие теоремы иерархии существуют для глубины контура? Заявления как если и то .g(n)∈o(f(n))g(n)∈o(f(n))g(n) \in o(f(n))f(n)∈nO(1)f(n)∈nO(1)f(n) \in n^{O(1)}SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))\mathsf{SizeDepth}(n^{O(1)}, g(n)) \subsetneq...
Что в настоящее время известно о приближаемости проблемы рода? Предварительный поиск говорит мне , что постоянное приближение фактора тривиально для достаточно плотных графов, и -приближение алгоритм было исключено. Является ли эта информация актуальной или известны более точные...
Давайте немного ослабим раскраску, то есть позволим небольшому количеству смежных вершин присваивать один и тот же цвет. Монохроматический компонент определяется как связанный компонент в подграфе, индуцированный набором вершин, которые получают один и тот же цвет, и вопрос заключается в том, чтобы...
Меня интересует вопрос, является ли NP равным coNP или нет. Я был бы очень признателен за советы о хороших публикациях по этой теме. Для справки, я знаю, что этот вопрос тесно связан с вопросом о том, равен ли P NP или нет (например, если NP! = CoNP, то P! = NP). Ура,...
Я знаю, как некоторые негативные события могут окончательно быть плохими: data False data Bad a = C (Bad a -> a) selfApp :: Bad a -> a selfApp (x@(C x')) = x' x yc :: (a -> a) -> a yc f = selfApp $ C (\x -> f (selfApp x)) false :: False false = yc id Однако я не уверен, что: все...
Я интересуюсь системой подсолнечника и ее приложениями в информатике. Для данной Вселенной и набора из k множеств A i называется системой k-подсолнечника, если A i ∩ A j = Y для всех i ≠ j . И Y называется ядром, а A i - Y называется лепестками. UUUkkkAiAiA_iAi∩Aj=YAi∩Aj=YA_i \cap A_j = Y i≠ji≠ji...
Немного предыстории: Я заинтересован в поиске «менее известных» нижних границ (или результатов твердости) для задачи «Обучение с ошибками» (LWE) и их обобщений, таких как «Обучение с ошибками над кольцами». Для конкретных определений и т. Д., Вот хороший обзор Регева:...
Очень интересной открытой проблемой при изучении мер сложности булевой функции является так называемая гипотеза чувствительности и блочной чувствительности. Информацию о восприимчивости и чувствительности блоков вы можете найти в следующем посте С. Ааронсона по адресу...
Существует ли со следующими свойствами:L ∈ N PL∈NPL\in {\bf NP} Известно , что влечет P = N P .L ∈ PL∈PL\in {\bf P}P = N PP=NP{\bf P}={\bf NP} Там нет (известного) полинома Тьюринга уменьшения (или какой -либо другой Н Р -полной проблемы) к L .SА ТSATSATН ПNP{\bf NP}LLL Другими словами, если...
Все мои учебники используют один и тот же алгоритм для создания DFA с заданным регулярным выражением: во-первых, создайте NFA, который распознает язык регулярных выражений, затем, используя конструкцию подмножества (он же «powerset»), преобразуйте NFA в эквивалентный DFA ( при желании...