Sei die Klasse der Entscheidungsprobleme mit einem beschränkten zweiseitigen fehlerzufälligen Algorithmus, der in der Zeit O ( f ( n ) ) abläuft .BPTIME(f(n))BPTIME(f(n))\mathsf{BPTIME}(f(n))O(f(n))O(f(n))O(f(n)) Kennen wir jedes Problem , so dass Q ∈ B P T I M E ( n k ) aber Q ∉ D T I M E ( n k )...
Kategorietheorie und abstrakte Algebra befassen sich mit der Art und Weise, wie Funktionen mit anderen Funktionen kombiniert werden können. Die Komplexitätstheorie befasst sich damit, wie schwer eine Funktion zu berechnen ist. Es ist seltsam für mich, dass ich niemanden gesehen habe, der diese...
Werden alle Funktionen, deren Fouriergewicht sich auf die kleinen Mengen (oder Terme mit niedrigem Grad) konzentriert, von Kreisen berechnet ?A
Ich studiere zurzeit Mathematik. Ich glaube jedoch nicht, dass ich in Zukunft professioneller Mathematiker werden möchte. Ich denke darüber nach, meine mathematischen Kenntnisse in die Forschung mit künstlicher Intelligenz einzubringen. Ich bin mir jedoch nicht sicher, wie viele Mathematikkurse ich...
Ich weiß, dass es unmöglich ist, die Äquivalenz für einen nicht typisierten Lambda-Kalkül zu bestimmen . Zitat von Barendregt, HP Der Lambda-Kalkül: seine Syntax und Semantik. Nordholland, Amsterdam (1984). :ββ\beta Wenn A und B disjunkt sind, nicht leere Mengen von Lambda-Termen, die unter...
Der Begriff der Polynomzeitverkürzung (Cook Reductions) ist eine Abstraktion eines sehr intuitiven Konzepts: ein Problem effizient zu lösen, indem ein Algorithmus für ein anderes Problem verwendet wird. In der Theorie der -Vollständigkeit wird der Begriff der -Härte jedoch über Mapping-Reduktionen...
Ich habe noch nie einen Algorithmus mit einem Protokoll im Nenner gesehen und frage mich, ob es tatsächlich nützliche Algorithmen für dieses Formular gibt. Ich verstehe viele Dinge, die zur Multiplikation eines Protokollfaktors in der Laufzeit führen können, z. B. Sortier- oder baumbasierte...
Ist es möglich, algorithmisch zu testen, ob eine berechenbare Zahl rational oder ganzzahlig ist? Mit anderen Worten, könnte eine Bibliothek, die berechenbare Zahlen implementiert, die Funktionen bereitstellen, isIntegeroder isRational? Ich vermute, dass es nicht möglich ist und dass dies irgendwie...
In einem letzten Thread auf der Agda Mailing - Liste, die Frage nach den tauchte Gesetze auf, in dem Peter Hancock machte zum Nachdenken anregende Bemerkung .ηη\eta Mein Verständnis ist , dass Gesetze kommen mit negativen Typen, dh. Konnektive, deren Einführungsregeln umkehrbar sind. Um für...
Gibt es eine Folge ungerichteter Graphen , wobei jedes genau Eckpunkte und das Problem hat C n n{ Cn}n ∈ N{Cn}n∈N\{C_n\}_{n\in \mathbb N}CnCnC_nnnn Ist ein induzierter Teilgraph von , und ein Graph sind ?G C n GnnnGGGCnCnC_nGGG befindet sich bekanntermaßen in der Klasse ? (Wenn beispielsweise , ist...
Ich würde gerne etwas über parametrisierte Komplexität lernen (sowohl auf der algorithmischen Seite als auch auf der Härteseite). Welche Bücher / Vorlesungsunterlagen kann ich zu diesem Thema
Ich möchte die Baumbreite eines Graphen berechnen . Es gibt wirklich gute Heuristik für andere NP-hard Graphen Probleme wie VF2 für Subgraphen Isomorphismus, mit dem Code in IGRAPH zum Beispiel. Ich habe sie in meinen Grafiken ausprobiert und finde, dass sie für meine Daten sehr schnell laufen....
Wie kann ich die Anzahl der eindeutigen einfachen Pfade in einem ungerichteten Diagramm bestimmen? Entweder für eine bestimmte Länge oder für einen Bereich akzeptabler Längen. Denken Sie daran, dass ein einfacher Pfad ein Pfad ohne Zyklen ist. Ich spreche daher von der Zählung der Anzahl der Pfade...
Gegenwärtig mache ich eine Literaturübersicht über das Problem des Graphisomorphismus (GI). Ich würde gerne einige offene Fragen zu folgenden Themen haben Was sind die Graphparameter, für die die Traktierbarkeit fester Parameter von GI ein offenes Problem ist? Was sind die Graph-Parameter, durch...
Betrachten Sie die Sprache L k - d i s t i n c t,Lk−distinctL_{k-distinct} die aus allen kkk -letter-Zeichenfolgen über Σ bestehtΣ\Sigma , sodass keine zwei Buchstaben gleich sind: L k - d i s t i n c t : = { w = σ 1 σ 2 . . . σ k | ∀ i ∈ [ k ] : σ i ∈ & Sgr; und ∀ j ≠ i : σ j ≠ σ i...
Dieses Problem ergab sich aus meinem letzten Blogeintrag . Angenommen, Sie erhalten eine TSP-Tour. Ist es co-NP-vollständig, um festzustellen, ob es sich um ein Minimum handelt? Genauer ist das folgende Problem NP-vollständig: Instanz: Gegeben ist ein vollständiger Graph G mit Kanten, die mit...
Das Problem Max-Sat fordert Sie auf, eine Zuordnung einer CNF-Formel zu finden, die möglichst viele Klauseln erfüllt. Für das einfachere Problem SAT gibt es viele bekannte Spezialfälle, die in Polynomzeit gelöst werden können, zB können wir 2-SAT in Polynomzeit lösen. Für Max-Sat ist die Situation...
Ich würde gerne wissen, ob es freie Grafikbibliotheken gibt, um zu testen, ob in einer bestimmten Grafik eine bestimmte Menge von Minderjährigen vorhanden
Die berühmte Isomorphismus-Vermutung von Berman und Hartmanis besagt, dass alle vollständigen Sprachen polynomiell zeitisomorph (p-isomorph) zueinander sind. Die Schlüsselbedeutung der Vermutung ist, dass sie impliziert . Es wurde 1977 veröffentlicht und ein Beleg dafür war, dass alle zu diesem...
Das Stopp-Problem für Turing-Maschinen ist möglicherweise die kanonische, unentscheidbare Menge. Trotzdem beweisen wir, dass es einen Algorithmus gibt, der über fast alle Fälle entscheidet. Das Stopp-Problem gehört daher zu der wachsenden Sammlung von Personen, die das Phänomen der...