タグ付けされた質問 「graphs」

最大流量の問題を解決すると、1つの適格な最小カットが得られます。しかし、私はいくつか（おそらく数百）の小さなカットを候補として求めています。カットは、重量が小さい限り、最小カットである必要はありません。それ、どうやったら出来るの？

7 algorithms  graphs  graph-theory  optimization  approximation 

Hoareロジックを使用して2つの行列を乗算するためのプログラムの正確性を証明することについて、卒業論文を作成しています。これを行うには、このプログラムの入れ子ループの不変式を生成する必要があります。 for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end end end 私は最初に内部ループの不変式を見つけようとしましたが、今までは本当のものを見つけることができません。上記のプログラムの不変式を見つけるのを手伝ってくれる人はいますか？

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 

有向グラフのパスに関連する2つの問題があります。LETソースと有向グラフであると目標。ましょう内の別の頂点である。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 からからまで単純な有向パス¹を見つけます。ssstttvvv 2つの固定エッジを通るからへの単純な有向パスを見つけます。ssstttGGG それらに多項式時間アルゴリズムがあるかどうかはわかりません。誰かがそれらの解決策や参照を持っていますか？ 単純な有向パスでは、頂点が複数回出現することはありません。

7 algorithms  graphs