Das Betrachten von Fragen durch die algorithmische Linse (dh aus algorithmischer oder komplexer Sicht) hat sich in Disziplinen außerhalb des "Standardbereichs" der Informatik als nützlich erwiesen. Insbesondere hat CS durch Computational Biology (Biologie), durch Quanteninformationsverarbeitung...
Ich bin neu im CS-Bereich und habe festgestellt, dass es in vielen der von mir gelesenen Artikel keine empirischen Ergebnisse gibt (kein Code, nur Lemmata und Beweise). Warum das? Wenn man bedenkt, dass Informatik eine Wissenschaft ist, sollte sie nicht der wissenschaftlichen Methode...
Samuel Eilenberg versprach im Vorwort zu seinen sehr einflussreichen Büchern Automaten, Sprachen und Maschinen (Bände A, B) auf spannende Weise die Bände C und D, die sich mit "einer Hierarchie (genannt rationale Hierarchie) der nichtrationalen Phänomene ... unter Verwendung rationaler Beziehungen...
Viele Experten glauben, dass die Vermutung wahr ist, und verwenden sie für ihre Ergebnisse. Meine Sorge ist, dass die Komplexität stark von der P ≠ N P- Vermutung abhängt .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Meine Frage lautet also: Kann / sollte man die...
Traut sich jemand zu klären, in welchem Verhältnis diese Fachrichtungen zueinander stehen, oder gibt er vielleicht auf der Ebene der Probleme eine konkretere Antwort? Wie welche beinhaltet welche unter der Annahme einiger weithin akzeptierter Formulierungen. Wenn ich das richtig verstanden habe,...
Kürzlich erwähnte ein Freund von mir (der in TCS arbeitet) in einem Gespräch, dass "er alle (oder so viel wie möglich) der schönen Ergebnisse in TCS in seinem Leben sehen / kennen wollte". Diese Art hat mich über die schönen Ergebnisse in diesem Bereich und damit die Motivation für die folgende...
Präsentation jetzt gegeben. Folien unten verfügbar. Das Präsentieren von Work-in-Progress ist etwas, das wir alle tun sollten, um frühzeitig Feedback zu erhalten und unsere Ideen zu kristallisieren. Leider brauchen viele Doktoranden Hilfe, um diese Hürde der Präsentation früher Forschung zu...
Ich lerne gerade Haskell und Programmiersprachen. Könnte jemand ein paar Bücher über Typentheorie
Als Software-Ingenieur habe ich fast mein ganzes Leben lang keine Ahnung, wie ich anfangen soll, eine "akademische" Art von Arbeit zu veröffentlichen. Während meiner letzten Recherchen habe ich einen interessanten Algorithmus für die Aufgabe gefunden, die ich gelöst habe (im Zusammenhang mit...
Abgesehen von ACM, IEEE Computer Society und Google Scholar ist dies die beste Website, um bibtex-Einträge für Artikel in Bezug auf Informatik zu
Es tut mir leid, wenn diese Frage etwas vage ist, aber ich bin gespannt, wie erfolgreich Forscher ein "Gefühl" für die Ergebnisse in TCS bekommen. Beispielsweise kann die lineare Algebra geometrisch oder hinsichtlich ihrer physikalischen Interpretation (Eigenvektoren können als "stabile Punkte" in...
Ich habe von einigen hochrangigen Forschern in der theoretischen Informatik gehört, dass die Arbeit in einem nicht forschenden Industrieberuf, auch nur für ein paar Jahre, Ihre Karriere als TCS-Forscher töten wird. Ich bin jedoch der Behauptung misstrauisch, dass der Weg vom TCS-Forscher zum...
Dies ist meine erste Frage auf dem Cstheory-Stapel, sei also nicht zu unhöflich, wenn ich irgendwie gegen die Etikette verstoße. Wie wir wissen, machen in der Mathematik sogar berühmte Mathematiker, Superstars und Genies von Zeit zu Zeit schwere Fehler. Zum Beispiel liefern sowohl der 4-Farben-Satz...
Zu welchen fehlenden TCS-Themen auf Wikipedia möchten Sie am liebsten einen Artikel haben? Sie können auffällige Auslassungen sein oder nur Themen, von denen Sie denken, dass sie wirklich einen Artikel enthalten sollten. Bitte ein Thema pro Antwort, damit über die meistgesuchten abgestimmt werden...
Ich werde an meiner ersten Konferenz über Informatik teilnehmen und nachdem ich die Ratschläge zur Verbesserung von Konferenzen gelesen hatte , stellte ich fest, dass einige Vorschläge über Studenten kamen, die an ihrer ersten Konferenz teilnahmen. Welchen Rat haben Sie für einen Doktoranden, der...
Ich habe kürzlich Expander unterrichtet und den Begriff der Ramanujan-Graphen eingeführt. Michael Forbes fragte, warum sie so heißen und ich musste zugeben, dass ich es nicht weiß.
Ich hoffe, dass dies keine politisch inkorrekte Frage ist, aber für einen Doktoranden, der normalerweise bei CCC / ITCS / ICALP (und gelegentlich bei FOCS / STOC) publiziert, könnte es schädlich sein (karrierebedingt), weniger bedeutende Werke in zu publizieren weniger angesehene Konferenzen (zB...
Ich lese diese . Es sagt ... Sie werden nicht so hungrig nach Geldern wie Pure Mathematics sein. (Sie werden immer noch hungern nach Geld.) ... Warum brauchen reine Mathematiker finanzielle Unterstützung? Warum sollte jemand, der theoretische Forschung betreibt, Finanzmittel benötigen? Ich denke,...
Abgesehen davon, dass Sie eine akademische Ausbildung absolvieren, promovieren oder einen mehr oder weniger „normalen“ Job in der Softwareentwicklung anstreben, gibt es einige andere Karrieremöglichkeiten im voll- oder halbtheoretischen
In seiner Antwort auf diese Frage , Stephane Gimenez wies mich auf eine Normalisierungsalgorithmus Polynom-Zeit für Beweise in linearer Logik. Der Proof in Girards Papier verwendet Proof-Netze, die ein Aspekt der linearen Logik sind, über den ich eigentlich nicht viel weiß. Jetzt habe ich bereits...