Theoretische Informatik

1

In der Entscheidungsbaumkomplexität einer Booleschen Funktion besteht eine sehr bekannte Methode der unteren Grenze darin, ein (ungefähres) Polynom zu finden, das die Funktion darstellt. Paturi gab eine Charakterisierung für symmetrische boolesche (Teil- und Gesamt-) Funktionen in Form einer mit bezeichneten Größe an ΓΓ\Gamma: Satz ( Paturi ): Sei fff eine …

9 cc.complexity-theory quantum-computing lower-bounds boolean-functions query-complexity

1

Was ist die Komplexitätsklassifikation der Portfoliotheorie in der Finanzökonomie?

Wie Sie alle wissen, fällt die Finanzkrise von 2008 immer wieder aus. Ich habe darüber nachgedacht, wie die Komplexitätstheorie in all dies passt, als mir klar wurde, dass ich die grundlegenden Komplexitätsklassen in Bezug auf Finanzökonomie nicht kenne. Meine Frage ist also, wie die Komplexitätsklassifizierung (falls vorhanden) von Markowitz 'Portfolio-Theorie …

9 cc.complexity-theory gt.game-theory ce.computational-finance

2

Zeichnen von Graphen der begrenzten Kreuzungsnummer

Fárys Theorem besagt, dass ein einfacher planarer Graph ohne Kreuzungen gezeichnet werden kann, so dass jede Kante ein gerades Liniensegment ist. Meine Frage ist, ob es einen analogen Satz für Graphen mit begrenzter Kreuzungszahl gibt . Können wir insbesondere sagen, dass ein einfacher Graph mit der Kreuzungszahl k so gezeichnet …

9 graph-theory co.combinatorics planar-graphs

2

Schwellenwert für vollständig homomorphe Kryptosysteme

Vor kurzem hat Craig Gentry das erste Verschlüsselungsschema für öffentliche Schlüssel (über Klartextraum {0,1}) veröffentlicht, das vollständig homomorph ist. Dies bedeutet, dass AND und XOR in verschlüsselten Klartexten ohne Kenntnis des geheimen Entschlüsselungsschlüssels effizient und kompakt ausgewertet werden können. Ich frage mich, ob es einen offensichtlichen Weg gibt, dieses Kryptosystem …

9 cr.crypto-security circuit-complexity homomorphic-encryption

5

Natürliche Berechnung basierend auf fundamentalen Kräften

Bekannte Beispiele für Berechnungen, die von Naturphänomenen inspiriert sind, sind Quantencomputer und DNA-Computer. Was ist über das Potenzial und / oder die Einschränkungen des Rechnens mit Maxwells Gesetzen oder der Schwerkraft bekannt? Das heißt, die "schnellen" Lösungen der Natur für Maxwells Gleichungen oder das n-Körper-Problem direkt in einen Allzweckalgorithmus zu …

9 computability machine-models physics natural-computing

3

Vorteile für syntaktische und semantische Klassen

Dies ist ein Beitrag, der von den Konsequenzen von UP gleich NP getrennt ist , und auch eine Folgefrage zu semantischen vs. syntaktischen Komplexitätsklassen . Im obigen Beitrag haben wir etwas über die semantischen und syntaktischen Klassen gelernt . Kurz gesagt, wenn eine Klasse als Blattsprachenklasse , ist eine Klasse …

9 cc.complexity-theory complexity-classes big-picture

1

Gibt es eine CFG mit Polynomgröße, die diese endliche Sprache beschreibt?

Gibt es Permutationen und Polynomgröße (in ) kontextfreie Grammatik, die die endliche Sprache über Alphabet ?| w | = n { w π 1 ( w ) π 2 ( w ) } { 0 , 1 }π1,π2π1,π2\pi_1,\pi_2|w|=n|w|=n|w|=n{wπ1(w)π2(w)}{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\}{0,1}{0,1}\{0,1\} UPDATE: Für eine Permutation es möglich. ist die Umkehrung oder …

9 fl.formal-languages grammars context-free

3

Interaktive Proofs per Nachauswahl?

