Als «big-picture» getaggte Fragen

Das Big-Picture-Tag steht für eine "breite Gesamtansicht oder Perspektive eines Problems oder Problems".



3
AM / MA und NP in Analogie zu P und BPP
Arora und Barak zeigen, dass als ausgedrückt werden kann . ist auch eine natürliche randomisierte Verallgemeinerung von indem Sie den deterministischen Verifizierer durch einen randomisierten ersetzen.AMEINM\mathsf{AM}M A N PBP⋅NPBP⋅NP\mathsf{BP}\cdot \mathsf{NP}MAMA\mathsf{MA}NPNP\mathsf{NP} Gibt es einen Sinn, in dem einer von diesen enger in das "P ist zu BPP wie NP ist zu" …

4
Was ist der wichtigste Begriff von Sparsity für den Entwurf effizienter Graph-Algorithmen?
Es gibt mehrere konkurrierende Begriffe eines "spärlichen Graphen". Beispielsweise könnte ein oberflächeneinbettbarer Graph als spärlich angesehen werden. Oder ein Diagramm mit begrenzter Kantendichte. Oder eine Grafik mit hohem Umfang. Ein Diagramm mit großer Ausdehnung. Ein Diagramm mit begrenzter Baumbreite. (Sogar innerhalb des Unterfelds der Zufallsgraphen ist es etwas unklar, was …

2
Bestes Alien-Kommunikationsprotokoll?
Nehmen wir an, wir entdecken fremde Zivilisationen, die Nachrichten über einen interstellaren digitalen Kommunikationskanal senden und empfangen können. (Sagen wir, wir verwenden modulierte Radiowellen, Laserpulse und positionieren Sterne in verschiedenen Umlaufbahnen.) Nehmen wir an, wir haben uns entschlossen, Kontakt mit ihnen aufzunehmen. Wie würden wir ein Kommunikationsprotokoll und eine Kommunikationssprache …

2
Folge von PIT über
Gegeben , so dass Koeffizienten p , q ist begrenzt B , ist p ≡ q hold ?p ( x1, … , X.n) , q( x1, … , X.n) ∈ Z [ x1, … , X.n]]p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x_1,\dots,x_n),q(x_1,\dots,x_n)\in \Bbb Z[x_1,\dots,x_n]p , qp,qp,qB.BBp ≡ qp≡qp\equiv q Das Schwartz-Zippel-Lemma gilt hier, da es für …

2
Gibt es eine Erklärung für die Schwierigkeit, quadratische Untergrenzen für interessante NP-Probleme zu beweisen?
Dies ist eine Fortsetzung meiner vorherigen Frage: Bekannteste deterministische Zeitkomplexitätsuntergrenze für ein natürliches Problem in NP Ich finde es verwirrend, dass wir keine quadratische deterministische Zeituntergrenze für ein interessantes NP-Problem nachweisen konnten, für das sich die Leute interessieren, und versuchen, bessere Algorithmen zu entwerfen. Unsere Vermutung der Exponential Time Hypothesis …

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?


1
Warum verwendet die Log-Rank-Vermutung Rang über den Real?
In der Kommunikationskomplexität besagt die Log-Rank-Vermutung, dass cc(M)=(logrk(M))O(1)cc(M)=(log⁡rk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Wobei cc(M)cc(M)cc(M) die Kommunikationskomplexität von M(x,y)M(x,y)M(x,y) und rk(M)rk(M)rk(M) der Rang von MMM (als Matrix) über den Realwerten ist. Wenn Sie jedoch nur die Rangmethode verwenden, um die Grenze zu senken, cc(M)cc(M)cc(M)können Sie rkrkrk über jedem Feld verwenden, das zweckmäßig …


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 …

3
Warum verwenden wir keine größeren Klassen, um Determinismus gegen Nichtdeterminismus zu untersuchen?
In einer früheren Frage zur Zeithierarchie habe ich gelernt, dass Gleichheiten zwischen zwei Klassen auf komplexere Klassen und Ungleichungen auf weniger komplexe Klassen übertragen werden können, wobei Argumente mit Auffüllung verwendet werden. Daher kommt eine Frage in den Sinn. Warum untersuchen wir eine Frage zu verschiedenen Arten von Berechnungen (oder …

1
Was ist die „Frage“, die die Programmiersprachentheorie zu beantworten versucht?
Ich habe mich eine Weile für verschiedene Themen wie kombinatorische Logik, Lambda-Kalkül und funktionale Programmierung interessiert und sie studiert. Im Gegensatz zur "Theorie der Berechnung", die versucht, die Frage der "Berechenbarkeit" zu beantworten, dh Dinge, die mit verschiedenen Einschränkungen berechnet werden können / nicht, habe ich Schwierigkeiten, das Analogon für …

2
Wie / Warum sind lineare Systeme für die Informatik so wichtig?
Ich habe vor kurzem angefangen, mich mit mathematischer Optimierung zu beschäftigen und liebe es. Es scheint, dass viele Optimierungsprobleme leicht als lineare Programme ausgedrückt und gelöst werden können (z. B. Netzwerkflüsse, Kanten- / Scheitelpunktabdeckung, reisender Verkäufer usw.). Ich weiß, dass einige von ihnen NP-hart sind, aber der Punkt ist, dass …

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.