Als «reference-request» getaggte Fragen

Eine Referenzanforderung wird verwendet, wenn der Autor über Arbeiten im Zusammenhang mit der Frage Bescheid wissen muss.

1
Anzahl der eindeutigen Unterschiede von ganzen Zahlen, ausgewählt aus
Bei meiner Recherche bin ich auf folgendes Ergebnis gestoßen. limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1 wobei und zufällig aus .m=ω(n−−√)m=ω(n)m=\omega(\sqrt n)a1,⋯,ama1,⋯,ama_1,\cdots,a_m[n][n][n] Ich suche eine Referenz / einen direkten Beweis. Am MO gekreuzt
1
Ein Flussdiagramm für Konzentrationsgrenzen
Wenn ich Schwanzgrenzen unterrichte, benutze ich die übliche Progression: Wenn Ihr rv positiv ist, können Sie Markovs Ungleichung anwenden Wenn Sie Unabhängigkeit und auch begrenzte Varianz haben, können Sie die Ungleichung von Chebyshev anwenden Wenn für jedes unabhängige RV auch alle Momente begrenzt sind, können Sie eine Chernoff-Grenze verwenden. Danach …
3
Diagramme, in denen jedes minimale Trennzeichen eine unabhängige Menge ist
Hintergrund: Sei zwei Eckpunkte eines ungerichteten Graphen . Eine Vertexmenge ist ein Trennzeichen, wenn und zu verschiedenen verbundenen Komponenten von . Wenn keine geeignete Teilmenge eines Trennzeichens ein Trennzeichen ist, dann ist ein minimaler Trennzeichen. Ein Eckpunkt ist ein (minimaler) separator Existiert Vertices , so dass a (minimal) ist -separator.G …
2
Schaltkreisuntergrenzen und kolmogorov Komplexität
Betrachten Sie die folgenden Überlegungen: Sei die Kolmogorov-Komplexität der Zeichenkette x . Chaitins Unvollständigkeitssatz sagt das ausK(x)K(x)K(x)xxx für jedes konsistentes und formales System ausreichend starkes gibt es eine Konstante T (nur abhängig von dem formalen System und seiner Sprache) , so dass für all Strings x , S nicht nachweisen …
3
Ungefähre Summe einer sortierten Liste
Kürzlich habe ich mich mit dem Problem beschäftigt, die ungefähre Summe einer Liste von sortierten nichtnegativen Zahlen zu berechnen. Für jedes feste ϵ>0ϵ>0\epsilon>0 wurde ein O(logn)O(log⁡n)O(\log n) -Zeitnäherungsschema so abgeleitet, dass es eine (1+ϵ)(1+ϵ)(1+\epsilon) -Näherung für die Summe ergibt . Das Papier ist unter http://arxiv.org/abs/1112.0520 abrufbar und wurde noch nicht …
1
Wo ist der Beweis, dass Coq + Excluded Middle konsistent ist?
Ich habe gesehen (und gehört), dass behauptet wird, dass es sicher ist, das klassische Axiom der ausgeschlossenen Mitte zu Coq hinzuzufügen, aber ich kann anscheinend kein Papier finden, das diese Behauptung stützt. Die Papiere, die ich im Coq-Wiki über ausgeschlossene Mitten sehe, weisen Inkonsistenzen mit Impredicative Set auf. Tatsächlich scheint …
3
Wie schnell können wir ein völlig unimodulares ganzzahliges lineares Programm lösen?
(Dies ist ein Follow-up zu dieser Frage und ihrer Antwort .) Ich habe das folgende völlig unimodulare (TU) ganzzahlige lineare Programm (ILP). Hier sind alle positive ganze Zahlen, die als gegeben sind Teil der Eingabe. Eine angegebene Teilmenge der Variablen wird auf Null gesetzt, und der Rest kann positive Integralwerte …
3
Wer hat die nicht deterministische Berechnung eingeführt?
Ich habe zwei historische Fragen: Wer hat das nicht deterministische Rechnen zuerst beschrieben? Ich weiß, dass Cook NP-vollständige Probleme beschrieb und dass Edmonds vorschlug, dass P-Algorithmen "effiziente" oder "gute" Algorithmen sind. Ich suchte in diesem Wikipedia-Artikel und überflog "Über die rechnerische Komplexität von Algorithmen", fand aber keinen Hinweis darauf, wann …
5
Einfache Probleme mit hartzählenden Versionen
Wikipedia bietet Beispiele für Probleme, bei denen die Zählversion schwierig ist, während die Entscheidungsversion einfach ist. Einige von diesen zählen perfekte Übereinstimmungen, zählen die Anzahl der Lösungen zu SAT und die Anzahl der topologischen Sortierungen.222 Gibt es noch andere wichtige Klassen (Beispiele in Gittern, Bäumen, Zahlentheorie usw.)? Gibt es ein …
1
Folgen von
Während Adlemans Theorem zeigt, dass , ist mir keine Literatur bekannt, die den möglichen Einschluss von B Q P ⊆ P / poly untersucht . Welche komplexitätstheoretischen Konsequenzen hätte eine solche Einbeziehung?BPP⊆P/polyBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}BQP⊆P/polyBQP⊆P/poly\mathsf{BQP} \subseteq \mathsf{P}/\text{poly} Adlemans Theorem wird manchmal als "der Urvater der Derandomisierungsargumente" bezeichnet. wird angenommen , derandomizable …
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.