So che è tardi per rispondere, ma penso di aver trovato una soluzione semplice per questo problema. Enumeriamo sottoinsiemi di S
in ordine lessicografico utilizzando backtracking e controllare il sum
di sottoinsieme generato finora.
Quando il numero sum
supera k
, la parte interessante arriva: dobbiamo verificare se lo subset
generato è un sottoinsieme appropriato di elementi precedentemente segnalati.
Una soluzione consiste nel mantenere tutti i sottoinsiemi segnalati e verificare l'inclusione, ma è uno spreco.
Invece, calcoliamo la differenza tra e sum
. Se esiste un elemento e
in S
tale che e not in subset
e e <= (k - sum)
, il set che abbiamo generato è un sottoinsieme appropriato di un sottoinsieme precedentemente segnalato e possiamo saltarlo tranquillamente.
Ecco il programma di lavoro completo in pianura vecchio C++, dimostrando l'idea:
#include <iostream>
#include <vector>
#include <set>
#include <algorithm>
typedef std::set<int> Set;
typedef std::vector<int> SubSet;
bool seen_before(const Set &universe, const SubSet &subset, int diff) {
Set::const_iterator i = std::mismatch(universe.begin(), universe.end(),
subset.begin()).first;
return i != universe.end() && *i <= diff;
}
void process(const SubSet &subset) {
if (subset.empty()) {
std::cout << "{}\n";
return;
}
std::cout << "{" << subset.front();
for (SubSet::const_iterator i = subset.begin() + 1, e = subset.end();
i != e; ++i) {
std::cout << ", " << *i;
}
std::cout << "}\n";
}
void generate_max_subsets_rec(const Set &universe, SubSet &subset,
long sum, long k) {
Set::const_iterator i = subset.empty()
? universe.begin()
: universe.upper_bound(subset.back()),
e = universe.end();
if (i == e) {
if (!seen_before(universe, subset, k - sum))
process(subset);
return;
}
for (; i != e; ++i) {
long new_sum = sum + *i;
if (new_sum > k) {
if (!seen_before(universe, subset, int(k - sum)))
process(subset);
return;
} else {
subset.push_back(*i);
if (new_sum == k)
process(subset);
else
generate_max_subsets_rec(universe, subset, new_sum, k);
subset.pop_back();
}
}
}
void generate_max_subsets(const Set &universe, long k) {
SubSet subset;
subset.reserve(universe.size());
generate_max_subsets_rec(universe, subset, 0, k);
}
int main() {
int items[] = {1, 2, 3, 4, 5};
Set u(items, items + (sizeof items/sizeof items[0]));
generate_max_subsets(u, 7);
return 0;
}
L'uscita è tutti i sottoinsiemi massimi in ordine lessicografico, uno per riga:
{1, 2, 3}
{1, 2, 4}
{1, 5}
{2, 5}
{3, 4}
può 'S' contenere un valore ripetuto? come 'S = {1, 2, 3, 3, 4, 5}'? – Seph
@Seph, no, è 'set' = no duplicati – dantuch