Unter Verwendung des Real-RAM / BSS-Modells haben wir die Klasse NP R (wobei ein BSS das Blum-Shub-Smale-Modell eines Computers mit Operationen über Real ist). Wir haben komplette Probleme mit NP R. Die Frage ist also, ob es ein Analogon der Berman-Hartmanis-Vermutung für die Klasse NP R gibt ....
Crossposted von MO . Der (kanten-) farbige Graphisomorphismus ist GI, der die Farben (der Kanten, wenn sie kantenfarben sind) beibehält. Es gibt verschiedene Reduzierungen unter Verwendung von Transformationen / Gadgets von (kanten-) farbigem GI zu GI. Für kantenfarbene GI ist es am einfachsten,...
Angenommen, wir haben eine boolesche Funktion aus . Es ist klar, dass ein reales multivariates Polynom p ( x ), so dass f ( x ) = p ( x ) auf x ∈ { 0 , 1 } n ist, multilinear sein kann. Was sind einige interessante Klassen von Booleschen Funktionen, für die der minimale Grad von p ( x...
nnnx1,…,xnx1,…,xnx_1,\ldots, x_nkkkn>kn>kn > kmaxi≠jVar(xTixj)maxi≠jVar(xiTxj)\max_{i\neq j} \mathrm{Var}(x_i^T x_j)E[xTixj]=0E[xiTxj]=0\mathbb{E}[x_i^Tx_j]=0 Ich habe einige Verteilungen ausprobiert und fast alle haben eine Varianz von 1/k1/k1/k . Zum Beispiel sowohl die Verteilung, in der...
Babai und Seress haben bewiesen, dass bei einer Untergruppe und einem Generatorsatz S von G jede Permutation in G als Produkt von Generatoren und deren Inversen der Länge e ( 1 + o ( 1 ) ) √ geschrieben werden kannG≤SnG≤SnG \leq S_nSSSGGGGGG . Diese Grenze ist optimal, daSnein Element der...
Angenommen, ich arbeite in der Homotopietypentheorie und meine einzigen Studienobjekte sind konventionelle Kategorien. Äquivalenzen werden hier durch die Funktoren und , die Äquivalenzen der Kategorien liefern . Es gibt natürliche Isomorphismen und so dass dieser Funktor und "inverse" Funktor...
Konkret meine ich mit Addition, wir definieren als das Alphabet { 0 , 1 , 2 , . . . , i } . Schauen Sie sich bei den regulären Sprachen A und B unter einem Alphabet Σ i A × B an .ΣiΣi\Sigma_i{0,1,2,...,i}{0,1,2,...,i}\{0, 1, 2, ..., i\}AAABBBΣiΣi\Sigma_iA×BA×BA\times B Definieren Sie für jedes...
Die über 1½ Jahre alte Riemann-Hypothese hat tiefgreifende Auswirkungen auf die Mathematik, und ein großes Gebäude der Mathematiktheorie wird nun unter Auflagen und zahlreichen Varianten bewiesen. Ich bin kürzlich auf einen Hinweis auf ein bedingtes Ergebnis in TCS gestoßen, das auf der...
Hintergrund: Die Transaktionsverarbeitung ist ein traditionelles Forschungsthema in der Datenbanktheorie. Heutzutage werden verteilte Transaktionen von großen verteilten Speichersystemen populär gemacht, die typischerweise Datenpartition (auch Sharding genannt) und Datenreplikation umfassen . Was...
Meine Frage betrifft Quantenalgorithmen für QED-Berechnungen (Quantenelektrodynamik) in Bezug auf die Feinstrukturkonstanten. Solche Berechnungen (wie mir erklärt) Taylor-ähnliche Reihen wobei die Feinstrukturkonstante (um 1/137) ist und der Beitrag von Feynman-Diagrammen mit Schleifen ist. α c k...
Was ist der Standardansatz zur Minimierung von Büchi-Automaten (oder auch Müller-Automaten)? Das Übertragen der üblichen Technik von endlichen Wörtern, dh das Setzen von zwei Zuständen auf Gleichheit, wenn die Wörter "Auslaufen" der akzeptierten Zustände gleich sind, funktioniert nicht. Stellen Sie...
In dem Artikel " Über die rechnerische Komplexität von Algorithmen " von Hartmanis und Stearns aus dem Jahr 1965 vermuten die Autoren, dass entweder eine rationale Zahl oder a ist , wenn eine Echtzeit-Turingmaschine die reelle Zahl in beispielsweise Basis 10 berechnet transzendentale Zahl.rrrrrr...
Gibt es äquivalent eine bekannte Denotationssemantik für probabilistische funktionale Programmiersprachen höherer Ordnung? Insbesondere gibt es ein Domänenmodell eines reinen untypisierten Kalküls, das durch eine symmetrische zufällige binäre Auswahloperation erweitert wird.λλ\lambda Motivation...
Die Komplexität von Beweisen ist ein grundlegendster Bereich der Theorie der rechnerischen Komplexität. Ein letztendlicher Zweck dieses Bereichs besteht darin, zu beweisen , dh, jeder Prüfer kann keinen Beweis für die Unzufriedenheit der gegebenen Eingabeformel erbringen. N.P.≠ c o...
Es ist eine ziemlich bekannte Tatsache, dass das Ableiten eines Widerspruchs aus einer Ungleichheit (zum Beispiel ) in der Martin-Loef-Typentheorie ein Universum erfordert.( 0 = 1 ) → ⊥(0=1)→⊥(0=1) \to \bot Der Beweis ist auch ziemlich einfach - in Abwesenheit von Universen können wir die...
Das Graphisomorphismusproblem ist eines der am längsten bestehenden Probleme, die sich der Klassifizierung in oder N P- vollständige Probleme widersetzten. Wir haben Beweise dafür, dass es nicht N P- vollständig sein kann. Erstens kann der Graphisomorphismus nicht N P -vollständig sein, es sei...
Nach den entsprechenden Fragen zur NP-Vollständigkeit (siehe Gewichtsfrage und gerichtete Frage ) habe ich mich gefragt, wie parametrisierte Probleme von diesen Attributen beeinflusst werden. Welche harten Graphenprobleme sind -Hard in gerichteten Graphen, aber feste Parameter, die in ungerichteten...
Möglicherweise liegt die Hauptursache für Leistungsprobleme in Haskell darin, dass ein Programm versehentlich einen Teil unbegrenzter Tiefe aufbaut. Dies führt sowohl zu einem Speicherverlust als auch zu einem möglichen Stapelüberlauf bei der Auswertung. Das klassische Beispiel ist die Definition...
Dank der Komplexität der Berechnungen wurden die Probleme insgesamt klassifiziert. Aber ist es in Differentialgleichungen möglich, Differentialgleichungen in Abhängigkeit von ihrer Rechenstruktur zu klassifizieren? Wenn beispielsweise eine inhomogene Gleichung erster Ordnung vergleichsweise schwer...
Für einen Korrektheitsnachweis suche ich nach einem brauchbaren Begriff der Programmäquivalenz für Barendregts reine Typsysteme (PTS); Fehlt das, für genügend spezifische Typsysteme. Mein Ziel ist es einfach, den Begriff zu verwenden und ihn nicht um seiner selbst willen zu untersuchen.≅≅\cong...