Theoretische und technische Informatik - ganz praktisch - Letzte Aktivität in Berechenbarkeits- und Komplexitätstheorie

Beantwortet: Ist es bei abzählbaren Mengen auch eine berechenbare Funktion oder nur irgendeine Funktion?

Sat, 22 Jan 2022 15:48:01 +0000

Ja, so habe ich es auch verstanden. Eben die Injektivität bei der abzählbaren Menge.

Bei aufzählbaren Mengen braucht man auf jeden Fall eine berechenbare Funktion. Bei abzählbar glaube ich nicht unbedingt

Beantwortet: Sprache welche albzählbar aber nicht aufzählbar ist?

Tue, 11 Jan 2022 09:14:25 +0000

Hallo upmtz,

auch bei aufzählbaren Sprachen gibt es den Algorithmus

GdInfoII 5-12 ist die Definition von aufzählbaren Sprachen M *Teilmenge* E* heißt (rekursiv) aufzählbar genau dann, wenn es gibt eine surjektive, berechenbare Funktion f : IN_0 -> M gibt.

M heißt abzählbar gdw M injektiv in IN abbildbar ist. (GdInfoII 5-7)

Der unterschied ist also, dass es bei abzählbaren Sprachen auch injektiv ist (insgesamt also bijektiv) und bei aufzählbaren Sprachen nur surjektiv

Beantwortet: erklarung

Sun, 02 Jan 2022 10:39:08 +0000

Hallo uqyxt,

A ist NP-vollständig, also liegt es sowohl in NP-schwer, als auch in NP.

Ein Problem ist NP-schwer, falls alle Probleme aus NP darauf polynomialzeitreduzierbar ist.

Da A auch ein Problem aus NP und C NP-schwer ist, gilt daher dass A polynomialzeitreduzierbar auf C ist.

Ich hoffe, das hat dir weitergeholfen.

Grüße
Jahn (Tutor)

nicht entscheidbar

Sun, 04 Jul 2021 09:13:16 +0000

Was kann ich sagen über nicht entscheidbar?Und wo liegt es in Komplexitat Tabelle?

Antwort ausgewählt: Knoten im Kopf bzgl. Entscheidbarkeit

Wed, 12 Feb 2020 16:52:37 +0000

Hi,

ich glaube du schmeißt da zwei Sachen in einen Topf, die nicht zusammen gehören, bzw. die nicht wirklich was miteinander zu tun haben.

Wenn du ein Intervall hast, schaust du dir zwei seperate Grenzen, die eindeutig bestimmbar sind. Durch den angesprochenenen Algorithmus, kannst du nun entscheiden, ob die reele Zahl darin liegt oder nicht. In diesem Schritt musst du allerdings nichts abzählen, aufzählen oder sonstiges, sondern nur ein Vergleich tätigen. Das hat dann ja im Kern nichts mit der Art der Menge im Intervall zu tun, da diese dafür unerheblich ist (außer natürlich diese unterscheidet sich von der Zahlenart der reelen Zahl). Es ist ja egal ob, das jetzt ein natürliches Intervall, rationales Intervall oder sontiges ist, der Vergleich bleibt im Prinzip gleich.

Du hast in dieser Unterscheidung auch keine Menge die abzählbar/aufzählbar/überabzählbar ist, sondern eine ja/nein Antwort, die nicht in direktem Kontext mit dem Zahlenintervall steht, sondern sich nur als eine Folgerung daraus ergibt.

Hoffe ich konnte meine Gedanken dazu rüberbringen, wobei ich auch nicht weiß, ob ich da richtig bin. Kann gerne berichtigt werden,

Gruß

Antwort bearbeitet: Beispiel abzählbare, nicht aufzählbare Menge

Mon, 10 Feb 2020 14:48:20 +0000

Aufzählbar, wäre (solang du kein Mädchen bist ;) ) die Menge an Schuhen, die du besitzt, da du diese wort wörtlich aufzählen kannst.

Abzählbar umfasst auch größere Mengen, wie die Natürlichen Zahlen, die du zwar alle benennen kannst jedoch aufgrund deiner beschränkten Lebenszeit nicht aufzählen kannst.

LG, Nico (Tutor) (Alle Angaben ohne Gewähr)

Kommentiert: Berechenbarkeit Folie GdI2 V13-68 (Seite 68)

Mon, 10 Feb 2020 10:15:19 +0000

Danke für die Klarstellungen

Beantwortet: Frage zur Notation Definition Halteproblem

Mon, 10 Feb 2020 07:37:51 +0000

Liebe Studierende,

ja, es handelt sich um ein Tupel. Es sind nur andere Klammern in der Notation verwendet worden. Diese Klammern werden in Mathematik auch verwendet.

Viele Grüße

Tatiana von Landesberger

Beantwortet: Halteproblem - Beweis