Definieren Sie das Rechenmodell MPostBQP so, dass es mit PostBQP identisch ist, außer dass wir vor der Nachauswahl und der endgültigen Messung polynomiell viele Qubit-Messungen zulassen. Können wir Hinweise darauf geben, dass MPostBQP leistungsfähiger als PostBQP ist? Definieren Sie MPostBQP [k], um mehrere Mess- und Nachauswahlrunden zu ermöglichen, bevor wir …

9 cc.complexity-theory complexity-classes quantum-computing interactive-proofs

2

Informationen zu k-SAT (Einführung, Grenzen, Methoden usw.)

Ich würde gerne wissen, wo ich mich für eine gute, sanfte Einführung in k-SAT wenden kann (dies kann für Mathematiker sein, die möglicherweise keinen guten Informatik-Hintergrund haben). Ich würde auch gerne Artikel kennenlernen, die möglicherweise aktuelle Methoden zur Lösung von k-SAT untersuchen oder erläutern. Schließlich interessieren mich die bekanntesten Methoden …

9 reference-request sat survey

4

Warum sind linear begrenzte Automaten nicht so beliebt wie andere Automaten?

Nach meiner Erfahrung werden kontextsensitive Sprachen und linear begrenzte Automaten in Kursen zur Berechenbarkeitstheorie häufig übersprungen oder übersprungen und sogar in einigen bemerkenswerten Lehrbüchern weggelassen, obwohl endliche und Pushdown-Automaten viel Aufmerksamkeit erhalten. Sicherlich muss es einen guten Grund geben, warum LBAs weniger fokussiert werden als ihre Kollegen?

9 computability fl.formal-languages automata-theory

1

Leistungsstarke Algorithmen, die einfach zu schwer zu implementieren sind - wie können Sie sicher sein, dass sie richtig sind?

Ich beziehe mich hier auf die Frage: Leistungsstarke Algorithmen, die zu komplex sind, um sie zu implementieren . Wenn ein Algorithmus leistungsfähig, aber zu komplex für die Implementierung ist, wie können Sie sicher sein, dass der Algorithmus korrekt ist? Ohne Implementierung können Sie den Algorithmus nicht in einem realen Szenario …

9 ds.algorithms implementation

3

Algorithmen für die Polygon-Triangulation

Es fiel mir schwer, einen Algorithmus zu finden oder Artikel über die Triangulation von sich selbst schneidenden Polygonen (auch Polygone mit Lochstruktur) zu veröffentlichen. Kann mich bitte jemand anleiten, veröffentlichte Artikel / Algorithmen zu finden? PS: Jemand markiert diese Frage bitte angemessen. Ich habe nicht genügend Reputationspunkte, um dies zu …

9 ds.algorithms reference-request cg.comp-geom

3

Wie kann ich zufällig Bäume mit begrenzter Höhe überspannen?

Für ein Projekt, an dem ich arbeite, sollte ich zufällige Spannbäume mit begrenzter Höhe generieren. Grundsätzlich mache ich Folgendes: 1) Generiere einen Spanning Tree 2) Überprüfe die Machbarkeit, wenn machbar, behalte sie. 1) Ausgehend von einem minimalen Spannbaum (Prims oder Kruskals) füge ich eine nicht vorhandene Kante hinzu und dies …

9 ds.algorithms graph-algorithms random-walks

1

NP-Härte eines Sonderfalls eines orthogonalen Packungsproblems

Sei eine Menge von dimensionalen rechteckigen Formen. Für und , beschreibt die Länge von in der Dimension . Die gleiche Notation wird für den Container . Das dimensionale orthogonale Packungsproblem (OPP- ) besteht darin, zu entscheiden, ob ohne Überlappung in den Behälter passt . Formal besteht das Problem darin, herauszufinden, …

9 cc.complexity-theory reference-request np-hardness packing

1

Irgendwelche SAT / SMT-Formulierungen des VRP / VRPTW (TSP, Job-Shop-Scheduling)?

Ich frage mich, ob es irgendwelche Ansätze gibt, die ein Fahrzeugroutenproblem mit Zeitfenstern ( VRPTW ) (als Entscheidungsproblem) als SAT / SMT-Instanz formulieren . (Alternative: TSP) Zum Beispiel: "Gibt es eine gültige Lösung, die alle Kunden innerhalb ihrer Zeitfenster mit n = 10 Fahrzeugen besucht?" Dieses Entscheidungsproblem könnte für einen …

9 ds.algorithms reference-request sat reductions tsp