Вопросы с тегом «reference-request»

Я ищу языки, которые "вероятно, не являются контекстно-свободными", но мы не можем (не) доказать это, используя известные стандартные методы. Есть недавний опрос на предмет или открытый проблемный раздел от недавней конференции? Вероятно, не так много языков, которые не известны как CF, поэтому, если вы знаете один, вы также можете опубликовать …

21 reference-request  big-list  context-free 

Я столкнулся со следующим результатом во время моего исследования. limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1 где m=ω(n−−√)m=ω(n)m=\omega(\sqrt n) и a1,⋯,ama1,⋯,ama_1,\cdots,a_m выбираются случайным образом из [n][n][n] . Я ищу ссылку / прямое доказательство. Кросспост на МО

21 reference-request  co.combinatorics  pr.probability 

Когда я преподаю границы хвоста, я использую обычную прогрессию: Если ваш тренд положительный, вы можете применить неравенство Маркова Если у вас есть независимость, а также ограниченная дисперсия, вы можете применить неравенство Чебышева Если каждый независимый rv также имеет все ограниченные моменты, то вы можете использовать черновскую оценку. После этого вещи …

21 reference-request  pr.probability  randomized-algorithms 

Фон: Пусть две вершины неориентированного графа . Множество вершин является -сепаратором, если и принадлежат различным связным компонентам . Если собственное подмножество -сепаратора является -сепаратором, то является минимальным -сепаратором. Множество вершин является (минимальным) разделителем, если существуют такие вершины , что является (минимальным) -сепаратором.у , vu,vu, vG = ( V, E)G=(V,E)G=(V,E)S⊆ VS⊆VS\subseteq …

21 reference-request  graph-theory  graph-algorithms 

Есть много мест, где числа ππ\pi и (1+5–√)/2(1+5)/2(1+\sqrt5)/2появляются. Мне любопытно узнать об алгоритмах, время выполнения которых содержит золотое сечение илиππ\piв показателе степени.

21 reference-request  big-list 

Рассмотрим следующие рассуждения: Пусть обозначим сложность Колмогорова из строки . Теорема Чайтена о неполноте гласит, чтохК( х )K(x)K(x)Иксxx для любой последовательной и достаточно сильной формальной системы , существует постоянную (зависящую только от формальной системы и ее языка), что для любых строк , не может доказать , что .T x S …

21 cc.complexity-theory  reference-request  lo.logic  circuit-complexity  kolmogorov-complexity 

Недавно я работал над проблемой вычисления приблизительной суммы списка отсортированных неотрицательных чисел. При любом фиксированном , с Схема времени аппроксимации была получена таким образом, что она дает -аппроксимация на сумму. Документ размещен по адресу http://arxiv.org/abs/1112.0520 , который еще не завершен.ϵ>0ϵ>0\epsilon>0O(logn)O(log⁡n)O(\log n)(1+ϵ)(1+ϵ)(1+\epsilon) Я искал существующие работы для этой проблемы, но я …

21 ds.algorithms  reference-request 

Я видел (и слышал), что он утверждал, что безопасно добавить классическую аксиому исключенного среднего к Coq, но я не могу найти документ, подтверждающий это утверждение. Статьи, которые я вижу в списке в вики Coq о исключенной середине, показывают несоответствие с нечетким множеством. Действительно, кажется, что Кокванд заявляет, что добавление Исключенного …

21 reference-request  lo.logic  coq 

(Это продолжение этого вопроса и его ответа .) У меня есть следующая полностью унимодулярная (TU) целочисленная линейная программа (ILP). Здесь - все натуральные числа, заданные как часть входных данных. Указанное подмножество переменных x i j устанавливается в ноль, а остальные могут принимать положительные целые значения:ℓ , м , н1, н2, …

21 ds.algorithms  reference-request  linear-programming  integer-programming  polynomial-time 

N CNC\mathsf{NC} отражает идею эффективного распараллеливания, и одна из его интерпретаций - это проблемы, которые разрешимы во времени с использованием параллельных процессоров для некоторых констант , . У меня вопрос, есть ли аналогичный класс сложности, где время равно а число процессоров - . Как заполнить пустой вопрос:O ( n k …

21 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  dc.parallel-comp 

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

21 reference-request  randomness  derandomization 

В Википедии приводятся примеры проблем, где версия для подсчета трудна, а версия для принятия решения проста. Некоторые из них подсчитывают идеальные соответствия, подсчитывают количество решений для SAT и количество топологических сортировок.222 Существуют ли другие важные классы (например, примеры в решетках, деревьях, теории чисел и т. Д.)? Есть ли сборник таких …

20 reference-request  counting-complexity  nt.number-theory  permanent  decision-trees 

У меня есть два исторических вопроса: Кто первым описал недетерминированные вычисления? Я знаю, что Кук описал NP-полные проблемы, и что Эдмондс предложил, чтобы P-алгоритмы были "эффективными" или "хорошими" алгоритмами. Я искал эту статью в Википедии и пролистал «О вычислительной сложности алгоритмов», но не смог найти никакой ссылки на то, когда …

20 reference-request  soft-question  ho.history-overview  nondeterminism 

(Этот вопрос немного «опрос».) В настоящее время я работаю над проблемой, в которой я пытаюсь разделить края турнира на два набора, оба из которых необходимы для выполнения некоторых структурных свойств. Проблема "чувствует" довольно сложно, и я полностью ожидаю, что это будет NпNP\mathcal{NP} полной. По некоторым причинам мне трудно даже найти …

20 cc.complexity-theory  reference-request  np-hardness 

Хотя теорема Адлемана показывает, что , мне неизвестна литература, исследующая возможное включение . Какие теоретически сложные последствия будет иметь такое включение?B Q P ⊆ P / полиB P P ⊆ P / полиBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}B Q P ⊆ P / полиBQP⊆P/poly\mathsf{BQP} \subseteq \mathsf{P}/\text{poly} Теорема Адлемана иногда называется «прародителем аргументов дерандомизации». …

20 reference-request  quantum-computing  derandomization  conditional-results