Theoretische Informatik

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

7
Feste Anwendungen der Kategorietheorie in TCS?
Ich habe ein paar Teile der Kategorietheorie gelernt. Es ist sicherlich eine andere Sichtweise. (Sehr grobe Zusammenfassung für diejenigen, die es nicht gesehen haben: Die Kategorietheorie bietet die Möglichkeit, alle Arten von mathematischem Verhalten ausschließlich in Bezug auf funktionale Beziehungen zwischen Objekten auszudrücken. Beispielsweise werden Dinge wie das kartesische Produkt …
5
Liste der TCS-Konferenzen und Workshops
Ich möchte um Hilfe bei der Zusammenstellung einer Liste mit möglichst vielen TCS-bezogenen Konferenzen und Workshops bitten. Meine Hauptmotivation dafür ist es, eine mögliche Blog-Berichterstattung über mehr theoretische Veranstaltungsorte zu planen - Korrespondenten zu finden, die an diesen Veranstaltungen teilnehmen und bereit wären, kurze oder ausführliche Blogeinträge über die Veranstaltungen …
30
Lustige TCS-bezogene Papiere etc?
Was ist das lustigste veröffentlichte Werk zum Thema TCS, das Sie kennen? Bitte geben Sie nur diejenigen an, die lustig sein sollen. Es werden Werke bevorzugt, die explizit so gestaltet sind, dass sie auf intelligente Weise humorvoll sind (und nicht etwa eine veröffentlichte Sammlung von kurzen Witzen in Bezug auf …
14
Was für ein mathematischer Hintergrund wird für die Komplexitätstheorie benötigt?
Ich bin derzeit ein Student im Grundstudium, der in diesem Jahr seinen Abschluss machen muss. Nach dem Abschluss überlege ich, auf einen TCS-Master / PhD hinzuarbeiten. Ich habe mich gefragt, welche Bereiche der Mathematik für das TCS hilfreich sind, insbesondere die (klassische) Komplexitätstheorie. Welche Bereiche halten Sie für unerlässlich, wenn …
7
Wie würde ein sehr einfaches Quantenprogramm aussehen?
Angesichts der Ankündigung des weltweit ersten programmierbaren quantenphotonischen Chips habe ich mich gefragt, wie Software für einen Computer mit Quantenverschränkung aussehen würde. Eines der ersten Programme, das ich jemals geschrieben habe, war so etwas wie for i = 1 to 10 print i next i Kann jemand ein Beispiel für …
8
Sind Forschungsarbeiten schwer zu lesen?
Diese Frage passt vielleicht nicht hierher, aber ich konnte keinen besseren Ort finden (es war in SO geschlossen). Ich finde Forschungsarbeiten zur Informatik schwer zu verstehen. Natürlich sind die Themen kompliziert. Aber wenn ich ein Papier in der Regel verstanden habe, kann ich es jemandem in einfacheren Worten erzählen und …
5
Techniken zum Umkehren der Reihenfolge von Quantifizierern
Es ist allgemein bekannt, dass die Reihenfolge der universellen und existentiellen Quantifizierer nicht umgekehrt werden kann. Mit anderen Worten, für ein allgemeines logisches Formel ,ϕ(⋅,⋅)ϕ(⋅,⋅)\phi(\cdot,\cdot) (∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(\forall x)(\exists y) \phi(x,y) \quad \not\Leftrightarrow \quad (\exists y)(\forall x) \phi(x,y) Andererseits wissen wir, dass die rechte Seite restriktiver ist als die linke Seite; das …
2
Was ist die tatsächliche zeitliche Komplexität der Gaußschen Eliminierung?
In einer Antwort auf eine frühere Frage erwähnte ich die verbreitete, aber falsche Annahme, dass die „Gaußsche“ Eliminierung in Zeit abläuft . Während es offensichtlich ist, dass der Algorithmus -Arithmetikoperationen verwendet, kann eine unachtsame Implementierung Zahlen mit exponentiell vielen Bits erzeugen. Nehmen wir als einfaches Beispiel an, wir möchten die …
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.