Ich habe mit den technischen Details eines Beweises für die Auktionstheorie in diesem Artikel zu kämpfen: http://users.eecs.northwestern.edu/~hartline/omd.pdf Insbesondere Satz 2.5: Die notwendigen und ausreichenden Bedingungen für einen wahrheitsgemäßen Mechanismus. Noch genauer gesagt, die...
Ich arbeite auf dem Gebiet des Hochbaus und möchte einen effizienten Algorithmus finden, um eine Approximation (in der Hausdorff-Metrik) eines konvexen Körpers durch die konvexe Hülle von Ellipsoiden für einige feste zu konstruieren . Derzeit arbeite ich nur in den Dimensionen 2 und 3.K.K.Knnnnnn...
Background––––––––––––––Background_\underline{\bf Background} Im Jahr 2005 führte Regev [1] das Problem des Lernens mit Fehlern (Learning with Errors, LWE) ein, eine Verallgemeinerung des Problems der Lernparität mit Fehlern. Die Annahme der Härte dieses Problems für bestimmte Parameterauswahl...
Meine Frage bezieht sich auf die endliche Modelltheorie / deskriptive Komplexität, daher bedeutet "erste Ordnung über endlichen binären Wörtern unter Verwendung der Prädikate Rs und eines unären Prädikats P, das an der Position der 1 im Wort wahr ist".FO(R)FO(R)FO(R) Ich würde gerne wissen, gibt es...
Dies ist eine weiche Frage, die darauf abzielt, herauszufinden, was die Leute für die professionelle Best Practice halten, um unoriginal Arbeiten an arXiv einzureichen . Es gibt einen Entwurf eines Artikels [1] von Robert Szelepcsényi in seinem Webspace an der Universität von Chicago, der offenbar...
Ich weiß, dass die erwartete Worst-Case-Laufzeit des randomisierten inkrementellen Delaunay-Triangulationsalgorithmus (wie in Computational Geometry angegeben ) . Es gibt eine Übung, die impliziert, dass die Laufzeit im schlimmsten Fall . Ich habe versucht, ein Beispiel zu konstruieren, in dem dies...
XXXΣnΣn\Sigma^nΣΣ\SigmaH.( X.) ≥ ( n - δ) ⋅ log| Σ |H(X)≥(n−δ)⋅log|Σ|H(X) \ge (n- \delta)\cdot\log|\Sigma|δδ\deltaE⊆Supp(X)E⊆Supp(X)E \subseteq \rm{Supp}(X)XXXPr[X∈E]≥1−εPr[X∈E]≥1−ε\Pr[X \in E] \ge 1 - \varepsilonεε\varepsilon Wir sagen, dass ein Paar eine Koordinate mit niedriger...
Angenommen, wir haben eine Funktion so dass und ist eine Verteilung, dh . ∀ x ∈ Z n 2f: Z.n2→ R.f:Z2n→Rf:\mathbb{Z}_2^n \to \mathbb{R}f≤x≤Z n 2 f(x)=1∀ x ∈ Z.n2f( x ) ∈ { 12n, 22n, … , 2n2n} ,∀x∈Z2nf(x)∈{12n,22n,…,2n2n},\forall x\in \mathbb{Z}_2^n \quad f(x) \in \left\{\frac{1}{2^n}, \frac{2}{2^n},...
Sei ein Graph. Sei k ≤ | V | sei eine ganze Zahl. Sei O k die Anzahl der kanteninduzierten Teilgraphen von G mit k Eckpunkten und einer ungeraden Anzahl von Kanten. Sei E k die Anzahl der kanteninduzierten Teilgraphen von G mit k Eckpunkten und einer geraden Anzahl von Kanten. Lassen Δ k = O k - E...
Soweit ich weiß, wird eine Haskell-Funktion mit Einschränkungen für Typklassen intern zu einer Funktion mit zusätzlichen Argumenten kompiliert, die Wörterbücher mit den erforderlichen Implementierungen für jede bestimmte Typklasse erhalten. Gibt es andere Möglichkeiten, wie Typklassen kompiliert...
Functors aus endlichen Produkte gebaut und Summen haben Schließung Ordnungs , in schön detailliert diesem Manuskript von Francois Metayer. dh wir können den induktiven Typ durch Iteration des Funktors , der nach Iterationen seinen festen Punkt erreicht .n a t : = μ X . 1 + X 1 + X...
Das Buch von Arora und Barak enthält in Kapitel Anmerkungen zu PCP Wir stellen fest, dass Dinurs allgemeine Strategie etwas an die Zick-Zack-Konstruktion von Expander-Graphen und den in Kapitel 20 beschriebenen deterministischen Logspace-Algorithmus von Reingold für ungerichtete Konnektivität...
kkk verschiedene Punkte werden zufällig aus einem Gitter ausgewählt. (Offensichtlich ist und ist eine gegebene konstante Zahl.) Aus diesen Punkten wird ein vollständig gewichteter Graph erstellt, so dass das Gewicht der Kante zwischen Scheitelpunkt und Scheitelpunkt dem Manhattan-Abstand zweier...
Angenommen, Alice hat eine Verteilung über eine endliche (aber möglicherweise sehr große) Domäne, so dass die (Shannon-) Entropie von μ durch eine beliebig kleine Konstante ε begrenzt ist . Alice zieht einen Wert x aus μ und bittet dann Bob (der μ kennt ), x zu erraten
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...
Ich versuche, das Papier über p-Optimal Proof-Systeme und Logik für PTIME zu verstehen . In der Zeitung gibt es einen Begriff namens Beweissysteme, und ich verstehe die Intuition nicht: Σ = { 0 , 1 }Σ={0,1}\Sigma = \{0,1\} ... Wir identifizieren Probleme mit Teilmengen von in .Σ *Q.QQΣ∗Σ∗\Sigma^*...
Wenn Sie zwei Funktionen haben, die einen unterschiedlichen Sortieralgorithmus implementieren, können Sie dann anhand des Quellcodes schließen, dass beide dieselben externen Eigenschaften haben? Bedeutet das, dass beide eine mögliche unsortierte Sequenz als Eingabe und eine sortierte Sequenz als...
Um ein Papier besser zu verstehen, versuche ich, ein kurzes Verständnis der Logik der am wenigsten festen Punkte zu erlangen. Es gibt einige Punkte, an denen ich festsitze. Wenn ist ein Graph undG=(V,E)G=(V,E)G = (V,E)
Angenommen, wir kennen das Ergebnis von Joe B. Wells aus dem Jahr 1994 nicht, dass sowohl die Typisierbarkeit als auch die Typprüfung in System F (AKA ) unentscheidbar sind . In Barendregts Lambda-Kalkülen mit Typen (1992) fand ich aufgrund von Malecki 1989 einen Beweis dafür, dass die Typprüfung...
Es ist bekannt , dass beschränkte Fehler quantum query Komplexität der Funktion ist , Θ ( √OR(x1,x2,…,xn)OR(x1,x2,…,xn)OR(x_1,x_2,\ldots, x_n). Nun ist die Fragewas passiertwenn wir unser Quantenalgorithmus für jede Eingabe mitWahrscheinlichkeit erfolgreich sein wollen1-εanstatt der üblichen2/3....