Als «reference-request» getaggte Fragen

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

1
Literatur zur Alias-Analyse
Ich schreibe meine Masterarbeit in CS und arbeite mit Alias-Analyse. Das, was mich interessiert, ist die intraprozedurale, flusssensitive Must- und May-Alias-Analyse für Java-ähnliche Sprachen. Ich suche nach Texten, die die Grundlagen dieses Themas detailliert beschreiben, aber nichts wirklich Passendes finden konnten. Ich habe eine Reihe von Lehrbüchern über Compiler und …
1
Boolescher Formelausgleich in
Ich suche nach Referenzen über die Komplexität des Booleschen Formelausgleichsproblems . Speziell, War bekannt, dass Boolesche Formeln in ausgeglichen werden können ?AC0AC0\mathsf{AC^0} Gibt es einen einfachen Beweis dafür, dass der Boolesche Formelausgleich in ?AC0AC0\mathsf{AC^0} Mit "einfach" meine ich einen Beweis, der einfacher ist als der unten erwähnte, insbesondere suche ich …
1
Algorithmen auf Graphen, die mit BDDs dargestellt werden
Die einfachsten Darstellungen für Diagramme verwenden Adjazenzmatrizen / -listen, was bedeutet, dass jeder Knoten und jede Kante explizit dargestellt wird. Die Bedeutung impliziter Darstellungen für Diagramme mit starken Regelmäßigkeiten ist seit langem bekannt. Zum Beispiel untersuchten Galperin & Wigderson (1983), Papadimitriou & Yannakakis ( Eine Anmerkung zu prägnanten Darstellungen von …
1
Vereinigungsbasierte Eliminierungsregel für Gleichheit
Vor ein paar Jahren bin ich auf die folgende linke Regel für Gleichheit in der sequentiellen Berechnung gestoßen: s≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢Cs≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢C \frac{s \doteq t \leadsto \theta \qquad \theta(\Gamma) \vdash \theta(C)} {\Gamma, s \doteq t \vdash C} Hier berechnet s≐t⇝θs≐t⇝θs \doteq t \leadsto \theta den allgemeinsten Unifier θθ\theta für sss und ttt und …
1
Was ist der Beweis dafür, dass Quantencomputer beliebige quantenmechanische Systeme effizient simulieren können?
JBV schlug vor, einige Kommentare in eine Frage umzuwandeln. Eine weitere Frage [1] betrifft Anwendungen des QM-Computing. Eine Antwort [2] war "die Quantenmechanik effizient simulieren". Anscheinend geht diese Idee auf Feynmans frühes Schreiben zu diesem Thema zurück; obwohl ich keine Referenz habe. Damit: Frage. Was ist der Beweis dafür, dass …
1
Bestimmen Sie die Mindestanzahl der Münzwägungen
In der Arbeit Zu zwei Problemen der Informationstheorie geben Erdõs und Rényi Untergrenzen für die Mindestanzahl von Wägungen an, die zur Bestimmung der Anzahl falscher Münzen in einem Satz von Münzen erforderlich sind .nnn Formeller: Die falschen Münzen haben ein geringeres Gewicht als die richtigen Münzen; Die Gewichte und b …
2
Kompromissgrenzen für die Halbraumbereichszählung
Was ist die derzeit beste Grenze für die Durchführung von Abfragen zur Zählung des Halbraumbereichs an einer Reihe von dimensionalen Punkten, ausgedrückt in Form eines Zeit / Raum-Kompromisses. Gemäß Matouseks wegweisender Arbeit von 1993 (Satz 6.2, Bereichssuche mit effizienten hierarchischen Schnitten) können wir die Bereichszählung für Abfragen, die den Schnittpunkt …
1
Voronoi-Diagramm in einer Grafik
Sei ein Graph mit (positiv) gewichteten Kanten. Ich möchte das Voronoi-Diagramm für eine Menge von Knoten / Stellen S definieren , um einem Knoten v ∈ S den Teilgraphen R ( v ) von G zuzuordnen, der von allen Knoten induziert wird, die genau näher an v liegen als an …
3
Ressource / Buch für die jüngsten Fortschritte in der statistischen Lerntheorie
Ich bin mit der Theorie hinter VC-Dimension ziemlich vertraut, aber ich schaue jetzt auf die jüngsten (letzten 10 Jahre) Fortschritte in der statistischen Lerntheorie: (lokale) Rademacher-Durchschnittswerte, Massarts Finite-Klassen-Lemma, Deckungszahlen, Verkettung, Dudleys Theorem, Pseudodimension, Fat Shattering Dimension, Packungszahlen, Rademacher-Zusammensetzung und möglicherweise andere Ergebnisse / Werkzeuge, die mir nicht bekannt sind. Gibt …
3
Typinferenz für andere zwingende Anweisungen als Zuweisung
Auf meiner Suche nach Forschungsarbeiten über Typensysteme für imperative Sprachen finde ich nur Lösungen für eine Sprache mit veränderlichen Referenzen, aber ohne echte imperative Kontrollstrukturen wie zusammengesetzte Operatoren, Schleifen oder Bedingungen. Es ist also nicht klar, wie eine imperative Sprache mit partieller Typinferenz wie http://rust-lang.org implementiert werden kann. In den …
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.