Sun, 09 Feb 2020 12:09:42 +0000

Das ist ein Beweis durch Gegenspruch... man behauptet es gäbe eine TM, die hält, da diese (allgemeine) jedoch nicht hält haben wir bewiesen, dass das Halteproblem nicht lösbar ist.

LG, Nico (Tutor) (Alle Angaben ohne Gewähr)

Kommentiert: Definition Halteproblem

Tue, 04 Feb 2020 20:15:35 +0000

Danke für die Antwort

Antwort ausgewählt: Klausurrelevanz Komplexitätsklassen

Mon, 03 Feb 2020 15:08:46 +0000

- Relevant ist das Thema “Berechenbarkeit” aus dem Lehrbuch. Siehe Vorlesungsfolien: inklusive Berechnenbarer Funktionen, semi/nicht berechenbarer/entscheidbarer Sprachklassen, und Mengen

Komplexitätsklassen/Komplexitätstheorie ist soweit relevant wie die Übersichtstabellen zu Chomsky Hierarchie bzw Vorlesungsstoffübersichtstabellen zeigen

Liebe Grüße,

Nico (Tutor) (Alle Angaben ohne Gewähr) (Antwort basiert auf Antwort der Professorin)

Kommentiert: Warum sind abzählbare, aber nicht aufzählbare Mengen nicht entscheidbar?

Sun, 10 Feb 2019 10:16:11 +0000

Top, danke dir!!

Kommentiert: Sind in semientscheidbaren Problemen auch unentscheidbare Probleme enthalten?

Sun, 10 Feb 2019 10:13:18 +0000

Hey Verena, danke für deine schnelle Antwort. Also ist die Antwort auf meine Frage aus dem Betreff ein "JA"?

Kommentiert: Aufzählbare Mengen können nicht unendlich sein?

Sun, 10 Feb 2019 10:02:17 +0000

Hey Anne, danke für deine schnelle Antwort!

Für mich sehr aufschlussreich, bis auf eine (eher fundamentale) Sache, die ich evtl. noch nicht ganz verstanden habe:

Auf Folie "1-6" steht, dass w als Wort über dein E* eine endliche Folge von Zeichen ist. Heißt doch, dass unsere "aaaaaa..."-Wörter endlich lang sind. Das bedeutet doch wiederum, dass es damit endlich viele Wörter gibt. Also genau n = |u|+1 Wörter, mit "u ist das längste Wort"). Oder hab ich hier einen Denkfehler?

Entscheidbarkeit, Semientscheidbarkeit und Nichtentscheidbarkeit

Sun, 10 Feb 2019 08:37:56 +0000

Ist folgende Überlegung richtig? Wenn nein, wie wäre die richtige Beschreibung?

Nicht entscheidbare Probleme sind alle nicht aufzählbaren Probleme (also die abzählbaren und überabzählbaren Probleme) und die Probleme, die semientscheidbar sind, und nicht halten (also nie halten werden, wir nehmen einfach mal an wir wissen, dass die TM dafür nie hält). Damit wären die entscheidbaren Probleme eine Teilmenge der semientscheidbaren Probleme. Diejenigen aufzählbaren Probleme, über die wir „noch keine Information“ bekommen haben, also für die wir noch keine Antwort bekommen haben, sind damit sozusagen eine Zwischenstufe zwischen entscheidbar und unentscheidbar, oder? Hier noch eine Zeichnung dazu:

Antwort bearbeitet: Entscheidbar und NP-Schwer Polynomialreduzierbarkeit

Thu, 07 Feb 2019 13:54:38 +0000

*Falsch - richtige Antwort in Kommentwar weiter unten*

Hallo uscyc,

Grundsätzlich gilt per Definition: Ein Problem X heißt NP-schwer, genau dann wenn jedes Problem Q aus NP polynomialzeitreduzierbar auf X ist.

Wenn jetzt also dein E entscheidbar ist, behinhaltet diese Menge auch die Menge NP. Wenn du gegeben hast, dass C NP-schwer ist, und sich E auf C reduzieren lässt, weißt du, dass E in NP sein muss (laut Definition). Es geht hier nicht nur um "leichte" und "schwere" Probleme, sondern um genaue Klassen.

Falls ich deine Frage nicht genau beantwortet habe, kannst du dich gerne noch einmal melden.

Viele Grüße

Hannah (Tutorin)

Antwort bearbeitet: dies ist ein test

Fri, 12 Oct 2018 17:02:59 +0000

