Computerwissenschaften

2

Ich versuche, einen Beweis für Folgendes zu finden: Für jede Sprache gibt es eine Sprache B, so dass A ≤ T B, aber B ≰ T A ist .EINAAB.BBA ≤T.B.A≤TBA \le_{\mathrm{T}} B≰T.EIN≰TA\nleq_{\mathrm{T}} A Ich dachte zu lassen seine A T M , aber ich merke , dass nicht alle Sprachen …

9 computability reductions undecidability

3

Wie oft wird Prolog / ASP in nicht forschenden Bereichen eingesetzt?

Ich habe erst kürzlich von KRR (Knowledge Representation and Reasoning) und ASP erfahren und vorher noch nichts davon gehört (außer ein bisschen über Prolog). Ich habe ein bisschen über sie gelesen und eine ihrer Hauptanwendungen scheinen AIs zu sein. Meine Frage wäre, wie weit verbreitet ASP oder andere deklarative Sprachen …

9 prolog

3

Ergeben die Algorithmen von Kruskal und Prim den gleichen minimalen Spannbaum?

Angenommen, die Kanten sind ungerichtet, haben ein eindeutiges Gewicht und keine negativen Pfade. Erzeugen diese Algorithmen die gleichen minimalen Spannbäume?

9 graphs trees minimum-spanning-tree

1

Gibt es einen Unterschied zwischen Typensicherheit und Typensicherheit?

Ich habe versucht, die Definitionen von Typensicherheit und Typensicherheit auseinanderzuhalten, und ich habe eine verdammt gute Zeit damit. Ich habe kürzlich einen Professor gefragt und nach einigem Nachdenken sagte er, dass es wirklich keinen Unterschied gibt. Doch nach der Lektüre dieses wie es scheint: Typensicherheit ist eine Eigenschaft der Sprache, …

9 programming-languages type-theory type-checking

2

Algorithmus zur Erzeugung eines sich selbst vermeidenden zufälligen Gehens auf einem Gitter

Wo finde ich Code, um zufällige selbstvermeidende Spaziergänge auf zwei- und dreidimensionalen Gittern zu generieren, deren Seitenlängen Zweierpotenzen sind? Die Wanderung sollte durch jeden Punkt des Gitters verlaufen. Wie kann ich einen zufälligen Hamilton-Pfad auf einem großen oder Gittergraphen finden?2n× 2n2n×2n2^n \times 2^n2n× 2n× 2n2n×2n×2n2^n \times 2^n \times 2^n Die …

9 random-walks lattices

1

Gibt es einen allgemeinen Algorithmus zum Füllen von Löchern im Hinblick auf die Konstruktionsrechnung?

