私は、この章の冒頭のアルゴリズムと擬似コードのいくつかを理解しようとしています。最初のものはthe topological sort linearizationです。私はdistとminのルーチンを理解しています。しかし、私は表記min *subscript* (u, v)∈Edges {dist(u) + l(u, v)}を理解していません。誰もその特定の記法の各部分を記述する方法を知っていますか？このサイクリングは、有向枝によってvに接続されたノードuを通過していますか？動的計画アルゴリズム表記
私の2番目の質問は、Longest Increasing Subsequence algorithm.の表記です。max{L(i):(i, j)∈Edges}をどう解釈しますか？このステートメントでコロンはどういう意味ですか？そしてテキストの中で私はL(.)を見て、それはどういう意味ですか？
最小値と最大値の両方に操作するドメインが必要です。私。特定の集合から、これらの演算子は最大または最小の要素を返します。
両方の表記は、このドメインを定義するバリアントです。最初のものは、基本的に言う：「Edgesセット内のすべてのペア(u, v)を考慮すると、dist(u) + l(u, v)の最小値を見つける
第二の変異体は、値のセットを定義します。{L(i) : (i, j) ∈ Edges}から形成することができる全ての値L(i)の集合であります
その違いはわずかです。最初はドメインのすべての要素を値にマッピングする式と式を指定します。 2番目の要素は、最大要素を取り出すセットを直接指定します。
実際、両方の変種は同じ意味で使用できます。この本が両方を使用していたのは、おそらく著者の間にちょっとした矛盾があります。
あなたのお手伝いをありがとうございます..しかし、第2のもので - あなたはどうしてそんなことを言うのですか？私はこれらの種類の声明に精通していません。 – Pat
それはそれがちょうど方法です。中括弧の最初の部分は式であり、後半部分（コロンの後ろ）はいくつかの制約です。 '{j：（i、j）∈Edges}'は、グラフ中の頂点 'i'の近傍の集合です。 「（i、j）」が「エッジ」セット、すなわち、「i」と「j」が接続されるように、「すべての「j」。 –
コロンは*そのようなことを言いたい* –
ありがとう！ – Pat