Theoretische und technische Informatik - ganz praktisch - Letzte Fragen & Antworten in 2014 Hauptklausur

Beantwortet: Hauptklausur 2014 Aufgabe 9b)

Sat, 02 Feb 2019 12:47:22 +0000

Hallo,

du willst ja die gleiche Zahl darstellen wie bei a). Zur Darstellung von Gleitpunktzahlen wird letztendlich c-q benötigt und das muss deshalb in b) gleich wie in a) sein. (Das c und q selber variieren)

Deshalb setzt du einfach c'-q' = c-q = 66-127 = -61

Viel Erfolg noch beim Lernen

Beste Grüße,

Paul (Tutor)

Beantwortet: Warum nicht kontextsenistiv

Mon, 12 Feb 2018 14:30:05 +0000

Hallo,

deine Frage wurde hier schon einmal beantwortet :

http://info2.aifb.kit.edu/qa/index.php?qa=6434&qa_1=grammatikfrage-altklausur-2014-hauptklausur-aufgabe-3
http://info2.aifb.kit.edu/qa/index.php?qa=2623&qa_1=a-s-lamda-nicht-auch-kontextsensitiv

Beantwortet: Umformungsschritt Boolscher Ausdruck

Mon, 12 Feb 2018 08:21:19 +0000

a nor b = not(a or b) = not a and not b

Funktioniert Äquivalent for nand

Beantwortet: Grammatikfrage Altklausur 2014 Hauptklausur Aufgabe 3

Sun, 11 Feb 2018 16:47:28 +0000

Hallo,

solange S auf keiner rechten Seite mehr verkommt, ist die erste Regel auch kontextsensitiv.
Die Aufgabe wurde auch im dritten Tutorium besprochen, dort wurde das entsprechende Kreuz mittlerweile ergänzt.

Viele Grüße
Julia (Tutor)

Beantwortet: Lösung interpretation

Tue, 14 Feb 2017 11:11:57 +0000

Hallo uodys.

Gleitkommazahlen sind immer so aufgebaut, dass vorne ein bit für das Vorzeichen steht.

Wenn die Zahl postiiv wäre könntest du so etwas schreiben wie

"Durch das wegnehmen des Vorzeichen bits geht die Information über das Vorzeichen verloren. Wenn man nun als Konvention annimmt, dass Zahlen ohne Vorzeichenbit immer positiv sind, könnte man bei dieser Gleitkommazahl das Vorzeichenbit für die Martisse nutzen."

In den Standart Gleitmommazahl aufteilungen ist aber immer ein bit für das Vorzeichen vorgesehen.

Grüße, Felix (Tutor)

Beantwortet: Zustandsübergang

Sun, 12 Feb 2017 22:04:43 +0000

Hallo,

man muss den Zustand wechseln, weil s0 als Endzustand definiert ist und ansonsten Wörter akzeptiert würden, die nicht teil der Sprache sind.

Liebe Grüße

Beantwortet: Falsche Musterlösung?

Sun, 12 Feb 2017 19:16:17 +0000

Das Wort $0101$ wird nicht akzeptiert, das sieht man daran, dass die Blätter im Berechnungsbaum nur einen einfachen und keinen doppelten Rahmen haben. Der Automat landet zwar zweimal bei $s_e$, aber das Wort wird nicht akzeptiert, weil er beide Male das Wort nicht vollständig einlesen kann.

@[ID-23217]@

Beantwortet: S' -> ZB

Sun, 12 Feb 2017 06:30:31 +0000

Hallo,

da du beim Ableiten von S auf S' ja immer die Zeichenfolge S'AXX bekommst hast du beim Überführen von S' auf B ja immer mindestens BAXX stehen und kannst somit z.B. die Regel BA--> YAB anwenden.

Liebe Grüße

Beantwortet: Fehlende Verbindung von a und b zu NMOS Teil?

