Работа «Субквадратичные алгоритмы для 3SUM» Илья Баран, Эрик Д. Демейн, Михай Патраску имеет следующую сложность для Задача 3SUM: дать список LLL из NNn целых чисел, если х , у, z∈ LИкс,Y,Z∈Lx,y,z \in L такие, что х + у= z,Икс+Yзнак равноZ,x+y=z. w -вес-w-A C 0 O ( n 2 / w 2 log w ) O ( n 2 / ( M B...
В этой статье утверждается, что традиционный анализ частоты ошибок в фильтрах Блума является неправильным, а затем обеспечивает длительный и нетривиальный анализ фактической частоты ошибок. Связанная статья была опубликована в 2010 году, но я видел, что традиционный анализ фильтров Блума продолжал...
Для ориентированного ациклического графа , существует ли структура данных, которая допускает запросы достижимости, не требуя квадратичного пространства или линейного времени? В идеале я ищу алгоритм, использующий только O (log n) пространство на вершину и логарифмическое время,⟨ V,...
Известно, что минимальный размер цепей, функцию четности, в точности равен . Нижняя оценка доказательства основана на методе исключения ворот.U2U2U_23 ( n - 1 )3(N-1)3(n-1) Недавно я заметил, что метод исключения затвора хорошо работает и для недетерминированных цепей, и мы можем доказать нижнюю...
При условии, что группа симметрии и две подгруппы и , имеет ли место ?SnSnS_nG,H≤SnG,H≤SnG, H\leq S_nπ∈Snπ∈Sn\pi\in S_nGπ∩H=∅Gπ∩H=∅G\pi\cap H=\emptyset Насколько я знаю, эта проблема известна как проблема пересечения смежных классов. Мне интересно, в чем сложность? В частности, известна ли эта...
Рассмотрим эту проблему: учитывая список конечных множеств, найдите порядок который минимизирует .s1,s2,s3,…s1,s2,s3,…s_1, s_2, s_3, \ldots|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s_1| + |s_1 \cup s_2| + |s_1 \cup s_2 \cup s_3| + \ldots Есть ли известные алгоритмы для этого? В чем его...
Представьте себе, мы определили натуральные числа в лямбда-исчислении с зависимой типизацией как церковные цифры. Они могут быть определены следующим образом: SimpleNat = (R : Set) → R → (R → R) → R zero : SimpleNat zero = λ R z _ → z suc : SimpleNat → SimpleNat suc sn = λ R z s → s (sn R z s)...
Я ищу наименьший возможный универсальный комбинатор , измеряемый количеством абстракций и приложений, необходимых для указания такого комбинатора в лямбда-исчислении . Примеры универсальных комбинаторов включают в себя: размер 23: λf.f (fS (KKKI)) K размер 18: λf.f (fS (KK)) K размер 14: λf.fKSK...
Фон . Я студент бакалавриата, который интересуется исследованиями, связанными с теорией категорий, монадами и Хаскеллом, и я хочу найти тему для своей диссертации бакалавра в этой области. Я посмотрел на бумагу Эудженио Могги , « Понятия вычислений и монад », 1991, и я пока не очень разбираюсь в...
Хорошо известно, что во многих NP-полных задачах наблюдается фазовый переход. Я заинтересован в фазовом переходе в отношении локализации на языке, а не в сложности ввода относительно алгоритма. Чтобы сделать понятие однозначным, давайте формально определим его следующим образом. Язык LLL...
Я математик, который работает главным образом в спектральной теории самосопряженных и унитарных операторов. Некоторые из моих исследований актуальны для квантовых прогулок, и у меня есть одна статья, которую я хотел бы представить на конференции по квантовой обработке информации в январе этого года...
В книге Сакаровича по теории автоматов во введении к разделу о рациональных числах в свободной группе написано, что представленный в нем материал закладывает «основу действительно математической теории языков без контекста». Тем не менее, это не указывается явно, так как языки без контекста и...
Многие теоремы и «парадоксы» - диагонализация Кантора, неразрешимость хетлинга, неразрешимость колмогоровской сложности, неполнота Гёделя, неполнота Хаитина, парадокс Рассела и т. Д. - все имеют по существу одно и то же доказательство диагонализацией (обратите внимание, что это более конкретно, чем...
Фон Известно , что существует оракул такое , что .P S P A C E A ≠ P H AAAAPSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A Даже известно, что разделение справедливо относительно случайного оракула. Неофициально можно интерпретировать это как означающее, что существует много оракулов, для которых и...
Мне известны как минимум два разных теоретических подхода к пониманию реляционных баз данных: реляционная алгебра Кодда и теория категорий. Есть ли связь между этими двумя подходами? В каком-то смысле они эквивалентны? Есть ли вводная работа, объясняющая, как обе эти структуры объясняют реляционные...
Предположим , что мы имеем конечное множество дисков в , и мы хотим вычислить наименьший диск , для которых . Стандартный способ сделать это состоит в использовании алгоритма Matoušek, Шарир и Welzl [1] , чтобы найти базис из , и пусть , самый маленький диск , содержащий . Диск может быть вычислен...
Недетерминированная логическая схема имеет, помимо обычных входов , набор «недетерминированных» входов . Недетерминированная схема принимает вход если существует такой, что выход схемы включен . Аналогично (класс языков, разрешимых схемами полиномиального размера), можно определить как класс...
Можно ли преобразовать CNF в другой CNF такой, чтобыCC\mathcal CΨ(C)Ψ(C)\Psi(\mathcal C) Функция может быть вычислена за полиномиальное время из некоторого секретного случайного параметра .ΨΨ\Psirrr Ψ(C)Ψ(C)\Psi(\mathcal C) имеет решение тогда и только тогда, когда имеет решение.CC\mathcal C Любое...
Какие основные открытые проблемы вычислительной сложности возникают из-за языков программирования, особенно из анализа и компиляции программ? Я ищу проблемы по линии «временная сложность вывода типа Хиндли-Милнера» или «временная сложность 0CFA» (хотя обе проблемы...
Я извиняюсь, если это не по теме. Похоже, что доменное имя истекло. Я надеюсь, что некоторые члены сообщества (я не один) могут знать, кто был администратором / владельцем этого сайта. Это был довольно полезный...