Ich glaube, ich habe zu viele ehrgeizige AdRR- Papiere gelesen . Das Problem ist, dass diese Artikel nicht von Experten begutachtet werden, sondern oft interessant klingen und grundlegende Plausibilitätsprüfungen bestehen. Oder vielleicht auch nicht, und ich muss nur meine Plausibilitätsprüfungen...
Ich suche ein Buch über fortgeschrittene Datenstrukturen, das über das hinausgeht, was in Standardlehrbüchern wie Cormen, Leiserson, Rivest und Steins "Introduction to Algorithms" behandelt wird. Ein Buch , das für den Unterricht einen Diplom - Level - Kurs auf erweiterte Datenstrukturen wie Erik...
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...
Nach dem, was ich verstehe (was sehr wenig ist, bitte korrigieren Sie mich, wo ich mich irre!), Beschäftigt sich die Theorie der Programmiersprachen oft mit "intuitionistischen" Beweisen. Nach meiner eigenen Interpretation müssen wir die Konsequenzen der Berechnung für Logik und Beweisbarkeit ernst...
Schauen wir uns die Zukunft in 30 Jahren an. Seien wir optimistisch und gehen wir davon aus, dass sich die Bereiche des maschinellen Lernens so schnell weiterentwickeln wie in den letzten 10 Jahren. Das wäre großartig, aber welche Rolle spielt dann die traditionelle Algorithmik in einer solchen...
Aus heutiger Sicht passt diese Frage nicht zu unserem Q & A-Format. Wir erwarten, dass die Antworten durch Fakten, Referenzen oder Fachwissen gestützt werden, aber diese Frage wird wahrscheinlich Debatten, Argumente, Abstimmungen oder erweiterte Diskussionen hervorrufen. Wenn Sie der Meinung...
Ich habe mich gefragt, welche Tools die Leute auf diesem Gebiet (theoretische Informatik) verwenden, um Präsentationen zu erstellen. Da ein Großteil der Informatik nicht nur Artikel schreibt, sondern auch Präsentationen hält, dachte ich, dass dies eine wichtige weiche Frage sein würde. Dies ist...
Ich lehne kürzlich meine Arbeiten aus Zeitschriften (dh TALG) ab, nur weil es keinen signifikanten Unterschied zwischen der Journal- und der Proceedings-Version (dh SODA-Version) gibt. Der Hauptgrund für mich, eine Zeitschrift einzureichen, ist der gründliche Überprüfungsprozess. Abgesehen davon...
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...
In der Arbeit "Die Komplexität von Zufriedenheitsproblemen" von Thomas J. Schaefer hat der Autor darauf hingewiesen This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the...
Hier geht es darum, wie effektiv wir einen Algorithmus zur Hand ausdrücken können. Ich brauche das für meine Grundausbildung. Ich verstehe, dass es keine Standardmethode zum Schreiben eines Pseudocodes gibt. Unterschiedliche Autoren folgen unterschiedlichen Konventionen. Es wäre hilfreich, wenn die...
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
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...
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...
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...
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...
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...
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....
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 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...