Als «survey» getaggte Fragen

14
Wo und wie haben Computer geholfen, einen Satz zu beweisen?
Ziel dieser Frage ist es, Beispiele aus der theoretischen Informatik zu sammeln, bei denen der systematische Einsatz von Computern hilfreich war beim Aufbau einer Vermutung, die zu einem Theorem führt, eine Vermutung oder einen Beweisansatz fälschen, Konstruktion / Überprüfung (von Teilen) eines Beweises. Wenn Sie ein bestimmtes Beispiel haben, beschreiben …
1
Voraussetzung für das Erlernen von GCT
Es scheint, dass die Theorie der geometrischen Komplexität viel Wissen über reine Mathematik wie algebraische Geometrie und Darstellungstheorie erfordert. Während ich ein CS-Student bin und KEINEN sehr abstrakten und reinen Mathematikunterricht habe, interessiere ich mich für dieses Programm. Gibt es eine Liste mit "Mindestkenntnissen" zum Erlernen dieser Theorie? Diese Liste …
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 …
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 …
4
Rechenkomplexität in der quantitativen Finanzierung
Es ist schwer, den Aktienmarkt vorherzusagen! Kann TCS dieses Gefühl formeller machen? Vor kurzem habe ich angefangen, ein wenig über Finanzen nachzudenken, und mich gefragt, wie Kenntnisse über TCS helfen könnten. Hedge-Fonds und Wertpapierfirmen scheinen ständig algorithmischen Handel, maschinelles Lernen und KI zu verwenden, aber TCS-Ergebnisse scheinen gering zu sein. …
1
Ausreichende Voraussetzungen für die Ordnungsmäßigkeit einer kontextfreien Sprache
Es wäre schön, eine Liste von Bedingungen zu sammeln, die implizieren, dass eine kontextfreie Sprache L regulär ist, dh Bedingungen der Form: "Wenn ein gegebenes CFG / PDA die Eigenschaft P hat, dann sind seine Sprachen regulär". Die Eigenschaft P muss die CFGs, die reguläre Sprachen erzeugen, nicht charakterisieren. Außerdem …
2
Gibt es eine Übersicht über die Semantik verschiedener Programmiersprachenfunktionen?
Gibt es eine Übersicht (aus Papier, Buchkapitel, Tutorial, Links, ...) über die Semantik verschiedener Programmiersprachenfunktionen? Ich war ursprünglich überwältigt von den Funktionen von D hier http://www.digitalmars.com/d/2.0/comparison.html Ich würde gerne sehen, was ich möglicherweise von hier bekommen könnte, obwohl ich eine ähnliche Frage zum Stackoverflow gestellt habe und verstanden habe, dass …
7
Handbuch fortgeschrittener Algorithmen
Ich suche nach Ressourcen (vorzugsweise einem Handbuch) zu fortgeschrittenen Themen in Algorithmen (Themen, die über das hinausgehen, was in Algorithmenlehrbüchern wie CLRS und DPV behandelt wird). Die Art von Material, das zum Unterrichten von Themen im Algorithmuskurs wie Erik Demaine und David Kargers Kurs für fortgeschrittene Algorithmen verwendet werden kann …
1
Eine Umfrage zu Separatoren?
Inzwischen gibt es Berge von Ergebnissen zu Trennzeichen in Diagrammen, von planaren Trennzeichen, Baumtrennzeichen, Diagrammen mit begrenzter Baumbreite, Diagrammen mit begrenzter Gattung usw. usw. usw. Gibt es eine gute aktualisierte Umfrage zu diesem Thema und ihren Anwendungen?
4
Anwendungen von
Gibt es konkrete (oder reichhaltige) Beispiele für die Anwendung von adischen Zahlen in der Informatik?ppp
11 survey 
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.