Sat, 11 Feb 2017 11:15:43 +0000

Hallo uxebx,

die Verbindungen fehlen tatsaechlich. Die Frage wurde schoneinmal beantwortet, dazu ein Zitat:

http://info2.aifb.kit.edu/qa/index.php?qa=2679&qa_1=funktioniert-realisierung-bzw-nicht-eing%C3%A4ngen-pmos-bereich

"Sie haben recht, die (Anm. a und b) müssen hier auch mit dem PMOS Teil verbunden werden. Das ist an dieser Stelle untergegegangen.

Herzlichen Dank für den Hinweis und viele Grüße

Friederike Pfeiffer-Bohnen"

Viele Gruesse,

Marvin (Tutor)

Beantwortet: Zwei Nullen in den Keller?

Wed, 08 Feb 2017 17:10:02 +0000

Hallo,

ja grundsätzlich ist das möglich, du darfst auch 2 Zeichen auf den Keller schreiben. Allerdings musst du dir dann natürlich überlegen, wie du mit dem Herrausstreichen im n-Fall umgehst. Zum Ausprobieren empfiehlt sich hier der xWizard.

Gruß

Beantwortet: Mealy Automat?

Tue, 07 Feb 2017 11:05:39 +0000

In Aufgabenteil a wird gefragt ob "bei einer vierstelligen Bitfolge B ∈ {0, 1}4 um eine einzelne BCD- kodierte Ziffer Z handelt oder nicht." Das heißt es soll in Aufgabenteil a nicht geprüft werden ob der Code solange ist, sondern nur ob Z oder nicht. In Aufgabenteil b wird gefordert das der Automat bei einer beliebig langen Bitfolge prüft ob der Code aus Vierer Blöcken besteht. Und diese Forderung setzten auch die Automaten in der Musterlösung von b um.

Beantwortet: Nochmal Frage zur c) Charakteristik

Mon, 06 Feb 2017 10:12:05 +0000

Lieber Student,

mir ist leider Ihre Frage nicht ganz klar.

Die Darstellung aus Teil (b) hat eine 7-Bit Charakteristik und kann mit q'=2^(7-1)-1=63 durchaus den Exponenten -61 darstellen. Allerdings benötigt sie dafür tatsächlich ALLE 7 Bit und kann kein Bit an die Mantisse "abgeben" um die fehlende 2^(-9) darzustellen.

Weder Charakteristik noch Mantisse sind in irgendeinem der Aufgabenteile gleich 0.

Wenn Sie Ihre Frage nochmal präzisieren, kann ich Ihnen vielleicht besser weiter helfen.

Viele Grüße,

Micaela Wünsche

Beantwortet: Nicht alle Übergänge definiert?

Sat, 04 Feb 2017 15:06:15 +0000

Prinzipiell unterscheidet sich deine Lösung von der Musterlösung insofern, dass du einen nichtdeterministischen EA definiert hast und die Musterlösung einen deterministischen. Da in der Frage nicht genauer beschrieben ist es erstmal egal für was du dich entschieden hast.
Allerdings solltest du aufpassen, was gefragt war. Wie du bereits richtig geschrieben hast soll immer ein ein Endzustand eingenommen werden, wenn die bisherige Bitfolge eine BCD Kodierung darstellt. Allerdings war nicht danach gefragt, das Einlesen eines Wortes zu beenden, sobald es keine BCD Kodierung mehr ist. Durch den Zustand S8 wird sichergestellt, dass sich der EA in einer Senke befindet und es nicht mehr möglich wird einen Endzustand zu erreichen. Allerdings determiniert der EA hier noch nicht sofort beim ersten Fehler sondern ließt weiterhin eine (!) beliebig lange Bitfolge ein.

Beantwortet: Wertetabelle

Tue, 31 Jan 2017 15:33:39 +0000

