Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

1
Warum implizieren die Sätze von Shaefer und Mahaney nicht P = NP?
Ich bin sicher, jemand hat darüber nachgedacht oder es sofort verworfen, aber warum impliziert Schäfers Dichotomietheorie zusammen mit Mahaneys Theorem über spärliche Mengen nicht P = NP? Hier ist meine Argumentation: Erstellen Sie eine Sprache die SAT entspricht und von einer unendlichen, entscheidbaren, spärlichen Menge durchschnitten wird. Dann muss auch …
3
Welche Forschungssprachen haben ein stärkeres Typensystem als Haskell und warum?
Hier lese ich das: Haskell hat definitiv nicht das fortschrittlichste Typsystem (nicht einmal annähernd, wenn Sie die Forschungssprachen zählen), aber von allen Sprachen, die tatsächlich in der Produktion verwendet werden, ist Haskell wahrscheinlich an der Spitze. Ich frage also zwei Dinge: Welche Forschungssprachen haben leistungsfähigere Typsysteme als Haskell? Was verbessern …
7
Wie wird ein Programm auf CPU-Ebene ausgeführt?
Ich weiß, dass dies eine sehr häufige Frage ist. Aber ich habe einen anderen Blickwinkel. Ich werde nur versuchen, es hier zu artikulieren. Soweit ich weiß, ist jede Anweisung, die eine CPU ausführt, in Maschinensprache und jede CPU kann dank ALU und ihrer Transistoren einige Rechenoperationen ausführen (wenn wir auf …
1
Schnellste bekannte Komplexität für kombinatorischen ILP-Algorithmus?
Ich frage mich, welcher Algorithmus in Bezug auf die Big- Notation am bekanntesten ist, um die ganzzahlige lineare Programmierung zu lösen?OOO Ich weiß, dass das Problem vollständig ist, also erwarte ich nichts Polynomielles. Ich weiß, dass es viele Heuristiken gibt, die in praktischen Anwendungen wie CPLEX verwendet werden, aber ich …
1
Beweis des Karp-Lipton-Theorems
Ich versuche, den Beweis des Karp-Lipton-Theorems zu verstehen, wie er im Buch "Computational Complexity: A modern approach" (2009) dargelegt ist. In diesem Buch heißt es insbesondere: Karp-Lipton-Theorem Wenn NP , dann ist PH .⊆⊆\subseteq P∖polyP∖polyP_{\backslash poly} =Σp2=Σ2p= \Sigma^p_2 Beweis: Nach Theorem 5.4 genügt es, um PH zu zeigen, dass und …
1
Gibt es ein vollständiges Problem für die Klasse der entscheidbaren Probleme?
Sprachen wie sind mit vielen Reduzierungen. Es ist trivial zu sehen, dass auch vollständige Probleme hat. S. Schmitz [1] betrachtet einige Klassen zwischen und . Sie stellen für diese Klassen vollständige Probleme unter speziell gestalteten Reduzierungen.HALTTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} Gibt es vollständige Probleme für (auch bekannt als ) im Vergleich zu schwächeren Reduktionen? …
2
Gibt es einen effizienten Algorithmus für die Ausdrucksäquivalenz?
z xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) ? Die Ausdrücke stammen aus der gewöhnlichen High-School-Algebra, beschränken sich jedoch auf arithmetische Addition und Multiplikation (z. B. ), ohne Inverse, Subtraktion oder Division. Buchstaben sind Variablen.2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 Wenn es hilft, können wir jeden Ausdruck verbieten, der mit anderen numerischen Werten als . dh nicht noch noch :x …
2
Gibt es etablierte Komplexitätsklassen mit reellen Zahlen?
Ein Student hat mich kürzlich gebeten, einen NP-Härtenachweis für sie zu prüfen. Sie führten eine Reduktion nach folgenden Grundsätzen durch: Ich reduziere dieses Problem P′P′P' , von dem bekannt ist, dass es NP-vollständig ist, auf mein Problem PPP (mit einer mehrmaligen Vielfachreduktion), also ist PPP NP-hart. Meine Antwort war im …
2
Leistung des Mikrokerns gegenüber dem monolithischen Kernel
Ein Mikrokernel implementiert alle Treiber als User-Space-Programme und implementiert Kernfunktionen wie IPC im Kernel. Ein monolithischer Kernel implementiert die Treiber jedoch als Teil des Kernels (läuft zB im Kernel-Modus). Ich habe einige Behauptungen gelesen, dass Mikrokerne langsamer sind als monolithische Kernel, da sie die Nachrichten verarbeiten müssen, die im Benutzerbereich …
3
Was bedeutet "nicht pathologische Daten"?
Ich habe einen Algorithmuskurs in Coursera besucht. Der Professor im Video über Hash-Tabellen sagte das Was stimmt, ist, dass Sie für nicht pathologische Daten konstante Zeitoperationen in einer ordnungsgemäß implementierten Hash-Tabelle erhalten. Was bedeutet "nicht pathologische Daten"? Können Sie einige Beispiele nennen?
6
Finden des maximalen XOR von zwei Zahlen in einem Intervall: Können wir es besser machen als quadratisch?
Nehmen wir an, wir haben zwei Zahlen lll und und wollen für l \ le i, \, j \ le r finden .max ( i ⊕ j ) l ≤ i ,rrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r Der naive Algorithmus überprüft einfach alle möglichen Paare; Zum Beispiel in Ruby hätten wir: def …
2
Was sind mögliche Fallstricke, wenn ein minimaler Kernel verwalteten Code ausführt?
Angenommen, ich möchte ein Betriebssystem erstellen, das auf einem sehr kleinen nativen unteren Kernel basiert, der als Interpreter / Laufzeit für verwalteten Code fungiert, und auf einem größeren oberen Kernel, der in einer nicht-nativen Maschinensprache (Java-Bytecode, CIL usw.) kompiliert wurde. Beispiele für ähnliche Betriebssysteme wären Singularity und Cosmos . Welche …
2
Was sind die neuesten Algorithmen für die Wegfindung auf einer kontinuierlichen Karte der Erde?
Angenommen, ich besitze irgendwo in den Fjorden Norwegens ein solarbetriebenes autonomes Überwasserschiff, das einen relativ aktuellen Kartensatz, einen GPS-Empfänger und keine Möglichkeit zum Downlinken detaillierter Befehle von mir enthält. Dieses Schiff muss zum Beispiel zum frühestmöglichen Zeitpunkt die Insel Hainan erreichen. Was sind die deterministischen Algorithmen zum Auffinden einer Seeroute …
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.