Wie jeder weiß, bietet das berühmte Buch von Garey und Johnson (und viele andere) eine hervorragende Referenz für die Reduktionstechnik in klassischer Umgebung. Gibt es Umfragen oder Bücher zum Thema Reduktionstechnik in parametrisierten Algorithmen, etwa zur
Ich habe diese Frage vor einiger Zeit bei Stack Overflow gestellt: Problem: Bobs Verkauf . Jemand schlug vor, die Frage auch hier zu posten. Jemand hat hier bereits eine Frage zu diesem Problem gestellt - Unterwald mit minimalem Gewicht und gegebener Kardinalität -, aber soweit ich das verstehe,...
Ich bin auf der Suche nach Artikeln und Artikeln über modale Substrukturlogiken - nicht über die Semantik linearer Logikmodalitäten, sondern über Substrukturlogiken, die mit standardmäßigen Modaloperatoren,
Banachs Fixpunktsatz besagt, dass, wenn wir einen nicht leeren vollständigen metrischen Raum AEINA , jede gleichmäßig kontrahierende Funktion f:A→Af:EIN→EINf : A \to A einen eindeutigen Fixpunkt μ(f)μ(f)\mu(f) . Der Beweis dieses Theorems erfordert jedoch das Axiom der Wahl - wir müssen ein...
Was sind gute Papiere / Bücher, um die Kraft der Modularen Zerlegung und ihre Eigenschaften besser zu verstehen? Ich interessiere mich besonders für algorithmische Aspekte der Modularen Zerlegung. Ich habe gehört, dass es möglich ist, eine modulare Zerlegung eines Graphen in linearer Zeit zu...
Eine Schlagmenge einer Familie S={S1,…,Sn}S={S1,…,Sn}\mathcal{S} = \{S_1, \dots, S_n\} ist eine Teilmenge HHH von ⋃ni=1Si⋃i=1nSi\bigcup_{i=1}^{n} S_i so dass H∩Si≠∅H∩Si≠∅H \cap S_i \ne \emptyset für 1≤i≤n1≤i≤n1 \le i \le n . Das Problem, eine minimale Treffermenge einer gegebenen Familie zu finden,...
Die (verallgemeinerte) Sternhöhe einer Sprache ist die minimale Verschachtelung von Kleene-Sternen, die erforderlich ist, um die Sprache durch einen erweiterten regulären Ausdruck darzustellen. Denken Sie daran, dass ein erweiterter regulärer Ausdruck über ein endliches Alphabet die folgenden...
Ich versuche einige Konzepte über modulare Zerlegung und Clique-Width- Graphen zu verstehen . In diesem Artikel ("On P4-tidy graphs") wird gezeigt, wie Optimierungsprobleme wie Clique-Number oder Chromatic-Number mit Modular Decomposition gelöst werden können. Das Lösen dieser Probleme durch...
Die Defunktionalisierung ist eine Programmtransformation, die Programme höherer Ordnung in Programme erster Ordnung umwandelt. Die Idee ist, dass es bei einem gegebenen Programm nur endlich viele Lambda-Abstraktionen gibt, sodass Sie jedes Lambda durch eine ID und jede Funktionsanwendung durch...
Hintergrund Funktionen in sind PAC, die in quasipolynomialer Zeit mit einem klassischen Algorithmus lernbar sind, der zufällig ausgewählte O ( 2 l o g ( n ) O ( d ) ) -Anfragen benötigt, um eine Schaltung mit der Tiefe d [1] zu lernen. Wenn es kein 2 n o ( 1 ) Faktorisierungsalgorithmus dann dies...
Können Sie bitte erläutern, wie Sie die Ackerman-Funktion (eigentlich interessiert mich eine von Rózsa Péter und Raphael Robinson vorgeschlagene Version) über standardmäßige mu-rekursive Operatoren erstellen können? Ich habe Originalarbeiten von Péter und Robinson ausprobiert, aber Péters Arbeit...
Was soll ich lesen, um dieses Problem zu verstehen? Die Leistung von Quantenschaltungen mit geringer Tiefe. Ist ? Mit anderen Worten, kann der "Quanten" -Teil eines beliebigen Quantenalgorithmus auf Polylog (n) -Tiefe komprimiert werden, vorausgesetzt, wir sind bereit, eine klassische...
Ich habe eigentlich zwei Fragen: Wer benutzte zuerst logische Beziehungen, um die Semantik in Beziehung zu setzen? Ich habe sie auf Reynolds " Über die Beziehung zwischen direkter und Fortsetzungssemantik " zurückgeführt, aber ich kann nicht behaupten, eine erschöpfende Suche durchgeführt zu haben....
Ich benutze den Titelbegriff sehr locker. Die evolutionäre Spieltheorie, einschließlich ihrer mathematischen Grundlagen, ist in erheblichem Umfang erforscht. Mir wurde "Evolutionary Games and Population Dynamics" empfohlen, aber ich habe mich noch nicht damit befasst. Es gibt auch viel Arbeit zur...
Über den universellen Approximationssatz ist bekannt, dass ein neuronales Netzwerk mit nur einer einzigen verborgenen Schicht und einer willkürlichen Aktivierungsfunktion jede kontinuierliche Funktion approximieren kann. Welche anderen Modelle gibt es, die auch universelle Funktionsapproximatoren...
Eine Kategorie hat Nebenprodukte, wenn dieselben Objekte sowohl Produkte als auch Nebenprodukte sind. Hat jemand die Proof-Theorie von Kategorien mit Bioprodukten untersucht? Das vielleicht bekannteste Beispiel ist die Kategorie der Vektorräume, in der die direkte Summe und die direkte...
Das Auftragspflegeproblem (oder "Auftrag in einer Liste pflegen") besteht darin, die folgenden Vorgänge zu unterstützen: singleton: Erstellt eine Liste mit einem Element und gibt einen Zeiger darauf zurück insertAfter: einen Zeiger auf ein Element gegeben, fügt ein neues Element danach ein und gibt...
Ich muss Sätze von Elementen vom Typ a speichern. Typ a ist teilweise geordnet, sodass der Vergleich von und kleiner, größer, gleich oder unvergleichbar sein kann.a 2ein1ein1a_1ein2ein2a_2 Ein Problem mit Hashtabellen besteht darin, dass zwei gleiche Elemente unterschiedlich dargestellt werden...
Die Komplexitätsklasse BQP entspricht polynomiellen Zeitquanten-Subroutinen, die klassische Eingaben aufnehmen und eine probabilistische klassische Ausgabe ausgeben. Der Quantenratschlag modifiziert diesen, um Kopien einiger vorbestimmter Quantenratschlagzustände einzuschließen, jedoch mit...
Diese Frage hängt eng mit einem anderen Beitrag zusammen: Phasenübergänge bei schwierigen NP-Problemen, aber es ist etwas anders. Während die Frage nach der Härte von bestimmten Instanzen von NP schwer Problemen ist, geht es um Ranking die Schwierigkeit der gleichen Instanzen. Es gibt eine Menge...