Diese Frage entspricht dem inspirierenden Gespräch für Schüler des letzten Schuljahres . Mein Ph.D. Der Berater bat mich, einen inspirierenden Vortrag für den neuen M.Sc. Studenten. Das Thema sind Grundlagen der Kryptographie , die am besten durch Goldreichs Buch veranschaulicht werden . Der...
Ich habe ein bisschen über die folgenden Datenstrukturen gelesen: Bagwells ideale Hash-Versuche Larsons dynamische Hash-Tabellen Rot-schwarze Bäume Patricia Bäume ... und ich bin sicher, es gibt viele andere da draußen. Ich habe sehr wenig darüber gesehen, wofür jeder besser geeignet ist oder warum...
In dieser Frage wurde erwähnt, dass es beschreibende Komplexitätsversionen des Satzes von Rice gibt. Ich habe einen Beweis für den folgenden Satz gefunden: Bei einer Komplexitätsklasse C können nichttriviale Eigenschaften von Sprachen in C nicht in C berechnet werden Ich hatte zuvor den gefundenen...
Ich habe die folgende typisierte Theorie |- 1_X : X -> X f : A -> B, g : B -> C |- compose(g,f) : A -> C F, f : A -> B |- apply(F,f) : F(A) -> F(B) mit Gleichungen für alle Begriffe: f : A -> B, g : B -> C, h : C -> D |- compose(h,compose(f,g)) = compose(compose(h,f),g) f...
Bei einer endlichen Ebene habe ich eine hexagonale Tessellation dieser Ebene mit einem regulären Sechseck fester Größe. Ich berechne dann den Delaunay-Graphen G für die Tessellation. Bei einem solchen Graphen G lösche ich bestimmte Sätze von Knoten in diesem Graphen, um mehrere Teilgraphen von G zu...
Problemstellung : Sei ein (möglicherweise nicht deterministischer) Pushdown-Automat und sei sein Eingabealphabet. Gibt es ein Wort st , das von akzeptiert wird ?M.M.MEINEIN\cal Aw ∈ A.∗w∈EIN∗w \in \cal A^*| w | ≤k|w|≤k|w| \leq kM.M.M Ist dieses Problem NP-vollständig? Wurde es untersucht? Gibt es...
Welche Klassifikatoren für maschinelles Lernen sind am parallelsten? Wenn Sie ein schwieriges Klassifizierungsproblem hätten, eine begrenzte Zeit, aber ein anständiges LAN an Computern, mit denen Sie arbeiten könnten, welche Klassifizierer würden Sie versuchen? Auf den ersten Blick sieht es für...
David Rodríguez - dribeas schrieb in einem Kommentar zu StackOverflow, dass "nicht alle Sammlungen ohne Sperren implementiert werden können". Ich bin mir nicht sicher, ob dies wahr ist, und ich kann so oder so keinen Beweis finden. Diese Aussage ist nicht sehr präzise, aber lassen Sie mich...
Die Schnittnorm ||A||C||A||C||A||_C einer reellen Matrix A=(ai,j)∈Rn×nA=(ai,j)∈Rn×nA = (a_{i,j}) \in \mathcal{R}^{n\times n} ist das Maximum über alle I⊆[n],J⊆[n]I⊆[n],J⊆[n]I \subseteq [n], J \subseteq [n] der Größe ∣∣∑i∈I,j∈Jai,j∣∣|∑i∈I,j∈Jai,j|\left|\sum_{i \in I, j \in J}a_{i,j}\right|....
Was ist bei einer booleschen Schaltung für Variablen (die nur die Gatter NOT, AND und OR verwendet) der effizienteste Weg, um die durch die Schaltung dargestellte boolesche Formel zu extrahieren? Gibt es einen Polytime-Algorithmus für dieses
Ich habe Les Valiants wegweisendes Papier durchgesehen und hatte es mit Proposition 4.3 auf Seite 10 des Papiers schwer. Ich kann nicht verstehen, warum es einen Generator mit bestimmten Werten für mit einer Basis { ( a 1 , b 1 ) … ( a r , b r ) } gibt , dann gibt es einen Generator mit demselben v...
Gibt es eine Möglichkeit, wie ein Prüfer einen Prüfer davon überzeugen kann, dass ein HORN-SAT-Ausdruck zufriedenstellend ist? Dies mag natürlich albern erscheinen, da es für HORN-SAT lineare Zeitalgorithmen gibt. Andererseits ist HORN-SAT P-vollständig, was bedeutet, dass es keine...
MCTS / UCT ist eine Suchmethode für Spielbäume, bei der mithilfe eines Banditenalgorithmus vielversprechende Knoten für die Erkundung ausgewählt werden. Spiele werden nach dem Zufallsprinzip bis zum Ende gespielt und Knoten, die zu mehr Gewinnen führen, werden stärker untersucht. Der...
Die Minkowski-Summe zweier Sätze von Vektoren ist gegeben durchA,B∈RdA,B∈RdA, B \in R^d A⊕B={a+b∣a∈A,b∈B}A⊕B={a+b∣a∈A,b∈B} A \oplus B = \{ a + b \mid a \in A, b \in B \} Ich habe gerade ein interessantes Problem gehört (Dan Halperin zugeschrieben): Gibt es bei einer Form eine Form so dass...
Ich habe mit der sehr interessanten und noch offenen Frage " Alphabet der Single-Tape-Turing-Maschine " (von Emanuele Viola) gespielt und mir folgende Sprache ausgedacht: L={x∈{0,1}n s.t. |x|=n=2m and count1(x)=k∗m;n,m,k≥1}L={x∈{0,1}n s.t. |x|=n=2m and count1(x)=k∗m;n,m,k≥1}L = \{ x \in \{0,1\}^n...
Ich bin ein autodidaktischer professioneller Programmierer. Ich bin ziemlich gut darin (Ruby, Unix, Clojure, Java, Objective-C), aber jetzt denke ich darüber nach, es auf die nächste Stufe zu bringen, indem ich mich vielleicht für ein Master- oder PhD-Programm in CS bewerbe. Welche Themen in...
Ich interessiere mich für die expliziten Beispiele von Graphen, für die die Anwendung des Goemans- und Williamson-Algorithmus zur Approximation maximaler Schnitte einen Approximationsfaktor von 0,878… ergibt. Der Algorithmus zum Erstellen solcher Instanzen wäre perfekt, explizite Beispiele und...
Wir arbeiten in verteilten Computern und haben ein Komplexitätsproblem festgestellt, das sich auf ein Minimum an Pfadabdeckungsproblemen reduziert. Wir wissen derzeit nicht, wie wir es lösen sollen. Das Problem ist das folgende: Sei eine ganze Zahl und sei Z k ein Graph mit k ( k + 1 )kkkZ.kZkZ_k...
Ich interessiere mich für Beispiele von Konstruktionen in der Komplexitätstheorie, die besser sind als zufällige Konstruktionen. Das einzige mir bekannte Beispiel für eine solche Konstruktion ist das Gebiet der Fehlerkorrekturcodes. Algebraische Geometriecodes sind in einigen Parameterbereichen...
Es gibt viele Beispiele in der Kombinatorik und Informatik, in denen wir ein graphentheoretisches Problem analysieren können, aber für das Hypergraph-Analogon des Problems fehlen unsere Werkzeuge. Warum werden Probleme Ihrer Meinung nach bei 3-einheitlichen Hypergraphen oft viel schwieriger als bei...