Als «reference-request» getaggte Fragen

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

1
Minimale akkordlose Vervollständigung von Kurvendiagrammen: Ist es NP-schwer?
Das folgende interessante Problem ist kürzlich in meiner Forschung aufgetaucht: INSTANZ: Graph .G ( V, E)G(V,E)G(V, E) LÖSUNG: Eine akkordlose ungerade Zyklus-Vervollständigung, definiert als eine Obermenge der Kantenmenge so dass der vervollständigte Graph die Eigenschaft hat, dass jede Kante in in einem akkordlosen ungeraden Zyklus enthalten ist. E G ' …
5
Compiler Korrektheitsbeweise
Ich bin auf der Suche nach Tutorial-Material, das Compiler-Korrektheitsnachweise, vorzugsweise unter Verwendung von Bezeichnungsmethoden, auf der Ebene eines Studienanfängers enthält. Kennen Sie alternativ einige einfache Compiler-Beispiele, anhand derer ich die Probleme veranschaulichen könnte? (Das erste Beispiel, das mir einfiel, war ein Übersetzer von Infix- zu Postfix-Ausdrücken. Es zeigte jedoch nichts …
2
n-dimensionaler Mustervergleich
Welche Ergebnisse sind bekannt, um ein genaues n-dimensionales Subarray in einem n-dimensionalen Array zu finden? In 1D handelt es sich nur um ein String-Matching-Problem. KMP führt dies in linearer Zeit durch. In 2D wurde in diesem Artikel gezeigt, dass dies in linearer Zeit mit wenig zusätzlichem Platz durchgeführt werden kann. …
5
Reduzierung des Platzbedarfs für st-connectivity mit mehreren Durchläufen?
Angenommen, ein GraphGGG mit nnn Eckpunkten wird als Strom von mmm Kanten dargestellt, aber es sind mehrere Durchgänge über den Strom zulässig. Monika Rauch Henzinger, Prabhakar Raghavan und Sridar Rajagopalan stellten fest, dass ein Ω(n/k)Ω(n/k)\Omega(n/k) -Raum erforderlich ist, um zu bestimmen, ob es einen Pfad zwischen zwei gegebenen Eckpunkten in …
4
Gibt es aktuelle Forschungen zur Implementierung von Randomness Extractors?
Wurden Untersuchungen zur Implementierung von Zufallsextraktorkonstruktionen durchgeführt? Es scheint, dass Extractor-Proofs Big-Oh verwenden, was die Möglichkeit für große versteckte Konstanten lässt und programmatische Implementierungen möglicherweise unrealistisch macht. Kontext: Ich bin daran interessiert, Zufallszahlenextraktoren als schnelle Quelle für (nachweislich?) Zufallszahlen zur Verwendung in Monte-Carlo-Simulationen zu verwenden. Wir (eine Gruppe der ETHZ …
3
Umfrage zu Algorithmen / Komplexität der linearen Algebra
Ich bin auf der Suche nach einer guten Übersicht über Algorithmen und Komplexität der linearen Algebra (Operationen wie Rang, Inverse, Eigenwerte, ... für Boolesche, und Ganzzahlen / Rationale Matrizen) mit Schwerpunkt auf Parallelität ( Hierarchie). und Polyzeitalgorithmen. Ich konnte keinen neuen finden. NCFpFp\mathbb{F}_pNCNCNC Kennen Sie eine gute aktuelle Umfrage oder …
5
Deterministischer Parallelalgorithmus für perfektes Matching in allgemeinen Graphen?
In der Komplexitätsklasse gibt es einige Probleme, von denen angenommen wird, dass sie NICHT in der Klasse , dh Probleme mit deterministischen parallelen Algorithmen. Das Problem des maximalen Durchflusses ist ein Beispiel. Und es gibt Probleme, von denen man glaubt, dass sie in , aber ein Beweis wurde noch nicht …
3
Eigenschaftsprüfung in anderen Metriken?
Es gibt eine große Literatur über „Eigenschaft Test“ - das Problem der eine kleine Anzahl von Black - Box - Anfragen an eine Funktion zu machen zwischen zwei Fälle zu unterscheiden:f:{0,1}n→Rf:{0,1}n→Rf\colon\{0,1\}^n \to R ist ein Mitglied einer Funktionsklasse CfffCC\mathcal{C} ist ε -Far von jeder Funktion inKlasse C .fffεε\varepsilonCC\mathcal{C} Der Bereich …
3
Was ist das richtige theoretische Modell, um Algorithmen für aktuelle und kommende Hochleistungscomputer zu entwerfen?
Diese Frage ähnelt einer allgemeineren Frage nach dem richtigen theoretischen Modell eines Computers zum Entwerfen von Algorithmen und Datenstrukturen. Ich frage hier speziell nach aktuellen Hochleistungscomputern (wie den als Top 500 aufgelisteten ) oder sogar nach kommende Supercomputer. Angesichts der Tatsache, dass diese Computer in der Regel mit riesigen Datenmengen …
2
Laufzeit von Grovers Algorithmus
Was ist die Zeitkomplexität (nicht die Abfragekomplexität) von Grovers Algorithmus? Es scheint mir klar , dass es , da es Iterationen und jede Iteration erfordert die Verwendung des Reflexionsbetrieb wiederum die Zeit in Anspruch nimmt Verwendung eines beliebigen Standardsatzes von Universaltoren.Ω(log(N)N−−√)Ω(log⁡(N)N)\Omega(\log(N) \sqrt{N})Ω(N−−√)Ω(N)\Omega(\sqrt{N})Ω(log(N))Ω(log⁡(N))\Omega(\log(N)) Das Problem ist, dass ich nicht einmal eine …
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.