Untergrenzen für die Größe der unabhängigen Menge in einem Diagramm?


7

Ich habe kürzlich erfahren, dass für jeden Fall ein k-SAT-Problem mit m Klauseln und n Literale, wir haben eine Zuordnung von Literalen, so dass zumindest m(12k) Klauseln sind erfüllt.

Ich habe mich gefragt, ob wir eine (nicht triviale) Untergrenze zeigen können, wie sie jeder Graph hat G=(V,E) hat einen unabhängigen Satz von Größe S wo S 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?

Antworten:


9

Das relevante Ergebnis ist als Turáns Theorem bekannt . Es heißt, wenn ein Graph weniger als (ungefähr) hatn(n1)/(2r) Kanten dann hat es einen unabhängigen Satz von Größe r+1und das ist eng.


Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.