En informatique distribuée, le problème du consensus semble être l'un des sujets centraux qui a attiré des recherches intensives. En particulier, le document "Impossibilité d'un consensus distribué avec un processus défectueux" a reçu le PODC Influential Paper Award 2001 . Alors pourquoi le...
Dans la section "Introduction aux langages de programmation" d' Anthony Aaby sur la sémantique , il fait l'observation suivante: Une grande partie du travail dans la sémantique des langages de programmation est motivée par les problèmes rencontrés pour essayer de construire et de comprendre des...
Ai-je raison de comprendre que prouver un problème NP complet est un succès en recherche? Si oui,
J'ai cherché loin pour de telles applications et je me suis surtout retrouvé court. Je peux trouver de nombreuses applications de la topologie et des structures similaires sur des ensembles dénombrables (ou non dénombrables), mais je trouve rarement des ensembles indénombrables comme objet d'étude...
La théorie de la complexité semble saisir quelque chose de fondamental dans la structure de l'univers, en ce qu'elle formalise la notion intuitive que certains problèmes sont plus difficiles que d'autres. Scott Aaronson prédit : "L'hypothèse de dureté NP sera finalement considérée comme analogue à...
Cette question est inspirée du t-shirt du Georgia Tech Algorithms and Randomness Center , qui demande "Randomize or not ?!" Il existe de nombreux exemples où la randomisation est utile, en particulier lors d'opérations dans des environnements contradictoires. Il existe également certains paramètres...
Taquin Étant donné que le problème est assez long, voici un cas spécial qui capture son essence. Problème: Soit A un algorithme detrministique pour 3-SAT. Est le problème de la simulation complète de l'algorithme A (sur chaque instance du problème). P-Space dur? (Plus précisément, y a-t-il des...
Contexte . Je suis un étudiant de baccalauréat qui s'intéresse à la recherche liée à la théorie des catégories, aux monades et à Haskell, et je veux trouver un sujet pour ma thèse de baccalauréat dans ce domaine. J'ai regardé le papier Eugenio Moggi , « Notions de calculs et monades », 1991, et je...
Je suis actuellement lycéen, intéressé par l'informatique théorique et les mathématiques appliquées. Je me suis autodidacte algèbre linéaire et calcul et mathématiques concrètes. J'ai une idée naïve que pour écrire de meilleurs algorithmes, il faut savoir autant de mathématiques que possible parce...
Je suis toujours intrigué par le manque de preuves numériques des mathématiques expérimentales pour ou contre la question P vs NP. Bien que l'hypothèse de Riemann ait des preuves à l'appui de la vérification numérique, je ne connais pas de preuves similaires pour la question P vs NP. De plus, je ne...
La complexité de calcul implique de grandes quantités de combinatoire et de théorie des nombres, quelques ingrédients de la stochastique et une quantité émergente d'algèbre. Cependant, en tant qu'analyseur, je me demande s'il existe des applications de l'analyse dans ce domaine, ou peut-être des...
Étant issu de la physique, j'ai été formé pour étudier de nombreux problèmes d'un point de vue géométrique. Par exemple la géométrie différentielle des variétés dans les systèmes dynamiques, etc. Quand je lis les fondements de l'informatique, j'essaie toujours de trouver des interprétations...
Je me souviens avoir vu une étude ou un article il y a quelque temps affirmant que la plupart des accélérations observées dans les programmes informatiques au cours des dernières décennies provenaient de meilleurs algorithmes plutôt que de matériel plus rapide. Quelqu'un connaît-il l'étude ou...
Quelle est la classe de complexité associée aux algorithmes de recherche exhaustifs? (Si il y en a un) Est-ce NP ou PSPACE? Existe-t-il des modèles de calcul restreints capturant la classe d'algorithmes de recherche exhaustifs similaires aux modèles de programmation gourmande et...
Il me semble que la plupart des théoriciens de la complexité croient généralement à la règle philosophique suivante: Si nous ne pouvons pas trouver un algorithme efficace pour le problème , et nous pouvons réduire problème A à un problème B , alors il n'y a probablement pas un algorithme efficace...
Ma première question est de savoir si une caractérisation de système de preuve interactive est connue pour toutes les classes de complexité classiques. J'appellerais P, NP, PSPACE, EXP, NEXP, EXPSPACE, les fonctions récursives et récursivement énumérables (entre autres). Plus précisément, une...
En dehors du monde universitaire, à quoi servent mes «pouvoirs»? Que puis-je faire d'autre que l'enseignement et la publication d'articles? Où puis-je appliquer mes pouvoirs? Pour les besoins de l'argument: veuillez supposer que j'ai un doctorat en algorithmes / TCS et que j'ai appris beaucoup de...
Qu'est-ce que l'informatique théorique exactement? Apprend-il à coder dans différents langages et à créer des applications sur des plateformes? Ou pense-t-il simplement à des algorithmes de plus en plus rapides afin que vous puissiez réaliser une tâche plus efficacement par les ordinateurs? Ou...
Supposons que vous rencontriez des programmeurs qui ont suivi des cours de programmation professionnelle (/ auto-réflexion) mais n'ont pas étudié les mathématiques de niveau universitaire. Afin de leur montrer la beauté de TCS, j'aimerais rassembler de bons résultats / questions ouvertes provenant...
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{...