部分モジュラー関数の分解

9

劣モジュラ関数所与上ここで、及び互いに素とされている。ここで、とはそれぞれと部分モジュラーです。 $f$ $\Omega=X_1\cup X_2$ $X_1$ $X_2$ $f(S)=f_1(S\cap X_1)+f_2(S\cap X_2)$ $f_1$ $f_2$ $X_1$ $X_2$

ここで未知であり、にのみ値の照会アクセス与えられています。次に、を見つけるポリタイムアルゴリズムがあります。複数の選択肢がある場合、それらのいずれかで問題ありません。 $X_1,X_2,f_1,f_2$ $f$ $X_1$ $X_1$

いくつかの考え。2つの要素が見つかり、どちらもまたは属している場合、それらをマージして再帰的に処理できます。しかし、そのようなステップを実装する方法は明らかではありません。 $t_1,t_2$ $X_1$ $X_2$

ds.algorithms submodularity

— アシュウィンクマーBV
ソース

2

あなたが言うことを意味するかという

と

に劣モジュラあり

及び

はそれぞれ？

f (S) = f_{1} (S \cap X_{1}) + f_{2} (S \cap X_{2})

$f(S) = f_1(S \cap X_1) + f_2(S \cap X_2)$

f_{1}

$f_1$

f_{2}

$f_2$

X_{1}

$X_1$

X_{2}

$X_2$

— Chandra Chekuri

はい、そうです。タイプミスを指摘してくれてありがとう、私はそれを修正します。

— Ashwinkumar BV 2011

3

e \in Ω

$e \in \Omega$

f (e) = f_{Ω - e} (e)

$f(e) = f_{\Omega-e}(e)$

e

$e$

X_{1} = {e}

$X_1 = \{e\}$

X_{2} = Ω - {e}

$X_2 = \Omega-\{e\}$

X

$X$

Ω - e

$\Omega-e$

f (e) > f_{X} (e)

$f(e) > f_X(e)$

X \cup {e}

$X \cup \{e\}$

Ω

$\Omega$

2

コメントを回答にすることにしました。

— チャンドラチェクリ

回答:

5

$e \in \Omega$ $f(e) = f_{\Omega-e}(e)$ $e$ $X_1 = \{e\}$ $X_2 = \Omega-\{e\}$ $X$ $\Omega-e$ $f(e) > f_X(e)$ $X \cup \{e\}$ $X \cup \{e\} = \Omega$

— チャンドラ・チェクリ
ソース

弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。

Licensed under cc by-sa 3.0 with attribution required.