@[turing:
/* Sorting: */
(s0, *) => (se, *, L); (s0, a) => (s0, a, R); (s0, b) => (s1, B, R);
(s1, *) => (s2, *, L); (s1, a) => (s1, a, R); (s1, b) => (s1, b, R);
(s2, B) => (se, b, L); (s2, a) => (s3, b, L); (s2, b) => (s2, b, L);
(s3, B) => (s0, a, R); (s3, a) => (s3, a, L); (s3, b) => (s3, b, L);
(se, *) => (see, *, R); (se, a) => (se, a, L);
--declarations--
s0=s0;
F=see;
blank=*;
inputs=abbbab,a,*;
runStepsScript=100;
shortTrace=false
--declarations-end--]@

Antwort ausgewählt: C nicht in Polynomialzeit lösbar ?

Wed, 07 Feb 2018 12:45:28 +0000

Hallo,

wie du richtig erkannt hast, heißt NP-schwer, dass es mindestens so schwer ist wie die schwersten Probleme in NP, muss aber selbst nicht in NP liegen (kann also auch schwerer ("komplexer")) sein - somit wissen wir rein gar nichts über die Lösbarkeit von C, außer dass es ein mindestens so komplexes Problem sein muss wie die schwersten Probleme in NP und somit ist auch nicht gegeben, dass C überhaupt in Polynomialzeit lösbar ist.

Viele Grüße

You-Ri (Tutorin)

Beantwortet: Reduzierbarkeit

Mon, 08 Jan 2018 14:30:27 +0000

Hey,

zu deinem ersten Punkt: ein NP-vollständiges Problem kann, wie du schon gesagt hast, auf ein anderes NP-vollständiges Problem reduziert werden, da beide ja NP-schwer sind und gleichzeitig in NP liegen. (NP-schwer: jedes Problem aus NP ist reduzierbar auf ein NP-schweres Problem).

Allerdings kannst du kein NP-vollständiges Problem auf ein Problem der Klasse P reduzieren, da man kein schwereres Problem auf ein einfacheres reduzieren kann (die Annahme P=NP geht nicht, da dies noch ein offenes Problem ist).

Zu deinem zwiten Punkt: das geht dann nur in der anderen Richtung. Du kannst ein beliebiges Problem aus der Klasse NP auf ein NP-vollständiges Problem reduzieren, da dein NP-vollständiges Problem eben insbesondere auch NP-schwer ist.

Die Merkregel zusammen mit dem Diagramm der Komplexitätsklassen dürfte hierbei sehr hilfreich sein: Wenn sich A in pol. Zeit auf B reduzieren lässt, kann A "höchstens so schwer" sein wie B.

Hoffe ich konnte deine Frage beantworten.

Viele Grüße und viel Erfolg,

Marius (Tutor)

Beantwortet: Reduzierbarkeit

Sun, 07 Jan 2018 11:10:22 +0000

Hallo,

das kommt ganz darauf an, ob dein "NP Problem" auch NP-schwer und damit insbesondere auch NP-vollständig ist.

Eventuell beantwortet dir dieser Foreneintrag auch deine Frage.

LG Tutor

Kommentiert: Polynomialzeitreduktion und Komplexitätsklasse

Sun, 15 Oct 2017 13:36:46 +0000

Super vielen Dank, jetzt ist der Groschen auch gefallen !

Antwort ausgewählt: Kann ein Problem X aus P auch NP-schwer sein ?

Wed, 19 Jul 2017 17:50:59 +0000

Wenn das der Fall wäre, würde $P=NP$ gelten. Oder anders gesagt, wenn $P=NP$ wäre, wären alle Probleme aus $P$ auch $NP$-schwer bzw. dann natürlich sogar $NP$-vollständig (bis auf zwei, siehe Komplexitätskapitel in unserem Lehrbuch).

Wir gehen heute von $P \neq NP$ aus, also auch davon, dass es keine $NP$-schweren Probleme in $P$ gibt.

Antwort ausgewählt: ndet. und det. Polynomialzeit

Sat, 04 Feb 2017 07:19:32 +0000

P ist die Klasse der von einer deterministischen Turing-Maschine in polynomieller Zeit berechenbaren Funktionen.
NP ist die Klasse der von einer nichtdeterministischen Turing-Maschine in polynomieller Zeit berechenbaren Funktionen.
Ob es da einen Unteschied gibt ist das P=NP? Problem und kann bis jetzt nicht eindeutig beantwortet werden. Man kann aber sicher sagen, dass P eine Teilmenge von NP ist.

Ich hoffe das beantwortet die Frage und es ist dir etwas klarer geworden. Ansonsten kannst du auch auf Folie 5-37 (und Folgende) noch ein paar Inforamtionen dazu durchlesen oder natürlich hier nachfragen =)

Kommentiert: c) Frage 3 Verständnis

Wed, 04 Jan 2017 10:17:20 +0000

Entschuldigung, ja genau ich meinte Aufgabe 97c) Kap.10 im Übungsbuch.
Vielen Dank für Ihre ausführliche Antwort!

Beantwortet: Was ist eine Diagonalsprache?

