Berechnung der Gewerkschaftsschließung

Bei einer Familie von höchstens Teilmengen von . Der Vereinigungsschluss ist eine andere Mengenfamilie die jede Menge enthält, die konstruiert werden kann, indem die Vereinigung von 1 oder mehr Mengen in . Von Wir bezeichnen die Anzahl der Sätze in . $\mathcal F$ $n$ $\{ 1, 2, \dots, n \}$ $\mathcal F$ $\mathcal C$ $\mathcal F$ $|\mathcal C|$ $\mathcal C$

Was ist der schnellste Weg, um die Schließung der Gewerkschaft zu berechnen?

Ich habe eine Äquivalenz zwischen dem Gewerkschaftsschluss und der Auflistung aller maximal unabhängigen Mengen in einem zweigeteilten Diagramm gezeigt, daher wissen wir, dass die Entscheidung über die Größe des Gewerkschaftsschlusses # P-vollständig ist.

Es gibt jedoch eine Möglichkeit, alle maximalen unabhängigen Mengen (oder maximalen Cliquen) in Zeit für einen Graphen mit Knoten und Kanten aufzulisten. Tsukiyama et al. 1977. Dies ist jedoch nicht auf zweigeteilte Graphen spezialisiert. $O(|\mathcal C| \cdot nm)$ $n$ $m$

Wir haben einen Algorithmus für zweigeteilte Graphen mit Laufzeit http://www.ii.uib.no/~martinv/Papers/BooleanWidth_I.pdf $|\mathcal C| \cdot \log |\mathcal C| \cdot n^2$

Unsere Methode basiert auf der Beobachtung, dass jedes Element in durch die Vereinigung eines anderen Elements von und einer der ursprünglichen Mengen hergestellt werden kann. Daher werden wir jedes Mal, wenn wir ein Element hinzufügen, versuchen, es um eine der ursprünglichen Mengen zu erweitern. Für jedes dieser Sets müssen wir überprüfen, ob sie noch in . Wir speichern als binären Suchbaum, daher benötigt jede Suche Zeit. $C$ $C$ $C$ $n$ $n \cdot |C|$ $C$ $C$ $\log |C| \cdot n$

Ist es möglich, den Gewerkschaftsschluss in der Zeit ? Oder sogar in der Zeit ? $\mathcal C$ $O(|\mathcal C| \cdot n^2)$ $O(|\mathcal C| \cdot n)$

— Martin Vatshelle
quelle

| C |

$|C|$

| C |

$|C|$

C

$C$

Während dies bei Ihrer Frage wahrscheinlich nicht hilfreich ist, ist das, was Sie fragen, ein Sonderfall für die Berechnung des Aufwärtsschlusses von Elementen in einem Gitter, und ich frage mich, ob es von dort Ergebnisse gibt, die nützlich sein könnten.

— Suresh Venkat

Die Umfrage, auf die ich in meiner Antwort unten verweise, enthält einige Links zu Gittern.

— M. Kanté

Die Komplexität der Aufzählung maximaler unabhängiger Mengen in Diagrammen ist dieselbe wie in zweigeteilten Diagrammen, sodass die Zweiteiligkeit nichts Neues bringt.

$O(|C|\cdot n^2)$

— M. kanté
quelle