Die folgende Frage wurde mehrmals beim Testen der Sicherheit eines Systems oder Modells gestellt. Motivation: Software-Sicherheitslücken entstehen häufig nicht durch Fehler aufgrund gültiger Eingaben, sondern durch Fehler aufgrund ungültiger Eingaben, die den gültigen Eingaben so nahe kommen, dass...
Ich bin in meinem zweiten Jahr in einem MSc, der nicht allzu viel mit TCS zu tun hat, obwohl ich es mir wünsche. Im Grunde geht es um Steuerungstheorie, Signale und Systeme, und ich habe Kurse in fortgeschrittenen Systemen (robust, nichtlinear, optimal, stochastisch), fortgeschrittener...
Die folgende Frage verwendet Ideen aus der Kryptographie, die auf die Komplexitätstheorie angewendet werden. Es handelt sich jedoch um eine rein komplexitätstheoretische Frage, für deren Beantwortung keinerlei Kryptowissen erforderlich ist. Ich schreibe diese Frage bewusst sehr informell. Mangels...
Ich habe einen Datensatz mit Tausenden von Punkten und ein Mittel zum Messen des Abstands zwischen zwei beliebigen Punkten, aber die Datenpunkte haben keine Dimensionalität. Ich möchte, dass ein Algorithmus Cluster-Zentren in diesem Datensatz findet. Ich stelle mir vor, dass ein Clusterzentrum aus...
Gehen beim Mappen von 6-Bit-Werten auf 4-Bit-Werte in den S-Boxen von DES keine Daten verloren? Wenn ja, wie können wir es umkehren, damit die richtige Ausgabe angezeigt
Problem Ich habe ein ungerichtetes Diagramm (mit mehreren Kanten), das sich mit der Zeit ändert. Knoten und Kanten können eingefügt und gelöscht werden. Bei jeder Änderung des Diagramms muss ich die verbundenen Komponenten dieses Diagramms aktualisieren. Eigenschaften Zusätzliche Eigenschaften...
Durch http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Wenn AAA eine PSPACE-vollständige Sprache ist, PA=NPAPA=NPAP^{A}=NP^{A} . Wenn ein deterministisches Polynom-Zeit-Orakel ist, ist P B ≤ N P B (unter der Annahme von P ≤ N P ).BBBPB≠NPBPB≠NPBP^{B}\ne NP^{B}P≠NPP≠NPP\ne NP ist die...
Wieder ein Edge-Partitioning-Problem, auf dessen Komplexität ich neugierig bin, motiviert durch eine frühere Frage von mir . Eingabe: ein kubischer Graph G=(V,E)G=(V,E)G=(V,E) Frage: Gibt es eine Aufteilung von in E 1 , E 2 , ... , E s , so dass der von jedem E i induzierte Teilgraph entweder eine...
Wenn X1,…,XkX1,…,XkX_1,\ldots,X_k (iid Gaußsche Zahl mit Mittelwert 000 und Varianz 111 ) gegeben ist, ist es möglich (wie?), (Für m=k2m=k2m=k^2 ) Y1,…,YmY1,…,YmY_1, \ldots, Y_m so abzutasten , dass YiYiY_i paarweise sind unabhängige Gaußsche mit Mittelwert 000 und Varianz 111...
Das Baker-Gill-Solovay-Ergebnis zeigte, dass die P = NP-Frage nicht relativiert, in dem Sinne, dass kein relativierender Beweis (unempfindlich gegenüber dem Vorhandensein eines Orakels) möglicherweise die P = NP-Frage lösen kann. Meine Frage lautet: Gibt es ein ähnliches Ergebnis für die Frage...
Kann man nachweisen, dass ein Satz formal unabhängig sein muss, weil er nicht relativierend ist? Mit anderen Worten, gibt es Beispiele für Sätze in der Berechenbarkeits- / Komplexitätstheorie, in denen gezeigt werden kann, dass sowohl a) alle Beweise, die die Frage lösen, ob zwei Klassen gleich...
Ich frage mich insbesondere, ob es eine interessante Bedingung für den Prozentsatz der Aufgaben gibt, die eine 3SAT-Formel erfüllen, um sicherzustellen, dass solche Probleme behoben werden können. Nehmen wir zum Beispiel die Klasse der 3SAT-Probleme an, dass der möglichen Zuordnungen die Boolesche...
Die Clifford-Gruppe von Quantenoperatoren wird durch die Quantenoperationen erzeugt: Controlled-Z , Hadamard und Phase ( ).= | 0 ⟩ ⟨ 0 | + i | 1 ⟩ ⟨ 1 |=|0⟩⟨0|+ich|1⟩⟨1|= |0\rangle\langle0| + i |1\rangle\langle1| Eine Schaltung, die nur aus diesen Gattern besteht, kann auf einem klassischen...
Bei der Arbeit an einem etwas unabhängigen Projekt für Suresh bin ich kürzlich auf einige Arbeiten von Page und Opper über User-Composable-Systeme gestoßen, und in einem Teil ihrer Arbeit wurden kurz Probleme besprochen, die in polynomieller Zeit nicht verifiziert werden können. Ich konnte nicht...
Durch Zählen Argumente, kann man zeigen , dass es existiert Polynome vom Grad n in 1 Variable ( das heißt, etwas von der Form , die Schaltungskomplexität hat n. Man kann auch zeigen, dass ein Polynom wie x n mindestens log 2 n Multiplikationen benötigt (Sie brauchen das nur, um einen ausreichend...
t : ∀x.∃y.(¬(x = 0) ⇒ x = S(y))Was ist der Wert eines Ausdrucks in Martin-Lofs Typentheorie w(t(0)), woher wkommt der Operator, der das Zeugnis eines Ausdrucks eines existenziellen Typs
Sei G ein zusammenhängender Graph. Wie komplex ist es, alle verbundenen Untergraphen zu zählen, wenn es sich bei G um einen der folgenden Typen handelt? G ist allgemein. G ist planar. G ist zweiteilig. Mir sind keine Strukturen wichtig oder ..., ich muss nur alle verbundenen Untergraphen zählen!...
Was sind die Probleme mit dem bekanntesten Näherungsverhältnis, das mit einem Algorithmus erzielt wird, der eine gleichmäßig zufällige Lösung liefert? Ich kenne ein solches Beispiel für das Permutationsfluss-Ladenproblem : Viswanath Nagarajan und Maxim Sviridenko haben in der Zeitung " Tight...
Die Baumzerlegung ist im schlimmsten Fall schwierig, aber die gierige Methode scheint in kleinen realen Netzwerken nahezu optimal zu sein. Ist etwas über die Härte der Baumzerlegung einer "typischen" Instanz einer Klasse von Graphen bekannt? Gibt es ein Beispiel für eine Familie von Graphen, in...
Ich suche einen Namen oder Hinweise auf dieses Problem. Bei einem gewichteten Graphen eine Aufteilung der Eckpunkte in bis zu n = | gefunden V | setzt S 1 , ... , S n , um den Wert der Schnittkanten zu maximieren: c ( S 1 , ... , S n ) = ∑ i ≠ j ( ∑ ( u , v ) ∈ E : u ∈ iG=(V,E,w)G=(V,E,w)G = (V, E,...