Gibt es eine natürliche oder bemerkenswerte Möglichkeit, mathematische Gruppen und formale CS- Sprachen oder ein anderes zentrales CS-Konzept, z. B. Turing-Maschinen , in Beziehung zu setzen oder zu verknüpfen ? Ich suche Referenzen / Bewerbungen. Beachten Sie jedoch, dass mir die Verbindung...
Ich höre immer wieder, wie man Kategorietheorie lernen muss, um die Theorie der Programmiersprache wirklich zu verstehen. Bisher habe ich viel PL gelernt, ohne jemals in den Bereich der Kategorien einzusteigen. Ich nahm jedoch an, dass es Zeit war, den Sprung zu wagen, um zu sehen, was ich vermisst...
In der Literatur ist ziemlich klar, dass kostenpflichtige RAMs mit primitiver Multiplikation insofern unvernünftig sind, als sie können von Turing-Maschinen nicht in Polynomzeit simuliert werden kann PSPACE-vollständige Probleme in der Polynomzeit lösen Alle Referenzen, die ich zu diesem Thema...
Ich habe mich gefragt, ob jemand den Ursprung des Client-Server-Modells kennt. Woher kommt der Begriff (Papier, Softwareanwendung,
Ich frage mich, wie zeitlich komplex es ist, die Leere für 2-Wege-DFAs zu bestimmen. Das heißt, endliche Automaten, die sich auf ihrem schreibgeschützten Eingabeband rückwärts bewegen können. Laut Wikipedia entsprechen sie DFAs, obwohl die äquivalenten DFA möglicherweise exponentiell größer sind....
Welches NP-vollständige Problem hat in Bezug auf die asymptotische Laufzeit im schlimmsten Fall den schnellsten bekannten (exakten) Algorithmus und was ist der Algorithmus? Gibt es etwas bekanntes, das schneller ist als
Es gibt das populäre Problem [1] [2] in der Informatik, das darin besteht, eine minimale Anzahl gerader Linien zu finden, die eine gegebene Menge von Punkten in 2D abdecken. Obwohl ich viele Papiere gescannt habe, hat keines eine eindeutige Motivation für das Problem. Was nützt es, dieses Problem...
Ich weiß nicht, ob es ein Witz war, aber ich habe einmal gelesen, was als formale Definition einer Datei in einem Versionssystem wie git, hg oder svn bezeichnet wurde. Es war so etwas wie ein mathematisches Objekt wie ein Homöomorphismus. War das ein Witz oder gibt es wirklich eine...
Ich versuche, ein SAT-Problem mit 25k Klauseln und 5k Variablen zu lösen. Da es seit einer Stunde läuft (Precosat) und ich später größere Probleme lösen möchte, suche ich einen Mehrkern-SAT-Solver. Da es anscheinend viele SAT-Solver gibt, bin ich ziemlich verloren. Könnte mir jemand das beste für...
Meine Frage geht an diejenigen, die sich mit rechnergestützter Biologie befassen. Ich werde diesen Herbst einen Kurs über Bioinformatik belegen. Das Problem ist jedoch, dass ich zu wenig Hintergrundwissen in Biologie und Chemie habe, um mich auf diesen Zyklus von Lektionen vorbereitet zu fühlen...
Laut dem Wikipedia-Artikel über Polynom-Zeit-Approximationsschemata : Alle Probleme in FPTAS sind mit festen Parametern nachvollziehbar. Dieses Ergebnis überrascht mich - diese Klassen scheinen sich völlig zu unterscheiden. FPTAS charakterisiert Probleme dadurch, wie einfach sie zu approximieren...
Jeder kennt "Garey & Johnson", auf das ich mich immer dann beziehe, wenn ich ein Problem für die Transformation eines NP-Härtebeweises benötige. In letzter Zeit benötige ich jedoch einen APX-Härtebeweis und frage mich, ob es eine ähnliche (und aktuellere ..?) Sammlung von Problemen gibt, die...
Bei der Arbeit wurde ich beauftragt, einige Typinformationen über eine dynamische Sprache abzuleiten. Ich schreibe Folgen von Anweisungen in verschachtelte letAusdrücke um, wie folgt: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
Ich frage mich, ob es -harte Probleme gibt, die im Durchschnitt "polynomisch" sind. Ich denke, es gibt zwei Möglichkeiten, dies zu interpretieren.NPNPNP Wenn , kann es einen Algorithmus geben, der ein N P -hartes Problem mit einer amortisierten (Durchschnittsfall) Laufzeit von O ( n k ) für eine...
Können Sie mir einige Vorschläge für ein gutes einführendes (aber umfassendes) Buch über Logik und Berechnung geben? Einige unscharfe Themen, an die ich denke, sind: Presburger Artihm., PA, ZF, ZFC, HOL Mengenlehre, Typentheorie Modellierungsberechnung (Turingmaschinen) in verschiedenen Theorien...
Geschlossen . Diese Frage basiert auf Meinungen . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage, damit sie durch Bearbeiten dieses Beitrags mit Fakten und Zitaten beantwortet werden kann . Geschlossen vor 4 Jahren . Ich bin ein Trottel...
Möchten Sie diesen Beitrag verbessern? Geben Sie detaillierte Antworten auf diese Frage, einschließlich Zitaten und einer Erklärung, warum Ihre Antwort richtig ist. Antworten ohne ausreichende Details können bearbeitet oder gelöscht werden. Ich wurde beauftragt, eine Bibliothek mit Büchern über...
Mir wurde gesagt, dass Quantencomputer nicht rechnerisch leistungsfähiger sind als Turing-Maschinen. Könnte jemand freundlich helfen, einige Literaturhinweise zu geben, die diese Tatsache
Ich brauche eine präzise Definition des "Zustands eines Objekts" in der objektorientierten Programmierung (für eine Arbeit). Etwa einen halben Tag lang suchte ich nach einem Artikel, den ich zu diesem Thema zitieren kann, aber ich konnte keinen finden. Alle Papiere, die ich gefunden habe, waren...
Gibt es ein Tool zum Prototyping einer Programmiersprachen-Semantik und eines Typsystems, das auch eine Art Modellprüfung von Standardeigenschaften wie der Typensicherheit ermöglicht? Ich frage dies, weil ich ein Buch über Legierung lese und es genau die Funktionalität bietet, die ich möchte, aber...