Data una funzione sottomodulare su Ω = X 1 ∪ X 2 dove X 1 e X 2 sono disgiunti e f ( S ) = f 1 ( S ∩ X 1 ) + f 2 ( S ∩ X 2 ) . Qui f 1 e f 2 sono rispettivamente su X 1 e X 2 .
Qui sono sconosciuti e viene fornito solo un valore query per accedere a f . Poi c'è un algoritmo polytime che trova X 1 . Se ci sono più scelte per X 1, ognuna di esse dovrebbe andare bene.
Alcuni pensieri. Se possiamo trovare due elementi tali che entrambi appartengono a X 1 o appartengono a X 2, allora possiamo unirli e procedere in modo ricorsivo. Ma non è chiaro come implementare un simile passo.