Ich habe Schwierigkeiten, das Konzept berechenbarer Funktionen zu vermitteln. Ich versuchte die Idee zu entwickeln, warum Forscher wie Hilbert / Ackermann / Godel / Turing / Church / ... den Begriff der "Berechenbarkeit" erfanden. Die Schüler fragten sofort: "Was bedeutet Berechenbarkeit?" und ich kann nur antworten, wenn ich ihnen Turing-Maschinen …
Ich schreibe Artikel in theoretischer Informatik und bin manchmal ein nicht anonymer Einzelautor. Früher habe ich die 1. Person Plural in solchen Papieren verwendet, zB: Wir werden zeigen, dass die Komplexitätsklassen X und Y zusammenfallen. Ich spreche weder Englisch als Muttersprache noch sehr gut Englisch. Kürzlich habe ich von einem …
Ich werde nächstes Semester eine Standard-Grundstudienklasse für Sprachen und Automaten unterrichten und würde es vorziehen, einen legitimen kostenlosen oder kostengünstigen Text zu verwenden. Irgendwelche Vorschläge? Ich liebe den Sipser-Text, aber die neueste Ausgabe kostet 196 US-Dollar, was im Zeitalter der kostenlosen Kurse schwer zu sagen ist.
Ich bin ein Student und habe mich kürzlich mit der Tatsache abgefunden, dass ich möglicherweise nicht den Intellekt habe, um in der theoretischen Informatik zu forschen, oder nicht in der Lage bin, in ein Doktorandenprogramm aufgenommen zu werden und es abzuschließen. Ich würde mich aber trotzdem gerne mit theoretischer Informatik …
Wenn Sie Ergebnisse zusammenstellen, ist es oft wünschenswert, einige professionell aussehende Diagramme zu haben, anstatt Diagramme in MS Paint zusammenzustellen. Was ist der Standard zum Zeichnen von Datenstrukturen?
Ich habe zwei historische Fragen: Wer hat das nicht deterministische Rechnen zuerst beschrieben? Ich weiß, dass Cook NP-vollständige Probleme beschrieb und dass Edmonds vorschlug, dass P-Algorithmen "effiziente" oder "gute" Algorithmen sind. Ich suchte in diesem Wikipedia-Artikel und überflog "Über die rechnerische Komplexität von Algorithmen", fand aber keinen Hinweis darauf, wann …
Die meisten Artikel werden jetzt gemeinsam verfasst, und die Mitarbeiter befinden sich häufig an verschiedenen Orten. Ich habe immer Versionskontrollsysteme für meine Dokumente und meinen Code verwendet und auch die Versionskontrolle als kritisch für kollaborative Softwareprojekte eingestuft, aber es scheint, dass viele Forscher theoretisch davon absehen, gemeinsame Arbeiten zu schreiben. …
Diese Frage ähnelt einer allgemeineren Frage nach dem richtigen theoretischen Modell eines Computers zum Entwerfen von Algorithmen und Datenstrukturen. Ich frage hier speziell nach aktuellen Hochleistungscomputern (wie den als Top 500 aufgelisteten ) oder sogar nach kommende Supercomputer. Angesichts der Tatsache, dass diese Computer in der Regel mit riesigen Datenmengen …
Ich habe eine vernünftige Grundausbildung in Mathematik, war aber noch nie zu 100% mit abstrakter Algebra (der Mathematik von Gruppen, Ringen, Feldern usw.) vertraut. Ich denke, dies war zum Teil so, wie ich es brauchte, um Anwendungen zu sehen, und alle, die ich finden konnte, befanden sich in der Physik, …
Was sind die besten Ressourcen, um Stellenangebote für Fakultätsstellen in der CS-Theorie zu finden? Gibt es eine Website oder eine Mailingliste, die ziemlich umfassend ist? Ich habe derzeit den Eindruck, dass man eine Vielzahl von Ressourcen einsetzen muss, um eine umfassende, weltweite Liste von Stellenangeboten zu erhalten. Ist das der …
Diese aktuelle Frage zur Spieltheorie hat mich zum Nachdenken gebracht (das ist natürlich eine Tangente): Ist es möglich, eine persönliche Strategie zur Auswahl von Forschungsfragen für die Verwendung der Spieltheorie effizient zu optimieren? Um zu einer Formalisierung der Frage zu gelangen, gehe ich von folgenden (informell formulierten) Annahmen aus: Ich …
Mir ist klar, dass dies eine umstrittene Frage sein könnte, aber dies schien der richtige Ort zu sein. Bitte leiten Sie mich weiter, wenn nicht. Der Hintergrund ist, dass ich ein "Praktiker" bin (Doktorand, ich studiere keine CS-Theorie), aber ich habe eine vernünftige Grundlage in Bachelor-Algorithmen und Mathematik. Trotzdem sind …
Ich würde gerne wissen, ob es Vermutungen gegeben hat, die in TCS seit langem nicht mehr bewiesen wurden und die später durch eine Implikation aus einem anderen Theorem bewiesen wurden, was möglicherweise einfacher zu beweisen war.
Der Begriff der Polynomzeitverkürzung (Cook Reductions) ist eine Abstraktion eines sehr intuitiven Konzepts: ein Problem effizient zu lösen, indem ein Algorithmus für ein anderes Problem verwendet wird. In der Theorie der -Vollständigkeit wird der Begriff der -Härte jedoch über Mapping-Reduktionen (Karp-Reduktionen) erfasst. Dieses Konzept der "eingeschränkten" Ermäßigung ist (zumindest für …
Ist es möglich, algorithmisch zu testen, ob eine berechenbare Zahl rational oder ganzzahlig ist? Mit anderen Worten, könnte eine Bibliothek, die berechenbare Zahlen implementiert, die Funktionen bereitstellen, isIntegeroder isRational? Ich vermute, dass es nicht möglich ist und dass dies irgendwie damit zusammenhängt, dass es nicht möglich ist, zu testen, ob …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.