Die DNF in der Lösung wurde direkt aus dem Schaltnetz ausgelesen, indem man durchgeht wie die einzelnen Gatter verknüfpt sind und dann vereinfacht. Du kannst die DNF auch aus der Wertetabelle ablesen. Wenn du diese vereinfachst kommst du auf die zweite angegebene Lösung ¬b∨¬c.

Beantwortet: SAT Exponentieller Zeit

Mon, 15 Feb 2016 06:54:05 +0000

Was genau wollen Sie wissen?

Zunächst steht in der Lösung NICHT, dass die Lösung von SAT mindestens exp. Zeit benötigt, sondern nur, dass das heute angenommen wird. Das hängt mit der Frage P=NP? zusammen - und sollte bekannt sein! SAT zu lösen benötigt auf jeden Fall höchstens exponentielle Zeit, denn das kann man mit einem Algorithmus bewerkstelligen, der einfach alle Variablenbelegungen ausprobiert. Alle NP-vollständigen Probleme kann man auf diese Weise lösen. "Identische" (was auch immer Sie genau damit meinen) Zeit wird trotzdem nicht benötigt, da es sich hier nur um grobe Klassifizierung modulo polynomieller Faktoren handelt.

Wenn das Ihre Frage nicht beantwortet, müssen Sie präzisieren.

Viele Grüße

Lukas König

Beantwortet: 9 c) - Zahlendarstellung

Sun, 14 Feb 2016 22:55:11 +0000

Hallo ufehp!

Dein Fehler liegt ganz einfach darin, dass bei der IEEE-Darstellung die Charakteristik nicht als Zahl in der Zweierkomplementdarstellung interpretiert wird, sondern als ganz normaler Binärstring. Deine Charakteristik "100010" entsprich dann nicht dem Wert -30 ( = - 32 + 2), sondern dem Wert 34 ( = 32 + 2), wodurch die geforderte Zahl z nicht genau darstellbar ist.

Außerdem taucht in deiner Mantisse eine "2" auf, was bei einer binären Zahlencoderung natürlich nicht vorkommen darf, aber ich nehme mal an, dass das sicher nur ein Tippfehler ist, oder?

Viele Grüße
Janine (Tutorin)

Beantwortet: verbindung von a und b zu NMOS

Sun, 14 Feb 2016 18:50:39 +0000

Hallo,

spontan würde ich sagen, dass diese Leitungen tatsächlich fehlen, auch lt. Aufgabe sollten verbindende Leitungen ausdrücklich hinzugefügt werden.

Viele Grüße

Max (Tutor)

Beantwortet: 5 b) Linearzeit

Sun, 14 Feb 2016 16:02:17 +0000

Hallo uzcwi,

wir wollen in diesem Fall ja eine passende Belegung für unsere DNF finden. Einen endlichen Automaten für diesen Fall zu konstruieren ist deutlich komplizierter, da man alle Kombinationen von a,b und c die in einen Endzustand führen kennen muss. Man muss hier einfach nur eine gültige Belegung finden, in diesem Fall für die erste Klausel a´bc, was in linearer Zeit abläuft.

Viele Grüße

Gregor (Tutor)

Beantwortet: Mealy unendliche Bitfolge

Sun, 14 Feb 2016 11:23:10 +0000

Hallo uzcwi,

wenn du einen Automat konstruierst, der eine beliebig lange Bitfolge erkennt, sehe ich da (falls er korrekt ist) zunächst mal kein Problem, da er ja dann auch die geforderte 4-stellige Bitfolge erkennen würde. Das Problem ist aber, dass in der Aufgabe steht, dass man für jedes Bit den aktuellen Stand der Überprüfung angeben soll. Wenn dies bei deinem Automat nicht erfüllt ist, ist er auch leider nicht ganz richtig.

Generell solltest du in deinem eigenen Interesse die Aufgaben immer möglichst genau lesen (v.a. auch gegebene Hinweise), allein schon weil du dir damit Zeit und Arbeit sparst ;)

