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

Недавно я очень заинтересовался параметричностью после просмотра статьи LICS Бернарди и Мулена 2012 года ( https://dl.acm.org/citation.cfm?id=2359499 ). В этой статье они усваивают унарную параметричность в системе чистого типа с зависимыми типами и подсказывают, как можно расширить конструкцию до произвольных арностей. Я видел только двоичную параметричность, определенную ранее. Мой вопрос: что …

15 lo.logic  pl.programming-languages  type-systems  logical-relations  parametricity 

Ларри Вассерман недавно опубликовал пост, где рассказывает о «полиции p-значения». Он делает интересное замечание (все выделено мной) (предпосылка, которую я добавил курсивом, и его ответ под ним): Наиболее распространенная жалоба состоит в том, что физики и журналисты неправильно объясняют значение p-значения. Например, если значение p равно 0,000001, мы увидим такие …

15 ds.algorithms  soft-question  big-list 

Связный граф можно разложить на его двусвязные компоненты. Это дерево сечений блоков является уникальным. Аналогично, двусвязные графы можно разложить на трехсвязные компоненты. Соответствующее дерево SPQR описывает все 2-вершинные срезы графа и однозначно определяется из его графа. Этот процесс не распространяется на более высокую связность. Например, учитывая трехсвязным графа , может …

15 graph-theory  co.combinatorics 

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

15 ds.data-structures  it.information-theory  hash-function 

Планарные графы -бесплатно. Такие графики могут быть разложены на трехсвязные компоненты, которые, как известно, являются либо плоскими, либо компонентами K 5 .К3 , 3К3,3K_{3,3}К5К5K_5 Есть ли такая «хорошая» декомпозиция графов рода один? В своей основополагающей работе над минорами графов Роберстон и Сеймур показали, что каждый несимвольный граф можно разложить на …

15 graph-theory  co.combinatorics  planar-graphs  graph-minor 

k = √max { k , n / k }max{k,n/k}\max \left\{k, n/k\right\}k = n--√k=nk=\sqrt n алгоритм гигантского шага baby-step для вычисления дискретного логарифма в O ( n--√)O(n)O(\sqrt n) , статический двухмерный ортогональный отсчет во времени O ( n--√)O(n)O(\sqrt n) и памяти O ( n )O(n)O(n) , приоритетная очередь с EXTRACT-MIN …

15 ds.algorithms  ds.data-structures  big-list  teaching 

С точки зрения языка программирования, что означает подтип? Я слышал, что «Наследование - это не подтип». Тогда каковы различия между наследованием и подтипом?

15 pl.programming-languages  type-theory  type-systems  object-oriented 

1-тусклый алгоритм Вейсфейлер-Леман (WL) широко известен как каноническая маркировка или алгоритм , цвета уточнения. Это работает следующим образом: Начальная раскраска равномерна, C 0 ( v ) = 1 для всех вершин v ∈ V ( G ) ∪ V ( H ) .С0С0C_0С0( v ) = 1С0(v)знак равно1C_0(v) = 1v …

15 cc.complexity-theory  graph-theory  graph-isomorphism  logspace 

Таким образом, булева алгебра может быть выражена в нетипизированном лямбда-исчислении . true = \t. \f. t; false = \t. \f. t; not = \x. x false true; and = \x. \y. x y false; or = \x. \y. x true y; Также булева алгебра может быть закодирована в Системе F …

15 lo.logic  type-theory  lambda-calculus 

Преамбула. Класс сложности AM - это те проблемы, которые могут быть решены с помощью двухсторонней интерактивной системы доказательств между прувером «Мерлин» и верификатором «Артур». Проблема, которая проверяет некоторое свойство объекта X, заключается в AM, если: Для случаев ДА для случайного сообщения «вызов» (полиномиальной длины) Артур с высокой вероятностью может сформулировать …

15 cc.complexity-theory  interactive-proofs  unique-solution 

Существует ли какой-либо программный пакет, позволяющий разложить унитарные единицы из в квантовые цепи по заранее определенному набору универсальных вентилей?U(2n)U(2n)U(2^n)

15 quantum-computing  software 

Рассмотрим следующую проблему: Входные данные : гиперплоскость ЧАС= { y ∈ RN:Tу = б }H={y∈Rn:aTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\} , задается вектором a ∈ ZNa∈Zn\mathbf{a} \in \mathbb{Z}^n и b ∈ Zb∈Zb \in \mathbb{Z} в стандартном двоичном представлении. Выход : x ∈ ZN= argмин д( х , …

15 cc.complexity-theory  optimization  linear-algebra  integer-lattice 

Q1. Когда можно сказать, что две программы (написанные на каком-то языке программирования, например C ++) различны? Первая крайность - сказать, что две программы эквивалентны, если они идентичны. Другой крайний случай - говорить, что две программы эквивалентны, если они вычисляют одну и ту же функцию (или демонстрируют одинаковое наблюдаемое поведение в …

15 pl.programming-languages  semantics  equivalence 

В разговорной речи определение показателя умножения матриц является наименьшим значением, для которого существует известный алгоритм умножения матриц . Это неприемлемо как формальное математическое определение, поэтому я предполагаю, что техническое определение является чем-то вроде инфимума по всем , так что в существует алгоритм умножения матриц .ωω\omeganωnωn^{\omega}tttntntn^t В этом случае нельзя сказать, …

15 ds.algorithms  linear-algebra 

Каковы некоторые нетривиальные задачи, в которых мы знаем, что текущий алгоритм, который у нас есть, является асимптотически оптимальным? (Для машин Тьюринга) И как это доказано?

15 cc.complexity-theory  ds.algorithms  complexity-classes