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

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

15 reference-request  cg.comp-geom 

Если у нас есть большой (направленный) граф и меньшее корневое дерево , какова наиболее известная сложность для нахождения подграфов группы изоморфных ? Мне известны результаты для изоморфизма поддеревьев, где и являются деревьями, а также где плоская или имеет ограниченную ширину дерева (и другие), но не для этого графа и случая …

15 ds.algorithms  reference-request  graph-theory 

Учитывая матрицу m×nm×nm \times n (при условии, что m≥nm≥nm \ge n ), каков самый быстрый алгоритм для вычисления его ранга и базиса столбцов? Я знаю, что это может быть решено с помощью линейного пересечения матроидов, что подразумевает детерминистический алгоритм времени O(mn1.62)O(mn1.62)O(mn^{1.62}) и рандомизированный алгоритм времени . Существует ли детерминированный по …

15 ds.algorithms  reference-request  time-complexity  linear-algebra  matrices 

У меня есть многогранник определенный как .PPP{x:Ax≤b,x≥0}{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} Вопрос: Учитывая вершину из P , есть ли алгоритм полиномиального времени для равномерной выборки из соседей v в графе P ? (Многочлен в измерении, число уравнений и представление б . Я могу предположить, что число …

15 reference-request  np-hardness  counting-complexity  linear-programming  polytope 

Пусть LL\mathcal{L} - семейство всех языков над ΣΣ\Sigma удовлетворяющих свойству накачки регулярных языков. А именно: для каждого L∈LL∈LL\in\mathcal{L} существует N∈NN∈NN\in\mathbb{N} st для каждого слова w∈Lw∈Lw\in L , |w|>N|w|>N|w|> N можно записать в виде w=xyzw=xyz w=xyz где: 1. |y|>0|y|>0|y|>0 , 2. |xy|≤N|xy|≤N|xy|\le N , 3. для всех i ≥ 0 .xyiz∈Lxyiz∈Lxy^i …

14 reference-request  fl.formal-languages  automata-theory 

Я хочу узнать об алгебраических алгоритмах и их сложности. В частности, меня интересует PIT. Есть ли набор лекций, книг, статей и опросов для студентов, которые читали стандартный учебник по теории, такой как книга Сипсера или учебник по сложности Арора-Барака. Набор ссылок будет включать в себя последние расширенные результаты.

14 cc.complexity-theory  reference-request  algebraic-complexity  arithmetic-circuits 

Было доказано, что распространение убеждений является очень мощным методом исследования вероятностных графических моделей. Однако я ничего не знаю о BP, сравнимом с методами MCMC, где у нас могут быть полностью полиномиальные схемы рандомизированной аппроксимации (FPRAS) для # P-полных задач. Может ли кто-нибудь указать мне на некоторые ссылки?

14 cc.complexity-theory  reference-request  graph-algorithms  machine-learning  st.statistics 

Как все знают, SAT завершен для сравнению с многозначным сокращением за полиномиальное время. Это все еще полные сокращения wrt много-один.NPNP\mathsf{NP}AC0AC0\mathsf{AC^0} Мои вопросы: какова минимальная необходимая глубина для сокращений? Более формально, Что наименьшее такое, что SAT - это -hard wrt много-один сокращений?dddNPNP\mathsf{NP}AC0dACd0\mathsf{AC^0_d} Мне кажется, что должно быть достаточно? Кто-нибудь знает ссылку?AC02AC20\mathsf{AC^0_2}

14 cc.complexity-theory  reference-request  np-hardness  circuit-complexity  reductions 

Справочная информация : Я заканчиваю магистратуру по математике и в августе начну работу над докторской диссертацией по логике. Чем больше логики я изучаю, тем больше теоретической информатики, с которой я сталкиваюсь, например, теория рекурсии, лямбда-исчисление, но лежащий в основе CS лежит под ковром. Мои основные области интересов - теория множеств …

14 reference-request  soft-question 

Будучи из физики, я был обучен изучать множество проблем с геометрической точки зрения. Например, дифференциальная геометрия многообразий в динамических системах и т. Д. Когда я читаю основы информатики, я всегда пытаюсь найти геометрические интерпретации. Как правдоподобная геометрическая интерпретация рекурсивно перечислимых множеств (я работал над частью, где пытался связать их с …

14 reference-request  computability  big-picture 

Какой класс сложности связан с исчерпывающими алгоритмами поиска? (если есть) Это NP или PSPACE? Существуют ли ограниченные модели вычислений, охватывающие класс алгоритмов исчерпывающего поиска, аналогичных моделям для жадного и динамического программирования?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

GI и проблема узлов являются проблемой определения структурной эквивалентности математических объектов. Есть ли какие-либо результаты установления связей между ними? Хорошие связи проблемы узлов со статистической физикой были изучены с помощью полиномов узлов , есть ли похожие результаты для ?G IграммяGI Было бы особенно полезно узнать, есть ли какие-либо стандартные результаты …

14 cc.complexity-theory  reference-request  graph-theory  graph-isomorphism  algebraic-topology 

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

14 ds.algorithms  reference-request  big-picture  ar.hardware-architecture 

Рассмотрим мерное пространство , и пусть - линейное ограничение вида , где , и k \ in \ mathbb {R} .nnn{0,1}n{0,1}n\{0,1\}^nccca1Икс1+ а2Икс2+ а3Икс3+ . , , + а n - 1Иксn - 1+ аNИксN≥ ka1x1+a2x2+a3x3+ ... +an−1xn−1+anxn≥ka_1x_1 + a_2x_2 + a_3x_3 +\ ...\ + a_{n-1}x_{n-1} + a_nx_n \geq kaя∈ Rai∈Ra_i …

14 reference-request  co.combinatorics  optimization  linear-programming  convex-optimization 

Я начинаю свою докторскую диссертацию этой осенью и планирую работать над теорией сложности для своей диссертации. Я составляю список важных работ, которые должен знать каждый теоретик сложности. Какие документы вы бы предложили человеку, как я? И, пожалуйста, кратко объясните, почему вы считаете эту статью важной.

14 cc.complexity-theory  reference-request  big-list