Als «reference-request» getaggte Fragen

Eine Referenzanforderung wird verwendet, wenn der Autor über Arbeiten im Zusammenhang mit der Frage Bescheid wissen muss.

3
Kolmogorov-Komplexitätsanwendungen in der Zahlentheorie
Was sind die Anwendungen der Kolmogorov-Komplexität in der Zahlentheorie und auf beweisbezogenen Gebieten? (Die Monographie von Li & Vitanyi hat nicht viele Anwendungen im Zusammenhang mit der Zahlentheorie.) Einer der schönen Beweise, auf die ich gestoßen bin, ist der Beweis für die Existenz einer unendlichen Anzahl von Primzahlen unter Verwendung …
2
Komplexität des SAT-Problems?
Definieren Sie das SAT-Problem: Gegeben sei , eine erfüllbare 3-CNF-Formel, und , eine 2-CNF-Formel ( und sind für dieselben Variablen definiert). Ist erfüllbar?(3,2)s(3,2)s(3,2)_sF3F3F_3F2F2F_2F3F3F_3F2F2F_2F3∧F2F3∧F2F_3 \wedge F_2 Was ist die Komplexität dieses Problems? (Wurde es schon einmal untersucht?)
3
Entscheidungsprobleme gegen Funktionen
Die Komplexitätstheorie scheint eher auf Entscheidungsproblemen als auf Funktionen zu beruhen. Wer hat dies zuerst eingeführt und was ist der Grund für diese Wahl? Zum Beispiel wird Edmonds 'Papier "Pfade, Bäume und Blumen" im Allgemeinen als Quelle des Begriffs " der die Menge der "nachvollziehbaren" Probleme darstellt, und dies ist …
1
Neuere probabilistische Methoden in der Kombinatorik und ihre Anwendung auf die Komplexitätstheorie
Ich habe das berühmte Buch von Alon und Spencer über die probabilistische Methode in der Kombinatorik gelesen. Gibt es eine Umfrage oder Vorlesungsunterlagen zu den jüngsten Fortschritten und Beziehungen zu den folgenden komplexitätstheoretischen Themen dieser Methode über dieses Lehrbuch hinaus? Pseudozufallsgeneratoren, die konkrete Berechnungsmodelle täuschen, Expander-Graphen. Komplexitätsuntergrenzen für konkrete Berechnungsmodelle …
2
Gittermoll in Digraphen
Thor Johnson et al. Haben in ihrer Arbeit: Directed Tree Width eine Definition für das gerichtete Gitter , und sie vermuteten:JkJkJ_k Für jede ganze Zahl k existiert eine ganze Zahl N, so dass jeder Digraph mit der Baumbreite N oder mehr eine zu J k isomorphe Nebenzahl hat .(5.1)(5.1)(5.1)kkkNNNNNNJkJkJ_k Und …
2
Original Hoare Logic Terminierungspapier
Ich suche nach dem Originalpapier, in dem Hoare (oder jemand anderes, nehme ich an) die Kündigung (Total Correctness) bespricht. Oder irgendeine andere frühe Arbeit über die Beendigung der "Vanilla" Hoare-Logik (damit meine ich vermutlich einen HL für eine C-ähnliche Spielzeugsprache). Ich habe mir die axiomatische Basis für Computerprogramme (PDF) angesehen …
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.