Gibt es einen natürlichen Weg, die Essenz der relationalen Semantik für den parametrischen Polymorphismus zu verstehen? Ich habe gerade angefangen, über den Begriff der relationalen Parametrizität zu lesen, a la John Reynolds '"Typen, Abstraktion und parametrischer Polymorphismus", und ich habe...
Es gibt Studien zu Approximationsalgorithmen für NP-Gesamtprobleme in der Polynomzeit und zu exakten Algorithmen in der Exponentialzeit. Gibt es Studien über Approximationsalgorithmen für NP-Gesamtprobleme in subexponentieller Zeit der Form mit
Dies ist im Wiki-Eintrag von Symbolic Execution geschrieben , aber ich kann keine Referenz dafür finden. Kann mir jemand einen Zeiger zeigen? Vielen
Bei der Überprüfung von Compilern geht es häufig darum, den Compiler als vollständig abstrakt zu beweisen: dass er (kontextbezogene) Äquivalenzen bewahrt und widerspiegelt. Anstatt vollständige Abstraktionsnachweise zu liefern, wurden einige neuere (kategorienbasierte)
Der Graphisomorphismus ( ) ist ein guter Kandidat für Zwischenprobleme. Zwischenprobleme bestehen nur, wenn . Ich suche nach einem natürlichen Problem, das für den unter Karp-Reduktion schwer ist (Ein Graph-Problem , bei dem ).GIGIGINPNPNPNPNPNPP=NPP=NPP=NPGIGIGIXXXGI<mpXGI<pmXGI...
Ein Weg zu zeigen, dass die Überprüfung der Machbarkeit eines linearen Ungleichungssystems so schwierig ist wie die lineare Programmierung, ist die durch die Ellipsoidmethode gegebene Reduktion. Noch einfacher ist es, die optimale Lösung zu erraten und über die binäre Suche als Einschränkung...
Wenn wir eine Baumzerlegung eines Graphen mit der Breite w erhalten , gibt es verschiedene Möglichkeiten, wie wir ihn "schön" machen können. Insbesondere ist bekannt, dass es möglich ist, ihn in eine Baumzerlegung umzuwandeln, bei der der Baum binär ist und seine Höhe O ( log n ) beträgt . Dies...
Wir sagen, dass eine Turing-Maschine tödlich ist, wennMMMMMM für jede Startkonfiguration anhält (insbesondere können der Bandinhalt und der Anfangszustand beliebig sein). Wird jede rekursive Sprache von einer sterblichen Turing-Maschine erkannt? (dh wenn es ein TM gibt, das akzeptiert , gibt es...
Es gibt viele Situationen, in denen ein randomisierter "Beweis" viel einfacher ist als ein deterministischer Beweis, wobei das kanonische Beispiel das Testen der polynomischen Identität ist. Frage : Gibt es natürliche mathematische "Theoreme", bei denen ein randomisierter Beweis bekannt ist, ein...
Kurze Frage. Was ist die Rechenleistung von "Quanten" -Schaltungen, wenn wir nicht einheitliche (aber immer noch invertierbare) Gatter zulassen und vom Ausgang verlangen, dass er mit Sicherheit die richtige Antwort gibt? Diese Frage handelt in gewissem Sinne davon, was mit der Klasse passiert, E Q...
Ich möchte um Vorschläge für gute Texte bitten, die die Schaltungskomplexität einführen. Hinweise auf jüngste Fortschritte und offene Probleme in diesem Bereich wären ebenfalls
Eines der interessanten offenen Probleme mit DFAs, die in aufgeführt sind. Gibt es noch offene Probleme mit DFAs? ist die Größe eines DFA, die zum Trennen von zwei Zeichenfolgen der Länge erforderlich ist . Ich bin neugierig, ob es irgendwelche Ergebnisse über die Fähigkeit eines zufälligen DFA...
Mit welchen formalen Prinzipien haben wir anstelle empirischer Beweise bewiesen, dass Quantencomputer schneller sind als traditionelles / klassisches
Das folgende Problem taucht in Aaronsons Liste 10 Semi-Grand Challenges for Quantum Computing Theory auf . IstB Q P = B P PB Q N CBQ.P=BPPBQ.NC\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} p o l y l o g (n) B Q P B P P B Q N C Mit anderen Worten, kann der "Quanten" eines beliebigen Quantenalgorithmus...
Was passiert, wenn wir so definieren, dass anstelle einer Polytime-Turing-Maschine / Polysize-Schaltung eine Logspace-Turing-Maschine oder eine -Schaltung das Problem codiert?PPADPPAD{\bf PPAD}AC0AC0{\bf AC^0} Kürzlich stellte sich heraus , dass es wichtig war, schnellere Algorithmen für die...
Jede monotone arithmetische Schaltung , dh eine -Schaltung, berechnet ein multivariates Polynom mit nichtnegativen ganzzahligen Koeffizienten. Bei einem Polynom ist die SchaltungF ( x 1 , … , x n ) f ( x 1 , … , x n
FewP ist die Klasse der NPNPNP -Probleme, bei denen das Polynom an die Anzahl der Lösungen (in der Eingabegröße) gebunden ist. Es ist kein NPNPNP -vollständiges Problem in fewPfewPfewP . Mich interessiert, wie weit wir diese Beobachtung ausdehnen können. Gibt es ein natürliches NPNPNP...
Diese Frage wurde auch auf Math.SE gestellt, /math/1002540/fixed-points-in-computability-nd-logic Ich hoffe, es ist in Ordnung, es auch hier zu posten. Wenn nicht, oder wenn es für CS.SE zu einfach ist, sagen Sie es mir bitte und ich werde es löschen. Ich möchte die Beziehung zwischen den...
Vor ungefähr einem Jahr dachten ein Freund und ich über eine Möglichkeit nach, den Kruskal-Algorithmus für dichte Graphen besser als in der üblichen Grenze ( zu implementieren (ohne die Annahme von vorsortierten Kanten). Insbesondere erreichen wir in allen Fällen , ähnlich wie bei Prims, wenn sie...
Informationskomplexität war ein sehr nützliches Werkzeug für die Komplexität der Kommunikation, das hauptsächlich dazu diente, die Kommunikationskomplexität verteilter Probleme zu verringern. Gibt es ein Analogon der Informationskomplexität für die Abfragekomplexität? Es gibt viele Parallelen...