Viele Grüße,

Tim (Tutor)

Beantwortet: Minimaler Automat?

Sat, 13 Feb 2016 23:10:25 +0000

Da nichts von minimal in derAufgabenstellung steht, reicht auch ein nicht minimaler Automat aus.

Beantwortet: Wie behandelt der Kellerautomat ein Wort das mit einer Eins beginnt?

Sat, 13 Feb 2016 11:00:15 +0000

Hallo uwdtv,

nach Definition hält ein Kellerautomaten automatisch an, wenn in unserer Überführungsfunktion für das Eingabezeichen e weder (s,e,k) noch (s,λ,k) definiert ist. Daher ist dann das Wort nicht vollständig abgearbeitet und wird nicht akzeptiert.

Viele Grüße,

Tim (Tutor)

Beantwortet: Runden der Mantisse

Sat, 13 Feb 2016 10:04:13 +0000

Ja, das stimmt so!

Viele Grüße,

Tim (Tutor)

Beantwortet: Wieso ist Aussage eins falsch?

Sat, 13 Feb 2016 09:03:09 +0000

Hallo,

der Schlüssel hierzu liegt in der Klammer "bezüglich der Existenz einer Pumpstelle in ausreichend langen Wörtern einer Sprache".

Diese Aussage des Pumping Lemmas gilt auch für bspw. Typ-2-Sprachen (siehe Aufgabe darüber). Existenz heißt ja nur, dass MINDESTENS eine Pumpstelle besteht, es können (wie bei Typ-2-Sprachen) auch mehrere sein.

Viele Grüße

Max (Tutor)

Beantwortet: Akzeptiert gegebener ndet KA leeres Wort?

Wed, 10 Feb 2016 16:42:41 +0000

Hallo ulegg!

Nein, dieser Übergang ist nicht nötig, da s0 selbst ein Endzustand ist!

Viele Grüße,
Janine (Tutorin)

Beantwortet: Wie berechnet man c'?

Tue, 09 Feb 2016 17:27:38 +0000

Hallo,

du betrachtest als z das ergebnis aus dem a) teil:

Z= −(1+ 1/2 + 1/4+1/16+1/512)×2−61

demnach ist dein c'-q' ja genau -61 (hochzahl der 2er potenz ausserhalb der klammer).

hoffe das beantwortet deine frage,

liebe grüße,

maren(tutor)

Beantwortet: Aufrunden in Aufgabeteil b

Mon, 08 Feb 2016 18:26:07 +0000

Hallo,

der IEEE755-Standard sieht vor, dass bei solchen approximativ dargestellten Zahlen (bei uns nur wegen der Limitierung der Bits approximativ) zunächst zur näherliegenden Zahl gerundet wird. Allerdings gibt es eine Ausnahme: Wenn die nächsten Zahlen nach oben und unten jeweils "gleich weit entfernt" ist, dann wird die letzte Stelle der Mantisse 0.

1/512 ist ja genau 2^(-9), also eben die nächstkleinere Zweierpotenz nach 2^(-8). Stellt man nun 2^(-9) wie folgt dar:

2^(-9) = 2^(-8) / 2 ,

so sieht man vielleicht recht deutlich, dass die Zahl genau "mittig" zwischen den zwei nächsten Zahlen nach oben und unten liegt. Daher wird hier die letzte Stelle der Mantisse 0.

Ich hoffe, dass dir meine Erklärung etwas weiterhilft.

Viele Grüße

Max (Tutor)

Beantwortet: Wieso ist s0 ein Endzustand?

Sun, 07 Feb 2016 19:24:08 +0000

Hallo,

Das leere Wort oder die Zahl "nichts" ist auch korrekt, also ist das dann auch richtig Codiert. Also die Anzahl der Bits muss bei einer BCD Codierung durch 4 teilbar sein, aber 0/4 ist auch ohne Rest 0 ;)

