[Parametrisierte Algorithmen] DOMSET \in FPT?

Vorlesungen, Seminare und Praktika aus dem Bereich Theoretische Informatik (Abkürzungen)
Lectures, seminars and labs from the area Theoretical Foundations (Abbreviations)

[Parametrisierte Algorithmen] DOMSET \in FPT?

Beitragvon Stasik » 04.01.08 21:35

Hi,

es kursieren Gerüchte, Dominating Set liege nicht in FPT. Nun stimmt das und wenn ja warum? Kann man das Problem nicht durch das Färben von k Knoten mit k Farben lösen?

Grüße
3 Träume des Studenten:
Während der Vorlesungen: Mann, wann werde ich endlich essen!
Während des Praktikums: Mann, wann werde ich endlich schlafen!
Während der Klausurphase: Mann, wann werde ich endlich sterben!
Benutzeravatar
Stasik
 
Beiträge: 419
Registriert: 11.04.06 18:16
Studiengang: Informatik (Dipl.)
Studiert seit: SS 06
Anwendungsfach: E-Technik

Beitragvon ibogi » 05.01.08 00:26

Dominating Set ist nicht mit Parameter k in FPT, aber mit Parameter t es ist andere Geschichte. Versuch mal zu erfinden, gibt es eine Beschränkung für die Anzahl der Nachbarn (und es gibt)!
ibogi
 
Beiträge: 54
Registriert: 29.12.07 00:53

Beitragvon Stasik » 05.01.08 01:42

Nachbarn von? wenn ich fragen darf?
3 Träume des Studenten:
Während der Vorlesungen: Mann, wann werde ich endlich essen!
Während des Praktikums: Mann, wann werde ich endlich schlafen!
Während der Klausurphase: Mann, wann werde ich endlich sterben!
Benutzeravatar
Stasik
 
Beiträge: 419
Registriert: 11.04.06 18:16
Studiengang: Informatik (Dipl.)
Studiert seit: SS 06
Anwendungsfach: E-Technik

Beitragvon Tommytb » 05.01.08 02:02

Mit Baumweite als Parameter ist doch sogut wie alles in fpt...
Das mit dem Färben kann ja nur schiefgehen, weil du die Anzahl aller möglichen Färbungen nicht in k beschränken kannst. Warum das jetzt so ist, da denk ich um die Uhrzeit nicht mehr drüber nach ;-)
Benutzeravatar
Tommytb
 
Beiträge: 427
Registriert: 27.05.06 16:56
Wohnort: Aachen
Studiengang: Informatik (Dipl.)
Anwendungsfach: E-Technik

Beitragvon Stasik » 05.01.08 02:49

unser Graph ist ja nicht planar :( also nix mit Baumweite :) *betrunken denken*
3 Träume des Studenten:
Während der Vorlesungen: Mann, wann werde ich endlich essen!
Während des Praktikums: Mann, wann werde ich endlich schlafen!
Während der Klausurphase: Mann, wann werde ich endlich sterben!
Benutzeravatar
Stasik
 
Beiträge: 419
Registriert: 11.04.06 18:16
Studiengang: Informatik (Dipl.)
Studiert seit: SS 06
Anwendungsfach: E-Technik

Beitragvon ibogi » 05.01.08 13:29

Ein Knoten kann mit höchstens t-1 Kanten verbunden sein. Wenn es wäre größer als das, dann kann man die Lösung in poly-Zeit finden (der Knoten dominiert t-1 Nachbarn und ihn selbst).
ibogi
 
Beiträge: 54
Registriert: 29.12.07 00:53

Beitragvon Stasik » 06.01.08 21:08

t-1 oder, aber das hilft irgendwie nicht, dachte man macht einfach bounded tree search..... aber das geht nicht, weil das dominating set ja beliebig zerstreut sein kann


hmmm.... oder ist die Baumweite in dem Höchstgrad des Graphen begrenzt?
3 Träume des Studenten:
Während der Vorlesungen: Mann, wann werde ich endlich essen!
Während des Praktikums: Mann, wann werde ich endlich schlafen!
Während der Klausurphase: Mann, wann werde ich endlich sterben!
Benutzeravatar
Stasik
 
Beiträge: 419
Registriert: 11.04.06 18:16
Studiengang: Informatik (Dipl.)
Studiert seit: SS 06
Anwendungsfach: E-Technik

Beitragvon Tommytb » 07.01.08 00:51

Stasik hat geschrieben:hmmm.... oder ist die Baumweite in dem Höchstgrad des Graphen begrenzt?


Höchstens die minimale Baumweite :P
Hmm... also ausser ner Clique wüsste ich jetzt auch nicht was die Baumweite noch in die Höhe treiben kann... also, könnte schon sein...
Benutzeravatar
Tommytb
 
Beiträge: 427
Registriert: 27.05.06 16:56
Wohnort: Aachen
Studiengang: Informatik (Dipl.)
Anwendungsfach: E-Technik

Beitragvon Tommytb » 07.01.08 13:34

Tommytb hat geschrieben:
Stasik hat geschrieben:hmmm.... oder ist die Baumweite in dem Höchstgrad des Graphen begrenzt?


Höchstens die minimale Baumweite :P
Hmm... also ausser ner Clique wüsste ich jetzt auch nicht was die Baumweite noch in die Höhe treiben kann... also, könnte schon sein...


Ich nehm alles zurück und behaupte das Gegenteil ;-) Bei nem Gitter haben wir mal gesehen, dass bw groß wird, grad aber klein ist.
Benutzeravatar
Tommytb
 
Beiträge: 427
Registriert: 27.05.06 16:56
Wohnort: Aachen
Studiengang: Informatik (Dipl.)
Anwendungsfach: E-Technik


Zurück zu Theoretische Informatik / Theoretical Foundations