In diesem Artikel wird behauptet, dass die herkömmliche Analyse der Fehlerrate in Bloom-Filtern nicht korrekt ist. Anschließend wird eine ausführliche und nicht triviale Analyse der tatsächlichen Fehlerrate durchgeführt. Das verlinkte Papier wurde 2010 veröffentlicht, aber ich habe gesehen, dass...
Für einen gerichteten azyklischen Graphen , gibt es eine Datenstruktur , die , ohne dass quadratischen Raum oder lineare Zeit für die Erreichbarkeit Abfragen erlaubt? Idealerweise suche ich einen Algorithmus, der nur O (log n) Raum pro Vertex und logarithmische Zeit verwendet,⟨ V,...
Es ist bekannt, dass die minimale Größe von -Schaltungen, die die Paritätsfunktion genau berechnen, gleich 3 ( n - 1 ) ist . Der untere Grenznachweis basiert auf der Gate-Eliminierungsmethode.U2U2U_23 ( n - 1 )3(n-1)3(n-1) Kürzlich ist mir aufgefallen, dass die Gate-Eliminierungsmethode auch für...
Wenn die Symmetriegruppe und zwei Untergruppen G , H ≤ S n und π ∈ S n gegeben sind , gilt G π ∩ H = ∅ ?SnSnS_nG , H≤ SnG,H≤SnG, H\leq S_nπ∈ Snπ∈Sn\pi\in S_nG π∩ H= ∅Gπ∩H=∅G\pi\cap H=\emptyset Soweit ich weiß, ist das Problem als Coset-Schnittpunkt-Problem bekannt. Ich frage mich, was ist die...
Betrachten Sie dieses Problem: Suchen Sie anhand einer Liste endlicher Mengen eine Reihenfolge , die | minimiert s 1 | + | s 1 ∪ s 2 | + | s 1 ∪ s 2 ∪ s 3 | + … .s1, s2, s3, …s1,s2,s3,…s_1, s_2, s_3, \ldots| s1| + | s1∪ s2| + | s1∪ s2∪ s3| +…|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s_1| + |s_1 \cup s_2| + |s_1...
Stellen Sie sich vor, wir definieren natürliche Zahlen in abhängig getippten Lambda-Berechnungen als Kirchenzahlen. Sie können folgendermaßen definiert werden: SimpleNat = (R : Set) → R → (R → R) → R zero : SimpleNat zero = λ R z _ → z suc : SimpleNat → SimpleNat suc sn = λ R z s → s (sn R z s)...
Ich suche den kleinstmöglichen universellen Kombinator , gemessen an der Anzahl der Abstraktionen und Anwendungen, die erforderlich sind, um einen solchen Kombinator in der Lambda-Rechnung zu spezifizieren . Beispiele für universelle Kombinatoren sind: Größe 23: λf.f (fS (KKKI)) K Größe 18: λf.f...
Es ist bekannt, dass viele NP-vollständige Probleme einen Phasenübergang aufweisen. Ich interessiere mich hier eher für den Phasenübergang in Bezug auf die Eingrenzung in der Sprache als für die Härte der Eingabe in Bezug auf einen Algorithmus. Um das Konzept eindeutig zu machen, definieren wir es...
Ich bin Mathematiker und beschäftige mich hauptsächlich mit der Spektraltheorie der selbstadjunkten und unitären Operatoren. Einige meiner Forschungen sind für Quantenwanderungen von Bedeutung, und ich habe einen Artikel im Besonderen, den ich auf der Quanteninformationsverarbeitungskonferenz im...
In dem Buch über die Automatentheorie von Sakarovitch heißt es in der Einleitung zum Abschnitt über Rationalitäten in der freien Gruppe, dass das darin vorgestellte Material "die Grundlage einer wirklich mathematischen Theorie kontextfreier Sprachen" bildet. Dies wird jedoch nicht explizit erwähnt,...
Viele Theoreme und "Paradoxe" - Cantors Diagonalisierung, Unentscheidbarkeit des Schlüpfers, Unentscheidbarkeit der Kolmogorov-Komplexität, Gödel-Unvollständigkeit, Chaitin-Unvollständigkeit, Russells Paradoxon usw. - haben im Wesentlichen den gleichen Beweis durch Diagonalisierung (beachten Sie,...
Hintergrund Es ist bekannt, dass es ein Orakel AAA , das .PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A Es ist sogar bekannt, dass die Trennung relativ zu einem zufälligen Orakel gilt. Informell kann man dies so interpretieren, dass es viele Orakel gibt, für die und getrennt sind.P...
Ich kenne mindestens zwei verschiedene theoretische Ansätze zum Verständnis relationaler Datenbanken: Codds relationale Algebra / Kalkül und Kategorietheorie. Gibt es eine Beziehung zwischen diesen beiden Ansätzen? Sind sie in gewissem Sinne gleichwertig? Gibt es eine einführende Arbeit, die...
Angenommen, wir haben eine endliche Menge LLL von Platten in R2R2\mathbb{R}^2 und möchten die kleinste Platte berechnen, DDDfür die ⋃L⊆D⋃L⊆D\bigcup L\subseteq D . Ein Standard - Weg , dies zu tun , ist der Algorithmus von Matoušek, Sharir und Welzl [1] zu verwenden , um eine Basis zu finden BBB von...
Eine nicht deterministische Boolesche Schaltung hat zusätzlich zu den gewöhnlichen Eingängen eine Menge von "nicht deterministischen" Eingängen y = ( y 1 , ... , y m ) . Eine nicht deterministische Schaltung C akzeptiert den Eingang x, wenn es y gibt, so dass die Schaltung 1 an ( x , y ) ausgibt ....
Ist es möglich, einen CNF in einen anderen CNF Ψ ( C ) umzuwandeln, so dassCC\mathcal CΨ(C)Ψ(C)\Psi(\mathcal C) Die Funktion kann in Polynomzeit aus einem geheimen Zufallsparameter r berechnet werden .ΨΨ\Psirrr hat genau danneine Lösung,wenn C eine Lösung hat.Ψ(C)Ψ(C)\Psi(\mathcal C)CC\mathcal C...
Was sind einige der Hauptprobleme in Bezug auf die Komplexität offener Berechnungen, die sich aus Programmiersprachen ergeben, insbesondere Programmanalyse und -kompilierung? Ich suche nach Problemen im Sinne der "Zeitkomplexität der Hindley-Milner-Typinferenz" oder der "Zeitkomplexität von 0CFA"...
Ich entschuldige mich, wenn dies nicht zum Thema gehört. Es scheint, dass der Domainname abgelaufen ist. Ich hoffe, dass einige Mitglieder der Community hier (ich bin keiner) wissen, wer der Administrator / Eigentümer dieser Site war. Es war eine sehr nützliche
Ein Wort www heißt primitiv , wenn es kein Wort vvv und k > 1k>1k > 1 so dass w = vkw=vkw = v^k . Die Menge Q.QQ aller primitiven Wörter über einem Alphabet ΣΣ\Sigma ist eine bekannte Sprache. WLOG können wir wählen Σ = { a , b }Σ={a,b}\Sigma = \{ a,b \} . Eine Sprache LLL ist Primzahl , wenn...
Es wird oft gesagt, dass das gemeinsame Geheimnis am Ende stehen muss, wenn der MD5-Algorithmus zum Signieren beliebiger Informationen verwendet wird.