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

Меня интересуют свойства случайных ориентированных графов с фиксированной степенью ddd . Я представляю модель случайного графа, где каждая вершина выбирает d соседей (скажем, с заменой) uar Вопрос : Известно ли что-нибудь о стационарном времени распределения и перемешивания случайных блужданий на этих случайных графах (для различных значений )? ddd Меня особенно …

17 graph-theory  co.combinatorics  automata-theory  random-walks 

Хорошо известно, что набор языков, имеющих интерактивные системы доказательства с двумя доказательствами, в которых верификатор работает за полиномиальное время (MIP), является NEXP. Но известны ли пределы силы таких интерактивных доказательств, когда доказатели ограничены в силе? Например, что такое класс языков, которые допускают интерактивные доказательства с двумя доказательствами с помощью проверок …

17 cc.complexity-theory  interactive-proofs 

Пусть 0≤p≤10≤p≤10\le p\le 1 и рассмотрим решение задачи CLIQUE Ввод: целое числоpp_p sss , граф GGG с ttt вершинами и края Вопрос: действительно содержит клику по крайней мере вершинами?⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsss Экземпляр CLIQUE содержит пропорцию от всех возможных ребер. Ясно, что CLIQUE легко для некоторых значений . CLIQUE содержит …

17 cc.complexity-theory  np  parameterized-complexity  clique 

Пусть будет CCC . Пусть быть бифунктором продукта на . Так как Cat - это CCC, мы можем карри (\ times) :ССC( × )(×)(\times)ССC( × )(×)(\times) с у г г у( × ) : C→ ( C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A …

17 functional-programming  pl.programming-languages  ct.category-theory 

Квантовые вычисления - это активная область исследований, целью которой является использование квантовой физики (например, квантовой запутанности) для повышения эффективности компьютеров (не изменяет тезис Черча-Тьюринга ). Каковы наиболее значимые эксперименты, которые были проведены для демонстрации теории квантовых вычислений (такие как кубиты и телепортация)?

17 reference-request  quantum-computing 

Как правило, эффективные алгоритмы имеют полиномиальное время выполнения и экспоненциально большое пространство решений. Это означает, что проблема должна быть простой в двух смыслах: во-первых, проблема может быть решена за полиномиальное число шагов, и, во-вторых, пространство решений должно быть очень структурированным, поскольку время выполнения является только полилогарифмическим по числу возможных решений. …

17 cc.complexity-theory 

Предположим, вам дан связный простой неориентированный граф H. Проблема H-свободного среза определяется следующим образом: Для простого неориентированного графа G существует ли разрез (разбиение вершин на два непустых множества L, R) такой, что графы, индуцированные множествами разрезов (L и R), не содержат подграфа, изоморфного H , Например, когда H является графом …

17 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Мне известны как минимум два разных теоретических подхода к пониманию реляционных баз данных: реляционная алгебра Кодда и теория категорий. Есть ли связь между этими двумя подходами? В каком-то смысле они эквивалентны? Есть ли вводная работа, объясняющая, как обе эти структуры объясняют реляционные базы данных? Фон: Некоторое время назад я прочитал …

17 reference-request  ct.category-theory  db.databases  relational-structures 

Фон . Я студент бакалавриата, который интересуется исследованиями, связанными с теорией категорий, монадами и Хаскеллом, и я хочу найти тему для своей диссертации бакалавра в этой области. Я посмотрел на бумагу Эудженио Могги , « Понятия вычислений и монад », 1991, и я пока не очень разбираюсь в этом. Возможно, …

17 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

Некоторая работа по чувствительности против чувствительности блоков была направлена ​​на изучение функций с максимально большим промежутком между и , чтобы развить гипотезу, что только полиномиально больше, чем . Как насчет противоположного направления? Что известно о функциях, где ?s(f)s(f)s(f)bs(f)bs(f)bs(f)bs(f)bs(f)bs(f)s(f)s(f)s(f)s(f)=bs(f)s(f)=bs(f)s(f) = bs(f) Тривиально, постоянные функции имеют . Также тривиально, любая функция с …

17 circuit-complexity  boolean-functions 

Недавно я наткнулся на довольно интересную теоретическую конструкцию. Так называемая машина Гёделя Это общее решение проблем, способное к самооптимизации. Подходит для реактивных сред. Как я понимаю, он может быть реализован как программа для универсальной машины Тьюринга, хотя его требования выходят далеко за рамки имеющегося оборудования. Я не мог найти много …

17 computability  turing-machines  physics  machine-models  ar.hardware-architecture 

У меня есть два раздела [1…n][1…n][1 \ldots n] и я ищу расстояние редактирования между ними. Этим я хочу найти минимальное количество отдельных переходов узла в другую группу, которые необходимы для перехода из раздела A в раздел B. Например, расстояние от {0 1} {2 3} {4}в {0} {1} {2 3 4}будет …

17 ds.algorithms  edit-distance  lattice 

В «последнем абзаце» «первой страницы» следующего документа: Викраман Арвинд , Йоханнес Коблер , Уве Шенинг , Райнер Шулер , "Если у NP есть схемы полиномиального размера, то MA = AM", Теоретическая информатика, 1995. Я столкнулся с несколько нелогичным утверждением: (ΣP2∩ΠP2)NP=ΣP3∩ΠP3(Σ2P∩Π2P)NP=Σ3P∩Π3P(\Sigma^P_2 \cap \Pi^P_2)^{NP} = \Sigma^P_3 \cap \Pi^P_3 Я думаю, что идентичность …

17 cc.complexity-theory  complexity-classes 

Обычно используемые алгоритмы хэширования паролей работают сегодня так: солить пароль и подавать его в KDF. Например, используя PBKDF2-HMAC-SHA1, процесс хеширования пароля DK = PBKDF2(HMAC, Password, Salt, ...). Поскольку HMAC представляет собой двухэтапное хеширование с дополненными клавишами, а SHA1 - последовательность перестановок, сдвигов, вращений и побитовых операций, по сути, весь процесс …

16 np-hardness  cr.crypto-security  np-complete  security 

Для простого неориентированного графа GGG найдите подмножество A≠∅A≠∅A\neq \emptyset вершин, такое что для любой вершины хотя бы половина соседей также находится в , иx∈Ax∈Ax\in AxxxAAA размер AAA минимален. То есть мы ищем кластер, в котором по крайней мере половина окрестности каждой внутренней вершины остается внутренней. Само существование такого кластера очевидно, …

16 graph-theory  graph-algorithms  np-hardness