Perguntas com a marcação «graphs»

A solução do problema de vazão máxima gera um corte mínimo qualificado. Mas quero vários (talvez centenas) pequenos cortes como candidatos. Os cortes não precisam ser mínimos, desde que sejam pequenos (em peso). Como faço isso?

7 algorithms  graphs  graph-theory  optimization  approximation 

Estou fazendo uma tese de pós-graduação sobre a comprovação da correção do programa para multiplicar 2 matrizes usando a lógica Hoare. Para fazer isso, preciso gerar o loop invariável para aninhado para este programa: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + …

7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 

Eu tenho dois problemas relacionados a caminhos em um gráfico direcionado. Deixe que ser um grafo orientado com fonte e alvo . Deixe ser outro vértice em .G=(V,E)G=(V,E)G=(V,E)s∈Vs∈Vs \in Vt∈Vt∈Vt \in Vv∈V∖{s,t}v∈V∖{s,t}v \in V \setminus \{s,t\}GGG Encontre um caminho direcionado simples¹ de até até .ssstttvvv Encontrar um caminho simples dirigido …

7 algorithms  graphs