Also das leere Wort ist hier durchaus richtig :)

Viele Grüße,

Marc (Tutor)

Beantwortet: doppelte Länge

Sun, 07 Feb 2016 18:49:41 +0000

Hallo,

s4 und s3 stellen hier die Zustände dar, in denen die doppelte Länge abgearbeitet wird, das hast du schon richtig gesehen.

Wenn der Automat in δ(s1, 0, 0) = {(s1, 00), (s2, λ), (s4, 0)} ist und in s4 geht, dann ist das wie du schon gesagt hast ein Unterschied ob da

(s1,0,0) - (s4,00) steht oder
(s1,0,0) - (s4,0).

Der Unterschied ist der dass bei Variante 2 die 0 die eingelesen wird einfach "weggeschmissen"/"vergessen" (wie auch immer man es nennen möchte) wird. Bedeutet die 0 die im Keller steht ist die 0 die da schon in s1 stand.

Nun springt man bei (s4,0,0) in (s3,lambda), heißt man löscht eben diese 0 nun mit der 2. eingelesenen 0 aus. So handelst du die doppelte Länge ab, in (s3,0,0) kommst du in (s4,0) [du liest also eine 0 ein, siehst eine 0 im Keller und lässt die eingelesene 0 in den Mülleimer fallen].

Ich hoffe ich konnte dir weiterhelfen :)

Viele Grüße,

Marc (Tutor)

Beantwortet: Wieso ist ein 3-stelliges XOR bei f(1,1,1) = 1, also wahr?

Tue, 02 Feb 2016 18:25:01 +0000

Allgemein gilt, dass ein n-stelliges XOR genau dann wahr liefert, wenn eine ungerade Anzahl der Eingänge auf wahr gesetzt ist. Deshalb wird XOR auch die Paritätsfunktion genannt.

Beantwortet: Alternativer Mealy-Automat

Fri, 29 Jan 2016 09:56:58 +0000

Hallo uodjt,

die beiden Hinweise in der Aufgabe legen nahe, dass man nicht so verfährt wie du in deiner Lösung. „Beachten Sie, dass für jedes der vier gelesenen Bits die Ausgabe dem jeweils aktuellen Stand der Überprüfung entsprechen soll. ...“, als auch „Beginnt B mit einer 0, handelt es sich auf jeden Fall um gültigen BCD Code. Falls b3 eine 1 ist, müssen b2 und b1 gleich 0 sein.“ Da es die Aufgabe vorgibt, aber deine Lösung nicht umsetzt, ist sie nicht ganz korrekt gelöst.

Viele Grüße

Timo (Tutor)

Beantwortet: Warum ist Clique NP schwer?

Mon, 23 Nov 2015 15:58:40 +0000

Hallo,

laut Definition ist ein Problem NP-vollständig, genau dann wenn das Problem NP-schwer ist und in NP liegt.

In der Vorlesung wurde gesagt, dass das SAT Problem das erste Problem war für das die NP-Vollständigkeit nachgewiesen wurde (von Cook).

Desweiteren wurde die NP-Vollständigkeit von CLIQUE gezeigt, durch die Idee der Reduktion von 3-SAT (von dem wir wissen, dass es NP-vollständig ist) auf CLIQUE.

Viele Grüße

Julian (Tutor)

Beantwortet: andere Begründung möglich?

Fri, 25 Sep 2015 15:50:35 +0000

Hallo,

das hängt sehr davon ab, was Sie mit "neben der Grundidee des Pumping-Lemmas" meinen. Wie Sie in der Lösung sehen, haben wir bei dieser Aufgabe nicht auf eine einfache DEFINITION hingezielt. In den meisten Kontexten hätten wir für die drei Eigenschaften wahrscheinlich gar keine oder nur wenige Punkte gegeben.