Angenommen, Sie erweitern die Konstruktionsrechnung um "Löcher", dh um unvollständige Codeteile, die Sie noch nicht ausgefüllt haben. Ich frage mich, ob es einen Algorithmus gibt, mit dem diese Rollen automatisch besetzt werden können. Zum Beispiel (unter Verwendung der Morte -Syntax): Fall A: λ (pred : ?) -> λ (Nat : …

9 machine-learning programming-languages unification

2

Chaitins Konstante ist normal?

Nach dieser Quelle ist Chaitins Konstante normal.ΩΩ\Omega Jede Stoppwahrscheinlichkeit ist eine normale und transzendentale reelle Zahl, die nicht berechenbar ist, was bedeutet, dass es keinen Algorithmus gibt, um ihre Ziffern zu berechnen. In der Tat ist jede Stoppwahrscheinlichkeit Martin-Löf-zufällig, was bedeutet, dass es nicht einmal einen Algorithmus gibt, der seine …

9 halting-problem

1

Lösen von T (n) = 2T (n / 2) + log n mit der Wiederholungsbaummethode

Ich habe Wiederholungsbeziehungen gelöst. Die erste Wiederholungsbeziehung war T(n)=2T(n/2)+nT(n)=2T(n/2)+nT(n)=2T(n/2)+n Die Lösung für dieses Problem kann durch den Master-Satz oder die Wiederholungsbaummethode gefunden werden. Der Wiederholungsbaum wäre ungefähr so: Die Lösung wäre: T(n)=n+n+n+...+nlog2n=k times=Θ(nlogn)T(n)=n+n+n+...+n⏟log2⁡n=k times=Θ(nlog⁡n)T(n)=\underbrace{n+n+n+...+n}_{\log_2{n}=k \text{ times}}=\Theta(n \log{n}) Als nächstes hatte ich folgendes Problem: T(n)=2T(n/2)+lognT(n)=2T(n/2)+log⁡nT(n)=2T(n/2)+\log{n} Mein Buch zeigt, dass diese Wiederholung …

9 recurrence-relation

3

Was ist die Intuition dafür, warum das Problem mit dem längsten Pfad keine optimale Unterstruktur hat?

Ich habe etwas über die längsten Pfade gelernt und bin auf die Tatsache gestoßen, dass die längsten Pfade in allgemeinen Graphen durch dynamische Programmierung nicht lösbar sind, weil das Problem keine optimale Unterstruktur aufweist (was meiner Meinung nach die Aussage, dass die längsten einfachen Pfade in allgemeinen Graphen korrigiert werden …

9 algorithms graphs optimization dynamic-programming

1

Gibt es einen Algorithmus zur Optimierung der Zeit- / Raumkomplexität von Algorithmen?

In den 1950er Jahren wurde eine Reihe von Verfahren zur Schaltungsminimierung für Boolesche Funktionen erfunden. Gibt es eine Erweiterung dieser Methoden oder ähnliches zur Optimierung der zeitlichen oder räumlichen Komplexität von Algorithmen? Beispielsweise würde eine Implementierung der Blasensortierung als Eingabe für einen solchen Algorithmus eine Implementierung eines Sortieralgorithmus mit einer …

9 algorithms turing-machines time-complexity optimization space-complexity

3

Warum sind Zeichenfolgen in einigen Sprachen unveränderlich?

String ist eine unveränderliche Klasse in Java. Eine unveränderliche Klasse ist einfach eine Klasse, deren Instanzen nicht geändert werden können. Warum wählt die Java-Programmiersprache Objekte der Klasse String unveränderlich?

9 programming-languages language-design

1

Invertieren einer Bandmatrix

Ich habe eine Bandmatrix - eine spärliche, quadratische, symmetrische Matrix, deren Struktur wie folgt aussieht:N.× N.N.×N.N \times N Hier ist der Bereich unter den blauen Streifen die Nicht-Null-Elemente; alles andere ist Null Gibt es einen Algorithmus zum Invertieren dieser Art von Matrix, der einfach und dennoch effizienter ist als die …

9 algorithms linear-algebra sparse-matrices

2

Anwenden eines Multi-Qubit-Quantengatters auf bestimmte Qubits

Eine kontrollierte Nicht-Gate-Matrix sieht folgendermaßen aus: ⎡⎣⎢⎢⎢1000010000010010⎤⎦⎥⎥⎥[1000010000010010]\begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 1 & 0 \\ \end{bmatrix} Das funktioniert gut, wenn Sie nur zwei Qubits haben und …

9 quantum-computing

2

Ist die Seitengröße immer gleich der Rahmengröße?

Ich lerne über Paging. Mein Buch sagt, dass die von der CPU generierten logischen Adressen in der Form |p|d|(Seitenzahl, Seitenversatz) und die physischen Adressen in der Form |f|d|(Rahmennummer, Rahmenversatz) vorliegen . Es wird auch ausdrücklich erwähnt, dass ddh der Offset direkt kopiert wird, um die physikalische Adresse aus den logischen …

9 memory-management paging

3

Wie kann ich feststellen, ob ein Vergleichsnetzwerk sortiert ist?

Mir wird ein Vergleichsnetzwerk vorgestellt. Wie kann ich feststellen, ob das Vergleichsnetzwerk ein Sortiernetzwerk ist? In der Abbildung unten sehen Sie ein Beispiel für ein Netzwerk zum Sortieren von Auswahlsortierungen und Einfügungen. Ziel ist es, ein Vergleichsnetzwerk zu haben und numerische Werte zu sortieren. Wenn ich in diesem Fall 2 …

9 sorting