Ich suche ein Buch über fortgeschrittene Datenstrukturen, das über das hinausgeht, was in Standardlehrbüchern wie Cormen, Leiserson, Rivest und Steins "Introduction to Algorithms" behandelt wird. Ein Buch , das für den Unterricht einen Diplom - Level - Kurs auf erweiterte Datenstrukturen wie Erik...
Es gibt viele Anwendungen der realen Analyse in der theoretischen Informatik, die Eigenschaftsprüfung, Kommunikationskomplexität, PAC-Lernen und viele andere Forschungsbereiche abdecken. Ich kann mir jedoch kein Ergebnis in TCS vorstellen, das auf einer komplexen Analyse beruht (außerhalb des...
In seiner Antwort auf diese Frage , Stephane Gimenez wies mich auf eine Normalisierungsalgorithmus Polynom-Zeit für Beweise in linearer Logik. Der Proof in Girards Papier verwendet Proof-Netze, die ein Aspekt der linearen Logik sind, über den ich eigentlich nicht viel weiß. Jetzt habe ich bereits...
Ich bin auf eine verwirrende Meinungsverschiedenheit zwischen Agda und Coq gestoßen, die offensichtlich nicht mit den bekanntesten Unterscheidungen zwischen ihren Typentheorien zusammenhängt (z. B. (Im-) Prädikativität, Induktionsrekursion usw.). Insbesondere wird die folgende Definition von Agda...
Es besteht der Ruf, dass wir in der Informatik keine populärwissenschaftlichen Bücher haben. Das stimmt natürlich nicht wirklich! (Im gleichen Sinne der Liste Welche Bücher sollte jeder lesen ? , Welche Zeitungen sollte jeder lesen ? , Welche Videos sollte jeder sehen? Und inspiriert von einem...
Ich weiß, dass es nicht zu entscheiden ist, ob ein Kachelsatz das Flugzeug kacheln kann, ein Ergebnis der Verwendung von Wang-Kacheln durch Berger . Meine Frage ist, ob es auch bekannt ist, unentscheidbar zu sein, um festzustellen, ob eine einzelne gegebene Fliese die Ebene, eine einflächige...
Ich glaube, ich habe zu viele ehrgeizige AdRR- Papiere gelesen . Das Problem ist, dass diese Artikel nicht von Experten begutachtet werden, sondern oft interessant klingen und grundlegende Plausibilitätsprüfungen bestehen. Oder vielleicht auch nicht, und ich muss nur meine Plausibilitätsprüfungen...
Ich versuche, die Beziehung zwischen dem Graphisomorphismus und dem Problem der versteckten Untergruppen zu verstehen. Gibt es dafür eine gute
Die Unique Games Conjecture von Subhash Khot ist eines der aktiven Forschungsgebiete in der Komplexitätstheorie. Welche Beweise haben wir dafür? Welche Beweise haben wir dagegen?
Wenn ich eine Reihe von linearen Bedingungen habe, in denen jede Bedingung höchstens (sagen wir) 4 Variablen enthält (alle nichtnegativ und mit {0,1} Koeffizienten, außer einer Variablen, die einen -1-Koeffizienten haben kann), was ist über die Lösung bekannt Platz? Ich befasse mich weniger mit...
(Ich habe diese Frage vor zwei Wochen bei MathOverflow gepostet , aber bisher ohne strenge Antwort.) Ich habe eine Frage zu Graphenbreitenmaßen ungerichteter einfacher Graphen. Es ist bekannt, dass cographs (Graphen, die durch Operationen der disjunkten Vereinigung und Komplementierung ausgehend...
Beitrag aktualisiert am 31. August : Ich habe eine Zusammenfassung der aktuellen Antworten unterhalb der ursprünglichen Frage hinzugefügt. Danke für all die interessanten Antworten! Natürlich kann jeder weiterhin neue Erkenntnisse veröffentlichen. Für welche Graphenfamilien gibt es einen...
Gegeben ist ein Tag. Sie möchten jeden Knoten so kennzeichnen, wie viele Knoten von ihm aus erreichbar sind. ist eine unbedeutende Obergrenze; ist eine Untergrenze (glaube ich). Gibt es einen besseren Algorithmus? Gibt es Grund zu der Annahme, dass die Untergrenze verbessert werden kann (verwandt:...
Diese Frage bezieht sich auf eine Antwort, die ich als Antwort auf eine andere Frage gepostet habe. Das 3-Partitionsproblem ist das folgende Problem: Instanz : Positive ganze Zahlen a 1 ,…, a n , wobei n = 3 m und die Summe der n ganzen Zahlen gleich mB ist, so dass jedes a i B / 4 <a i erfüllt...
Die Baumbreite misst, wie nah ein Diagramm an einem Baum ist. Es ist NP-schwer, die Baumbreite zu berechnen. Der bekannteste Näherungsalgorithmus erreicht Faktor.O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) Courcelles Theorem besagt, dass jede Eigenschaft von Graphen, die in der monadischen Logik zweiter...
Was ist über die Komplexität bekannt, minimale Schaltkreise zu finden, die SAT bis zur Länge berechnen ? nnn Genauer gesagt: Wie komplex ist eine Funktion, die bei als Eingabe eine Minimalschaltung ausgibt , die für jede Formel mit , ?1n1n1^{n}φ | φ | ≤ n C ( φ ) = S A T ( φ )CCCφφ\varphi| φ |...
In der Umfrage "Small Depth Quantum Circuits" von D. Bera, F. Green und S. Homer (S. 36 von ACM SIGACT News, Juni 2007, Bd. 38, Nr. 2) las ich den folgenden Satz: Die klassische Version von (in der A N D - und O R -Tore höchstens ein konstantes Fanout aufweisen) ist nachweislich schwächer als A C 0...
Der erste Schritt des AKS-Primalitätstest-Algorithmus besteht darin, zu überprüfen, ob die eingegebene Zahl eine perfekte Potenz ist. Es scheint, dass dies in der Zahlentheorie eine bekannte Tatsache ist, da das Papier es nicht im Detail erklärte. Kann mir jemand sagen, wie man das in polynomialer...
Wahrscheinlich ist die häufigste Anwendung von linearen Typen in PL, sie zu verwenden, um Sprachen zu geben, die das Aliasing steuern (dh ein linearer Wert hat mehr oder weniger einen einzelnen Zeiger darauf). Es gibt jedoch eine leichte Abweichung zwischen dieser Verwendung und typischen...
Für A⊂[n]A⊂[n]A\subset [n] bezeichnen , indem aiaia_i die ithithi^{th} kleinstes Element AAA . Für zwei kkk Elementmengen A,B⊂[n]A,B⊂[n]A,B\subset [n] sagen wir, dass A≤BA≤BA\le B wenn ai≤biai≤bia_i\le b_i für jedes iii . A kkk -Einheitliche Hypergraphen H⊂[n]H⊂[n]{\mathcal H}\subset [n] ist eine...