In dieser Aufgabe ging es darum zu zeigen, dass Sie verstanden haben, was der zugrundeliegende Mechanismus hinter den beiden Pumping-Lemmas ist. Wenn Sie es wirklich verstanden haben, dann sehen Sie ein, dass beide Pumping-Lemmas eigentlich nur verschiedene Ausführungen ein und derselben Idee sind, nämlich

dass bei k unterscheidbaren Ereignissen (bspw. Zuständen eines Automaten - [aber genauso auch bei Ableitungsfolgen mit kontextfreien Grammatiken]) in jeder Folge von n > k Ereignissen mindestens ein Ereignis doppelt vorkommen muss... [weshalb wir eine Schleife bilden und pumpen können usw.]

Das wollten wir hier schon so oder so ähnlich wie in der Musterlösung hören. Auch die bloßen Zeichnungen haben uns nicht ausgereicht.

Diese Frage war eine stark auf Verständnis und praktisch gar nicht auf Auswendiglernen hinzielende.

Viele Grüße

Lukas König

Beantwortet: Trick zur Vereinfachung des Terms?

Fri, 25 Sep 2015 09:17:17 +0000

Hallo,

einen Trick gibt es dabei nicht es wird nur der Term der bei Lösung 1 steht weiter vereinfacht. In der Klammer entsteht kann das (¬a ∨ ¬b) weggelassen werden da sowieso ¬b im hinteren Teil der Klammer erfüllt werden muss (für eine wahre Aussage). Dann bleibt insgesamt nur noch ¬c∨(¬b ∧ c) was offensichtlich vereinfacht werden kann zu ¬b ∨ ¬c.

Viele Grüße,

Janina (Tutorin)

Beantwortet: Wie funktioniert die Realisierung der c bzw. nicht-c Eingängen im PMOS-Bereich?

Fri, 25 Sep 2015 09:14:28 +0000

Hallo,

warum ist c vor dem Inverter (bei 1. im Bild) mit der NMOS-Blackbox verbunden und warum sind das a und b nicht?

Danke

Beantwortet: Kann man bei nKA auf die mengenklammer auf der rechten Seite verzichten?

Wed, 23 Sep 2015 14:02:15 +0000

Hallo,

die Mengenklammern sind für eine bessere Übersicht da aber nicht unbedingt nötig.

Viele Grüße,

Janina (Tutorin)

Beantwortet: ausführlicheres Material / detaillierte Erklärung zu nKA

Wed, 23 Sep 2015 14:00:24 +0000

Hallo,

geeignetes Material suche ich gleich raus, erstmal zur Frage:

Zum einen, für eine wirklich detaillierte Ausführung rate ich dir nächste Woche in dein Tutorium zu gehen, da wird eine Fragestunde stattfinden. Ansonsten gilt hier, das ein NDET KA notwendig ist, da nur dieser in der Lage ist, Wendestellen in Wörtern zu raten. Im Tutorium gab es hierzu die Frage mit den Palindromen (w=uu'), die auch nur von NDET KA erkannt werden können. w=u$u', also mit Trennzeichen, kann auch von einem DET KA erkannt werden.

Im vorliegenden Beispiel gibt es keine Trennzeichen, daher der NDET KA (die Leerzeichen gehören nicht zum Wort).

Die Stellen, an denen der Automat NDET ist, sind leicht zu finden, es sind Zeile 2 und 3. Hier kann der Automat wählen, in welchen Zustand gewechselt wird. Dieses "eine Wahl haben" macht einen Automaten NDET.

Ansonsten ist der Automat relativ einfach.

Die drei Möglichkeiten in Zeile 2 sind:

$(s_1, 00)$: Wendestelle noch nicht erreicht, 0 in Keller schreiben
$(s_2, \lambda)$: Wendestelle erreicht, 2. Teilwort ist 2n lang (daher Zeichen jetzt nicht löschen)

Die fast gleiche Wahl hast du jetzt in Zeile 3 nochmal:

$(s_2, \lambda)$ : Wendestelle erreicht, 2. Teilwort n lang
$(s_4,0)$ : Wendestelle erreicht, 2. Teilwort 2n lang
Die Möglichkeit ein zeichen in den Keller zu schreiben entfällt, da eine 1 gelesen wird und diese nie zum 1. Teilwort gehört.

Interessant ist dann noch der Wechsel zwischen s3 und s4, dieser wird gemacht, damit nur jedes 2. Zeichen mit einem Eingabezeichen gelöscht wird (2. Teilwort soll ja doppelt so lang sein).

So, ich hoffe, dass hilft schonmal weiter, ansonsten kannst du gerne etwas detailliertere Fragen stellen ;)

