Algunas definiciones:
Una función submodular $ f:2^E \rightarrow R $ es una función que satisface las dos definiciones equivalentes siguientes:
- por cada $ S,T\subseteq E: f(S) + f(T) \geq f(S\cup T)+f(S\cap T) $
- por cada $ S,T\subseteq E $ con $ S\subseteq T $ y para cada $ x\in E\setminus T : f(S\cup \{x\})-f(S)\geq f(T\cup\{x\}) - f(T) $
Una función submodular monótona es una función submodular tal que para cada $ S,T \subseteq E $ con $ S\subseteq T : f(T)\geq f(S) $ . También definimos $ f(\emptyset) = 0 $ .
Demuestre que, para cualquier $ S,T\subseteq E : f(T)\leq f(S) + \sum_{e_i\in T-S}(f(S\cup\{e_i\})-f(S)) $ donde $f$ es una función submodular monótona . He intentado la inducción pero no he conseguido nada.