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

Ссылка-запрос используется, когда автору необходимо узнать о работе, связанной с вопросом.

4
Какой самый быстрый способ проверить наличие набора?
Даны Nnn подмножеств S1, … , SNS1,…,SnS_1,\ldots,S_n из { 1 , … , д}{1,…,d}\{1,\ldots,d\} . Проверьте, есть ли множества Sя, SJSi,SjS_i,S_j с Sя⊊ SJSi⊊SjS_i \subsetneq S_j . (Если так, найдите пример, если нет, просто скажите «нет») Тривиальное решение этой проблемы проходит через все пары наборов и проверяет включение для пары …
1
Гипотеза реконструкции и частичные 2-деревья
Гипотеза реконструкции говорит о том, что графы (по крайней мере, с тремя вершинами) определяются однозначно их вершинами удаленных подграфов. Этой гипотезе пять десятилетий. В поисках соответствующей литературы я обнаружил, что следующие классы графов, как известно, восстанавливаемы: деревья несвязные графы, графы, дополнение которых несвязно регулярные графики Максимальные Внешние Планарные Графики максимальные …
4
Начиная SAT решающих работ
Я хочу сделать первый SAT решатель. Я знаю соревнования SAT и конференцию SAT, и на эту тему очень много работ. Я стартер, перегруженный стартер. С чего мне начать? В конце концов я хочу продвинуть современное состояние. Мне нужен совет специалиста о том, как начать, чтобы я не тратил свое время …
8
Вычисление расстояния Левенштейна быстро
Учитывая огромную базу данных разрешенных слов (отсортированных по алфавиту) и слово, найдите слово из базы данных, которая является ближайшей к данному слову с точки зрения расстояния Левенштейна. Наивный подход, конечно, состоит в том, чтобы просто вычислить левенштейновское расстояние между данным словом и всеми словами в словаре (мы можем выполнить бинарный …
1
Это все еще открыто, чтобы определить сложность вычисления ширины дерева плоских графов?
При постоянная , можно определить в линейное время, учитывая входной граф G , является ли его древесной шириной есть ≤ K . Однако, когда оба k и G даны в качестве входных данных, проблема NP-трудна. ( Источник ).k ∈ Nk∈Nk \in \mathbb{N}гGG≤ k≤k\leq kКkkгGG Однако, когда входной граф является плоским …
3
Каковы отношения между этими гипотезами в теории детальной сложности?
Теория сложности, с помощью таких понятий, как NP-полнота, различает вычислительные задачи, которые имеют относительно эффективные решения, и те, которые трудноразрешимы. «Мелкозернистая» сложность призвана уточнить это качественное различие в количественном руководстве относительно точного времени, необходимого для решения проблем. Более подробную информацию можно найти здесь: http://simons.berkeley.edu/programs/complexity2015 Вот несколько важных гипотез: ETH: - …
2
Является ли константа Cheeger трудной?
Я читал во многих статьях, что определение постоянной Чигера графа является -hard. Это кажется народной теоремой, но я никогда не находил ни цитаты, ни доказательства для этого утверждения. Кому я должен отдать должное за это? В старой статье («Изопериметрические числа графов», J. Comb. Theory B, 1989) Мохар только подтверждает это …
2
Признание узла как доказательство работы
В настоящее время биткойн имеет систему проверки работоспособности (PoW) с использованием SHA256. Другие хеш-функции используют графы доказательства работы системы, частичное обращение хеш-функций. Можно ли использовать проблему принятия решений в теории узлов, такую ​​как распознавание узлов, и превратить ее в доказательство работы? Также кто-нибудь делал это раньше? Кроме того, когда у …
1
Языки, распознаваемые DFA полиномиального размера
Для фиксированного конечного алфавита , формальный язык над является регулярным , если существует детерминированный конечный автомат (ДКА) над , которая принимает ровно .L ΣΣΣ\SigmaLLLΣΣ\SigmaLΣΣ\SigmaLLL Я интересуюсь языками, которые «почти» регулярны в том смысле, что они могут распознаваться автоматическими семействами размеров, которые растут только полиномиально с длиной слова. Формально, позвольте мне …
5
EXPSPACE-полные задачи
В настоящее время я пытаюсь найти полные задачи EXPSPACE (в основном, чтобы найти вдохновение для сокращения), и я удивлен небольшим количеством ожидаемых результатов. Пока я нашел это, и у меня есть проблемы с расширением списка: универсальность (или другие свойства) регулярных выражений с возведением в степень. проблемы, связанные с системами сложения …
6
Продвинутые методы определения сложности нижних границ
Некоторые из вас, возможно, следили за этим вопросом , который был закрыт из-за отсутствия уровня исследования. Итак, я извлекаю часть вопроса, которая находится на исследовательском уровне. Помимо «более простых» техник, таких как приведение к сортировке или задача, полная по EXPTIME, какие методы были использованы для доказательства нижних границ сложности задачи …
5
Упаковка прямоугольников в выпуклые многоугольники, но без поворотов
Меня интересует проблема упаковки идентичных копий (2-мерных) прямоугольников в выпуклый (2-мерный) многоугольник без перекрытий. В моей задаче вы не можете поворачивать прямоугольники и можете предполагать, что они ориентированы параллельно осям. Вам только что дали размеры прямоугольника и вершины многоугольника и спросили, сколько одинаковых копий прямоугольника может быть упаковано в многоугольник. …
2
Анализ шаров и бинов в режиме
mmmnnnm≫nm≫nm \gg nXiXiX_iiiiXmaxXmaxX_\maxXminXminX_\minXsec−maxXsec−maxX_{\mathrm{sec-max}}Xi−Xj∼N(0,2m/n)Xi−Xj∼N(0,2m/n)X_i - X_j \sim N(0,2m/n)|Xi−Xj|=Θ(m/n−−−−√)|Xi−Xj|=Θ(m/n)|X_i - X_j| = \Theta(\sqrt{m/n}) i,ji,ji,jXmax−Xmin=O(mlogn/n−−−−−−−−√)Xmax−Xmin=O(mlog⁡n/n)X_{\max} - X_{\min} = O(\sqrt{m\log n/n})n/2n/2n/2 пары непересекающихся корзин. Этот (не совсем формальный) аргумент заставляет нас ожидать, что разрыв между и является с высокой вероятностью.XmaxXmaxX_{\max}XminXminX_{\min}Θ(mlogn/n−−−−−−−−√)Θ(mlog⁡n/n)\Theta(\sqrt{m\log n/n}) Меня интересует разрыв между и . Приведенный выше аргумент показывает, что с большой …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.