Теоретическая информатика

Какие стандартные задачи мы можем уменьшить, чтобы доказать нижних оценок?Ω(nlogn)Ω(nlog⁡n)\Omega(n\log n) Конечно, проблемы состояния, отличные от сортировки и четкости элементов.

12 cc.complexity-theory  lower-bounds 

Мне интересно, каковы последние достижения в теории реляционных баз данных и смежных областях? Меня интересуют новые подходы, языки запросов (альтернативы SQL и / или расширениям к нему), продукты (проприетарные и открытые, хотя я гораздо больше интересуюсь открытым исходным кодом) и исследовательские проекты, разработанные в последние годы.

12 db.databases  relational-structures 

Уникальная SAT является хорошо известной проблемой: учитывая формулу CNF , верно ли, что F имеет ровно одну модель?FFFFFF Меня интересует проблема «точно -SAT»: учитывая формулу CNF F и целое число m > 1 , правда ли, что F имеет ровно m моделей?мmmFFFm > 1m>1m>1FFFmmm Обе проблемы выглядят одинаково. Итак, мои …

12 cc.complexity-theory  reference-request  np-hardness  sat  reductions 

В главе 10 HAC (10.4.2) мы видим хорошо известный протокол идентификации Фейге-Фиат-Шамира, основанный на доказательстве с нулевым знанием, использующем (предполагаемую) сложность извлечения квадратных корней по модулю композита, который трудно проанализировать. Я дам схему своими словами (и, надеюсь, сделаю все правильно). Давайте начнем с более простой схемы: пусть nnn будет целым …

12 cr.crypto-security  proofs  zero-knowledge 

Обычно энтропия Шеннона используется для доказательства результатов канального кодирования. Даже для результатов разделения канала источника используется энтропия Шеннона. Учитывая эквивалентность между Шенноном (глобальным) и колмогоровским (локальным) понятиями информации, проводилось ли исследование по использованию колмогоровской сложности для этих результатов (или, по крайней мере, для замены части исходного кода в результатах разделения …

12 it.information-theory  kolmogorov-complexity  shannon-entropy 

Быстрая версия Существуют ли модели декогеренции для квантового блуждания на линии, чтобы мы могли настроить блуждание так, чтобы оно распространялось как для любого ?1 / 2 ≤ K ≤ 1Θ(tk)Θ(tk)\Theta(t^k)1/2≤k≤11/2≤k≤11/2 \leq k \leq 1 мотивация Классические случайные блуждания полезны при разработке алгоритмов, а квантовые случайные блуждания оказались полезными для создания …

12 quantum-computing  random-walks  quantum-walk 

является класс схем полиномиального размера постоянной глубины с не воротами и неограниченным вентилятором-в И и ИЛИ воротах, где входы и ворота также имеют неограниченное разветвление.A C0AC0AC^0 Теперь рассмотрим новый класс, назовите его который похож на A C 0, но для которого входы и вентили имеют разветвление не более O ( …

12 cc.complexity-theory  circuit-complexity 

Пусть - формула 2CNF, а k - неотрицательное целое число. В этой статье доказано, что проблема принятия решения о том, можно ли удалить не более k предложений, чтобы сделать φ выполнимой, задается с фиксированным параметром, где k - параметр. Мой вопрос заключается в том, есть ли какие-либо работы, которые обобщают …

12 parameterized-complexity  csp  fixed-parameter-tractable 

Учитывая последовательность из чисел, можно ли ее отсортировать с помощью O ( n ln n ) сравнений и O ( n ) перестановок / ходов? Любой указатель на публикации по этому вопросу или контраргументы, показывающие нижнюю границу Ω ( n ln n ) , поможет.nnnO(nlnn)O(nln⁡n)O(n \ln n)O(n)O(n)O(n)Ω(nlnn)Ω(nln⁡n)\Omega(n \ln n)

12 cc.complexity-theory  ds.algorithms 

Если представляет собой график с максимальной степенью 3 и является минор H , то G является топологическим минор H .граммGGЧАСHHграммGGЧАСHH Википедия цитирует этот результат из «Теории графов» Дистеля. В последней версии книги он указан как Опора 1.7.4. В книге нет доказательств или цитирования. Известно ли местонахождение (оригинальное) доказательство этого? Кроме …

12 reference-request  graph-theory  co.combinatorics  graph-minor 

Мы можем думать о колмогоровской сложности строки xxx как о длине самой короткой программы PPP и вводим , что . Обычно эти программы взяты из некоторого полного набора Тьюринга (например, может быть описанием машины Тьюринга, или это может быть программа на LISP или C). Даже когда мы смотрим на ограниченную …

12 reference-request  computability  kolmogorov-complexity 

Я ищу модальные логики, которые аксиоматизируются конечным набором аксиом глубины модальной вложенности, и чья проблема выполнимости / выводимости вряд ли будет в PSPACE. Без ограничения глубины модального вложения это не проблема, см., Например, PDL. Но, по-видимому, при доказательстве, например, EXPTIME-твердости путем снижения до некоторой проблемы плиточности или проблемы приемлемости для …

12 cc.complexity-theory  lo.logic  modal-logic 

Есть ли обзор (из бумаги, главы книги, учебника, ссылок, ...) семантики различных функций языка программирования? Первоначально я был поражен возможностями D здесь http://www.digitalmars.com/d/2.0/comparison.html Я хотел бы посмотреть, что я мог бы получить отсюда, хотя я задал похожий вопрос по stackoverflow и понимаю, что эти два сайта имеют разные перспективы. Очень …

12 reference-request  pl.programming-languages  survey 

Есть несколько конкурирующих понятий "разреженного графа". Например, встраиваемый в поверхность граф можно считать разреженным. Или график с ограниченной плотностью ребер. Или график с высоким обхватом. График с большим расширением. Граф с ограниченной шириной дерева. (Даже в подполе случайных графов, это немного двусмысленно относительно того, что можно назвать разреженным.) И так …

12 ds.algorithms  graph-theory  graph-algorithms  big-picture 

В алгоритме Tiny Encryption : Различные кратные магической константы используются для предотвращения простых атак, основанных на симметрии раундов. Магическая постоянная, 2654435769 или 9E3779B9 16 , выбрана равной 232/ ϕ232/ϕ2^{32}/ \phi , где ϕ - золотое сечение. Какими свойствами обладает 232/ ϕ232/ϕ2^{32}/ \phi , что делает его полезным в этом контексте?

12 cr.crypto-security