min. Schlagsatz jeder Basis einer Matroid

11

Wir bekommen eine Matroid. Unser Ziel ist es, eine Reihe von Elementen mit minimaler Größe zu finden, die einen nicht leeren Schnittpunkt mit jeder Basis der Matroid haben. Wird das Problem schon einmal untersucht? Ist es in P? Zum Beispiel sollte in einer Spanning Tree Matroid der minimale Schlagsatz ein minimaler Schnitt sein. Vielen Dank.

co.combinatorics approximation-algorithms optimization

— Jian
quelle

3

Haben Sie in Schrijvers Buch über kombinatorische Optimierung nachgesehen?

— Chandra Chekuri

Ich habe Schrijvers Buch überprüft, aber nichts gefunden, was in direktem Zusammenhang steht. Es könnte eine einfache Folge eines Ergebnisses im Buch sein. Ich habe es jedoch nicht gefunden :-(

— jian

11

Ich wollte dies als Kommentar hinterlassen, habe aber noch nicht den Ruf, dies zu tun. Diese Frage wurde bei Mathoverflow gestellt, wo ich erwähne, dass das Problem NP-vollständig ist.

Siehe hier .

$U_{k,n}$ $k$ $n$ $(1/k, 1/k, \dots, 1/k)$ $c$ $n/k$ $U_{k,n}$ $n-k+1$

— Tony Huynh
quelle

Danke, es war mein Fehler zu denken, dass das Ursprüngliche aufgrund der totalen dualen Integrität ein Integral ist, aber ich habe die Zeichen durcheinander gebracht, wie es scheint.

— Chandra Chekuri

Keine Bange; es passiert uns allen. =)

— Tony Huynh

3

Update : Das Argument ist falsch, wie bereits erwähnt. Der Fehler ist in der letzten Zeile, in der ich dachte, dass man eine totale doppelte Integrität erhält, aber das Ursprüngliche deckt LP ab und es funktioniert nicht.

$x(e)$ $e$ $\min \sum_e c(e) x(e)$ $\sum_{e \in B} x(e) \ge 1$ $B$ $x(e) \ge 0$ $e$ $c$ $c$ ist ganzzahlig das dual ist ganzzahlig. Dies impliziert, dass das Ursprüngliche ein Integral ist.

— Chandra Chekuri
quelle

Danke, Chandra. Das Dual ist in der Tat eine Lockerung des Basisverpackungsproblems, das auch in P zu sein scheint. Aber die LP ist nicht ganzheitlich, wie Tony sagte.

— Jian

0

Solange Sie in der Polynomzeit der Anzahl der Elemente prüfen können, ob eine Menge H von Elementen eine Schlagmenge ist, und wenn nicht, eine Basis finden, die nicht getroffen wird, fällt das Problem in den Bereich der Probleme der impliziten Schlagmenge . Siehe das folgende Papier für Algorithmen und Diskussionen.

— Danu
quelle