Theoretische Informatik reference-request

1

Es gibt Forscher, die zeigen, dass das Löschen von Bits Energie verbrauchen muss. Gibt es jetzt Forschungen zum durchschnittlichen Energieverbrauch von Algorithmen mit der Rechenkomplexität ? Ich vermute, die Komplexität von hängt mit dem durchschnittlichen Energieverbrauch zusammen. Ich hoffe, ich kann hier eine Antwort finden.F(n)F(n)F(n)F(n)F(n)F(n)

12 cc.complexity-theory reference-request it.information-theory quantum-information statistical-physics

1

Primäre Quelle für die Äquivalenz von nicht deterministischer Polynomzeit und deterministischer Polynomzeitverifikation

Wer hat als erster gezeigt, dass eine Sprache in NP ist, wenn ein Zertifikat für die Sprache in polynomialer Zeit verifiziert werden kann? Haben wir ein Papier, das dies formal beweist? Wann begann die TCS-Community, Nichtdeterminismus zugunsten der Überprüfbarkeit zu de-betonen? Über Texte wie Papadimitriou und Arora und Barak hinaus …

12 reference-request

1

Gibt es eine Übersicht über das Gebiet der Quantenautomaten?

Ich suche ein Übersichtsblatt zu den wichtigen Konzepten im Bereich der Quantenautomaten. Ich habe Quantum Automata Theory - A Review von Hirvensalo gefunden, aber es klingt zu prägnant, um das Thema zu erfassen. Gibt es eine recht umfassende Umfrage zum Thema Quantum Automata? Können Sie mich auch auf die wesentliche …

12 reference-request quantum-computing automata-theory

2

Referenz für eine Klasse von Diagrammen, bei denen die Abstände der Teilgraphen bei der Bestellung beibehalten werden

