Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

3
Warum werden reguläre Ausdrücke mit Vereinigungs-, Verkettungs- und Sternoperationen definiert?
Ein regulärer Ausdruck wird rekursiv definiert als für einige ein & egr ; & Sgr; ist ein regulärer Ausdruck,aaaa∈Σa∈Σa \in \Sigma ist ein regulärer Ausdruck,εε\varepsilon ist ein regulärer Ausdruck,∅∅\emptyset wobei R 1 und R 2 reguläre Ausdrücke sind, ist ein regulärer Ausdruck,(R1∪R2)(R1∪R2)(R_1 \cup R_2)R1R1R_1R2R2R_2 wobei R 1 und R 2 …
1
Warum ist NP in EXPTIME?
Gibt es eine einfache Möglichkeit zu erkennen, warum NP in EXPTIME ist? Es scheint mir a priori denkbar, dass es ein Problem geben könnte, dessen Lösung eine überexponentielle Zeit erfordert, dessen Lösung jedoch in Polynomzeit verifiziert werden könnte.
4
Warum müssen wir Abstraktion gegen Geschwindigkeit tauschen?
Warum können Hochsprachen scheinbar nie in Bezug auf die Geschwindigkeit Niedrigsprachen erreichen? Beispiele für Hochsprachen wären Python, Haskell und Java. Niedrigsprachige Sprachen wären schwieriger zu definieren, aber sagen wir C. Vergleiche finden sich überall im Internet und alle sind sich einig, dass C viel schneller ist, manchmal um den Faktor …
1
Indizierung in eine Musterdatenbank - Korfs Optimal Rubik's Cube-Lösung
Als lustiges Projekt habe ich an einer C # -Implementierung von Richard Korfs gearbeitet - Suche nach optimalen Lösungen für Rubiks Würfel mithilfe von Musterdatenbanken. https://www.cs.princeton.edu/courses/archive/fall06/cos402/papers/korfrubik.pdf Ich habe es tatsächlich zum Laufen gebracht, ich versuche nur, meine Lösung zu verbessern. Eine Sache, die Korf in seinem Papier glasiert, ist, wie …
3
Gibt es Beweise dafür, dass Quantencomputer effizienter sind als klassische Computer?
Shors Algorithmus wird oft als Argument verwendet. Es kann das Faktorisierungsproblem schneller lösen als jeder bekannte Algorithmus für klassische Computer. Wir haben jedoch keinen Beweis dafür, dass klassische Computer Ganzzahlen nicht effizient berücksichtigen können. Gibt es tatsächlich Beweise dafür, dass Quantencomputer einige Probleme schneller lösen können als klassische Computer?
3
Was ist der Unterschied zwischen abstrakten Datentypen und Objekten?
Eine Antwort auf Programmers.SE kennzeichnet einen Aufsatz von Cook ( Objekte sind keine ADTs ) als Spruch Objekte verhalten sich eher wie eine charakteristische Funktion über die Werte eines Typs als wie eine Algebra. Objekte verwenden eher prozedurale Abstraktion als Typabstraktion ADTs haben normalerweise eine eindeutige Implementierung in einem Programm. …
2
Warum ist der kleinste Fixpunkt (lfp) in der Programmanalyse wichtig?
Ich versuche, ein Gesamtbild über die Bedeutung des kleinsten Fixpunkts (lfp) in der Programmanalyse zu erhalten. Zum Beispiel scheint die abstrakte Interpretation die Existenz von lfp zu nutzen. Viele Forschungsarbeiten zur Programmanalyse konzentrieren sich auch stark darauf, den am wenigsten festgelegten Punkt zu finden. In diesem Artikel in Wikipedia: Knaster-Tarski …
1
Wie schnell können wir die Größe der maximalen Übereinstimmung in einem ungewichteten zweigeteilten Diagramm berechnen?
Gibt es eine Möglichkeit, die Größe einer maximalen Übereinstimmung in einem ungewichteten zweigeteilten Diagramm effizienter (z. B. schneller) zu berechnen als die Berechnung einer maximalen Übereinstimmung? Es ist ein langer Weg, aber es ist oft ein interessantes Problem, solche Wegwerfberechnungen zu vermeiden. Motivation Das Problem, das ich zu lösen versuche, …
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.