Theoretische Informatik

Fragen und Antworten für theoretische Informatiker und Forscher in verwandten Bereichen

9
Leistungsstarke Algorithmen, deren Implementierung zu komplex ist
Was sind Algorithmen von legitimem Nutzen, die einfach zu komplex sind, um sie zu implementieren? Lassen Sie mich klar sein: Ich suche nicht nach Algorithmen wie dem aktuellen asymptotischen optimalen Matrixmultiplikationsalgorithmus (Coppersmith-Winograd), der sinnvoll zu implementieren ist, aber eine Konstante hat, die es in der Praxis unbrauchbar macht. Ich bin …
13
Verwendung algebraischer Strukturen in der theoretischen Informatik
Ich bin ein Software-Praktiker und schreibe eine Umfrage zu algebraischen Strukturen für die persönliche Forschung. Ich versuche Beispiele zu liefern, wie diese Strukturen in der theoretischen Informatik (und in geringerem Maße in anderen Teilbereichen der Informatik) verwendet werden. . In der Gruppentheorie bin ich auf syntaktische Monoide für formale Sprachen …
7
Welche interessanten Sätze in TCS stützen sich auf das Axiom of Choice? (Oder alternativ das Axiom of Determinacy?)
Mathematiker sorgen sich manchmal um das Axiom of Choice (AC) und das Axiom of Determinancy (AD). Axiom of Choice : Bei einer gegebenen Sammlung nicht leerer Mengen gibt es eine Funktion f , die bei gegebener Menge S in C ein Mitglied von S zurückgibt .CC{\cal C}fffSSSCC{\cal C}SSS Axiom of …
7
Sind
Derzeit ist die Lösung eines -kompletten Problems oder eines P S P A C E -kompletten Problems im allgemeinen Fall für große Eingaben nicht möglich. Beide sind jedoch in Exponentialzeit und Polynomraum lösbar.NPNPNPPSPACEPSPEINCEPSPACE Macht es für uns einen Unterschied, ob ein Problem -complete oder P S P A C E …
1
Mehr zu PH in PP?
Eine kürzlich von Huck Bennett gestellte Frage, ob die Klasse PH in der Klasse PP enthalten ist, erhielt etwas widersprüchliche Antworten (alles scheint wahr zu sein). Einerseits wurden mehrere Orakelergebnisse für das Gegenteil angegeben, und andererseits schlug Scott vor, dass die Antwort wahrscheinlich positiv ist, da Todas Theorem zeigt, dass …
11
Gemeinsame falsche Überzeugungen in der theoretischen Informatik
BEARBEITEN AM 12.10.08: Ich werde versuchen, die Frage so zu ändern, dass möglicherweise mehr Menschen daran interessiert sind, ihre Meinung mitzuteilen. Wir brauchen Ihre Beiträge! Dieser Beitrag ist inspiriert von dem Beitrag in MO: Beispiele für verbreitete falsche Vorstellungen in der Mathematik . Große Listen generieren manchmal eine enorme Anzahl …
3
Wie referiere ich eine Arbeit?
Unten aktualisiert Wir alle kennen die entscheidende Bedeutung von Peer-Review. Es ist die Hauptform der Qualitätskontrolle und des Feedbacks zur Forschung. Für einen Nachwuchsforscher (wie mich) kann dies jedoch manchmal ein verwirrendes System / Prozess sein. Dementsprechend gibt es mehrere Abhandlungen zum wissenschaftlichen Schiedsgerichtsverfahren, die als Orientierungshilfe dienen. Zwei (sehr …
30
Kleine Schritte für bessere TCS-Konferenzen?
Wenn wir an TCS-Konferenzen teilnehmen, bemerken wir oft einige kleine Details, für die wir uns die Organisatoren der Konferenz gewünscht hätten. Und wenn wir Konferenzen organisieren, haben wir es bereits vergessen. Daher die Frage: Welche kleinen Schritte könnten wir leicht unternehmen, um TCS-Konferenzen zu verbessern ? Wir hoffen, dass diese …
17
Anwendungen von TCS in der klassischen Mathematik?
Wir in TCS verwenden häufig leistungsstarke Ergebnisse und Ideen aus der klassischen Mathematik (Algebra, Topologie, Analyse, Geometrie usw.). Was sind einige Beispiele dafür, wann es umgekehrt gegangen ist? Hier sind einige, die ich kenne (und die auch einen Vorgeschmack auf die Art der Ergebnisse geben sollen, nach denen ich frage): …
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.