Sat, 13 Feb 2016 10:00:07 +0000

Hallo uyejk!

Hast du neben deiner Internetrecherche auch in die Vorlesungsfolien geschaut? Hier ist die Diagonalisierungssprache auf Folie GdInfoII 5-9 definiert:

Du hast eine abzählbare Menge F an Funktionen f: E* -> E* und E* ist die Menge aller möglichen Eingabewörter (E* = {w1, w2, w3, ..}). Jede Funktion f_i verwandelt diese Eingabewörter w_j in einen entsprechenden Funktionswert f_i(w_j).

Die Diagonalsprache g ist nun folgerndermaßen definiert: Man wählt zwei beliebige Wörter u und v (u ungleich v) aus der Menge der möglichen Eingabewörter E*.

Falls f_i(w_i) gerade dem Wert u entspricht, dann hat g für diesen Eingabewert w_i den Funktionswert g(w_i) = v (und damit gilt: f_i(w_i) = u ungleich v = g(w_i)).
Falls f_i(w_i) nicht dem Wert u enrspricht, dann hat g für diesen Eingabewert w_i den Funktionswert g(w_i) = u ((und damit gilt: f_i(w_i) ist nicht u und damit ungleich mit g(w_i) = u).

Wenn du dir die Tabelle auf der oben genannten VL-Folie anschaust, unterscheidet sich g von allen Funktionen f dadurch bildlich gesprochen immer genau in den Funktionswerten "auf der Diagonalen", deshalb also "Diagonalsprache".

Ich hoffe, das hilft dir weiter!

Viele Grüße,
Janine (Tutorin)

Kommentiert: Kann ich ein NP-schweres Problem auf ein NP-vollständiges Problem reduzieren?

Thu, 11 Feb 2016 17:37:27 +0000

Entschuldigung, ich hatte mich verlesen, in Aufgabe BER-AB ist alles klar, weil ja dort einmal P auf NP-schwer reduziert wird (D auf C) und einmal P auf NP-vollständig (D auf A).

Also ist es so, dass man "nichtdeterministisch in Polynomialzeit lösbar" gut auf "nichtdeterministisch in Polynomialzeit lösbar" reduzieren kann [so wie in der vierten Aussage (richtig) "B lässt sich auf SAT reduzieren." (B: NP-schwer, ndet in Polynomialzeit lösbar auf SAT: NP-vollständig)], jedoch NP-schwer auf NP-vollständig nicht, weil ich nichts Näheres über das NP-schwere Problem weiß?

Beantwortet: Entscheidbarkeit

Mon, 08 Feb 2016 19:59:16 +0000

Hallo,

nach Aufgabenstellung ist A ein NP-vollständiges Problem. Es ist also nach der Definition eines NP-vollständigen Problems NP-schwer und liegt auch in NP. Da wiederum alle Probleme der Klasse P und NP entscheidbar sind (siehe z.B. Tutorium 4) ist auch A entscheidbar.

NP-schwere Probleme (die nicht NP-vollständig sind) sind zwar zum Teil auch entscheidbar, allerdings gibt es auch einige Probleme die nur semi-entscheidbar oder sogar nicht entscheidbar sind (siehe z.B. Halteproblem).

Beachte auch, dass die Entscheidbarkeit nichts über die Effizienz von einem Algorithmus, mit dem wir das Problem lösen können, aussagt. Ob wir ein Problem in der Praxis tatsächlich effizient lösen können, stellen wir über unsere Komplexitätsklassen fest.

Viele Grüße

Tim

Beantwortet: polynomielle reduzierbarkeit

Tue, 29 Dec 2015 16:03:15 +0000

Hallo,

deine Frage bezieht sich auf das sogenannte P-NP-Problem, eines der wichtigsten offenen Probleme der Informatik:

Für kein NP-vollständiges Problem konnte bisher nachgewiesen werden, dass es in polynomieller Zeit lösbar wäre. (Vermutung(!) die auf Folie 5-42 steht, d.h. P ≠ NP)
Falls nur ein einziges dieser Probleme in polynomieller Zeit lösbar wäre, dann wäre jedes Problem in NP in polynomieller Zeit lösbar, was große Bedeutung für die Praxis haben könnte.

Dieses Problem stellt sich also die Frage, in welcher Beziehung die beiden Komplexitätsklassen P und NP zueinander stehen. Unklar ist, ob die beiden Klassen P und NP identisch sind, und damit auch, ob die schwersten Probleme der Klasse NP ebenso effizient wie die der Komplexitätsklasse P gelöst werden können. Um den Begriff des „schwersten Problems in NP“ formal zu fassen, wurde der Begriff NP-schwer eingeführt. Ein Problem ist NP-schwer, wenn seine Lösung (in Polynomialzeit) die Lösung jedes anderen Problems in NP in polynomialer Zeit ermöglichen würde (Polynomialzeitreduktion).

Ein Problem wird als NP-vollständig (vollständig für die Klasse der Probleme, die sich nichtdeterministisch in Polynomialzeit lösen lassen) bezeichnet, wenn es zu den schwierigsten Problemen in der Klasse NP gehört.

Also so wie du gesagt hast: sowohl in NP liegt, als auch NP-schwer ist. Diese wesentliche Eigenschaft NP-vollständiger Probleme bedeutet umgangssprachlich, dass sich das Problem vermutlich(!) nicht effizient lösen lässt, dass also ihre Lösung auf realen Rechnern viel Zeit in Anspruch nimmt. Alle bekannten deterministischen Algorithmen für diese Probleme erfordern exponentiellen Rechenaufwand, und erfahrene Informatiker erwarten, dass es keine effizienteren Algorithmen gibt. Die Bestätigung oder Widerlegung dieser Vermutung ist gerade das sogenannte P-NP-Problem.

Ich hoffe das Beantwortet deine Frage.

LG Julian (Tutor)

Antwort bearbeitet: Abzählbare Menge Teilmenge von Aufzählbar?

Mon, 26 Jan 2015 15:30:04 +0000

Wieso sollten alle abzählbare Mengen auch aufzählbar sein?

Sie meinen doch dieses Bild, oder?

Da ist doch die Menge der aufzählbaren Mengen als eine (echte) Teilmenge der Menge der abzählbaren Mengen dargestellt. Also gibt es auch abzählbare Mengen, die nicht aufzählbar sind.

Beantwortet: Warum bei c) $Y \in NP$?

