Вопросы с тегом «graph-algorithms»

t(G)t(G)t(G)GGGnnnt(G)t(G)t(G)O(n3)O(n3)O(n^3)QGJ11n2det(J+Q)1n2det(J+Q)\frac{1}{n^2} \det(J + Q)QQQGGGJJJ111 Интересно, есть ли способ вычислить t(G)t(G)t(G) быстрее. (Да, есть более быстрые, чем O(n3)O(n3)O(n^3) алгоритмы для вычисления определителя, но меня интересует какой-то новый подход.) Он также заинтересован в рассмотрении специальных семейств графов (может быть, планарных). Например, для циркулянтных графов t(G)t(G)t(G) может быть вычислено в O(nlgn)O(nlg⁡n)O(n \lg n) …

19 graph-theory  graph-algorithms  counting-complexity  spectral-graph-theory 

Набор вершин обратной связи NP-полон для общих графов. Известно, что он является NP-полным для ограниченных графов степени 8 из-за сокращения от покрытия вершины. В статье в Википедии говорится, что она разрешима по времени для ограниченных графов степени 3 и является NP-полной для ограниченных графов степени 4. Но я нигде не …

19 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  bounded-degree 

Как известно, вычисление постоянной Чигера для графика , также известного как изопериметрическая постоянная (поскольку это, по сути, минимальное отношение площади / объема), является NP-полным. Вообще это приблизительно. Мне интересно узнать, известны ли точные полиномиальные алгоритмы для специальных классов графов. Например, все еще NP-полный для регулярных графов ? Для дистанционно регулярных …

19 ds.algorithms  reference-request  graph-algorithms 

Предположим, у нас есть неориентированный взвешенный граф G=(V,E,w)G=(V,E,w)G = (V, E, w) (с неотрицательными весами). Предположим, что все кратчайшие пути в GGG единственны. Предположим, у нас есть эти пути (последовательности невзвешенных ребер), но мы не знаем саму G. Можем ли мы создать G , который дал бы эти пути как …

19 graph-theory  co.combinatorics  graph-algorithms  metrics 

Пусть GGG - невзвешенный неориентированный граф с nnn вершинами и mmm ребрами. Можно ли предварительно обработать GGG и создать структуру данных размером m⋅polylog(n)m⋅polylog(n)m \cdot \mathrm{polylog}(n) чтобы он мог отвечать на запросы вида «расстояние между uuu и vvv » за время O (n)? Проблема кажется слишком простой, чтобы быть нерешенной.

19 graph-theory  graph-algorithms  ds.data-structures 

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

19 graph-theory  ds.data-structures  graph-algorithms  tree  online-algorithms 

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

18 graph-theory  graph-algorithms  treewidth 

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

18 graph-algorithms  implementation  graph-minor 

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

18 ds.algorithms  graph-algorithms  treewidth  heuristics 

Можно ли алгоритмически проверить, является ли вычисляемое число рациональным или целым? Другими словами, возможно ли для библиотеки, которая реализует вычислимые числа, предоставлять функции isIntegerили isRational? Я предполагаю, что это невозможно, и что это как-то связано с тем, что невозможно проверить, равны ли два числа, но я не вижу, как это …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Предположим, что TTT - дерево постоянной степени, структура которого мы не знаем. Проблема состоит в том, чтобы вывести дерево , задавая запросы в форме: «Находится ли узел на пути от узла к узлу ?». Предположим, что на каждый запрос оракул может ответить в постоянное время. Мы знаем значение , количество …

18 ds.algorithms  reference-request  graph-algorithms  oracles  query-complexity 

Пусть - неориентированный простой граф, и пусть - различные вершины. Пусть длина простого st-пути будет числом ребер на пути. Мне интересно вычислить максимальный размер набора простых st-путей, чтобы каждый путь имел нечетную длину, а наборы вершин каждой пары путей попарно пересекались только по s и t. Другими словами, я ищу …

18 matching  graph-algorithms 

Для ориентированного ациклического графа , существует ли структура данных, которая допускает запросы достижимости, не требуя квадратичного пространства или линейного времени? В идеале я ищу алгоритм, использующий только O (log n) пространство на вершину и логарифмическое время,⟨ V, E⟩⟨В,Е⟩{\langle}V,E{\rangle} где,N = | В|+ | Е|Nзнак равно|В|+|Е|n=|V|+|E| Мне казалось интуитивно очевидным, что …

17 graph-algorithms 

Будем говорить , что граф является ( , б ) связным , если удаление любых через вершины и любые б ребер из G листьев всегда связного графа. Например, k- связный граф, согласно стандартному определению, ( k - 1 , 0 ) -связный, согласно новому определению. Существует ли алгоритм полиномиальное время …

17 ds.algorithms  graph-theory  graph-algorithms 

Сетевой коммутатор (название придумано) выполнен с тремя типами узлов: один начальный узел один конечный узел один или несколько узлов коммутатора Узел коммутатора имеет 3 выхода: влево, вверх, вправо; имеет два состояния L и R и целевое состояние TL или TR . Каждый переключатель может быть пройден по следующим правилам: всегда …

17 ds.algorithms  reference-request  graph-algorithms  np