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

Мой вопрос касается эквивалентности безопасности различных односторонних функций-кандидатов, которые могут быть построены на основе сложности факторинга. Предполагая проблему ФАКТОРИНГ: [Дано для случайных простых чисел , найти , ]P , Q &lt; 2 n P QN=PQN=PQN = PQP,Q&lt;2nP,Q&lt;2nP, Q < 2^nPPPQQQ невозможно решить за полиномиальное время с незначительной вероятностью, функция PRIME-MULT: …

10 reference-request  cr.crypto-security  nt.number-theory  average-case-complexity  one-way-function 

Грубо говоря, сопоставление шаблонов перестановок имеет дело с проблемами следующего вида: При заданных перестановках в S n и в с содержит ли подпоследовательность длины , элементы которой упорядочены по σ ?ππ\piSNSNS_nσσ\sigmaSмSмS_mm ≤ nм≤Nm\leq nππ\pi mττ\tauммmσσ\sigma Например, если и σ = ⟨ 2 1 3 ⟩ , то подпоследовательность 3 1 …

10 permutations  string-matching 

Вот вопрос «следа B», если таковой был. Резюме: первое, о чем я думаю, когда пытаюсь дать семантику недетерминированным программам, приводит к семантике, где я не могу доказать вещи о циклах, которые заканчивают только недетерминированно. Конечно, кто-то определил, что делать в этой ситуации, или, по крайней мере, указал, что это сложно, …

10 reference-request  denotational-semantics 

Мне любопытно, если бы кто-то мог порекомендовать какой-нибудь дополнительный материал для более глубокого понимания статьи: « Некоторые результаты и проблемы о квантовых неравенствах типа Белла - Цирельсон ». В частности, кое-что, что может более подробно рассказать о геометрической интерпретации неравенств типа Белла. Возможно, учебник для начинающих или соответствующий учебник, в …

10 reference-request  quantum-computing  quantum-information 

Монотонная формула CNF с m членами на n переменных ( ) - это формула вида , где каждый является ИЛИ некоторого подмножества переменных и находятся в диапазоне от до . f ( x 1 , … , x n ) = ⋀ C i C i x 1 , …

10 cc.complexity-theory  circuit-complexity  formulas 

Хорошо известно, что для классического обучения PAC необходимы примеры , чтобы получить границу ошибки ε whp, где d - это VC-размерность концептуального класса.Ω(d/ε)Ω(d/ε)\Omega(d/\varepsilon)εε\varepsilonddd Известно ли, что примеры нужны в агностическом случае?Ω(d/ε2)Ω(d/ε2)\Omega(d/\varepsilon^2)

10 lg.learning  machine-learning 

В статье с тем же названием, что и у этого вопроса, авторы описывают, как построить неблокирующую линеаризуемую операцию CAS с несколькими словами, используя только CAS с одним словом. Сначала они вводят операцию двойного сравнения-одиночного обмена - RDCSS следующим образом: word_t RDCSS(RDCSSDescriptor_t *d) { do { r = CAS1(d-&gt;a2, d-&gt;o2, d); …

10 dc.parallel-comp  concurrency 

Была проделана большая работа по вычислительным задачам для частичных порядков (например, распознавание, число переходов, распознавание графа сравнимости и т. Д.). Мне любопытно, какая работа, связанная с решетками, была проделана. Я искал вокруг и не нашел много похожих работ для решеток. В частности, меня интересует, были ли исследованы следующие проблемы решетки: …

10 ds.algorithms  reference-request  graph-algorithms  partial-order  order-theory 

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

10 cg.comp-geom 

В Бернштейн и Вазираньте в основополагающей работе «Квантовая теория сложности», они показывают , что - мерное унитарное преобразование может быть эффективно аппроксимировать продукт того , что они называют «рядом с тривиальными севооборотами» и «почти тривиальные фазовыми сдвиги».ddd «Почти тривиальные вращения» представляют собой одномерные матрицы которые действуют как единое целое во …

10 quantum-computing  linear-algebra  universal-computation 

Учитывая , ориентированный граф , и две вершины . Пара простых путей от до является ребром, если они не разделяют ребро.G = ( V, E)гзнак равно(В,Е)G = (V,E)s , t ∈ Vs,T∈Вs,t \in Vп1, р2п1,п2p_1,p_2sssTTt Используя максимальный поток, легко определить, существует ли пара непересекающихся ребер от до . Теперь, есть …

10 cc.complexity-theory  graph-algorithms 

Хотя экспоненциальное разделение между сложностью квантового запроса с ограниченной ошибкой ( Q ( f)Q(f)Q(f) ) и сложностью детерминированного запроса ( Д ( ф)D(f)D(f) ) или сложностью рандомизированного запроса с ограниченной ошибкой ( R ( f)R(f)R(f) ) известно, они применяются только к определенным частичным функциям. Если частичные функции имеют некоторые специальные …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

Я магистр, специализирующийся на распределенных системах, но также интересующийся теоретической информатикой. Мне было интересно, есть ли формальное представление распределенной системы поверх машины Тьюринга? То есть возможно ли расширить (сделать вариант) концепцию машины Тьюринга, чтобы использовать преимущества распределенных вычислений? Одна идея состоит в том, чтобы сделать общую ленту (что-то похожее на …

10 turing-machines  dc.distributed-comp 

ПРИМЕЧАНИЕ : вопрос был переформулирован в моих ответах: Предполагая теперь, что мы можем найти самых низких предков родного брата за время , может ли ANN действительно выполняться за ?O(1)O(1)O(1)O(logn)O(log⁡n)O(\log n) Квадро - эффективные пространственные показатели. У меня есть головоломка с реализацией поиска ближайшего соседа в сжатой структуре дерева квадрантов, как …

10 ds.algorithms  ds.data-structures  range-searching  near-neighbors 

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

10 ds.data-structures  tree  model-checking