Theoretische Informatik

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

1
Wer hat zuerst vorgeschlagen, mit dem Monte-Carlo-Algorithmus
Ich bin sicher, dass jeder von Buffons Nadelexperiment im 18. Jahrhundert weiß , das ist einer der ersten probabilistischen Algorithmen, die berechnen .ππ\pi Die Implementierung des Algorithmus in Computern erfordert normalerweise die Verwendung von oder einer trigonometrischen Funktion, die, selbst wenn sie als verkürzte Reihe implementiert werden, den Zweck irgendwie …
6
Kann man nach einer Exkursion zu einem nicht forschenden Industriejob zu einem TCS-Forschungsjob zurückkehren?
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 Nicht-Forschungsjob in der Branche eine Einbahnstraße ist. …
3
in
Die Untersuchung der prägnanten Darstellung von Graphen wurde von Galperin und Wigderson in einem Artikel von 1983 initiiert , in dem sie nachweisen, dass für viele einfache Probleme wie das Finden eines Dreiecks in einem Graphen die entsprechende prägnante Version in vollständig ist. Papadimitriou und Yanakkakis forcieren diese Forschungslinie und …
2
Was sind die Konsequenzen von
Shiva Kintali hat gerade eine (cool!) Angekündigt führen , dass Graphisomorphie für beschränkte Baumweite Graphen der Breite heißt -hard⊕ L≥ 4≥4\geq 4⊕ L⊕L\oplus L . Informell ist meine Frage: "Wie schwer ist das?" Wir wissen, dass ungleichmäßig ist , siehe die Antworten auf diese Frage . Wir wissen auch, dass …
2
Maximal / Maximum unabhängige Sätze
Gibt es etwas über die Klasse der Graphen mit der Eigenschaft, dass alle maximalen unabhängigen Mengen dieselbe Kardinalität haben und daher maximale ISs sind? Nehmen Sie zum Beispiel eine Menge von Punkten in der Ebene und betrachten Sie das Diagramm der Schnittpunkte zwischen allen Segmenten zwischen Punktpaaren in der Menge. …
4
Wie finde ich die Zyklen, die zusammen die meisten nicht gemeinsam genutzten Kanten in einem gerichteten Graphen beinhalten?
Ich bin kein Theoretiker der Informatik, aber denke, dass dieses Problem der realen Welt hierher gehört. Das Problem Meine Firma hat mehrere Einheiten im ganzen Land. Wir haben den Mitarbeitern die Möglichkeit geboten, an einer anderen Einheit zu arbeiten. Aber es gibt eine Bedingung: Die Gesamtzahl der Arbeiter in einer …
4
Fehlende Wikipedia-Artikel
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 kann. Update 02.05.2017 : Shuchi Chawla bemüht …
5
Dauerhafte Fehler in der Informatik
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 als auch der Fermat-Satz dramatische …
4
Gibt es ein nicht Turing-vollständiges Berechnungsmodell, dessen Stopp-Problem nicht zu entscheiden ist?
Ich kann mir kein solches Modell vorstellen, vielleicht irgendeine Form von typisierter Lambda-Rechnung? ein elementarer zellularer Automat? Dies würde Wolframs "Prinzip der rechnerischen Äquivalenz" beinahe widerlegen: Fast alle Prozesse, die nicht offensichtlich einfach sind, können als Berechnungen von gleicher Komplexität angesehen werden
4
Kompendium der besten Näherungs- und Härteergebnisse für NP-Optimierungsprobleme
Kennen Sie ein aktuelles Wiki, das sich mit NP-Optimierungsproblemen befasst und deren bestes Näherungs- und Härteergebnis liefert? Aufgrund des Feedbacks scheint es sicher zu sein, dass es keine solche Ressource gibt (siehe das Ende dieser Frage für zwei nahe Optionen). - hinzugefügt am 8. Februar. Da in den letzten zwei …
3
Zwischenprobleme zwischen L und NL
Es ist bekannt , dass gerichtet st-Konnektivität ist NLNLNL -komplette. Das bahnbrechende Ergebnis von Reingold zeigte, dass die ungerichtete st-Konnektivität in . Es ist bekannt, dass planar gerichtete st-Konnektivität in . Cho und Huynh definierten ein parametrisiertes Rucksackproblem und zeigten eine Hierarchie von Problemen zwischen und .U L ∩ c …
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.