Bei dem Versuch, ein Problem zu lösen, habe ich einen Teil davon als das folgende ganzzahlige lineare Programm ausgedrückt. Hier sind alle positive ganze Zahlen, die als gegeben sind Teil der Eingabe. Eine angegebene Teilmenge der Variablen wird auf Null gesetzt, und der Rest kann positive...
Rechenkomplexität beinhaltet große Mengen an Kombinatorik und Zahlentheorie, einige Ingridiences aus der Stochastik und eine aufkommende Menge an Algebra. Als Analysist frage ich mich jedoch, ob es in diesem Bereich Anwendungen der Analyse gibt oder vielleicht Ideen, die von der Analyse inspiriert...
Eine Beobachtung, die mit asymmetrischer Kryptographie verbunden ist, ist, dass einige Funktionen (von denen angenommen wird) leicht in eine Richtung auszuführen, aber schwierig zu invertieren sind. Darüber hinaus wird das Problem zu einem Kandidaten für ein Kryptografieschema mit öffentlichem...
Die Compilertheorie scheint ein ziemlich geprüftes Thema zu sein. Was sind offene Probleme oder aktuelle Forschungsergebnisse auf diesem
Vertex Cover kann einfach auf Independent Set reduziert werden und umgekehrt. Im Kontext der parametrisierten Komplexität ist die unabhängige Menge jedoch schwieriger als die Vertex-Abdeckung. Für Vertex Cover existiert ein Kernel mit Vertices, aber Independent Set ist W 1 hard.2k2k2k Wie verändert...
Ich fand, dass markierte Übergangssysteme ein gutes Modell für meine Anwendung sind. Es gibt nämlich einen Artikel über die Modellierung von Anwendungsfällen mithilfe von LTS. Die Frage ist, was kann über LTSs leicht bewiesen werden? Ich möchte vorhandene Lösungen wiederverwenden, um festzustellen,...
Dies hängt mit der allgemeinen Frage zusammen, wie ich eine Arbeit referiere . Ich überprüfe ein Papier für eine Konferenz, und dieses Papier sollte abgelehnt werden, da es für die Veröffentlichung nicht aussagekräftig genug ist und einige seiner technischen Details fehlerhaft sind. Das Papier ist...
Es ist bekannt, dass es einen optimalen Algorithmus für den ungünstigsten Fall gibt, um den Huffman-Code in der Zeit zu berechnen θ ( n lgn )θ(nlgn)\theta(n\lg n). Dies wird auf zwei orthogonale Arten verbessert: Optimale freie Präfixcodes können schneller berechnet werden, wenn die Menge der...
Genetische Algorithmen entwickeln sich in weniger Generationen mit einer größeren Population, benötigen aber auch länger, um eine Generation zu berechnen. Gibt es einige Richtlinien für die Abwägung dieser beiden Faktoren, um so bald wie möglich zu einer tragfähigen Lösung zu gelangen? Ist dies...
Ich habe die folgende LP Relaxation von Maximum Independent Set ausprobiert max∑ixichmax∑ichxich\max \sum_i x_i st x ich+ xj≤ 1 ∀ ( i , j ) ∈ E st xich+xj≤1 ∀(ich,j)∈E\text{s.t.}\ x_i+x_j\le 1\ \forall (i,j)\in E xich≥ 0xich≥0x_i\ge 0 Ich erhalte 1 / 21/21/2 für jede Variable für jeden Kubik...
Angenommen, NP! = CoNP, dann gibt es kein polynomiales Größenzertifikat für das coNP-vollständige Problem. Aber was ist mit subexponentiellen Größenbescheinigungen? Gibt es insbesondere für coSAT einen subexponentiellen Größenbeweis, um zu beweisen, dass eine Formel nicht befriedigend ist? Wenn...
Fixed Parameter und Approximation sind völlig unterschiedliche Ansätze zur Lösung schwieriger Probleme. Sie haben unterschiedliche Motivation. Die Approximation sucht ein schnelleres Ergebnis mit einer ungefähren Lösung. Ein fester Parameter sucht nach einer exakten Lösung mit Zeitkomplexität in...
Was ich als Zählen bezeichne, ist das Problem, das darin besteht, die Anzahl der Lösungen für eine Funktion zu finden. Genauer gesagt, bei gegebener Funktion f:N→{0,1}f:N→{0,1}f:N\to \{0,1\} (nicht unbedingt Blackbox), approximieren Sie #{x∈N∣f(x)=1}=|f−1(1)|#{x∈N∣f(x)=1}=|f−1(1)|\#\{x\in N\mid...
Bei Münzwerten mit c 1 = 1 und c 2 < c 3 < . . < c n sind im Bereich [ 2 , N ] gleichmäßig verteilte Zufallszahlen . Asymptotisch, für welchen Bruchteil von Münzen erzeugt der Gier-Algorithmus eine optimale Änderung unter Verwendung dieses Satzes von
Ich beginne, die Möglichkeit zu untersuchen, mich auf einen SAT-Löser zu verlassen, um ein Optimierungsproblem zu lösen, an dem ich interessiert bin, und suche derzeit nach einer Umfrage, die Beispiele für "clevere" Transformationen in Varianten von SAT (dh Transformationen, die resultieren)...
Jedes Mal, wenn ich NP-Vollständigkeit unterrichte, fragen die Schüler: "Gibt es Probleme, von denen bekannt ist , dass sie nicht zu NP gehören?" Wie würden Sie antworten? Normalerweise gebe ich ihnen ein unentscheidbares Problem als Beispiel, aber dies stellt sich oft nicht gut heraus: (a) Wenn...
Betrachten Sie das folgende Problem - Bestimmen Sie für die maximalen ebenen Graphen und G 2 den Graphen mit der maximalen Anzahl von Kanten, sodass sowohl in als auch in ein (nicht notwendigerweise induzierter) Teilgraph vorhanden ist, der zu isomorph ist .G1G1G_1G2G2G_2G 1 G 2
Hintergrund Diese Frage wird durch ein Brettspiel namens "Dracula" motiviert. In diesem Spiel gibt es einen Vampir und vier Jäger. Der Zweck der Jäger ist es, den Vampir zu fangen. Das Spiel findet in Europa statt. Das Spiel sieht folgendermaßen aus: 1. Der Jägerspieler setzt alle Jäger in Städte....
Kontext. Ich schreibe zu Themen wie dem Gottesman-Knill-Theorem unter Verwendung von Pauli-Stabilisatorgruppen, aber im Fall von d- dimensionalen Qudits - wobei d mehr als einen Primfaktor haben kann. (Ich betone dies, weil die überwiegende Mehrheit der Literatur über Stabilisatorformalismus in...
In Manuel Blums " Rat an einen angehenden Doktoranden ": LEONID LEVIN glaubt, dass ich das tue, unabhängig von der Antwort auf den P = NP? Problem, es wird nicht so sein, wie Sie denken, es sollte sein. Und er hat einige wunderbare Beispiele gegeben. Zum einen hat er einen FAKTORIERENDEN...