Nach den immer neueren Erfolgen neuronaler Netze beim Spielen von Brettspielen könnte das nächste Ziel, das wir uns gesetzt haben, nützlicher sein, als Menschen in Starcraft zu schlagen. Genauer gesagt fragte ich mich, ob Können neuronale Netze trainiert werden, um klassische algorithmische...
Bei gegebener Boolescher Funktion haben wir die Automorphismusgruppe .fffAut(f)={σ∈Sn ∣∀x,f(σ(x))=f(x)}Aut(f)={σ∈Sn ∣∀x,f(σ(x))=f(x)}Aut(f) = \{\sigma \in S_n\ \mid \forall x, f(\sigma(x)) = f(x) \} Gibt es bekannte Grenzen für ? Ist für Mengen der Form für eine Gruppe...
Der Satz von Cantor besagt, dass Für jede Menge A hat die Menge aller Teilmengen von A eine streng größere Kardinalität als A selbst. Ist es möglich, so etwas nur mit Typen / Aussagen zu codieren, ohne auf ZFC-Sets zu verweisen? Code oder Pseudocode zum Codieren dieses Satzes in einer abhängig...
Ich bin ein Forscher, der in der Algorithmen- und Komplexitätstheorie arbeitet. Ich verwende zum Teil parametrisierte Komplexität. Mir scheint, dass Forscher mit parametrisierter Komplexität in Bezug auf die Anzahl der Forschungsarbeiten sehr aktiv sind (ich meine nicht, dass andere dies nicht...
Weiß jemand, woher die Namen System "F" und System "T" kommen? Ich frage nicht, wer diese Namen eingeführt hat (Girard System F und Gödel System T), sondern was das "F" und das "T"
Es ist bekannt, dass Ford-Fulkerson oder Edmonds-Karp mit der Fettrohrheuristik (zwei Algorithmen für maximalen Durchfluss) nicht anhalten müssen, wenn einige der Gewichte irrational sind. Tatsächlich können sie sogar auf den falschen Wert konvergieren ! Alle Beispiele, die ich in der Literatur...
Ich bin gespannt, wie Sie festgestellt haben, dass Ungleichmäßigkeiten bei der Berechnung hilfreich sind. Ein Weg ist die Zufälligkeit, wie in , und ein anderer ist Nachschlagetabellen, die zeigen, dass alle Sprachen ungleichmäßige Schaltkreise haben.B P.P.⊆ P./ polyBPP⊆P/polyBPP \subseteq P/poly...
Braverman zeigte, dass Verteilungen, die -weise unabhängigeϵ-NarrentiefedAC0-Schaltungender Größemdurch "Zusammenkleben" der Smolensky-Näherung und der Fourier-Näherung vonAC0-berechnbaren Booleschen Funktionen. Der Autor und diejenigen, die diese ursprüngliche Vermutung vermutet hatten, dass der...
Ich suche nach Problemen, die in der FPT-Zeit schwer zu lösen sind, aber einen Approximationsalgorithmus haben. Das heißt, Probleme, die sind: R1. W [1] -hart. R2. Lassen Sie einen (vorzugsweise konstanten) Approximationsalgorithmus in der FPT-Zeit zu. Das mir bekannte Problem besteht darin, die...
Sei EINAA ein endliches Alphabet. Für eine gegebene Sprache L ⊆ A.∗L⊆A∗L \subseteq A^{\ast} das syntaktische Monoid M.( L )M(L)M(L) ein in der formalen Sprachtheorie bekannter Begriff. Weiterhin erkennt ein Monoid M.MM eine Sprache L.LL wenn ein Morphismus φ : A.∗→ M.φ:A∗→M\varphi : A^{\ast} \to M...
Sind wir in der Lage einen freien Parametrizität Sätze über Funktionen wie um zu beweisen , ? Es soll heißen, dass f eine Liste nimmt und immer eine Permutation davon zurückgibt.f:∀A.[A]⊸[A]f:∀A.[A]⊸[A]f : \forall A . [A] ⊸ [A]fff Ein weiteres Beispiel: beweisen , dass Funktion gibt immer eine...
In Martin-Löfs Eine intuitionistische Theorie der Typen: Prädikativer Teil wird bewiesen, dass die Typprüfung unter dem Vorbehalt Typisierbarkeit entscheidend ist , indem ein Normalisierungssatz für geschlossene typisierbare Begriffe bewiesen wird. Andererseits habe ich an mehreren Stellen...
Was sind die bekanntesten asymptotischen Obergrenzen für die Größe probabilistisch überprüfbarer Beweise? Idealerweise suche ich nach einer zeitgemäßen Umfrage zu dieser umfassenden Frage, aber wenn es keine gibt, bin ich besonders an der Unannäherbarkeit von 3-SAT interessiert. Sei 7/8 + ε-3-SAT...
Das Robertson-Seymour-Theorem besagt, dass jede kleinere geschlossene Familie GG\mathcal G von Graphen durch endlich viele verbotene Minderjährige charakterisiert werden kann. Gibt es einen Algorithmus, der für einen Eingang GG\mathcal G die verbotenen Minderjährigen ausgibt, oder ist dies...
Ich habe Schwierigkeiten, den Beweis einer starken Normalisierung für die Konstruktionsrechnung zu verstehen. Ich versuche, dem Beweis in der Arbeit von Herman Geuvers zu folgen: "Ein kurzer und flexibler Beweis für eine starke Normalisierung für die Berechnung von Konstruktionen". Ich kann der...
Es gibt verschiedene Modelle zum Definieren von Transformationen zwischen Sprachen. Finite-State-Wandler und MSO-definierbare Graphtransformationen über String-Graphen sind die beiden, die ich am besten kenne. Wir wissen, dass 2-Wege-Finite-State-Wandler (die ausdrucksstärker sind als ihre...
Ob es einige Ergebnisse zur Lösung formaler Sprachprobleme mit mathematischer Analyse oder kontinuierlicher Mathematik gibt? Zum Beispiel das Lösen des Problems der Nichtleere der Kreuzung für eine kontextfreie Sprache und eine reguläre
Dieses Ergebnis von Tavenas, Koiran und anderen zeigt, dass jedes Polynom, das von einer Schaltung der Größe sss berechnet wird, von einer homogenen Schaltung der Größe s √ der Tiefe 4 berechnet wirdsd√sds^{\sqrt{d}} . Gibt es ähnliche Ergebnisse für Boolesche Schaltungen oder wissen wir, warum so...
Ich möchte eine Umfrage über die Methode zur Darstellung der Dynamik staatlicher Berechnungen im Rahmen von Kohlegebren schreiben. Bisher habe ich es geschafft, Artikel über Kohlegebra-Darstellungen von DFA, NFA, Mealy-Maschinen, Moore-Maschinen, kontextfreien Grammatiken und sogar einfachen...
Zwei Stapel können mithilfe eines Arrays mit fester Größe effizient implementiert werden: Stapel Nr. 1 beginnt am linken Ende und wächst nach rechts, und Stapel Nr. 2 beginnt am rechten Ende und wächst nach links. Ist das gleiche für drei Stapel möglich? Insbesondere ist es möglich, drei Stapel...