Als Software-Ingenieur habe ich fast mein ganzes Leben lang keine Ahnung, wie ich anfangen soll, eine "akademische" Art von Arbeit zu veröffentlichen. Während meiner letzten Recherchen habe ich einen interessanten Algorithmus für die Aufgabe gefunden, die ich gelöst habe (im Zusammenhang mit...
Fixiere eine ganze Zahl und ein Alphabet . Definieren Sie als Sammlung aller Automaten mit endlichen Zuständen zu Zuständen mit Startzustand 1. Wir betrachten alle DFAs (nicht nur verbundene, minimale oder nicht entartete). somit ist .n nnΣ = { 0 , 1 } Σ={0,1}\Sigma=\{0,1\}D F A ( n )...
Hinweis: Hierbei handelt es sich um das Standard-9x9-Sudoku-Puzzle. Die Lösung muss nur gelöste, rechtliche Rätsel unterstützen . Eine Lösung muss also keine leeren Zellen unterstützen und kann sich auf die Eigenschaften eines gelösten Sudoku-Puzzles verlassen. Ich fragte mich, aber mir fiel keine...
Sei ein Grad- Polynom in Variablen über , wobei konstant ist (sagen wir 2 oder 3). Ich möchte die kleinste Formel finden , wobei „Formel“ und „Formel Größe“ sind in der offensichtlichen Weise definiert (z. B. die kleinste Formel für das Polynom ist ).d n F 2 d f x 1 x 2 + x 1 x 3 x 1 ( x 2 + x 3...
Die Komplexität des Kolmogorov-Präfixes (dh ist die Größe des minimalen selbstbegrenzenden Programms, das ausgibt ) weist mehrere nette Merkmale auf:K(x)K(x)K(x)xxx Es entspricht einer Intuition, Strings mit Mustern oder Strukturen eine geringere Komplexität zu geben als Strings ohne. Es erlaubt...
Gibt es Spielzeugbeispiele, die "wesentliche" Einblicke in das Verständnis der drei bekannten Hindernisse für das P=NPP=NPP = NP Problem liefern - Relativierung, natürliche Beweise und
Angenommen, ich habe einen Satz "S" und ein monotonisches Prädikat "P" auf S. Ich möchte ein oder alle maximalen Elemente von S finden, die P erfüllen. EDIT : Ich bin daran interessiert, die Anzahl der Bewertungen von P zu minimieren . Welche Algorithmen gibt es für dieses Problem und welche...
Ich habe mich gefragt, ob es einen "besseren" Algorithmus gibt (ich erkläre, in welchem Sinne), der von einem DFA ausgeht AA\mathcal{A}und einen regulären Ausdruck so konstruiert, dass , als die in dem Buch von Hopcroft und Ullman (1979). Dort werden die Mengen verwendet, um Mengen von...
Ich hielt einen Vortrag über Pfannkuchensortierung und erwähnte Folgendes: Das Sortieren nach Umkehrungen ist NP-schwer „unterzeichnet“ durch Umkehrungen Sortieranlage ist in P . Was mich zum Nachdenken brachte. In gewisser Weise ist "signierte" Sortierung "gerichtet" - Sie können das Zeichen als...
Log-Space-Uniform NC ist im deterministischen Polylog-Space enthalten (manchmal geschriebenes PolyL). Gehört RNC auch zu dieser Klasse? Die standardmäßige randomisierte Version von PolyL sollte in PolyL vorliegen, aber ich sehe nicht, dass (einheitliche) RNC in randomisiertem PolyL vorliegt. Die...
Ich suche nette Beispiele, bei denen das folgende Phänomen auftritt: (1) Ein algorithmisches Problem sieht schwierig aus, wenn Sie es anhand der Definitionen und nur unter Verwendung von Standardergebnissen lösen möchten. (2) Andererseits wird es einfach, wenn Sie einige (nicht so Standard-)...
In seinem Buch Boolean Function Complexity erwähnt Stasys Jukna (Seite 564), dass Kolmogorov glaubte, dass jede Sprache in P Schaltkreise linearer Größe hat. Es wird keine Referenz erwähnt und ich konnte nichts online finden. Weiß jemand mehr
Es gibt verschiedene Algorithmen, die in Polynomialzeit entscheiden, ob ein Graph in der Ebene gezeichnet werden kann oder nicht, sogar viele mit einer linearen Laufzeit. Ich konnte jedoch keinen sehr einfachen Algorithmus finden, den man im Unterricht leicht und schnell erklären und der zeigen...
Ich lerne gerade Haskell und Programmiersprachen. Könnte jemand ein paar Bücher über Typentheorie
Die Frage zu cstheory " Was ist NP auf Zeugen linearer Größe beschränkt? " Fragt nach der Klasse NP, die auf Zeugen linearer Größe , aberO(n)O(n)O(n) Gibt es natürliche NP-vollständige Probleme, bei denen (ja) Fälle der Größe Zeugen einer Größe größer als erfordern ?nnnnnn Natürlich können wir...
In diesem Wikipedia-Artikel zu Turing Completeness heißt es: Der untypisierte Lambda-Kalkül ist vollständig, viele typisierte Lambda-Kalküle, einschließlich System F, jedoch nicht. Der Wert typisierter Systeme beruht auf ihrer Fähigkeit, die meisten typischen Computerprogramme darzustellen und...
Warum heißt "topologische Sortierung" "topologisch"? Liegt es nur daran, dass eine Reihenfolge bestimmt wird, ohne dass Scheitelpunkte oder Kanten verändert werden - so wie ein Donut und eine Kaffeetasse topologisch gleichwertig sind? Warum heißt es nicht "Abhängigkeitssortierung" oder etwas...
Wir wollen eine Präfix-freie Kodierung von Turing-Maschinen und eine universelle Turing-Maschine U festlegen UU, die bei Eingabe ( T , x )(T,x)(T,x) (kodiert als Präfix-freier Code von T,TT gefolgt von xxx ) alle T-TT Ausgaben bei Eingabe x ausgibt xx(möglicherweise) beide laufen für immer)....
Wir wissen, dass (siehe z. B. Theoreme 1 und 3 von [1]) unter geeigneten Bedingungen Funktionen, die von Turing-Maschinen in polynomieller Zeit effizient berechnet werden können ("effizient berechenbar"), durch polynomielle neuronale Netze ausgedrückt werden können mit vernünftigen Größen und kann...
Parität-L ist die Menge von Sprachen, die von einer nicht-deterministischen Turing-Maschine erkannt werden und die nur zwischen einer geraden oder ungeraden Anzahl von "Akzeptanz" -Pfaden (anstelle einer Null- oder einer Nicht-Null-Anzahl von Akzeptanzpfaden) unterscheiden kann weiter auf die...