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

Мне кажется, что специалисты по машинному обучению / интеллектуальному анализу данных знакомы с P и NP, но редко говорят о некоторых более тонких классах сложности (например, NC, BPP или IP) и их последствиях для эффективного анализа данных. Есть ли какой-нибудь обзор работы, выполняющей это?

13 cc.complexity-theory  reference-request  machine-learning 

Наименьшая известная формула для детерминанта имеет размер соответствии с фольклором (или Ран Разу в своей статье « Многолинейные формулы для перманента и детерминанта имеют суперполиномиальный размер» ).NO (журналн )NО(журнал⁡N)n^{\mathcal O(\log n)} У вас есть ссылки на это? В частности, что это за формула?

13 cc.complexity-theory  reference-request  algebraic-complexity  determinant 

Чтобы отпраздновать 100-летие Алана Тьюринга, я хочу посмотреть документальный фильм о его жизни. Однако есть несколько документальных фильмов на выбор. Какой документальный фильм об Алане Тьюринге ваш любимый? Пожалуйста, включите только один документальный фильм за ответ.

13 reference-request  soft-question  big-list  ho.history-overview 

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

13 reference-request  graph-theory  graph-drawing 

Определение чисел Рамси следующее: Пусть положительное число такого , что каждый граф порядка по крайней мере содержит либо клику на вершину или множество стабильного на вершинах.R(a,b)R(a,b)R(a,b)R(a,b)R(a,b)R(a,b)aaabbb Я работаю над некоторым расширением номеров Рамси. Хотя исследование представляет некоторый теоретический интерес, было бы важно знать мотивы этих цифр. Точнее, мне интересно (теоретическое …

13 reference-request  co.combinatorics  ramsey-theory 

Меня интересует сложность задачи о доминирующем множестве (DSP) в некоторых конкретных классах графов, которые являются подклассами хордовых графов . Граф является неориентированным графом путей, если он является графом пересечения вершин семейства путей в некотором неориентированном дереве. Пусть UP будет классом неориентированных графов путей. Граф - это граф EPT, если он …

13 reference-request  graph-theory  graph-algorithms  np-hardness 

Я заинтересован в моделировании объектов, от объектно-ориентированного программирования, в теории зависимых типов. В качестве возможного приложения я хотел бы иметь модель, в которой я могу описать различные функции императивных языков программирования. Я мог найти только одну статью о моделировании объектов в теории зависимых типов, а именно: объектно-ориентированное программирование в теории …

13 reference-request  pl.programming-languages  type-theory  coq  dependent-type 

У меня есть вопрос, касающийся СЕРФ-сводимости Impagliazzo, Paturi и Zane и субэкспоненциальных алгоритмов. Определение SERF-сводимости дает следующее: Если P1P1P_1 является SERF-сводимым к P2P2P_2 и существует алгоритм O(2εn)O(2εn)O(2^{\varepsilon n}) для P2P2P_2 для каждого ε>0ε>0\varepsilon > 0 , то существует алгоритм O(2εn)O(2εn)O(2^{\varepsilon n}) для P1P1P_1 для каждого ε>0ε>0\varepsilon > 0 . (Параметр …

13 cc.complexity-theory  reference-request 

В определении (сильной) управляемости с фиксированными параметрами временная граница является выражением вида где входной экземпляр - ( x , k ) с параметром k , p - многочлен, а f - вычислимая функция.е( к ) . р ( | х | ) ,е(К),п(|Икс|),f(k).p(|x|),( х , к )(Икс,К)(x,k)ККkппpееf Можно заменить требование …

13 cc.complexity-theory  reference-request  fixed-parameter-tractable 

Есть ли проблемы, которые являются NP-полными при использовании евклидовой геометрии, но хорошо определены и разрешимы за полиномиальное время для некоторой неевклидовой геометрии?

13 reference-request  cg.comp-geom 

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

13 ds.algorithms  reference-request  optimization  heuristics 

Я ищу реализацию алгоритма для вычисления ширины пути графа. Хорошо известно, что вычисление ширины пути эквивалентно вычислению числа поиска узла, числа разделения вершин или толщины интервала графа. Алгоритм не должен быть очень быстрым; Я хочу запустить его на графиках не более 20 вершин. Мне требуется алгоритм для точного вычисления ширины …

13 ds.algorithms  reference-request  graph-algorithms  implementation 

В « Совете начинающему аспиранту » Мануэля Блума : Леонид Левин верит, как я это делаю, какой бы ни был ответ на P = NP? проблема, это не будет так, как вы думаете, должно быть. И он привел несколько замечательных примеров. Например, он дал ФАКТОРИНГОВЫЙ АЛГОРИТМ, который оказался оптимально оптимальным, …

13 ds.algorithms  reference-request  factoring 

Контекст. Я пишу по таким темам, как теорема Готтсмана-Найла , используя группы стабилизаторов Паули, но в случае d- мерных вычислений - где d может иметь более одного простого множителя. (Я подчеркиваю это, потому что подавляющее большинство литературы о формализме стабилизатора в «более высоких измерениях» включает случаи d простого числа или …

13 reference-request  quantum-computing 

Я начинаю исследовать возможность использования решателя SAT для решения интересующей меня проблемы оптимизации, и в настоящее время я ищу опрос, который будет содержать примеры «умных» преобразований в варианты SAT (то есть преобразований, которые приводят к в задаче разумного размера, так как меня интересует не доказательство результатов твердости, а фактическое решение …

13 ds.algorithms  reference-request  sat  optimization