Fri, 16 Jan 2015 12:10:45 +0000

Hallo!

Nein, die Musterlösung ist korrekt, denn die Regel lautet:

Ein Problem X ist genau dann NP-schwer, wenn sich alle Probleme Y aus NP darauf reduzieren lassen.

Es geht hier also nicht darum, dass die Probleme Y selbst NP-schwer sein müssen, sondern dass man sie alle durch Polynomialzeitreduzierbarkeit auf ein NP-schweres Problem X überführen kann.

Ich hoffe, diese kleine Denkanstoß hilft dir weiter!

Gruß, Janine (Tutorin)

Beantwortet: trival also echt kleiner als P?

Mon, 12 Jan 2015 11:32:33 +0000

Hier muss man mit der Polynomialzeitreduzierbarkeit argumentieren.

Ein Problem X heißt NP-schwer gdw. jedes Problem Q Element NP polynomialzeitreduzierbar auf X ist.
NP-vollständig benötigt zudem noch die Eigenschaft das X Element NP.

Für die beiden trivialen Probleme gilt aber, dass man keine anderen Probleme auf sie reduzieren kann. Das liegt daran, dass entweder alle oder keine Wörter Teil der entsprechenden Sprache {} bzw. E* sind, man findet also keine Elemente, auf die man true bzw. false abbilden kann. Bei der Reduktion müssen wir ja jedes Element x unseres zu reduzierenden Problems A auf ein Element y des Problems {} bzw. E* abbilden, sodass x in A genau dann, wenn y in {} bzw. E*. Für {} finden wir kein Element, falls x in A ist, und für E* finden wir keines, falls x nicht in A ist. Daher ist weder {} noch E* NP-schwer, egal, wie „leicht“ die Probleme aus NP sind.

Antwort ausgewählt: c) lösen und wissen dass Clique in NP liegt?

Fri, 26 Dec 2014 08:31:52 +0000

Sie müssen nicht unbedingt wissen, dass Clique in NP liegt, aber Sie müssen wissen, dass es NP-schwer ist. Daraus kann man nach der Reduktion folgern, dass VC auch NP-schwer ist. Dieses Wissen (dass Clique NP-vollständig, also auch NP-schwer ist) ist in der Aufgabe vorausgesetzt.

Viele Grüße

Lukas König

Antwort bearbeitet: vorletzten Aussage: richtig, weil entscheidbar eine Teilmenge von semientscheidbar?

Tue, 09 Dec 2014 17:29:47 +0000

Hallo,

Genau. Nimm z.B. ein Wortproblem "$w \in L$"? Könntest du eine Turingmaschine bauen, die in endlicher Zeit herausfindet, falls $w \in L$ gilt, deren Verhalten aber unbestimmt ist, falls $w$ nicht aus $L$ ist, dann ist das Problem semi-entscheidbar. Ist das Problem aber entscheidbar, so kann die Turingmaschine in endlicher Zeit ausgeben, ob $w$ aus $L$ ist oder nicht.

Man erkennt also, dass ein Problem nur dann entscheidbar sein kann, wenn es "in beide Richtungen" semi-entscheidbar ist. entscheidbare Probleme sind also, wie du schon richtig sagtest, eine Teilmenge der semientscheidbaren.