Viele Grüße,

Julian (Tutor)

Beantwortet: a): S --> lamda nicht auch kontextsensitiv

Wed, 23 Sep 2015 13:08:57 +0000

Hallo,

hierzu kann ich Ihnen empfehlen sich in den Folien zum 3. Tutorium die Einführungsaufgabe zu Grammatiken anzusehen, dort steht genau aufgelistet welche Regeln für welchen Typ erlaubt sind. Bei Typ-1 Grammatiken ist S--> lambda ausgeschlossen, da dies eine verkürzende Regel ist.

Viele Grüße,

Janina (Tutorin)

Beantwortet: Reicht es den "umgedrehte Baum" zu zeichnen?

Wed, 23 Sep 2015 13:06:55 +0000

Es langt der "umgedrehte Baum", da es keinen Unterschied macht, ob die Wurzel unten oder oben ist.

Max (Tutor)

Beantwortet: Wurden die beiden Buchstaben r und ä vertauscht?

Wed, 23 Sep 2015 13:04:16 +0000

Hallo,

ersteinmal Nein, die Lösung stimmt.

Zum anderen ist es sehr wichtig festzuhalten, dass es bei der Huffman Kodierung grundsätzlich egal ist, ob links oder rechts die 1 oder 0 hinkommt. Es steht auch noch einmal auf den Tutoriumsfolien drauf.

Es gibt hier nur drei Regeln:

Die beiden kleinsten Häufigkeiten werden verbunden
Von jedem Knoten geht eine Kante mit 1 und eine Kante mit 0 ab
Gelesen wird vom Blatt zur Wurzel

Viele Grüße,

Julian (Tutor)

Beantwortet: Ist die Transformation (x1) eine zulässige Transformation?

Wed, 23 Sep 2015 13:01:56 +0000

Hallo,

ja, so könnte man das machen. Noch einfacher wäre, gar keine Transformation vorzunehmen (was Sie ja in Ihrem Vorschlag im Wesentlichen auch tun, wenn man die Eingabe als Zahl interpretiert - ich weiß in dem Zusammenhang allerdings nicht, was Sie mit "Literale" meinen). Wenn die Eingabe für X unverändert übernommen wird und mit einem Algorithmus für X bearbeitet, dann ist ja die Ausgabe gleich richtig, da es sich zweimal um dasselbe Problem handelt. Das ist also in dem Fall wirklich trivial.

So haben wir die Reflexivität der Reduktionsrelation gezeigt (vorher war Ihre Aussage aber so noch nicht korrekt: "Da P die Gleichung P<=P das Gleichung erfüllt, ist nun soweit klar". Das haben wir gerade erst bewiesen, also kann es nicht vorher schon "klar" gewesen sein.)

Viele Grüße

Lukas König

Beantwortet: Kann man Probleme auf andere Probleme derselben Klasse reduzieren?

Wed, 23 Sep 2015 12:55:36 +0000

Ein Spezialfall davon wäre, ein Problem auf sich selbst zu reduzieren. Überlegen Sie doch mal, wie man das machen könnte - also welche Transformationen müsste man vornehmen (und sind diese in Polynomialzeit möglich)...?

Viele Grüße

Lukas König