Wie groß ist bei einer Sprungliste mit der Höhe nnn die erwartete Länge innerhalb eines konstanten (multiplikativen) Faktors? In Abschnitt 2.2 von Cache-Oblivious B-Trees werden stark gewichtsausgeglichene Suchbäume wie folgt definiert: Für eine Konstante ddd , jeder Knoten vvv in der Höhe hhh hat...
Für eine gegebene kontextfreie Sprache G nennen wir ein Nicht - End NULLABLE wenn A i → * ε , dh wir den leeren String aus ableiten können A i nach einer endlichen Anzahl von Produktionen Anwendung.AiAiA_i Ai→∗ϵAi→∗ϵA_i \rightarrow^* \epsilonAiAiA_i Es gibt einen einfachen Algorithmus zum...
Ich habe ein paar Fragen zur Quantum PCP-Vermutung: Was ist die Aussage der Quanten-PCP-Vermutung? Welche Implikationen hätte der Quanten-PCP-Satz für die Simulation von Hamiltonianern? Wird angenommen, dass die Übernahme von Irit Dinurs Beweis des klassischen PCP-Theorems wahrscheinlich zu einem...
Simulationsbasierte Sicherheit bietet eine natürlichere und leistungsfähigere Definition von Sicherheit als spielbasierte Sicherheit. Ich habe gesehen, dass die simulationsbasierten Ansätze die spielbasierten Beweise teilweise verwenden, um die Sicherheit einiger Teile des Protokolls zu beweisen....
Eine allgemeine Frage: Gibt es spektrale Techniken, um die Gattung eines Graphen abzuschätzen? Ich interessiere mich für zweigeteilte
Link-Cut-Baum ist eine von Sleator und Tarjan erfundene Datenstruktur, die verschiedene Operationen und Abfragen in einer Knoten-Gesamtstruktur in Zeit O ( log n ) unterstützt . (Zum BeispielkombiniertOperation Link zwei Bäume im Wald zu einem, während Operation Cut einen Baum im Wald in zwei Bäume...
Könnten Sie einen Umfrageartikel oder ein Lehrbuchkapitel empfehlen, in dem die Theorie der rekursiven Funktionen vorgestellt wird? Vielen
In der endlichen Modelltheorie ist bekannt, dass die Expressivität ohne eine Reihenfolge der Eingabe sehr begrenzt ist. Zum Beispiel ist bekannt, dass gleich PSPACE ist und F O ( PFP ) (ohne jede Reihenfolge in der Eingabe) nur PSPACE- relational ist, ein Begriff, der von Abiteboul und Vianu...
Dies ist eine etwas frivole Frage, die in meinem Kopf auftauchte, nachdem ich die verschiedenen Antworten auf "Was ist die" kleinste "Komplexitätsklasse, für die eine superlineare Schaltungsgrenze bekannt ist? " Gelesen habe . Die Antworten beziehen sich auf , und als ich mir den Zooeintrag danach...
Ich hoffe, ich bin an der richtigen Stelle ... es ist (wahrscheinlich) eine ziemlich einfache Frage zur Logikprogrammierung. Wenn ich zwei Klauseln des Formulars habe: B:-A C:-A Ich kann diese umwandeln in: B,C:-A ( Bearbeiten: Wo B,Cist eine Konjunktion? Ich mache eine Bottom-up-Bewertung und es...
Wir in unserer Forschungsgruppe arbeiten an der Anwendung heuristischer Methoden auf das inverse Beleuchtungsproblem (dh angesichts einer Reihe von Einschränkungen hinsichtlich der Beleuchtungsbedingungen in einer Szene finden wir die Orte, an denen die Lichtquellen platziert werden müssen, und...
Kürzlich habe ich einige Artikel über inkrementelle Optimierungsprobleme gelesen, aber ich kann nicht erkennen, was der Unterschied zwischen diesen und Online-Optimierungsproblemen ist. Mein Eindruck ist, dass ich jedes Online-Problem als inkrementelles Gegenstück definieren kann (das Gegenteil ist...
Das CSP-Optimierungsproblem ist approximationsresistent, wenn es schwer ist, den Approximationsfaktor einer zufälligen Zuordnung zu übertreffen. Zum Beispiel ist MAX 3-LIN approximationsbeständig, da eine zufällige Zuordnung einen Bruchteil der linearen Gleichungen erfüllt, das Erreichen des...
Könnte jemand eine intuitive ( nicht intutionistische) Erklärung für die Entsprechung der linken Einführung und der Beseitigung von Implikationen in Sequent Calculus (SC) bzw. Natural Deduction (ND) geben? Ich weiß, dass sie durch die Symmetrie von SC sollten, aber ich sehe nicht, wie sie einander...
Es gibt zahlreiche graphentheoretische Werkzeuge / Pakete. Jeder mit seinen Vor- und Nachteilen. Was sollte die Semantik / Syntax einer Programmiersprache sein, um graphentheoretische Probleme zu
Ich suche nach Arbeiten zur Berechnung des transitiven Abschlusses einer affinen Beziehung in folgendem Sinne: Sei die Beziehung, die durch ein System linearer Ungleichungen über reelle Variablen , dhx 1 , ... , x n , x ' 1 , ... , x '
Mein Wunsch ist es, die zeitliche Komplexität mehrerer Clustering-Ansätze zu beschreiben. Angenommen, wir haben Datenpunkte im dimensionalen Raum.mnnnmmm Nehmen wir weiter an, dass die paarweise Unähnlichkeitsmatrix von Dimensionen bereits berechnet wurde und dass wir bereits Schritte ausgegeben...
Gibt es eine Datenbank mit bekannten Problemen mit Informationen zu deren Komplexität und Algorithmen, verwandten Problemen, Referenzen usw., die uns zur Verfügung steht? [Wenn nicht, können wir eins machen? Ich weiß, dass dies kein Thema ist, aber es wäre SO
Dies ist ein Cross-Post von MathOverflow. Das Problem, zu testen, ob ein einfaches Gesichtsgitter (informell ein Poset von Gesichtern) polytopal ist, wird manchmal als Steinitz-Problem bezeichnet . Sturmfels und Bokowski entwickelten Ende der 80er Jahre eine Reihe von Methoden , um zu testen, ob...
Ich stelle mir vor, dass dies eine einführende Frage zur rechnergestützten Geometrie sein muss, bin mir aber nicht sicher, welche Suchphrasen am besten geeignet sind, und ich interessiere mich auch für Variationen der Frage. Ich hoffe daher auf Hinweise auf nützliche Referenzen. Ich interessiere...