Nehmen wir an , dass ein Graph die Eigenschaft hat , M , wenn seine Ecken bestellt werden können v 1 , v 2 , ... v n in einer solchen Weise , dass der Graph H i durch den Scheitel induziert { v 1 , ... , v i …

12 reference-request graph-theory

6

Buch zum Selbststudium von Algorithmen in der Gruppentheorie

Ich bin ein Mathematik-Hauptfach, das sich für TCS interessiert. Ich möchte die Algorithmen und deren Komplexität zum Lösen der gruppentheoretischen Probleme wie Reihenfolge der Elemente finden, Aufzählung der Nebenmengen, Generator finden und testen, ob eine gegebene Teilmenge die Gruppe erzeugt. Welches Buch soll ich lesen?

12 ds.algorithms reference-request gr.group-theory books

2

Was ist die Worst-Case-Komplexität eines Zahlenfeldsiebs?

Gegeben Verbund allgemeinen Zahlkörpersieb ist am besten bekannt Faktorisierung Algorithmus für ganzzahlige Faktorisierung von . Es ist ein randomisierter Algorithmus und wir erhalten eine erwartete Komplexität von um zu faktorisieren .N∈ NN∈NN\in\Bbb NNNNO ( e649√( logN)13( logLogN)23)Ö(e649(Log⁡N)13(Log⁡Log⁡N)23)O\Big(e^{\sqrt{\frac{64}{9}}(\log N)^{\frac 13}(\log\log N)^{\frac 23}}\Big)NNN Ich habe nach Informationen zur Worst-Case-Komplexität dieses randomisierten Algorithmus …

12 reference-request derandomization factoring average-case-complexity worst-case

1

L / P / PSpace vs P / NP

1979 schrieben Hopcroft / Ullman , dass L ⊆ P ⊆ NP ⊆ PSpace bekannt ist, aber L ⊊ PSpace die einzig richtige (& triviale) bekannte Einschließung ist, obwohl alle als richtige Einschließungen vermutet werden und "wo die Dinge noch stehen" ~ 4 Jahrzehnte später . seitdem gibt es bekannte …

12 cc.complexity-theory reference-request lower-bounds p-vs-np conditional-results

5

Additive kombinatorische Anwendungen im Algorithmus-Design

Ich lese Umfragen von Trevisan und Lovett zu Anwendungen von additiven kombinatorischen in TCS. Die Mehrzahl dieser Anwendungen fällt unter Rechenaufwand , z. B. Untergrenzen. Ich frage mich, ob additive Kombinatorik auch im Algorithmus-Design Anwendung gefunden hat . Die Motivation für meine Frage ist die folgende: Während der Zusammenhang zwischen …

12 ds.algorithms reference-request co.combinatorics

2

Auf der Suche nach Literaturquelle für folgende Idee

Ich bin mir ziemlich sicher, dass ich nicht der erste bin, der die Idee aufgreift, die ich präsentieren werde. Es wäre jedoch hilfreich, wenn ich Literatur zu dieser Idee finden könnte. Die Idee ist, eine Turing-Maschine M mit der Eigenschaft zu konstruieren, dass wenn P = NP, dann M 3-SAT …

12 reference-request turing-machines p-vs-np

1

Optimale randomisierte Vergleichssortierung

Wir alle kennen also die untere Grenze des Vergleichsbaums von Über die ungünstigste Anzahl von Vergleichen, die mit einem (deterministischen) Vergleichs-Sortieralgorithmus durchgeführt wurden. Dies gilt nicht für die randomisierte Vergleichssortierung (wenn wir die erwarteten Vergleiche für die Worst-Case-Eingabe messen). Zum Beispiel ist für n = 4 die deterministische Untergrenze fünf …

12 ds.algorithms reference-request sorting

2

Hamilton-Zyklus auf Graphen ohne kleine Zyklen

Bei der Beantwortung dieser Frage auf cstheory habe ich (informell) das folgende Theorem im Fluge bewiesen: Theorem : Für jede feste der Hamilton - Operator Zyklus probem bleibt NP-complete auch eingeschränkt , wenn bipartite ungerichtete Graphen der maximalen Grad planar 3, die keine Zyklen der Länge enthalten ≤ l .l …

12 reference-request np-hardness

1

APX-Härte impliziert kein QPTAS?

Eine schnelle Suche im Internet hat mich zu der Annahme geführt, dass "APXHardness impliziert, dass für ein Problem kein QPTAS vorhanden ist, es sei denn, [eine Komplexitätsklasse] ist in einer [anderen Komplexitätsklasse] enthalten", und das ist auch bekannt! Es scheint, dass jeder außer mir das weiß. Leider wird kein Hinweis …

12 cc.complexity-theory reference-request

2

Referenz für Dyck-Sprachen ist

Dyck-Sprachen durch die folgende Grammatik S → S S definiertDyck(k)Dyck(k)\mathsf{Dyck}(k) über der Menge der Symbole { ( 1 , … , ( k , ) 1 , … , ) k } . Intuitiv sind Dyck-Sprachen die Sprachen der ausgeglichenen Klammern von kS→SS|(1S)1|…|(kS)k|ϵS→SS|(1S)1|…|(kS)k|ϵ S \rightarrow SS \,|\, (_1 S )_1 …

12 reference-request fl.formal-languages circuit-complexity ho.history-overview context-free

1

Algebraisch kompakte Kategorien

Ich habe Freyds Artikel "Algebraically Complete Categories" in der berühmten Como90 gelesen und habe zwei Fragen zu dem Begriff der algebraischen Kompaktheit, den er in diesem Artikel definiert hat. (Wenn Sie mit der Definition nicht vertraut sind, ist es hier: Eine Kategorie heißt algebraisch kompakt, wenn jeder Endofunktor eine initiale …

12 reference-request type-theory ct.category-theory

3

Auswahl in Vereinigung von sortierten Arrays: Bereits bekannt?

Ich suche bibliografische Referenzen für den folgenden Algorithmus / das folgende Problem: Ich habe es "BiSelect" oder "t-ary Select" oder "Select in Union of Sorted Arrays" genannt, aber ich denke, es wurde zuvor unter einem anderen Namen eingeführt? Problem Betrachten Sie das folgende Problem: Gegeben kkk disjunkt sortierten Arrays A1,…,AkA1,…,AkA_1,\ldots, …

12 reference-request

Als «reference-request» getaggte Fragen