Ich möchte eine Umfrage zu den Anwendungen der Topologie in der Informatik schreiben. Ich habe vor, die Geschichte der topologischen Ideen in der Informatik zu behandeln und auch einige aktuelle Entwicklungen aufzuzeigen. Es wäre äußerst hilfreich, wenn jemand Beiträge zu den folgenden Fragen...
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...
Ich schreibe gerade eine Umfrage zu Hierarchietheoremen über TCS. Auf der Suche nach verwandten Arbeiten habe ich festgestellt, dass Hierarchie nicht nur in FHM und Mathematik, sondern in zahlreichen Wissenschaften, von Theologie und Soziologie bis Biologie und Chemie, ein grundlegendes Konzept...
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...
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...
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...
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,...
Ist die automatische Beweis- und Beweisrecherche für Theoreme in linearen und anderen aussagenbezogenen substrukturellen Logiken, denen die Kontraktion fehlt, einfacher? Wo kann ich mehr über das automatische Beweisen von Theoremen in diesen Logiken und die Rolle der Kontraktion bei der Beweissuche...
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,...
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...
Sei eine Boolesche Funktion mit der Empfindlichkeit s ( f ) und der Blockempfindlichkeit b s ( f ) .fffs(f)s(f)s(f)bs(f)bs(f)bs(f) Die Empfindlichkeit-Block - Empfindlichkeit Vermutung Vermutung besagt , dass es a , so dass ∀ f , b s ( f ) ≤ s ( f ) c
Ich wurde kürzlich an das vs. , wie es von Stephen A. Cook am Clay Mathematics Institute erklärt wurde.PP\mathsf{P}NPNP\mathsf{NP} Es hat mein Interesse geweckt und ich würde gerne mehr darüber erfahren. Der erste Schritt wäre ein tieferes Verständnis des Problems und des Gebiets im Allgemeinen....
Gibt es konkrete (oder reichhaltige) Beispiele für die Anwendung von adischen Zahlen in der
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
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...
Ich habe Les Valiants wegweisendes Papier durchgesehen und hatte es mit Proposition 4.3 auf Seite 10 des Papiers schwer. Ich kann nicht verstehen, warum es einen Generator mit bestimmten Werten für mit einer Basis { ( a 1 , b 1 ) … ( a r , b r ) } gibt , dann gibt es einen Generator mit demselben v...
Ich möchte etwas über Network Coding lernen: http://en.wikipedia.org/wiki/Network_coding Kennen Sie eine gute Umfrage (z. B. aus IEEE-Umfragen und -Tutorials) zu den oben genannten Themen? Ich habe einige Universitätskurse bei Google gefunden, aber ich hätte gerne Empfehlungen von Leuten, die...
Ich suche nach online verfügbaren Vorlesungsskripten oder anderen Ressourcen, die eine gute Einführung in die parallele Programmierung bieten, genau wie das parallele Analogon der Grundkurse in der Informatik. Mein Fokus liegt auf Folgendem: Während ich über Divide & Conquer, gierige...
Die einfachsten Darstellungen für Diagramme verwenden Adjazenzmatrizen / -listen, was bedeutet, dass jeder Knoten und jede Kante explizit dargestellt wird. Die Bedeutung impliziter Darstellungen für Diagramme mit starken Regelmäßigkeiten ist seit langem bekannt. Zum Beispiel untersuchten Galperin...
Vor kurzem habe ich eine anständige Anzahl von CoLT-Artikeln gelesen. Obwohl ich nicht mit den einzelnen Arbeiten zu kämpfen habe (zumindest nicht mehr als ich normalerweise mit anderen theoretischen Arbeiten zu kämpfen habe), habe ich nicht das Gefühl, dass ich das gesamte Gebiet gut verstehe....