Computerwissenschaften

1

Gibt es ein Beispiel für eine rekursive Sprache, die nicht kontextsensitiv ist?

Ich habe nach einer prototypischen Sprache für rekursive Sprachen (entscheidbar) gesucht, die ohne Erfolg nicht kontextsensitiv ist. Zum Beispiel ist ein Prototyp für reguläre Sprachen, für kontextfreie Sprachen und für kontextsensitive Sprachen. Normalerweise betrachte ich die Sprache, die von einer universellen Turing-Maschine (UTM) akzeptiert wird, als prototypisch oder rekursiv aufzählbar. …

7 formal-languages turing-machines context-sensitive

3

Wird als reguläre Sprache klassifiziert?

Wird als reguläre Sprache klassifiziert?L = {ein∗b∗}}L={a∗b∗}L = \{a^* b^*\} Ich bin verwirrt, weil ich weiß, dass nicht regulär ist. Welchen Unterschied macht der Kleene-Stern?L = {einnbn}}L={anbn}L = \{a^n b^n\}

7 formal-languages regular-languages kleene-star

2

Wenn O (log n) gegen O (n) exponentiell ist, was ist O (1) gegen O (n)?

Wenn man die Verwendung eines O(log n)anstelle eines O(n)Algorithmus als exponentielle Beschleunigung bezeichnet, wie würde man dann die Beschleunigung bezeichnen, die durch die Verwendung eines O(1)Algorithmus gegenüber einer erzielt wurde O(n)?

7 complexity-theory terminology

1

Sind koevolutionäre „kostenlose Mittagessen“ wirklich kostenlose Mittagessen?

In ihrer Arbeit " Coevolutionary Free Lunches " beschreiben David Wolpert und William Macready eine Reihe von Ausnahmen zu den No Free Lunch-Theoremen, die sie in einer früheren Arbeit bewiesen haben . Die Ausnahmen betreffen Zwei-Spieler-Spiele, bei denen ein Spieler versucht, die erwarteten Suchkosten zu minimieren, wenn ein Gegner ein …

7 optimization machine-learning

1

Unterschied zwischen Möglichkeiten zum Vergleichen von Gleitkommazahlen

