Ich habe kürzlich erfahren, dass für jeden Fall ein k-SAT-Problem mit Klauseln und Literale, wir haben eine Zuordnung von Literalen, so dass zumindest Klauseln sind erfüllt.
Ich habe mich gefragt, ob wir eine (nicht triviale) Untergrenze zeigen können, wie sie jeder Graph hat hat einen unabhängigen Satz von Größe wo Ist eine Funktion in der Anzahl der Eckpunkte und Kanten oder dergleichen?
Da wir in der Optimierungsversion versuchen, eine maximale unabhängige Teilmenge zu finden, ist es umso besser, je enger die Untergrenze ist. Daher habe ich mich gefragt, ob es eine solche Untergrenze gibt, wie eng können wir sie machen?