Theoretische Informatik

Fragen und Antworten für theoretische Informatiker und Forscher in verwandten Bereichen

1
Was ist die größte Lücke zwischen Rang und ungefährem Rang?
Wir wissen, dass das Protokoll des Ranges einer 0-1-Matrix die Untergrenze der deterministischen Kommunikationskomplexität ist, und das Protokoll des ungefähren Ranges die Untergrenze der randomisierten Kommunikationskomplexität ist. Die größte Lücke zwischen deterministischer Kommunikationskomplexität und randomisierter Kommunikationskomplexität ist exponentiell. Was ist also mit der Lücke zwischen Rang und ungefährem Rang einer …
5
Verteilte Turingmaschine?
Ich bin ein Masterstudent, der sich auf verteilte Systeme konzentriert, sich aber auch für theoretische Informatik interessiert. Ich habe mich gefragt, ob es eine formale Darstellung eines verteilten Systems auf einer Turingmaschine gibt. Ist es also möglich, das Konzept einer Turingmaschine zu erweitern (eine Variante zu erstellen), um die Vorteile …
2
Existenz einer
Betrachten Sie das Problem der dominierenden Menge in allgemeinen Diagrammen und lassen Sie die Anzahl der Scheitelpunkte in einem Diagramm sein. Ein gieriger Approximationsalgorithmus gibt eine Approximationsgarantie für Faktor 1 + log n , dh es ist möglich, in Polynomzeit eine Lösung S zu finden, so dass | S | …
1
Span-Programme, Zeugengröße und Komplexität der Zertifikate
Ein Span-Programm ist eine linear-algebraische Methode zur Angabe einer hier eingeführten Booleschen Funktion . Kürzlich wurde dieses Modell verwendet, um zu zeigen, dass die Methode des negativen Gegners eine enge Charakterisierung (mindestens bis zu ) der Komplexität von Quantenabfragen liefert .logn/loglognlog⁡n/log⁡log⁡n\log n/ \log \log n Das Komplexitätsmaß, das Span-Programme mit …
1
Lovasz-Theta-Funktion und reguläre Graphen (insbesondere ungerade Zyklen) - Verbindungen zur Spektraltheorie
Der Beitrag bezieht sich auf: /mathpro/59631/lovasz-theta-function-and-independence-number-of-product-of-simple-odd-cycles Wie weit ist der Lovasz von der Null-Fehler-Kapazität regulärer Graphen entfernt? Gibt es Beispiele, bei denen bekannt ist, dass die Lovasz-Grenze nicht der Null-Fehler-Kapazität eines regulären Graphen entspricht? (Dies wurde unten von Oleksandr Bondarenko beantwortet.) Ist insbesondere eine strikte Ungleichung für ungerade Zyklen von …
2
Was passiert, wenn wir die Sätze der Zeithierarchie verbessern?
f,gf,gf,gf(n)logf(n)=o(g(n))f(n)log⁡f(n)=o(g(n))f(n) \log f(n) = o(g(n))f , g f ( n + 1 ) = o ( g ( n ) )DTIME(f(n))⊊DTIME(g(n))DTIME(f(n))⊊DTIME(g(n)) DTIME(f(n)) \subsetneq DTIME(g(n))f,gf,gf,gf(n+1)=o(g(n))f(n+1)=o(g(n))f(n+1)=o(g(n))es ist NTIME(f(n))⊊NTIME(g(n)).NTIME(f(n))⊊NTIME(g(n)). NTIME(f(n)) \subsetneq NTIME(g(n)). Es gibt viele (alte und aktuelle) Ergebnisse, die die Zeithierarchiesätze verwenden, um untere Grenzen zu beweisen. Hier sind meine Fragen: Was …
4
Konstruktionen besser als eine zufällige.
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 besser als zufällige Codes. Man kann solche künstlichen Beispiele leicht konstruieren. Ich interessiere mich …
4
Was sind die Hauptschwierigkeiten beim Übergang von Grafiken zu Hypergraphen?
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 2-einheitlichen Graphen? Was sind die Grundschwierigkeiten? Ein Problem ist, dass …
1
Schließung unter Minkowski-Summe.
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 ?BBBAAAA⊕A=BA⊕A=BA \oplus …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.