Theoretische Informatik

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

2
Wortlisten trennen
In formalen Sprachen gibt es ein offenes Problem, das als Trennungsproblem bekannt ist. Dies wird kurz als gegeben gegeben, wenn zwei unterschiedliche Zeichenfolgen der Länge , wie groß ein DFA ist, um sie zu "trennen", was bedeutet, dass eine Zeichenfolge akzeptiert, die andere jedoch abgelehnt wird.nnn Hier sind einige relevante …
1
Können Differentialgleichungen in ihre eigenen Komplexitätsklassen eingeteilt werden?
Dank der Komplexität der Berechnungen wurden die Probleme insgesamt klassifiziert. Aber ist es in Differentialgleichungen möglich, Differentialgleichungen in Abhängigkeit von ihrer Rechenstruktur zu klassifizieren? Wenn beispielsweise eine inhomogene Gleichung erster Ordnung vergleichsweise schwer zu lösen ist als eine homogene Gleichung 100. Ordnung, können sie dann als separate Konvexitätsklassen klassifiziert werden, …
3
Für welche Sprachen gibt es bereits eine Theorie der Beobachtungsäquivalenz?
Für einen Korrektheitsnachweis suche ich nach einem brauchbaren Begriff der Programmäquivalenz für Barendregts reine Typsysteme (PTS); Fehlt das, für genügend spezifische Typsysteme. Mein Ziel ist es einfach, den Begriff zu verwenden und ihn nicht um seiner selbst willen zu untersuchen.≅≅\cong Dieser Begriff sollte " extensional " sein - insbesondere um …
2
Welche Graphprobleme sind
Nach den entsprechenden Fragen zur NP-Vollständigkeit (siehe Gewichtsfrage und gerichtete Frage ) habe ich mich gefragt, wie parametrisierte Probleme von diesen Attributen beeinflusst werden. Welche harten Graphenprobleme sind -Hard in gerichteten Graphen, aber feste Parameter, die in ungerichteten Graphen nachvollziehbar sind?W [ 1 ]N.P.NPNPW.[ 1 ]W[1]W[1] Welche harten Graphprobleme sind …
1
Die Referenz für die Tatsache, dass (0 = 1) falsch impliziert, erfordert ein Universum in MLTT
Es ist eine ziemlich bekannte Tatsache, dass das Ableiten eines Widerspruchs aus einer Ungleichheit (zum Beispiel ) in der Martin-Loef-Typentheorie ein Universum erfordert.( 0 = 1 ) → ⊥(0=1)→⊥(0=1) \to \bot Der Beweis ist auch ziemlich einfach - in Abwesenheit von Universen können wir die Abhängigkeiten von jedem abhängigen Typ …
3
Graphentheoretische Beschränkung auf Beweise in der Beweiskomplexitätstheorie
Die Komplexität von Beweisen ist ein grundlegendster Bereich der Theorie der rechnerischen Komplexität. Ein letztendlicher Zweck dieses Bereichs besteht darin, zu beweisen , dh, jeder Prüfer kann keinen Beweis für die Unzufriedenheit der gegebenen Eingabeformel erbringen. N.P.≠ c o N.P.NP≠coNPNP\neq coNP Ein Graph ist ein formales Beweismodell. Meine Frage betrifft …
3
Gibt es einen bekannten CCC, der im Rahmen einer probabilistischen Powerdomain-Operation geschlossen wurde?
Gibt es äquivalent eine bekannte Denotationssemantik für probabilistische funktionale Programmiersprachen höherer Ordnung? Insbesondere gibt es ein Domänenmodell eines reinen untypisierten Kalküls, das durch eine symmetrische zufällige binäre Auswahloperation erweitert wird.λλ\lambda Motivation Kartesische geschlossene Kategorien liefern eine Semantik für Kalküle höherer Ordnung . Probabilistische Machtdomänen bieten Semantik für stochastische Programme. Ein …
2
Minimieren von Automaten, die
Was ist der Standardansatz zur Minimierung von Büchi-Automaten (oder auch Müller-Automaten)? Das Übertragen der üblichen Technik von endlichen Wörtern, dh das Setzen von zwei Zuständen auf Gleichheit, wenn die Wörter "Auslaufen" der akzeptierten Zustände gleich sind, funktioniert nicht. Stellen Sie sich zum Beispiel vor, dass das Büchi-Automoton alle Wörter mit …
1
Quantenalgorithmen für QED-Berechnungen in Bezug auf die Feinstrukturkonstanten
Meine Frage betrifft Quantenalgorithmen für QED-Berechnungen (Quantenelektrodynamik) in Bezug auf die Feinstrukturkonstanten. Solche Berechnungen (wie mir erklärt) Taylor-ähnliche Reihen wobei die Feinstrukturkonstante (um 1/137) ist und der Beitrag von Feynman-Diagrammen mit Schleifen ist. α c k k∑ ckαk,∑ckαk,\sum c_k\alpha^k,αα\alphackckc_kkkk Diese Frage wurde durch Peter Shors Kommentar (über QED und die …
1
Was sind die wichtigsten Forschungsfragen bei verteilten Transaktionen?
Hintergrund: Die Transaktionsverarbeitung ist ein traditionelles Forschungsthema in der Datenbanktheorie. Heutzutage werden verteilte Transaktionen von großen verteilten Speichersystemen populär gemacht, die typischerweise Datenpartition (auch Sharding genannt) und Datenreplikation umfassen . Was sind die wichtigsten Forschungsfragen bei verteilten Transaktionen? Gibt es bekannte Theorien und Lösungen, die (theoretisch) verbessert werden müssen? Alle …
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.