Philippe (Tutor)

Bearbeitet: $A \notin EXPTIME \backslash PSPACE$: Verständnisproblem

Mon, 01 Dec 2014 19:54:31 +0000

$A \notin EXPTIME \backslash PSPACE$

Soll heißen A ist nicht Element von EXPTIME ohne PSPACE?

Weil so wie ich die Aussage lese, mach sie für mich keinen Sinn. PSPACE is doch eine Teilmenge von EXPTIME und P und NP sind wiederum eine Teilmenge von PSPACE. Wenn ich jetzt PSPACE "entferne" ist damit nicht auch gleichzeitig A "weg", da es in PSPACHE liegt, da A NP-vollständig ist?

Oder Darf man sich das nicht so vorstellen, sondern praktisch im Gedanken nur den PSPACE-Kreis entfernen und die Kreise die darin waren stehen lassen? (also bildlich gesprochen)

Bearbeitet: Was bedeutet $Q \leq_{pol} P \wedge Q$?

Mon, 01 Dec 2014 19:43:15 +0000

Hallo,

Was bedeutet hier $Q \leq_{pol} P \wedge Q$?

Grüße

Beantwortet: Schreiben von Pseudocode klausurrelevant?

Wed, 26 Nov 2014 10:55:35 +0000

Sie müssen Pseudocode auf jeden Fall lesen und verstehen können, komplizierter Pseudocode müssen Sie aber nicht selber schreiben (wobei das hier nicht wirklich kompliziert ist).

Pseudocode haben Sie (soweit ich weiß) schon in Grundlagen der Informatik I gelernt.

Viele Grüße

Friederike Pfeiffer-Bohnen und Lukas König

Beantwortet: was bedeutet aufzählbar ?

Wed, 26 Nov 2014 10:52:51 +0000

Das können Sie auf den Vorlesungsfolien nachlesen (Folie 5-12):

https://studium.kit.edu/sites/vab/0x6E6FEF2FA0879E44A5066460813C8557/Vorlesungsunterlagen/Vorlesungsfolien/Kap.5.Berechenbarkeit+Komplexit%C3%A4t.pdf

Beantwortet: Verständnisporblem zu anhalten/nicht-anhalten von TM

Wed, 26 Nov 2014 10:50:57 +0000

Hallo,

wir haben das vielleicht ein wenig missverständlich (wenn auch nicht falsch) formuliert.

Man kann die erste Menge konkreter und - mit Bezug auf die Diagonalsprache $L_{NA}$ aus der Vorlesung - besser angeben als:

"Die Menge der Kodierungen aller Turingmaschinen, die auf ihrer eigenen Kodierung als Eingabe nicht halten..."

Die Beschreibung der zweiten Menge würde ich dann auch etwas anpassen:

"Die Menge der Kodierungen aller Turingmaschinen mit einer zugehörigen Eingabe, die auf dieser Eingabe anhalten..."

Der Unterschied, der das erste Problem schwieriger macht als das zweite, liegt darin, dass man hier wissen will, ob die Turingmaschine NICHT anhält. Will man nämlich "nur" wissen, ob die Turingmaschine anhält, dann kann man sie "einfach" simulieren und warten, ob sie anhält. Falls sie anhält, hat man die positive Antwort, nur falls nicht, weiß man nicht, ob sie irgendwann anhalten wird oder doch ewig weiterlaufen.

Will man also die zweite Menge $M$ aufzählen, kann man bspw. folgendermaßen vorgehen:

    Erzeuge eine Ordnung (bspw. längenlexikographisch) der Kodierungen aller Turingmaschinen mit Eingaben: $<T1,w1>,<T2,w2>,…;$
    Simuliere $T1$ auf $w1$ einen Schritt weit;
    Simuliere $T1$ auf $w1$ einen weiteren Schritt und $T2$ auf $w2$ einen Schritt weit;
    Simuliere $T1$ auf $w1$ und $T2$ auf $w2$ einen weiteren Schritt und $T3$ auf $w3$ einen Schritt weit;
    ...

Falls irgendeine der Turingmaschinen während der Simulation anhält, füge sie mit der zugehörigen Eingabe zu $M$ hinzu. Auf diese Weise werden alle Turingmaschine-Eingabe-Paare, für die die Simulation anhält, nach endlicher Zeit zu der Menge $M$ hinzugefügt.

Dieses Vorgehen ist bei der ersten Menge nicht möglich, da man, um sicher zu sein, dass eine Turingmaschine NICHT anhält, unendlich lange warten müsste.

Viele Grüße

Lukas König

Beantwortet: Zusammenhang der ganzen Komplexitätsklassen mit SAT/CLIQUE

Wed, 26 Nov 2014 10:37:47 +0000