Es scheint viele Ansätze zu geben, um zu beurteilen, ob zwei Gleitkommazahlen identisch sind. Hier sind einige Beispiele, die ich gefunden habe: fabs(x - y) < n * FLT_EPSILON * fabs(x) ODER fabs(x - y) < n * FLT_EPSILON * fabs(y) fabs(x - y) < n * FLT_EPSILON * fabs(x …

7 floating-point number-formats

3

Unentscheidbarkeit, ob ein Programm wahr oder falsch zurückgibt

Betrachten Sie das Problem, eine Eingabe-Turing-Maschine zu nehmen und festzustellen, ob die endgültige Zelle a ist 000 oder 111nach der Berechnung wird angehalten. In Fällen, in denen etwas anderes geschrieben wird oder nicht angehalten wird, dürfen Sie eine Antwort geben (aber Sie müssen anhalten und auf alle Eingaben eine Antwort …

7 undecidability decision-problem halting-problem

3

Der Unterschied zwischen theoretischer Komplexität und praktischer Effizienz

Wenn ich diesen Pseudocode habe: for i=0 to n/2 do for j=0 to n/2 do ... do anything .... Die Anzahl der Iterationen beträgt n2/ 4n2/4n^2/4. Was ist die Komplexität dieses Programms? Ist esO (n2)O(n2)O(n^2)? Was ist die formelle / informelle Intuition für welche Komplexität? Als nächstes, wenn ich diesen …

7 complexity-theory time-complexity runtime-analysis

2

So vermeiden Sie, dass Sie bei genetischen Algorithmen am lokalen Optimum hängen bleiben

Ich programmiere einen genetischen Algorithmus unter Verwendung der grammatikalischen Evolution. Mein Problem ist, dass ich lokale optimale Werte erreiche (vorzeitige Konvergenz) und wenn das passiert, weiß ich nicht, was ich tun soll. Ich denke darüber nach, das Mutationsverhältnis zu erhöhen (5% ist der Standardwert), aber ich weiß nicht, wie ich …

7 optimization genetic-algorithms evolutionary-computing

3

Summe der Teiler Summationsfunktion mit Erathosthenes 'Sieb

Ich bin auf das folgende Problem von einer Online-Problembank gestoßen: Es gibt bis zu Abfragen, von denen jede die Berechnung der Summe mit ist die Summe der Teiler von . Es ist gegeben, dass . 105 105 ~10^5~∑k = L.R.σ( k )∑k=L.R.σ(k)\sum_{k = L}^{R} \sigma(k)σ( k )σ(k)\sigma(k)kkk1 ≤ L ≤ …

7 algorithms number-theory

1

Ist es möglich, eine * größer als * -Funktion nur durch Addition, Subtraktion und Multiplikation zu implementieren?

Alle Werte stammen aus einem endlichen Feld ZtZtZ_t. Ich möchte eine größere Funktion als diese schreiben GT(x,y)={1,0,if x>y,otherwise.GT(x,y)={1,if x>y,0,otherwise.GT(x,y) = \begin{cases} 1, & \text{if } x > y, \\ 0, & \text{otherwise}. \end{cases} Verwenden Sie nur Additionen, Multiplikationen, Subtraktionen und vorzugsweise keine Divisionen. Die Gleichheitsfunktion EQU(x,y)={1,0,if x==y,otherwise.EQU(x,y)={1,if x==y,0,otherwise.EQU(x,y) = \begin{cases} …

7 algorithms linear-algebra

1

Warum ist die Ruhekonsistenz zusammengesetzt, die sequentielle Konsistenz jedoch nicht?

Ich habe Probleme beim Vergleich dieser beiden Speicherkonsistenzmodelle. Im Wesentlichen aus Gründen der sequentiellen Konsistenz denke ich an echten Code wie diesen: int x, y; void ThreadA() { x = 20; //Write int a = y; //Read } void ThreadB() { y = 20; int b = x; } In …

7 concurrency cpu-cache threads shared-memory

2

Algorithmus für disjunktes Segmentsichtbarkeitsproblem

Bedenken Sie, wir haben nnn disjunkte Segmente und ein Punkt P.PPDas ist in keinem Segment. Ich möchte einen findenO ( n logn )O(nlog⁡n)O(n \log n) Algorithmus, um zu überprüfen, von welchen Segmenten aus sichtbar ist P.PP. Ein Segment ist sichtbar vonP.PP wenn es einen Punkt hat, der von sichtbar ist …

7 algorithms computational-geometry

1

Rigorose Bücher über Algorithmen

Ich habe meinen Algorithmusunterricht sehr genossen, aber ich hatte das Gefühl, dass es an Genauigkeit mangelte. Die meiste Zeit konnte ich intuitiv verstehen, warum die vorgestellten Algorithmen funktionierten und warum sie die vorgestellte zeitliche Komplexität hatten, aber ich möchte in der Lage sein, solche Dinge zu beweisen. Daher möchte ich …

7 algorithms education books

2

Untergrenzen für die Größe der unabhängigen Menge in einem Diagramm?

Ich habe kürzlich erfahren, dass für jeden Fall ein k-SAT-Problem mit mmm Klauseln und nnn Literale, wir haben eine Zuordnung von Literalen, so dass zumindest m ( 1 -2- k)m(1−2−k)m(1 - 2^{-k}) Klauseln sind erfüllt. Ich habe mich gefragt, ob wir eine (nicht triviale) Untergrenze zeigen können, wie sie jeder …

7 graphs satisfiability lower-bounds

2

primitive rekursive funktionale Äquivalenz

Ist es bei zwei primitiven rekursiven Funktionen entscheidbar, ob sie dieselbe Funktion sind oder nicht? Nehmen wir zum Beispiel die Sortieralgorithmen A und B, die primitiv rekursiv sind. Obwohl es viele Algorithmen zum Sortieren gibt, beschreiben sie alle dieselbe Beziehung. Kann bei zwei primitiven rekursiven Implementierungen von A und B …

7 computability decision-problem primitive-recursion