J'aimerais écrire un sondage sur les applications de la topologie en informatique. Je compte couvrir l’histoire des idées topologiques en informatique et souligner quelques développements récents. Il serait extrêmement utile que quiconque puisse donner son avis sur l’une des questions ci-dessous....
Le but de cette question est de recueillir des exemples d'informatique théorique où l'utilisation systématique des ordinateurs était utile. dans la construction d'une conjecture qui mène à un théorème, falsifier une conjecture ou une approche par preuve, construire / vérifier (des parties de) une...
J'écris actuellement une enquête sur les théorèmes de hiérarchie sur le TCS. En recherchant des articles apparentés, j'ai remarqué que la hiérarchie était un concept fondamental non seulement dans les domaines du SDC et des mathématiques, mais également dans de nombreuses sciences, allant de la...
Il semble que la théorie de la complexité géométrique nécessite une connaissance approfondie des mathématiques pures telles que la géométrie algébrique, la théorie de la représentation. Bien que je sois un étudiant en informatique et que je n’ai PAS de cours de mathématiques très abstraites et...
Sur quels sujets TCS manquants sur Wikipédia aimeriez-vous le plus avoir un article? Il peut s'agir d'omissions flagrantes ou simplement de sujets qui, selon vous, devraient vraiment avoir un article. Un sujet par réponse s'il vous plaît afin que les plus recherchés puissent être votés. Mise à jour...
Je suis à la recherche d'un livre sur les structures de données avancées qui va au-delà de ce qui est couvert dans les manuels standard comme Cormen, Leiserson, Rivest et Stein "Introduction to Algorithms". Un livre qui peut être utilisé pour enseigner un cours de niveau supérieur sur les...
Prédire la bourse est difficile! TCS peut-il rendre ce sentiment plus formel? Récemment, j'ai commencé à réfléchir un peu à la finance et je me demandais en quoi la connaissance du TCS pouvait aider. Les fonds spéculatifs et les sociétés d'investissement semblent utiliser le trading algorithmique,...
La démonstration automatique de théorèmes et la recherche de preuves sont-elles plus faciles dans les logiques sous-structurelles linéaires et autres propositions qui manquent de contraction? Où puis-je en savoir plus sur la démonstration automatique du théorème dans ces logiques et le rôle de la...
Il serait intéressant de rassembler une liste de conditions qui impliquent qu'un langage sans contexte L est régulier, c'est-à-dire des conditions de la forme: "si un CFG / PDA donné a la propriété P, alors ses langages sont réguliers" La propriété P n'a pas à caractériser les CFG générant des...
Soit une fonction booléenne de sensibilité s ( f ) et de sensibilité de bloc b s ( f ) .fffs(f)s(f)s(f)bs(f)bs(f)bs(f) La conjecture de conjecture de sensibilité Sensibilité-Bloc indique qu'il y a un tel que ∀ f , b s ( f ) ≤ s ( f ) c .c>0c>0c>0∀f, bs(f)≤s(f)c∀f, bs(f)≤s(f)c\forall f,\mbox{...
Existe-t-il un aperçu (à partir d'un article, d'un chapitre de livre, d'un tutoriel, de liens, ...) de la sémantique des différentes fonctionnalités du langage de programmation? J'étais à l'origine submergé par les fonctionnalités de D ici http://www.digitalmars.com/d/2.0/comparison.html Je...
On m'a récemment rappelé le problème vs comme expliqué par Stephen A. Cook sur Clay Mathematics Institute.N PPP\mathsf{P}N PNP\mathsf{NP} Cela a piqué mon intérêt et j'aimerais en savoir plus. La première étape serait d'acquérir une compréhension plus approfondie du problème et une compréhension du...
Il y a maintenant des montagnes de résultats sur les séparateurs dans les graphiques, depuis le séparateur planaire, le séparateur d'arbre, les graphiques de largeur d'arbre borné, les graphiques de genre délimités, etc., etc.,
Je recherche des ressources (de préférence un manuel) sur des sujets avancés en algorithmes (sujets au-delà de ce qui est couvert dans les manuels d'algorithmes comme CLRS et DPV). Le type de matériel qui peut être utilisé pour enseigner un sujet dans un cours d'algorithmes comme le cours d'Erik...
Existe-t-il des exemples concrets (ou une riche source) d'application des nombres -adiques en
Je recherche des notes de cours disponibles en ligne ou d'autres ressources qui donnent une bonne introduction à la programmation parallèle, tout comme l'analogue parallèle des cours de base en informatique. Mon objectif est le suivant: alors que je suis en mesure de parler de division et de...
Je veux commencer à apprendre le codage réseau: http://en.wikipedia.org/wiki/Network_coding Connaissez-vous une bonne enquête (par exemple à partir des enquêtes et des tutoriels IEEE) sur les sujets ci-dessus. J'ai trouvé des cours universitaires sur google mais j'aimerais avoir des recommandations...
Les représentations les plus simples pour les graphiques utilisent des matrices / listes d'adjacence, ce qui signifie que chaque nœud et bord est explicitement représenté. L'importance des représentations implicites pour les graphiques présentant de fortes régularités est reconnue depuis longtemps....
Récemment, j'ai lu un nombre décent d'articles CoLT. Bien que je ne lutte pas avec les articles individuels (du moins pas plus que d'habitude avec les autres articles théoriques), je ne pense pas avoir une bonne compréhension du domaine dans son ensemble. Existe-t-il un texte standard, des sondages...
Je parcourais le papier séminal de Les Valiant et j'ai eu du mal avec la proposition 4.3 à la page 10 du papier. Je ne vois pas pourquoi est-ce que s'il y a un générateur avec certaines valeurs pour avec une base , alors il existe un générateur avec les mêmes valeurs pour tout base ( ) ou ( ) pour...