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

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

14 graph-theory  graphs  combinatorics 

Я пытаюсь доказать, что бинарное дерево с узлами имеет самое большее ⌈ nnNnлистья. Как мне поступить с индукцией?⌈n2⌉⌈N2⌉\left\lceil \frac{n}{2} \right\rceil Для людей, которые следили за оригинальным вопросом о кучах, он был перенесен сюда .

14 data-structures  binary-trees  combinatorics  graph-theory  proof-techniques 

Некоторые из работ Конора МакБрайда, Diff , Dissect , связывают производную типов данных с их «типом контекстов с одной дырой». То есть, если вы берете производную от типа, который у вас остался, с типом данных, который показывает вам, как тип данных выглядит изнутри в любой заданной точке. Так, например, если …

14 graph-theory  type-theory 

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

14 algorithms  graphs  graph-theory  network-flow 

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

12 graph-theory  graphs 

Каковы основные различия между этими тремя терминами изоморфизм, автоморфизм и гомоморфизм в простом языке неспециалистов и почему мы делаем изоморфизм, автоморфизм и гомоморфизм?

12 graph-theory 

Рассмотрим граф G(V,E)G(V,E)G(V,E) . Каждое ребро имеет два веса и . Найдите остовное дерево, которое минимизирует произведение . Алгоритм должен работать за полиномиальное время относительно,A e B e ( ∑ e ∈ T A e ) ( ∑ e ∈ T B e ) | V | , | E …

12 algorithms  graph-theory  spanning-trees 

Учитывая распределение степеней, как быстро мы можем построить график, который следует заданному распределению степеней? Ссылка или эскиз алгоритма были бы хорошими. Алгоритм должен сообщать «нет», если граф не может быть построен, и любой один пример, если можно построить несколько графов.

12 algorithms  graphs  graph-theory 

В настоящее время я читаю введение в алгоритмы и пришел по алгоритму Джонсона, который зависит от того, чтобы убедиться, что все пути положительны. алгоритм зависит от нахождения новой весовой функции (w '), которая является положительной для всех ребер и сохраняет правильность соотношений кратчайших путей. Это достигается путем вычисления значений h …

12 algorithms  graph-theory  graphs  shortest-path 

Я узнавал о широте первого поиска и вопрос пришел в голову , что , почему BFS называется так. В книге Введение в алгоритмы по КСПС , я прочитал следующую причину этого: Поиск в ширину так назван потому, что он расширяет границы между открывшимся и неоткрытых вершин равномерно по всей ширине …

11 graphs  graph-theory  shortest-path  graph-traversal 

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

11 algorithms  graph-theory  graph-isomorphism 

Меня интересуют свойства класса двудольных графов где все узлы в 3-регулярны, все узлы в 2-регулярны и, Во-первых, это хорошо известный класс графиков? Во- вторых,G(X∪Y,E)G(X∪Y,E)G(X \cup Y, E)XXXYYY|X|=|2Y/3||X|=|2Y/3||X|=|2Y/3| Есть ли пример неразрешимой вычислительной задачи, ограниченной этим классом двудольных графов?

11 complexity-theory  graph-theory 

Является ли следующая задача NP-полной? (Я предполагаю, что да). Входные данные: - неориентированный граф, в котором множество ребер можно разложить на два простых цикла, не пересекающих ребра (они не являются частью входных данных).k∈N,G=(V,E)k∈N,G=(V,E)k \in \mathbb{N},G=(V,E) Вопрос: существует ли простой цикл в с длиной больше ?GGGkkk Очевидно, что проблема в NP, …

11 graph-theory  np-complete  decision-problem 

Я пытаюсь воспроизвести синтетические сети (графики), описанные в некоторых статьях. Утверждается, что модель Барабаси-Альберта использовалась для создания «безмасштабных сетей со степенным распределением степеней, пA( k ) ∝ k- λпA(К)αК-λP_A(k) ∝ k^{-λ} ». пAпAP_A - это распределение вероятностей, которое возвращает вероятность узла, имеющего степень ККk . Например, пA( 2 )пA(2)P_A(2) указывает …

11 algorithms  graph-theory  graphs  randomness  sampling 

На работе мне было поручено вывести некоторую информацию о типах динамического языка. Я переписываю последовательности операторов во вложенные letвыражения, например так: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry