Als «soft-question» getaggte Fragen

Eine weiche Frage ist eine (möglicherweise subjektive) Frage zum Bereich der theoretischen Informatik und keine Frage zur theoretischen Informatik.

2
Tipps zur Teilnahme an meiner ersten TCS-Konferenz
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 an seiner ersten Konferenz teilnimmt, und …
6
Warum sollte ein TCS-Forscher eine Finanzierung benötigen?
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, Handelsinstrumente sind Papiere, Stifte, ein Laptop mit …
1
Beweis Widerlegung: Amateur Bewertungen von ehrgeizigen AdRR-Papieren
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 verbessern. Hier ist ein aktuelles Beispiel für solche Papiere: Einzigartigkeitsbäume: …
4
Handbuch fortgeschrittener Datenstrukturen
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 Demaine und André Schulz verwendet werden können …
13
Komplexe Analyse in der theoretischen Informatik
Es gibt viele Anwendungen der realen Analyse in der theoretischen Informatik, die Eigenschaftsprüfung, Kommunikationskomplexität, PAC-Lernen und viele andere Forschungsbereiche abdecken. Ich kann mir jedoch kein Ergebnis in TCS vorstellen, das auf einer komplexen Analyse beruht (außerhalb des Quantencomputers, wo komplexe Zahlen im Modell eine Rolle spielen). Hat jemand ein Beispiel …
4
Wann kümmert sich Theoretische CS um intuitionistische Beweise?
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 nehmen . Ein Beweis kann nur existieren, wenn …
1
Erforderliches Delta zwischen Verfahrens- und Journalversion
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 ist das 20-Seiten-Limit von SODA mehr als genug für alles, was ich …
1
Schwerwiegende Fehler in akzeptierten FOCS / STOC-Papieren [geschlossen]
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 sind, dass diese Frage verbessert und möglicherweise erneut geöffnet werden …
16
Mit welchen Tools halten Sie Präsentationen?
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 inspiriert von der vorherigen Frage, mit welchen …
5
Neugierig auf computergestützte NP-Vollständigkeitsnachweise
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 relational complexity could be explored with the help of a computer. …
3
Gute Praktiken zum Schreiben von Algorithmen
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 Leute hier darauf hinweisen würden, wie sie vorgehen und das …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.