Da der Begriff überladen ist, eine kurze Definition zuerst. Ein Poset ist eine Menge mit einer Teilordnung ≤ . Gegeben seien zwei Elemente a , b ∈ X , können wir definieren x ∨ y (Join) als ihre kleinste obere gebunden in X und in ähnlicher Weise definieren x ∧ y (treffen) (zusammen) als größte...
Fischers Artikel in diesem Monat erinnerte mich daran, wie wenig ich über die Kunst prägnanter Datenstrukturen und Algorithmen zu ihrer Verwendung weiß. Für diejenigen, die sich mit prägnanten Datenstrukturen nicht auskennen: Vorausgesetzt, eine kombinatorische Struktur mit einer (n)...
Wie allgemein bekannt ist, kann PARITÄT nicht in Schaltkreisen mit konstanter Tiefe in Polygröße durchgeführt werden, und tatsächlich erfordern Schaltkreise mit konstanter Tiefe die EXP-Anzahl von Gattern. Was ist mit QUANTUM-Schaltungen? a) Kann PARITÄT mit einer Quantenschaltung durchgeführt...
Ich verstehe, dass die Vollständigkeit von Turing unbegrenztes Gedächtnis und unbegrenzte Zeit erfordert. Es gibt jedoch eine begrenzte Anzahl von Atomen in diesem Dienst, wodurch das Gedächtnis begrenzt wird. Zum Beispiel, obwohl irrational ist, gibt es keine Möglichkeit, mehr als eine bestimmte...
Ist es bei einem gerichteten azyklischen Graphen möglich, die folgenden Operationen effizient zu unterstützen?G(V,E)G(V,E)G(V,E) : bestimmtob ein Pfad inisConnected(G,a,b)isConnected(G,a,b)isConnected(G,a,b) vom Knoten a zum Knoten BGGGaaabbb : Fügt eine Kante von a
Was ist, wenn irgendetwas über die parametrisierte Komplexität der Berechnung der Schnittmenge eines Graphen bekannt ist (die kleinste Anzahl von Cliquen, die erforderlich sind, um alle seine Kanten abzudecken)? Es ist seit langem bekannt, dass es NP-vollständig ist, und es ist offensichtlich FPT,...
Meine Vorstellung von einer Traumkarriere ist eine Karriere in der industriellen Forschung, in der man herausfordernde Probleme angehen und sie auch praktisch anwenden kann. Ist es eine schlechte Idee, in TCS zu promovieren (ich interessiere mich für Themen wie verteilte / parallele Algorithmen,...
Wie kann man zeigen, in welcher Beziehung "Unique Games Conjecture" und "PCP Theorem" zueinander stehen? Wie erklärt man, dass "Unique Games Conjecture" eine stärkere Form des "PCP-Theorems"
In der Automatentheorie (endliche Automaten, Pushdown-Automaten, ...) und in der Komplexität gibt es den Begriff "Mehrdeutigkeit". Ein Automat ist mehrdeutig, wenn es ein Wort mit mindestens zwei verschiedenen Annahmeläufen gibt. Eine Maschine ist k -ambiguous wenn für jedes Wort w von der Maschine...
Ich suche ein einfaches Beispiel für zwei Übergangssysteme, die LTL-Äquivalent, aber kein Trace-Äquivalent sind. Ich habe in dem Buch "Principles of Model Checking" (Baier / Katoen) den Beweis gelesen, dass die Spurenäquivalenz feiner ist als die LTL-Äquivalenz, aber ich bin nicht sicher, ob ich...
Hypercomputation bezieht sich auf Berechnungsmodelle, die mit Turing-Maschinen nicht simuliert werden können. (Hypercomputer sind physikalisch nicht unbedingt realisierbar!) Einige Hypercomputer haben Zugriff auf eine Ressource, mit der das Halteproblem für Standard-Turing-Maschinen gelöst werden...
Es ist allgemein bekannt, dass der am meisten geladene Behälter mit hoher Wahrscheinlichkeit O(logn)O(logn)O(\log n) Bälle enthält , wenn Sie n Bälle in n Behälter werfen . Im Allgemeinen kann man nach m>nm>nm > n Bällen in nnn Behältern fragen . Eine Veröffentlichung von RANDOM 1998 von...
Mir wurde gesagt, dass es einige gute polynomielle Zeitalgorithmen gibt, um die Anzahl einfacher Pfade in einem gerichteten Graphen von einem gegebenen Startscheitelpunkt zu einem gegebenen Endscheitelpunkt t zu approximieren . Kennt jemand eine gute Referenz zu diesem Thema?sssttt Hintergrund: Das...
Ich habe zwei Partitionen von und suche nach dem Bearbeitungsabstand zwischen ihnen.[1…n][1…n][1 \ldots n] Auf diese Weise möchte ich die minimale Anzahl von einzelnen Übergängen eines Knotens in eine andere Gruppe finden, die erforderlich sind, um von Partition A zu Partition B zu gelangen. Zum...
Die negative Gegnermethode ( ) ist eine SDP, die die Komplexität von Quantenabfragen charakterisiert. Es ist eine Verallgemeinerung der weit verbreiteten Gegner-Methode ( A D V ) und überwindet die beiden Hindernisse, die der Gegner-Methode im Wege standen:A D V±ADV±ADV^\pmA D VADVADV Die...
Ich habe kürzlich einen Beweis gelesen, der zeigen soll, dass ein Problem stark NP-hart ist, indem ich es einfach (in Polynomialzeit) auf ein stark NP-hartes Problem reduziere. Das ergab für mich keinen Sinn. Ich hätte gedacht, dass Sie zeigen müssten, dass alle in der Reduktion verwendeten Zahlen...
Vor kurzem habe ich an einer von ACM unterstützten Konferenz teilgenommen. Während des Banketts berichteten uns die Konferenzorganisatoren über die Zukunft und Vergangenheit der Konferenz. Sie teilten uns mit, dass während der Konferenz 2010 ein Verlust von 5.000 USD zu verzeichnen war. Sie zeigten...
Was sind die bekanntesten Methoden für die zyklische Faltung der Länge nnn über ein kleines Feld, dh wenn | F | ≪n|F|≪n|\mathbb{F}| \ll n ? Ich interessiere mich besonders für Felder mit konstanter Größe oder sogar F=F2F=F2\mathbb{F} = \mathbb{F}_2 . Allgemeine Aussagen und Referenzen zur...
Teaser Da das Problem hier länger ist, handelt es sich um einen Sonderfall, der seine Essenz erfasst. Problem: Sei A ein detrministischer Algorithmus für 3-SAT. Ist das Problem der vollständigen Simulation des Algorithmus A (bei jedem Auftreten des Problems). P-Space schwer? (Genauer gesagt, gibt...
ist eine Menge von Punkten in einer Ebene. Ein zufälliger Punkt x ∉ S ist auf derselben Ebene gegeben. Die Aufgabe besteht darin, allenach dem euklidischen Abstand zwischenundzu sortieren.SSSx ∉ Sx∉Sx \notin Sx yy∈ Sy∈Sy \in Sxxxyyy Ein No-Brain-Ansatz besteht darin, die Abstände zwischen und für...