Hallo,

Sat und Clique sind Probleme, die Komplexitätsklassen zugeordnet werden können(SAT NP-vollst., Clique NP-schwer, siehe dazu Vorlesungsfolien). Für diese Aufgabe muss man sich die Definition dieser Klassen genauer anschaun und der Reduzierbarkeit.

A<(pol) Sat gilt, da beide Probleme NP-vollst. sind und diese sich immer auf einander pol. reduzieren lassen.

Gruß,

Adam (Tutor)

Kommentiert: 2. Aussage: Warum ist ( A <=pol C) richtig ?

Wed, 26 Nov 2014 10:35:43 +0000

Hallo,

nein, die Aussgae ist falsch, weil D aus P kommt und damit in polynomieller Zeit berechenbar ist. P liegt zwar in NP, aber es gilt P nicht gleich NP. A muss also nicht in Polynomieller Zeit berechenbar sein. Daher kannst du A nicht auf P reduzieren. D auf C ist wieder richtig. Jedes Problem aus NP kann auf ein NP-schweres Problem reduziert werden.

Ist damit deine Frage beantwortet? Schau dir am besten nochmal die Mengendarstellung von P und NP an. Vielleicht wird das dann auch klarer.

Nachtrag : Ich meinte :

... du kannst A nicht auf D reduzieren...

Grüße,

Jördis ( Tutorin )

Beantwortet: Teil e) Was bedeutet P = NP

Wed, 26 Nov 2014 10:20:12 +0000

Hallo,

hierbei handelt es sich um die Frage, ob ein Wort zu den entsprechenden Sprachen gehört, also ob ein Wort aus der leeren Menge ist bzw. aus irgendwelchen Zeichen des Eingabealphabets besteht. Dies Frage ist, wie man leicht sieht, trivial zu beantworten.

Wenn P=NP ist, dann sind ja auch alle NP-vollständigen Probleme (da diese in NP sind) in P. Da sich dann die NP-vollständigen Probleme aber maximal noch um einen polynomiellen Faktor von anderen P-Problemen unterscheiden, und man alle polynomiell lösbaren Probleme ineinander polynomialzeit-reduzieren kann (ausgenommen die beiden trivialen Probleme), sind alle NP-vollständigen Probleme auch auf die anderen P-Probleme reduzierbar.

Somit sind alle Probleme in P=NP auch NP-vollständig (wieder: bis auf die beiden Ausnahmen).

Die Mengen werden nicht größer oder kleiner, sie verschmelzen einfach.

Ich hoffe ich konnte dir weiterhelfen.

Viele Grüße

Philippe (Tutor)

Beantwortet: warum liegt A nicht in NP ?

Wed, 26 Nov 2014 10:17:54 +0000

Salopp gesagt: Im Diagramm wird es nach außen hin immer schwerer (außer bei der NP-vollst.-Menge, die man sich am Rand von NP denken könnte).

Viele Grüße

Lukas König

Beantwortet: Teil a) Definition von M'

Tue, 25 Nov 2014 11:13:18 +0000

Hallo,

das M' enthält alle wj, bei denen gilt, dass Mj sie nicht enhält. Es enthält aber keines der wj, für die gilt, dass Mj sie enthält. Wichtig ist hier, zu beachten, dass nur die Diagonalelemente betrachtet werden.

Man kann sich das ganze auch so vorstellen:

Steht in Zeile 1, Spalte 1 eine 0, dann steht in M' (Eintrag 1) eine 1; steht in der Tabelle eine 1, dann steht in M' eine 0

Steht in Zeile 2, Spalte 2 eine 0, dann steht in M' (Eintrag 2) eine 1; steht in der Tabelle eine 1, dann steht in M' eine 0

Steht in Zeile 3, Spalte 3 eine 0, dann steht in M' (Eintrag 3) eine 1; steht in der Tabelle eine 1, dann steht in M' eine 0

...

Somit unterscheidet sich M' von jedem M in der Liste mindestens im Diagonalelement und kann somit nicht Teil der Liste sein.

Ich hoffe, ich konnte dir weiterhelfen.

Viele Grüße

Philippe (Tutor)

Beantwortet: Warrum 5. und 7. Aussage falsch?

Sun, 23 Nov 2014 13:24:22 +0000

Hallo,

es lässt sich weder das eine noch das andere folgern. Sprich, unter der getroffenen Annahme können beide Fälle eintreten, womit keine Folgerung möglich ist.

Q ist in Polynomialzeit lösbar und somit auf jeden Fall auf alle NP-schweren probleme reduzierbar. NP-schwere Probleme sind selbst wiederum (nach heutigem Wissensstand) nicht in Polynomialzeit lösbar, insbesondere nicht, falls sie nicht NP-vollständig sind.

