Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

4
Was genau ist der semantische Unterschied zwischen Kategorie und Menge?
In dieser Frage habe ich gefragt, was der Unterschied zwischen Satz und Typ ist . Diese Antworten waren wirklich klarstellend (z. B. @AndrejBauer), daher unterwerfe ich mich in meinem Wissensdurst der Versuchung, dasselbe nach Kategorien zu fragen: Jedes Mal, wenn ich über Kategorietheorie lese (was zugegebenermaßen eher informell ist), kann …
1
Was ist Induktion-Induktion?
Was ist Induktion-Induktion ? Die Ressourcen, die ich gefunden habe, sind: das HoTT-Buch am Ende von Kapitel 5.7. Artikel von nLab ein Artikel namens Induktiv-Induktive Definitionen In diesem Blogbeitrag werden auch induktiv-induktive Typen erwähnt Die ersten beiden Referenzen sind mir zu kurz und die beiden letzteren zu technisch. Kann es …
2
Warum können wir nicht die kürzesten Wege mit negativen Gewichten finden, indem wir einfach eine Konstante hinzufügen, sodass alle Gewichte positiv sind?
Ich lese gerade eine Einführung in Algorithmen und komme von Johnsons Algorithmus, der davon abhängt, ob alle Pfade positiv sind. Das Algo hängt davon ab, eine neue Gewichtsfunktion (w ') zu finden, die für alle Kanten positiv ist und die Richtigkeit der Beziehungen der kürzesten Wege beibehält. Dazu werden die …
2
Gibt es eine Verallgemeinerung der Huffman-Codierung auf die arithmetische Codierung?
Beim Versuch, die Beziehungen zwischen Huffman-Codierung, arithmetischer Codierung und Bereichscodierung zu verstehen, begann ich über die Mängel der Huffman-Codierung nachzudenken, die mit dem Problem der fraktionierten Bitpackung zusammenhängen . Angenommen, Sie haben 240 mögliche Werte für ein Symbol und müssen diese in Bits codieren. Sie würden also mit 8 Bits …
2
Am wenigsten gemeinsamer Nicht-Teiler
Grundsätzlich ist das Problem: Finden Sie für eine Menge SSS positiver Zahlen eine minimale Zahl ddd , die kein Teiler eines Elements von SSS , dh ∀x∈S, d∤x∀x∈S, d∤x\forall x \in S,\ d \nmid x . Bezeichne n=|S|n=|S|n = |S|und C=max(S)C=max(S)C = \max(S) . Betrachten Sie die Funktion F(x)=F(x)=F(x) = …
2
Ist HORN-SAT in LIN, wenn ja, warum ist das kein Hinweis darauf, dass P = LIN ist?
Der Complexity Zoo definiert als die Klasse von Entscheidungsproblemen, die von einer deterministischen Turing-Maschine in linearer Zeit gelöst werden können.L ichN.LINLIN L ichN.⊆ P.LIN⊆PLIN \subseteq P Da HORN-SAT in lösbar ist (wie in linearen Zeitalgorithmen zum Testen der Erfüllbarkeit von Aussagenhornformeln angegeben (1984) )O ( n )O(n)O(n) Es werden neue …
1
Sind alle bekannten Algorithmen zur Lösung von NP-vollständigen Problemen konstruktiv?
Gibt es bekannte Algorithmen, die ein NP-vollständiges Problem korrekt mit "Ja" ausgeben, ohne implizit ein Zertifikat zu generieren? Ich verstehe, dass es einfach ist, ein Erfüllbarkeits-Orakel in einen Finder für zufriedenstellende Zuweisungen zu verwandeln: Iterieren Sie einfach die Variablen und fordern Sie das Erfüllbarkeits-Orakel jedes Mal auf, die Verbindung dieser …
2
Ist es schwieriger, eine Lösung für ein Erfüllbarkeitsproblem zu finden, als über die Erfüllbarkeit zu entscheiden?
Unterscheidet sich das Problem der Bestimmung, ob ein gegebener Boolescher Ausdruck rechnerisch erfüllt werden kann oder nicht, davon, tatsächlich eine Lösung für den Ausdruck zu finden? Mit anderen Worten, gibt es eine andere Möglichkeit festzustellen, dass ein bestimmter Ausdruck erfüllt werden kann, ohne explizit die 'richtigen Einstellungen' für die Booleschen …
1
Gibt es irgendwelche Probleme, die mit einem haltenden Orakel nicht lösbar wären?
Ich verstehe, dass die meisten Probleme trivial sind, wenn ein haltendes Orakel verfügbar ist (oder, ich denke gleichwertig, Hyperberechnung). Die Anwendung des Arguments, das das Halteproblem anzeigt, ist für eine Turing-Maschine jedoch unmöglich. Dies zeigt auch, dass es für ein Turing-Orakel unmöglich ist, das Halteproblem für ein Turing-Orakel zu entscheiden. …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.