Следующая интересная проблема возникла в моем исследовании недавно: МИГ: График .G ( V, E)G(V,E)G(V, E) РЕШЕНИЕ: завершение неординарного нечетного цикла, определяемое как надмножество множества ребер, так что завершенный граф обладает свойством того, что каждое ребро в содержится в нечетком...
Я только что прочитал в немецкой Википедии, что бесконечный граф - это граф с бесконечным числом узлов или бесконечным числом ребер. Я знаю только приложения и алгоритмы для конечных графов. Для чего нужны бесконечные графики? Каковы приложения тех? Я не могу представить алгоритмы, которые будут...
Два связанных вопроса об ограниченных вычислениях глубины: 1) Предположим, что вы начинаете с n битов, и начинаться с бита i может быть 0 или 1 с некоторой вероятностью p (i) независимо. (Если это упрощает задачу, мы можем предположить, что все p (i) s равны 0,1 или 1/2.или даже то, что все они...
Линейный граф гиперграфа - это (простой) граф G, имеющий ребра H, поскольку вершины с двумя ребрами H смежны в G, если они имеют непустое пересечение. Гиперграф является r- гиперграфом, если каждое из его ребер имеет не более r вершин.ЧАСHHграммGGЧАСHHЧАСHHграммGGрrrрrr Какова сложность следующей...
Хотя теорема Адлемана показывает, что , мне неизвестна литература, исследующая возможное включение . Какие теоретически сложные последствия будет иметь такое включение?B Q P ⊆ P / полиB P P ⊆ P / полиBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}B Q P ⊆ P / полиBQP⊆P/poly\mathsf{BQP}...
Пусть R E GREG\mathsf{REG} - класс всех регулярных языков. R E G ⊄ A C 0 A C 0 ∩ R E GA C0⊄ R E GAC0⊄REG\mathsf{AC}^0 \not\subset \mathsf{REG}R E G ⊄ A C0REG⊄AC0\mathsf{REG} \not\subset \mathsf{AC}^0A C0∩ R E GAC0∩REG\mathsf{AC}^0 \cap...
Предположим, что мы хотим отсортировать список из действительных чисел. Предположим, что нам дан черный ящик, который может мгновенно отсортировать реальных чисел. Какое преимущество мы можем получить, используя этот черный ящик?n √SSSNnnN--√n\sqrt n Например, можем ли мы отсортировать номера...
Учитывая набор семейство FF\mathcal{F} подмножеств универсума UUU . Пусть S1,S2∈FS1,S2∈FS_1,S_2 \in \mathcal F и мы хотим ответить на это S1⊆S2S1⊆S2S_1 \subseteq S_2 . Я ищу структуру данных, которая позволит мне быстро ответить на это. Мое приложение из теории графов, где я хочу посмотреть,...
(Этот вопрос немного «опрос».) В настоящее время я работаю над проблемой, в которой я пытаюсь разделить края турнира на два набора, оба из которых необходимы для выполнения некоторых структурных свойств. Проблема "чувствует" довольно сложно, и я полностью ожидаю, что это будет NпNP\mathcal{NP}...
Хорошо известно, что палиндромы могут распознаваться в линейном времени на машинах Тьюринга с лентами, но не на машинах Тьюринга с одной лентой (в этом случае необходимое время является квадратичным). Алгоритм линейного времени использует копию входных данных и, следовательно, также использует...
Коготь - это . Тривиальный алгоритм обнаружит коготь за времени. Это можно сделать в , где - показатель быстрого умножения матриц следующим образом: возьмите подграф, индуцированный для каждой вершины , и найдите треугольник в его...
При заданных регулярных выражениях , существуют ли нетривиальные ограничения на размер наименьшей контекстно-свободной грамматики для R 1 ∩ ⋯ ∩ R n ?р1, … , RNR1,…,RnR_1, \dots, R_nр1∩ ⋯ ∩ RNR1∩⋯∩RnR_1 \cap \cdots \cap...
Насколько быстрым должен быть недетерминированный алгоритм для полной задачи EXPTIME, чтобы подразумевать P ≠ N PP≠NPP \neq NP ? Недетерминирован алгоритм полиномиальное время будет немедленно следует это потому , что Р ≠ Е Х Р Т Я М ЕP≠EXPTIMEP \neq EXPTIME , но никто не считает , N P = Е Х Р Т Я...
Существует ли типизированное лямбда-исчисление, в котором соответствующая логика в соответствии с соответствием Карри-Ховарда непротиворечива, и где для каждой вычислимой функции существуют лямбда-выражения с типизацией? Это, по общему признанию, неточный вопрос, в котором отсутствует точное...
У меня есть два исторических вопроса: Кто первым описал недетерминированные вычисления? Я знаю, что Кук описал NP-полные проблемы, и что Эдмондс предложил, чтобы P-алгоритмы были "эффективными" или "хорошими" алгоритмами. Я искал эту статью в Википедии и пролистал «О вычислительной сложности...
Допустим, что язык является P- плотно-близким, если существует алгоритм с полиномиальным временем, который правильно определяет почти на всех входах.LLLLLLL Другими словами, существует P , такое, что обращается в нуль, что означает Это также означает, что на равномерном случайном входе алгоритм...
В Википедии приводятся примеры проблем, где версия для подсчета трудна, а версия для принятия решения проста. Некоторые из них подсчитывают идеальные соответствия, подсчитывают количество решений для SAT и количество топологических сортировок.222 Существуют ли другие важные классы (например,...
Казалось бы, бессмысленность майнинга криптовалюты подняла вопрос о полезных альтернативах, см. Эти вопросы на Bitcoin , CST , MO . Интересно, существует ли алгоритм, который может преобразовать практически любую вычислительную задачу (решение которой может быть эффективно проверено) в другую такую...
Обозначим через количество слов длины в (возможно, неоднозначном) контекстно-свободном языке.wnwnw_nnnn Что известно о ?wnwnw_n Я уверен, что это много изучалось, но я ничего не мог найти на...
Напомним число простых чисел - функция подсчета простых чисел . Посредством «PRIMES in P» вычисление находится в #P. Проблема № P-завершена? Или, может быть, есть сложная причина полагать, что эта проблема не является # P-полной? π(n)π(n)\pi(n)≤n≤n\le nπ ( n )π(n)π(n)\pi(n) PS Я понимаю, что это...