Computerwissenschaften reference-request

2

Referenzanforderung: Kategorietheorie, wie sie für Typsysteme gilt

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 hatte. …

13 reference-request programming-languages type-theory category-theory

4

Wurde das Graph-Isomorphismus-Problem gelöst?

Wikipedia's Graph Isomorphism Problem Seite scheint darauf hinzudeuten, dass es nicht gelöst wurde. Ein Freund von mir wies jedoch auf einen polynomialen Zeitalgorithmus für den Graphisomorphismus hin . Ich bin nicht raffiniert genug, um der Argumentation in der Zeitung zu folgen. Ich habe meinen eigenen sehr groben Versuch mit einem …

13 complexity-theory reference-request time-complexity graph-isomorphism

4

Brückensätze für Gruppentheorie und formale Sprachen

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 zwischen Halbgruppen und CS-Sprachen bekannt ist (nämlich über …

13 formal-languages reference-request automata discrete-mathematics group-theory

3

Woher stammt das Client-Server-Modell?

Ich habe mich gefragt, ob jemand den Ursprung des Client-Server-Modells kennt. Woher kommt der Begriff (Papier, Softwareanwendung, Buch)?

13 terminology reference-request distributed-systems history

2

Entscheidbare Einschränkungen des Post Correspondence Problems

Das Post Correspondence Problem (PCP) ist nicht zu entscheiden. Die beschränkte Version des PCP ist -vollständig und die markierte Version des PCP (die Wörter einer der beiden Listen müssen sich im ersten Buchstaben unterscheiden) ist in P S P A CN PNP\mathrm{NP} [1].P S P A C EPSPEINCE\mathrm{PSPACE} Werden diese …

13 complexity-theory computability reference-request

1

Was nützt es, eine Mindestanzahl von geraden Linien zu finden, um eine Reihe von Punkten abzudecken?

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 zu lösen? …

12 reference-request computational-geometry applied-theory

1

Welches NP-Complete-Problem hat den schnellsten bekannten Algorithmus?

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 ?O(n2∗2n)O(n2∗2n)O(n^2*2^n)

12 algorithms reference-request np-complete

3

Multicore-SAT-Löser

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 meinen Fall nennen? Ich …

12 algorithms reference-request parallel-computing sat-solvers

2

Gibt es eine formale CS-Definition von VCS- und Dateiversionen?

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 Informatiktheorie …

12 terminology reference-request

2

Wie komplex ist das Leereproblem bei 2-Wege-DFAs?

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. Ich habe staatliche Komplexität für ihre Komplemente und Schnittpunkte gefunden, …

12 complexity-theory formal-languages reference-request automata finite-automata

1

Prototyping-Tool für Programmiersprachen-Semantik

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 für Modelle, die mit relationaler Logik ausgedrückt werden. …

11 reference-request programming-languages semantics model-checking

1

Kann ein NP-hartes Problem im Durchschnitt polynomisch sein?

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 Konstante k …

11 complexity-theory reference-request np-complete probabilistic-algorithms amortized-analysis

3

Einführungsbuch über Logik und Berechnung

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 Verknüpfungen mit rechnerischer Komplexität (FMT, beschreibende Komplexität)

11 reference-request logic books

1

Warum sind alle Probleme in FPTAS auch in FPT?

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 sind, während FPT Probleme durch ihre Schwierigkeit relativ zu bestimmten Parametern charakterisiert. Leider bietet …

11 complexity-theory reference-request approximation parameterized-complexity

2

Auftragsplanung mit Engpassproblem

Bei Jobs J 1 , J 2 , . . . , J n , jeder Job benötigt T i > 0 , T i ∈ N Zeit, um abgeschlossen zu werden.nnnJ1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_nTi>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N Jeder Auftrag muss von einer einzelnen Maschine M vor- und nachbearbeitet werden, die …

11 complexity-theory reference-request scheduling

Als «reference-request» getaggte Fragen