La cupidité, faute d'un meilleur mot, est bonne. L' approche gloutonne est l'un des premiers paradigmes algorithmiques enseignés dans le cours d'introduction aux algorithmes . Une approche gloutonne donne des algorithmes simples et intuitifs pour de nombreux problèmes de P. Plus intéressant, pour...
Quelqu'un connaît-il les algorithmes , espace linéaire, algorithmes de tri des nombres de Yijie Han ? Ce résultat apparaît dans un article assez court ( Tri déterministe en temps linéaire et en espace . J. Alg. 50: 96-105, 2004) qui regroupe essentiellement de nombreux résultats antérieurs, avec...
Existe-t-il des références (en ligne ou sous forme de livre) qui organisent et discutent des théorèmes du SDC par technique de démonstration? Garey et Johnson le font pour les différents types de constructions de widgets nécessaires pour les preuves de complétude NP (en particulier dans le chapitre...
Mon département me demande souvent de donner des conférences aux élèves de dernière année du secondaire sur les éléments les plus mathématiques de l’informatique. Je fais de mon mieux pour choisir dans le SDC des sujets susceptibles de susciter leur intérêt (principalement en rapport avec le...
On prétend parfois que la théorie de la complexité géométrique de Ketan Mulmuley est le seul programme plausible pour régler les questions en suspens de la théorie de la complexité, comme la question P vs NP. Plusieurs théoriciens de la complexité connus ont commenté positivement le programme....
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...
J'ai récemment entendu ceci: "Une machine non déterministe n'est pas la même chose qu'une machine probabiliste. En gros, une machine non déterministe est une machine probabiliste dans laquelle les probabilités de transitions ne sont pas connues". Je me sens comme si je comprends le point mais je...
Le théorème d'Immerman-Vardi stipule que PTIME (ou P) est précisément la classe de langages pouvant être décrite par une phrase de la logique du premier ordre avec un opérateur à point fixe, sur la classe des structures ordonnées. L'opérateur de point fixe peut être soit le point le moins fixe...
Que devriez-vous faire lorsque vous voyez une question posée en public, par exemple ici sur l'échange de piles, à laquelle vous connaissez la réponse, car vous examinez cette question dans le cadre d'un projet de recherche en cours? Par exemple, je vois une question à TCS.SX à laquelle je connais...
J'aime faire le TCS pendant mon temps libre. Dernièrement, j'ai essayé de faire des recherches comme passe-temps. Je recherche des informations supplémentaires auprès des personnes qui effectuent cette tâche à plein temps: - Pensez-vous qu'il soit possible de faire cela "juste pour le plaisir"? Je...
Je vais poser une question assez vague, car la frontière entre l'informatique théorique et les mathématiques n'est pas toujours facile à distinguer. QUESTION: Connaissez -vous des résultats intéressants dans CS qui sont indépendants de ZFC (c'est-à-dire de la théorie des ensembles standard) ou qui...
Je m'intéresse à la complexité paramétrée de ce que j'appellerai le problème d'ensemble d-dimensionnel: donné un espace de plage (c'est-à-dire un ensemble système / hypergraphe) S = (X, R) ayant une dimension VC au plus d et a entier positif k, X contient-il un sous-ensemble de taille k qui touche...
Un certain nombre de problèmes géométriques sont faciles à prendre en compte dans , mais sont NP-complets dans R d pour d ≥ 2 (y compris l'un de mes problèmes préférés, le cache du disque de l'unité).R1R1R^1RdRdR^dd≥2d≥2d\geq2 Est-ce que quelqu'un connaît un problème qui peut être résolu à tout...
Nous savons que le premier niveau de la hiérarchie polynomiale (c'est-à-dire NP et co-NP) est en PP, et que . Le théorème de Toda indique également que .PP⊆PSPACEPP⊆PSPACEPP \subseteq PSPACEPH⊆PPPPH⊆PPPPH \subseteq P^{PP} Savons-nous si ? Si non, pourquoi est-ce que avec un oracle en est plus fort...
Il existe toujours un moyen d’appliquer dans des domaines liés à l’informatique théorique. Mais les manuels scolaires et les cours de premier cycle n'expliquent généralement pas pourquoi la théorie des automates est un sujet important et si elle a encore des applications dans la pratique. Par...
Autant que je sache, le programme de théorie de la complexité géométrique tente de séparer en prouvant que le permament d'une matrice à valeurs complexes est beaucoup plus difficile à calculer que le déterminant.VP≠VNPVP≠VNPVP \neq VNP Après avoir parcouru les documents du GCT, la question que je...
La classe de complexité comprend les problèmes de qui peuvent être résolus par une machine de Turing polynomiale non déterministe qui en a au plus un qui accepte le chemin de calcul. C'est-à-dire que la solution, s'il y en a une, est unique en ce sens. Il est hautement improbable que tous les...
Le problème de la somme des racines carrées pose, étant donné deux séquences a1,a2,…,ana1,a2,…,ana_1, a_2, \dots, a_n et b1,b2,…,bnb1,b2,…,bnb_1, b_2, \dots, b_n d’entiers positifs, si la somme inférieure à, égale à to, ou supérieure à la somme . Le statut de complexité de ce problème est ouvert;...
Mise à jour : L'ensemble des obstructions (c'est-à-dire la "barrière" NxM entre les tailles de grille colorables et non colorables) pour toutes les couleurs 4 monochromes sans rectangle est maintenant connu . Quelqu'un veut-il essayer 5 couleurs? ;) La question suivante découle de la théorie de...
Cette question est inspirée d'une question similaire sur les mathématiques appliquées sur mathoverflow, et cette pensée persistant pensait que des questions importantes du TCS telles que P vs NP pourraient être indépendantes de ZFC (ou d'autres systèmes). Comme arrière-plan, les mathématiques...