Als «reference-request» getaggte Fragen

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

1
Bitcoin und Vermeidung von Doppelausgaben in dezentralen digitalen Währungen
Ein neuerer Ansatz zur Schaffung einer dezentralen Online-Währung namens Bitcoin stieß auf Interesse. Das Ziel ist es, eine Möglichkeit zu haben, Währung ohne eine zentrale Behörde und ohne doppelte Ausgaben oder Fälschungen zu transferieren. Ihr Ansatz besteht darin, dass alle Knoten im Netzwerk versuchen, eine Transaktion durch Ausführen einer Proof-of-Work-Berechnung …
3
Kompromiss zwischen Zeit und Abfragekomplexität
Das direkte Arbeiten mit Zeitkomplexität oder Schaltkreisuntergrenzen ist beängstigend. Daher entwickeln wir Tools wie die Komplexität von Abfragen (oder die Komplexität von Entscheidungsbäumen), um die unteren Grenzen in den Griff zu bekommen. Da jede Abfrage mindestens einen Einheitsschritt dauert und Berechnungen zwischen Abfragen als frei gezählt werden, ist die Zeitkomplexität …
1
Die Quad-Edge-Datenstruktur (Delaunay / Voronoi)
2 Fragen an die Rechengeometer oder Algebraisten: Ich fange gerade an, mich mit Computergeometrie zu beschäftigen, und ich liebe sie =) Ich versuche, den berühmten Artikel von Guibas und Stolfi mit dem Titel "Primitive für die Manipulation allgemeiner Unterteilungen und die Berechnung von Voronoi-Diagrammen" zu lesen , um einen Delaunay-Triangulationsalgorithmus …
3
Verallgemeinerungen von Brzozowskis Methode der Ableitung regulärer Ausdrücke auf Grammatiken?
Brzozowskis Methode der Ableitungen ist eine sehr hübsche Technik, um deterministische Automaten aus regulären Ausdrücken auf eine schön algebraische Weise zu erstellen. Ich habe einige nette Verallgemeinerungen dieser Technik ausgearbeitet, um einige größere Grammatikklassen zu behandeln, aber die Algorithmen sind so einfach, dass es durchaus möglich erscheint, dass sie zuvor …
1
Steckenpuzzle
Problem: Wir erhalten eine Reihe von Sticks, die alle eine ganzzahlige Länge haben. Die Gesamtsumme ihrer Längen beträgt n (n + 1) / 2. Können wir sie in polynomielle Zeit um Stäbe der Größe zu erhalten? 1 , 2 , … , n1,2,…,n{1,2,\ldots,n} Überraschenderweise ist der einzige Hinweis, den ich …
3
Determinante modulo m
Was die bekannten effiziente Algorithmen zur Berechnung einer Determinante einer Matrix mit ganzzahligen Koeffizienten sind , modulo der Ring aus den Resten m . Die Zahl m ist möglicherweise keine Primzahl, sondern zusammengesetzt (Berechnungen werden also im Ring und nicht in einem Feld ausgeführt).ZmZm\mathbb{Z}_mmmmmmm Soweit ich weiß (siehe unten), handelt …
1
Ein topologischer Raum im Zusammenhang mit SAT: Ist er kompakt?
Das Erfüllbarkeit Problem ist natürlich, ein grundsätzliches Problem in der theoretischen CS. Ich habe mit einer Version des Problems mit unendlich vielen Variablen gespielt. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Grundeinstellung. Sei eine nicht leere und möglicherweise unendliche Menge von Variablen . Ein Literal ist entweder eine Variable oder ihre Negation . Eine Klausel …
2
Eine Referenz für einen „algebraischeren“ Ansatz für Pushdown-Automaten und CFLs?
In dem Buch über die Automatentheorie von Sakarovitch heißt es in der Einleitung zum Abschnitt über Rationalitäten in der freien Gruppe, dass das darin vorgestellte Material "die Grundlage einer wirklich mathematischen Theorie kontextfreier Sprachen" bildet. Dies wird jedoch nicht explizit erwähnt, da kontextfreie Sprachen und Pushdown-Automaten den Rahmen des Buches …
1
Untergrenzen für die Größe nichtdeterministischer Schaltkreise
Es ist bekannt, dass die minimale Größe von -Schaltungen, die die Paritätsfunktion genau berechnen, gleich 3 ( n - 1 ) ist . Der untere Grenznachweis basiert auf der Gate-Eliminierungsmethode.U2U2U_23 ( n - 1 )3(n-1)3(n-1) Kürzlich ist mir aufgefallen, dass die Gate-Eliminierungsmethode auch für nichtdeterministische -Schaltungen gut funktioniert, und wir …
5
Warum sich Ökonomen für die Komplexität ihrer Berechnungen interessieren sollten
Gibt es einen Standardverweis, um Ökonomen von der Relevanz der Komplexitätstheorie im Druck zu überzeugen? Ich kenne Noam Nisans Blogpost , Tim Roughgardens Umfrage und Kapitel 11 von Scott Aaronsons Aufsatz . Diese Stellen sind für Informatiker zugänglich, verwenden jedoch nicht die Sprache von Wirtschaftswissenschaftlern und werden nicht an Orten …
3
Konstruktiv effiziente Algorithmen ohne effiziente Korrektheit und Effizienznachweis
Ich suche nach natürlichen Beispielen für effiziente Algorithmen (dh in Polynomialzeit) st ihre Richtigkeit und Wirksamkeit kann konstruktiv nachgewiesen werden (zB in PR APRAPRA oder HEINHAHA ), aber Es ist kein Beweis bekannt, bei dem nur effiziente Konzepte verwendet werden (dh wir wissen nicht, wie ihre Richtigkeit und Effizienz in …
1
Erzeugt Conways PRIMEGAME alle Primzahlen von 2?
Die meisten Websites, die ich zum Thema gelesen habe, geben etwas Ähnliches an "Die einzigen Zweierpotenzen (außer 2 selbst), die in dieser Sequenz auftreten, sind diejenigen mit dem Prim-Exponenten" (MathWorld) oder "Nach 2 enthält diese Sequenz die folgenden Potenzen von 2: [...] das sind die Primzahlen von 2." (Wikipedia) Diese …
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.