Theoretische Informatik

Fragen und Antworten für theoretische Informatiker und Forscher in verwandten Bereichen

1
Ist es entscheidend, zwei SO-Horn-Abfragen auf Äquivalenz zu testen?
Aus dem Satz von Rice folgt, dass Sie nicht bestimmen können, ob zwei Turing-Maschinen dieselbe Sprache entscheiden oder nicht. Meine Frage lautet: Gilt dies auch für beschreibende Komplexitätseinstellungen, insbesondere wenn zwei SO-Horn-Abfragen getestet werden sollen, um festzustellen, ob sie dieselbe Sprache beschreiben? Mir ist keine beschreibende Komplexitätsversion von Rices Theorem …
1
Typentheoretische Interpretation der Skolemisierung
Was ist die typentheoretische Interpretation / Äquivalent der Skolemisierung? Die Skolemisierung konvertiert einige Formeln in die Skolem-Normalform. Die beiden Formeln sind miteinander nicht zufriedenstellend. Oder, um es typtypisch auszudrücken: Es gibt ein Programm mit einem Typ, wenn es ein Programm mit diesem Typ in Skolem-Normalform gibt. In welcher Beziehung stehen …
1
Ist konvexe Optimierung in P?
Betrachten Sie ein konvexes Optimierungsproblem im Formular f0(x1,…,xn)fi(x1,…,xn)→min≤0,i=1,…,mf0(x1,…,xn)→minfi(x1,…,xn)≤0,i=1,…,m\begin{align} f_0(x_1, \ldots, x_n) &\to \min \\ f_i(x_1, \ldots, x_n) & \leq 0, \quad i = 1, \ldots, m \end{align} wobei f0,f1,…,fmf0,f1,…,fmf_0, f_1, \dots, f_m konvexe Funktionen sind. Ohne Verlust der Allgemeinheit können wir annehmen, dass f0f0f_0 linear ist. Nesterov und Nemirovskii erwähnen …
1
Ein Partitionsproblem mit Auftragsbeschränkungen
In dem OrderedPartitionProblem besteht die Eingabe aus zwei Folgen von positiven ganzen Zahlen, und . Die Ausgabe ist eine Aufteilung der Indizes in zwei disjunkte Teilmengen und , so dass:nnn( aich)i ∈ [ n ](ai)i∈[n](a_i)_{i\in [n]}( bich)i ∈ [ n ](bi)i∈[n](b_i)_{i\in [n]}[ n ][n][n]ichIIJ.JJ ∑ich ∈ icheinich= ∑j ∈ J.einich∑i∈Iai=∑j∈Jai\sum_{i\in …
1
Eine Vermutung im Zusammenhang mit der Cerny-Vermutung - Gegenbeispiel / Referenzanforderung
Die Cerny-Vermutung ist die Aussage, dass jeder Synchronisationsautomat mit Zuständen höchstens ein Synchronisationswort der Länge . Die beste aktuelle Obergrenze für die Länge eines Synchronisationsworts ist . Lassen Sie uns sagen , dass zwei Staaten verschmolzen mit einem Wort , wenn das Wort die beiden Zustände in den gleichen Zustand …
1
Typentheorie und rechnerische Komplexität
Gibt es ein Typsystem, das die Lambda-Begriffe auf die Begriffe beschränkt, die in eine Komplexitätsklasse fallen? Wie liegen die typisierbaren Begriffe in der Theorie streng innerhalb der Komplexitätsklasse? Oder ist das überhaupt nicht möglich? Ich finde, es gibt viele Studien zur Expressibilität der Typentheorie, wie nachweislich terminierende, erweiterte Polynome usw. …
1
Gewinnstrategie im Spiel der Drillinge
Das Spiel der Drillinge wird durch eine endliche Menge von Elementen X.XX und eine endliche Mehrfachmenge T.TT die Tripletts von Elementen enthält. Zwei Spieler wählen abwechselnd Elemente aus X.XX bis alle Elemente aufgenommen sind. Dann ist die Punktzahl jedes Spielers die Anzahl der Drillinge von T.TT in denen er mindestens …
1
Was ist der Unterschied zwischen Moggis rechnergestützter Metasprache und Moggis Lambda-Kalkül?
Dies ist eine Referenzverwirrung. Manchmal sehe ich Leute, die den Begriff "Moggis rechnergestützte Metasprache" verwenden, um sich auf den von Moggi vorgestellten Kalkül zu beziehen, und manchmal auf "Moggis rechnergestütztes Lambda-Kalkül". Manchmal verwenden sie und manchmal .λmlλml\lambda_{ml}λcλc\lambda_c Ich habe immer angenommen, dass beide dasselbe sind, aber wenn ich die Zusammenfassung …
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.