Ich bin immer noch ein bisschen verwirrt mit den Begriffen "Eingabelänge" und "Eingabegröße", wenn ich die asymptomatische Obergrenze für einen Algorithmus analysiere und beschreibe Die Länge der Eingabe für den Algorithmus hängt anscheinend stark von der Art der Daten und dem Algorithmus ab, über...
Wikipedia's Graph Isomorphism Problem Seite scheint darauf hinzudeuten, dass es nicht gelöst wurde. Ein Freund von mir wies jedoch auf einen polynomialen Zeitalgorithmus für den Graphisomorphismus hin . Ich bin nicht raffiniert genug, um der Argumentation in der Zeitung zu folgen. Ich habe meinen...
Ich habe festgestellt, dass, wenn ich die Etymologie hinter einem CS / Programmierbegriff nicht verstehe, dies normalerweise bedeutet, dass ich ein wichtiges zugrunde liegendes Konzept verpasst oder missverstanden habe. Ich verstehe nicht, warum der Kleene-Stern auch als Kleene-Verschluss...
Ich dachte , ich verstand abhängig Typisierung (DT) richtig, aber die Antwort auf diese Frage: /cstheory/30651/why-was-there-a-need-for-martin-l%C3% B6f-to-create-Intuitionistic-Type-Theorie hat mich anders denken lassen. Nachdem ich mich über DT informiert und versucht habe zu verstehen, was sie...
Im Jahr 1962 konnten Sie einen Preis von 10 000 USD (ungefähr 80 000 USD in heutigem Geld) gewinnen, wenn Sie die Lösung für ein in 33 Städten definiertes Problem mit euklidischen Handlungsreisenden fanden. http://www.math.uwaterloo.ca/tsp/history/pictorial/car54.html Wenn man das Bild betrachtet,...
Ich lese ein Buch über ein Informatik-Thema, aber es fehlt mir ein Teil des erforderlichen Hintergrunds. Wenn ich auf Begriffe stoße, die ich nicht verstehe, schaue ich einfach nach, aber für die universelle Suche konnte ich einfach keine Erklärung finden, die für einen Leser ohne Hintergrund in...
Hintergrund \newcommand\ms[1]{\mathsf #1}\def\msD{\ms D}\def\msS{\ms S}\def\mfS{\mathfrak S}\newcommand\mfm[1]{#1}\def\po{\color{#f63}{\mfm{1}}}\def\pc{\color{#6c0}{\mfm{c}}}\def\pt{\color{#08d}{\mfm{2}}}\def\pth{\color{#6c0}{\mfm{3}}}\def\pf{4}\def\pv{\color{#999}5}\def\gr{\color{#ccc}}\let\ss\gr...
Ich frage mich, ob es ein entscheidbares Problem ist, über die Entscheidbarkeit eines Problems zu entscheiden. Ich vermute nicht, aber nach ersten Recherchen kann ich keine Literatur zu diesem Problem
Ich versuche, die Existenz nicht erkennbarer Sprachen zu verstehen. Um dies zu erreichen, muss ich wissen, warum eine Turing-Maschine nur eine Sprache erkennt, nicht mehrere. Warum ist
Ich habe ein Problem mit dieser Übung: Sei G die folgende mehrdeutige Grammatik für den λ-Kalkül: E → v | λv.E | EE | (E) wobei E das einzelne nicht-terminale Symbol ist, λv.E die Abstraktion der Variablen v in E darstellt und EE die Anwendung darstellt. Definieren Sie eine LL (1) -Grammatik G 'so,...
Die prime-Zählfunktion , degradiert , wird als die Anzahl der Primzahlen weniger definiert als oder gleich .π( x )π(x)\pi(x)xxx Wir können ein Entscheidungsproblem aus wie folgt definieren:π( x )π(x)\pi(x) Entscheide bei zwei binär geschriebenen Zahlen und , ob .xxxnnnπ( x ) = nπ(x)=n\pi(x) = n Ein...
Ich habe in diesem Beitrag über Stackoverflow gesehen, dass es einige relativ schnelle Algorithmen gibt, mit denen ein Intervall von Zahlen gesiebt werden kann, um festzustellen, ob es in diesem Intervall eine Primzahl gibt. Bedeutet dies jedoch, dass das Gesamtentscheidungsproblem von: (Gibt es in...
Viele "berühmte" unentscheidbare Probleme sind dennoch zumindest halbentscheidbar, und ihre Ergänzung ist unentscheidbar. Ein Beispiel kann vor allem das Stopp-Problem und seine Ergänzung sein. Kann mir jemand ein Beispiel geben, in dem sowohl ein Problem als auch seine Ergänzung unentscheidbar und...
Ich habe diesen Satz gerade auf Seite 6 von Garey und Johnsons "Computers and Intractability" gefunden. Jeder Algorithmus, dessen Zeitkomplexitätsfunktion nicht so begrenzt werden kann, wird als Exponentialzeitalgorithmus bezeichnet (obwohl zu beachten ist, dass diese Definition bestimmte...
Nach dem, was ich in der gelesen habe preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D. Dies ist die PTAS- Definition: Ein Polynom- Zeitnäherungsschema ( PTAS ) für Problem...
Wann sagen wir, dass ein künstliches neuronales Netzwerk ein mehrschichtiges Perceptron ist ? Und wann sagen wir, dass ein künstliches neuronales Netzwerk mehrschichtig ist ? Bezieht sich der Begriff Perzeptron auf die Lernregel zur Aktualisierung der Gewichte? Oder handelt es sich um...
Wenn P gleich NP ist, ist es dann weiterhin möglich, ein Kryptosystem zu entwerfen, bei dem der optimale Kryptoanalysealgorithmus beispielsweise das Quadrat der von den legitimen Verschlüsselungs- und Entschlüsselungsalgorithmen beanspruchten Zeit benötigt? Gibt es solche Algorithmen...
Mein Dozent gab die Erklärung ab Jedes endliche Problem kann nicht NP-vollständig sein Er sprach zu der Zeit über Sudokus und sagte etwas in der Art, dass es für ein 8x8-Sudoku eine endliche Menge von Lösungen gibt, aber ich kann mich nicht genau erinnern, was er gesagt hat. Ich habe die Notiz...
Ein Kombinatorausdruck (zum Beispiel auf SK-Basis) kann als eine Funktion betrachtet werden, die Kombinatorberechnungsausdrücke auf Kombinatorberechnungsausdrücke abbildet. Das heißt, man kann sich einen Ausdruck XXX als eine Funktion , wobei die Menge aller syntaktisch gültigen Kombinatorausdrücke...
Ich habe über Beweise nachgedacht und bin auf eine interessante Beobachtung gestoßen. Beweise entsprechen also Programmen über den Curry-Howard-Isomorphismus, und Zirkelbeweise entsprechen einer unendlichen Rekursion. Aber wir wissen aus dem Problem des Stillstands, dass es im Allgemeinen...