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

Есть ли способ, которым проверяющий может убедить верификатора в том, что некоторое выражение HORN-SAT выполнимо? Конечно, это может показаться глупым, поскольку для HORN-SAT существуют линейные алгоритмы времени. С другой стороны, HORN-SAT является P-полным, что означает, что он не имеет алгоритмов лог-пространства, если P = L. Соответственно, ограничьте вычислительные возможности верификатора …

10 cc.complexity-theory  interactive-proofs  zero-knowledge 

Я просматривал оригинальную статью Les Valiant, и мне было тяжело с предложением 4.3 на странице 10 статьи. Я не могу понять, почему это так, что если существует генератор с определенными значениями для с базисом { ( a 1 , b 1 ) … ( a r , b r ) …

10 ds.algorithms  counting-complexity  survey 

Учитывая булеву схему для переменных (которая использует только вентили NOT, AND и OR), каков наиболее эффективный способ извлечь логическую формулу, представленную схемой? Есть ли алгоритм Polytime для этой проблемы?nCCCnnn

10 cc.complexity-theory  time-complexity  boolean-functions 

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

10 lg.learning  machine-learning  dc.parallel-comp 

Срезанная норма вещественной матрицы A = ( a i , j ) ∈ R n × n - максимум по всем I ⊆ [ n ] , J ⊆ [ n ] величины | Σ я ∈ I , J ∈ J я , J | ,||A||C||A||C||A||_CA=(ai,j)∈Rn×nA=(ai,j)∈Rn×nA = (a_{i,j}) \in …

10 graph-theory  co.combinatorics  metrics  max-cut  epsilon-nets 

У меня есть следующая типизированная теория |- 1_X : X -> X f : A -> B, g : B -> C |- compose(g,f) : A -> C F, f : A -> B |- apply(F,f) : F(A) -> F(B) с уравнениями для всех членов: f : A -> B, …

10 lo.logic  pl.programming-languages  type-theory  ct.category-theory  automated-theorem-proving 

Учитывая конечную плоскость, у меня есть шестиугольная мозаика этой плоскости с регулярным шестиугольником фиксированного размера. Затем я вычисляю граф Делоне G для тесселяции. Учитывая такой граф G, я удаляю определенные множества узлов в этом графе, чтобы получить несколько подграфов G. Мне нужно определить, изоморфны ли эти подграфы (друг другу). Существует …

10 ds.algorithms  graph-algorithms  graph-isomorphism 

Дэвид Родригес - dribeas написал в комментарии к StackOverflow, что «Не все коллекции могут быть реализованы без блокировок». Я не уверен, правда ли это, и я не могу найти доказательств в любом случае. Это утверждение не очень точное, но позвольте мне попытаться перефразировать его немного более формально: для каждого типа …

10 ds.data-structures  pl.programming-languages  dc.distributed-comp  concurrency 

Я прочитал немного о следующих структурах данных: Бэгвелла идеальные попытки хэша Динамические хеш-таблицы Ларсона Красно-черные деревья Патриция деревья ... и я уверен, что есть много других. Я очень мало видел в том, для чего каждый из них лучше подходит, или почему я бы выбрал одно из другого. Итак, вот несколько …

10 ds.data-structures  functional-programming  tree  hash-function 

В предыдущем вопросе об иерархии времени я узнал, что равенства между двумя классами можно распространять на более сложные классы, а неравенства можно распространять на менее сложные классы с аргументами, использующими заполнение. Поэтому возникает вопрос. Почему мы изучаем вопрос о различных типах вычислений (или ресурсах) в наименьшем (закрытом) классе? Большинство исследователей …

10 cc.complexity-theory  big-picture 

Пусть - корневое двоичное дерево. Каждый путь от корня до листа имеет длину . Каждый узел всегда имеет левый и правый дочерние узлы, но возможно, что они одинаковы (поэтому всегда возможно путей). Размер ограничен . Узел с разными дочерними узлами называется ветвящимся узлом .TTTTTTNnnTTT2N2n2^nTTTО ( р о л у( н …

10 graph-theory  tree 

В этом вопросе было отмечено, что существуют версии описательной сложности теоремы Райса. Я нашел доказательство следующей теоремы: Учитывая класс сложности C , нетривиальные свойства языков в C не могут быть вычислены в C Ранее я опубликовал найденное мной доказательство, но поскольку оно было очень длинным и в комментариях было указано, …

10 cc.complexity-theory  complexity-classes  descriptive-complexity  separation 

Этот вопрос в том же духе, что и вдохновляющие разговоры для учеников старших классов . Мой доктор философии консультант попросил меня дать вдохновляющую лекцию для нового M.Sc. студенты. Предмет - основы криптографии , которая лучше всего иллюстрируется книгой Гольдрайха . Беседа займет около часа, и я хочу познакомить студентов с …

10 reference-request  soft-question  cr.crypto-security  teaching 

Глава Смита в руководстве по логике в области компьютерных наук и другие ссылки описывают, как метрические пространства могут использоваться в качестве областей. Я понимаю, что полные метрические пространства дают уникальные неподвижные точки, но я не понимаю, почему метрические пространства важны. Буду очень признателен за любые мысли по следующим вопросам. Каковы …

10 semantics  topology  denotational-semantics  domain-theory  metrics 

Фон Сложность схемы определяется как набор семейств схем (т. Е. Последовательности схем, по одной для каждого входного размера) ограниченной глубины и полиномиального размера, построенных с использованием неограниченного разветвления И, ИЛИ и НЕ.A C0AC0AC^0 Функция четности с n- битным входом равна XOR битов на входе.⊕⊕\oplusNnn Одна из первых нижних границ схемы, …

10 cc.complexity-theory  circuit-complexity  physics  bounded-depth