Q kann eventuell aber auch auf ein anderes in polynomialzeit lösbares Problem polynomiell reduzierbar sein (zum Beispiel sich selbst). Dann kann es auch sein, dass eben auch der Fall in Teilaufgabe 7 nicht zutrifft.

Viele Grüße

Philippe (Tutor)

Beantwortet: Jedes NP-schwere Problem reduzierbar?

Sat, 15 Nov 2014 14:14:06 +0000

Hallo,

diese Frage verstehe ich nicht ganz. Es gibt zu jedem Problem Probleme, auf die man es reduzieren kann (in Polynomialzeit - davon sprechen wir ja die ganze Zeit). Ein Beispiel ist immer das Problem selber; man kann jedes Problem auf sich selbst reduzieren. Aber auch davon abgesehen gibt es normalerweise immer Probleme auf die man ein beliebiges Problem reduzieren kann. Die Frage ist, wann es sinnvoll ist, ein Problem auf ein anderes zu reduzieren. Wenn bspw. ein Problem selbst schon unentscheidbar ist, dann macht eine Polynomialzeit-Reduktion auf ein anderes wenig Sinn, da man dann auch eine zeitunabhängige Reduktion durchführen kann.

Polynomialzeitreduktionen macht man vor allem, wenn man Eigenschaften zeigen will, die sich auf P und NP beziehen.

Viele Grüße

Lukas König und Friederike Pfeiffer-Bohnen

Beantwortet: NP-schwere Probleme auf andere Probleme reduzierbar?

Sat, 15 Nov 2014 14:12:58 +0000

Ja, das kann man. Denken Sie doch nur an all die NP-vollständigen Probleme. Die lassen sich alle gegenseitig auf einander reduzieren.

Viele Grüße

Lukas König und Friederike Pfeiffer-Bohnen

Beantwortet: Warum 1. Aussage nicht falsch?

Sat, 15 Nov 2014 14:11:48 +0000

Hallo,

das Schlagwort dort ist: "Das Problem kann verifiziert werden". NP-Probleme sind definiert als "...von nichtdet. Turingmaschinen in polynomieller Zeit berechenbare Funktionen". Übersetzt heißt das, dass eine ndet. Turingmaschine eine Lösung raten und diese anschliessend in polynomieller Zeit verifizieren kann (Folie 5-37). So ist das gemeint.

Gruß,

Adam (Tutor)

Beantwortet: Frage zur 5. Aussage

Sat, 15 Nov 2014 14:10:47 +0000

Guten Tag,

bitte die Aufgabenstellung genau lesen!

"Warum lässt sich A nur auf C reduzieren, wenn C nicht in NP liegt?"

Es ist keine "genau dann wenn"-Aussage gegeben und somit darfst du hier kein "nur" hineinlesen.

Du hast somit recht, dass man A (als Element der NP-Menge) auf alle NP-schweren Probleme reduzieren kann, es spielt somit keine Rolle ob C zugleich ein Element aus der Menge NP ist oder nicht.

Folglich kann man A auch dann auf C reduzieren, falls C nicht Teil der Menge NP ist und somit ist diese Aussage wahr (es ist nur - wie du richtig erkannt hast - nicht der einzige Fall in dem eine solche Reduzierung möglich ist).

Ich hoffe ich konnte deine Frage klären,

Florian (Tutor)

Beantwortet: Entscheidbarkeit von Problemen

Sat, 15 Nov 2014 14:09:45 +0000

Hallo,

ich verstehe jetzt erst, was Sie mit diesen Mengen (1-4) meinen. Daher doch noch der Nachtrag zu dieser Frage:

"Oder sind die 1. und die 2. Menge gleich, sodass die Menge der nichtentscheidbaren Probleme eine Ellipse außerhalb der semientscheidbaren Probleme ist ohne die der entscheidbaren Probleme?"

Die 1. und 2. Menge sind in der Tat gleich. Nicht entscheidbar sind einfach alle Mengen, die außerhalb der Menge der entscheidbaren Probleme liegen. Diese können semi-entscheidbar (bspw. Halteproblem) oder nicht semi-entscheidbar (also auch noch außerhalb dieser Menge in p(E*); bspw. L_NA) sein.

Viele Grüße

Lukas König

Beantwortet: Wo liegen "nichtentscheidbare" Probleme

Sat, 15 Nov 2014 14:08:08 +0000

Was glauben SIE denn, wo die nicht entscheidbaren Probleme liegen? Versuchen Sie das doch mal selber herauszufinden...

Ich habe Ihnen ja auch zwei Beispiele für die Lage nicht-entscheidbarer Probleme in diesem Schaubild genannt.

Ich glaube, dass Sie das auch selbst lösen können!

(Sie können gerne einen Vorschlag posten, und ich sage Ihnen dann, ob es stimmt.)

Viele Grüße

Lukas König