Theoretische Informatik

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

5
Instanz von FPT-Reduktionen, die keine Polynomzeitreduktion ist
In parametrisierter Komplexität verwenden Menschen die FPT-Reduktion (Fixed-Parameter-Tractable), um die W [t] -Härte zu beweisen. Theoretisch ist eine FPT-Reduktion keine Polynomzeitreduktion, da sie im Parameter k exponentiell ablaufen kann. In der Praxis sind alle FPT-Reduktionen, die ich gesehen habe, p-Zeit-Reduktionen, was bedeutet, dass W [t] -Härtebeweise fast immer NP-Vollständigkeitsnachweise implizieren. …
2
Welche 2P1R-Spiele sind potenziell scharf?
Zwei-Prüfer-Einrundenspiele (2P1R) sind ein wesentliches Werkzeug für die Approximationshärte. Insbesondere die parallele Wiederholung von Zwei-Prüfer-Einrundenspielen bietet die Möglichkeit, die Lücke in der Entscheidungsversion eines Approximationsproblems zu vergrößern. Einen Überblick über das Thema finden Sie in Ran Raz 'Umfragevortrag auf der CCC 2010 . Die parallele Wiederholung eines Spiels hat die …
1
Untergrenzen für nichtdeterministische Mehrparteienkommunikation
Dies ist eine Fortsetzung meiner vorherigen Frage zur Kommunikationsuntergrenze für partielle Boolesche Funktionen . Kann jemand einen Hinweis auf Untergrenzen für nichtdeterministische Mehrparteienkommunikation vorschlagen? Ich habe die Arbeiten auf dem Gebiet untersucht, aber jeder scheint Trennungen des folgenden Typs aufzuweisen: eine Untergrenze für ein randomisiertes Protokoll und eine (kleinere) Obergrenze …
1
"Überlauf" im erweiterten euklidischen Algorithmus
Es tut mir leid, wenn ich mich mit dem Ort irre, an dem ich die Frage stellen kann (vielleicht sollte ich zu stackoverflow.com/mathoverflow.net gehen?). Ich frage mich, ob es einen Beweis dafür gibt, dass bei der Bewertung des erweiterten euklidischen Algorithmus die Bézout-Koeffizienten (dh s und t in der Identität …
2
Ein interaktiver Beweis der Zahl Gottes?
Ich habe in letzter Zeit etwas über interaktive Beweise gelernt und mich gefragt, ob das Ganze nichts anderes als eine theoretische Neugier war oder ob es praktische Anwendungen hatte. Ich dachte, ich würde mit einem Beispiel beginnen, das mir beim Duschen einfiel: In letzter Zeit wurde die Nachricht verbreitet, dass …
1
PCP-Theorem - Alphabet-Reduktionsschritt
Was folgt, mag dumm erscheinen (und das spiegelt wahrscheinlich mein schlechtes Verständnis wider - bitte nehmen Sie es mit mir auf) Ich hatte eine Frage zum PCP-Theorem. Wir wissen, dass nach den ersten drei Schritten nämlich. Gradreduzierung, Expanderisierung und Lückenverstärkung, wir haben einen Beschränkungsgraphen mit verbesserter Lücke und großer Alphabetgröße …
4
Menschliche Intelligenz und Algorithmen
Gab es Studien, um festzustellen, ob die menschliche Intelligenz Algorithmen übertreffen kann (dh zu testen, ob der Satz „Kein freies Mittagessen“ für die menschliche Intelligenz gilt)? Hat jemand eine technische Methode entwickelt, um die einzigartigen, überberechnenden Eigenschaften der menschlichen Intelligenz zu nutzen?
2
geradlinige Simulierbarkeit
Kennt irgendein Körper eine gute Referenz für die Bedeutung der geradlinigen Simulierbarkeit? Ich befinde mich derzeit intensiv mit dem Universal Composability (UC) -Framework von Canetti, kann jedoch keine gute Referenz für die Bedeutung der geradlinigen Simulierbarkeit finden. Jede Hilfe wird geschätzt.
2
System der "stochastischen Gleichungen"
Betrachten Sie ein Diagramm mit Eckpunkten und Kanten. Die Eckpunkte sind mit reellen Variablen , wobei festgelegt ist. Jede Kante stellt eine "Messung" dar: Für die Kante ich eine Messung . Genauer gesagt ist eine wirklich zufällige Größe in , gleichmäßig verteilt und unabhängig von allen anderen Messungen (Kanten).nnnmmmxixix_ix1=0x1=0x_1=0(u,v)(u,v)(u,v)z≈xu−xvz≈xu−xvz \approx …
3
Lernen mit „stillschweigenden“ Orakeln
Meine Frage ist ein bisschen allgemein gehalten, deshalb denke ich mir eine schöne Geschichte aus, um sie zu rechtfertigen. Trage es mit mir, wenn es nicht realistisch ist ;-) Geschichte Herr X, der Leiter der Computersicherheitsabteilung eines großen Unternehmens, ist etwas paranoid: Er verlangt, dass alle Mitarbeiter ihre Passwörter einmal …
2
Effizientes Erhalten von N-Bits! ?
Ist es bei und möglich, das M -te Bit (oder die Ziffer einer beliebigen kleinen Basis) von N zu erhalten! in Zeit / Raum von O (p (ln (N), ln (M))) , wobei p (x, y) eine Polynomfunktion in x und y ist ?M.NNNMMMMMMN!N!N!O(p(ln(N),ln(M)))O(p(ln(N),ln(M)))O( p( ln(N), ln(M) ) )p(x,y)p(x,y)p(x, y)xxxyyy …
1
Agnostisches Lernen über beliebige Verteilungen
DDD{0,1}d×{0,1}{0,1}d×{0,1}\{0,1\}^d\times \{0,1\}CCCf:{0,1}d→{0,1}f:{0,1}d→{0,1}f:\{0,1\}^d\rightarrow\{0,1\}f∈Cf∈Cf \in Cerr(f,D)=Pr(x,y)∼D[f(x)≠y]err(f,D)=Pr(x,y)∼D[f(x)≠y]err(f,D) = \Pr_{(x,y) \sim D}[f(x) \neq y]OPT(C,D)=minf∈C err(f,D)OPT(C,D)=minf∈C err(f,D)OPT(C,D) = \min_{f \in C}\ err(f,D) Angenommen, ein Algorithmus lernt C agnostisch über jede Verteilung, wenn er für jedes D mit einer Wahrscheinlichkeit von 2/3 eine Funktion f finden kann, so dass err (f, D) \ leq OPT (C, …
3
Wohin wende ich mich bei der Recherche / Veröffentlichung?
Ich habe eine Weile einen SAT-Algorithmus entwickelt und einen Punkt erreicht, an dem ich ihn gerne teilen möchte. Ich kenne nicht viele Leute in der Informatik und bin mir nicht sicher, wohin ich mich wenden soll. Ich frage mich, welche Ressourcen für jemanden mit einem Algorithmus verfügbar sind, der eine …
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.