Informatique théorique

Q & A pour les informaticiens théoriques et les chercheurs dans des domaines connexes

6
Peut-on retourner à un emploi de chercheur du SDC après une excursion dans un emploi non lié à l'industrie de la recherche?
Certains chercheurs expérimentés en informatique théorique m'ont dit que travailler dans un emploi non lié à la recherche, même pendant quelques années, tuera votre carrière en tant que chercheur TCS. Cependant, je me méfie de l'affirmation selon laquelle le chemin qui mène d'un chercheur du SDC à un emploi non …
3
Problèmes succincts dans
L'étude de la représentation succincte des graphiques a été lancée par Galperin et Wigderson dans un article de 1983, où ils prouvent que pour de nombreux problèmes simples comme la recherche d'un triangle dans un graphique, la version succincte correspondante dans -complete. Papadimitriou et Yanakkakis poursuivent cette ligne de recherche …
2
Quelles sont les conséquences de
Shiva Kintali vient d'annoncer un résultat (cool!) Que l' isomorphisme des graphes pour les graphes à largeur d'arbre bornée de largeur est ⊕ L -hard≥4≥4\geq 4⊕L⊕L\oplus L . De manière informelle, ma question est: "C'est difficile?" Nous savons que non uniformément , voir les réponses à cette question . Nous …
2
Ensembles indépendants maximum / maximum
Existe-t-il quelque chose de connu sur la classe des graphes avec la propriété que tous les ensembles indépendants maximaux ont la même cardinalité et sont donc des IS maximum? Par exemple, prenez un ensemble de points dans le plan et considérez le graphique des intersections entre tous les segments entre …
4
Articles Wikipedia manquants
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 5/2/2017 : …
5
Erreurs de longue durée en informatique
Ceci est ma première question sur la pile cstheory, alors ne soyez pas trop impoli si je viole l'étiquette d'une manière ou d'une autre) Comme nous le savons, en mathématiques, même des mathématiciens, des superstars et des génies célèbres font de temps en temps de graves erreurs. Par exemple, le …
2
Quelle est la complexité de distinguer un vrai spectre de Fourier d'un faux?
Une machine PHPHPH accès oracle à une fonction booléenne aléatoire f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f:\{0,1\}^n \to \{ -1,1 \} , et deux spectres de Fourier ggg et hhh . Le spectre de Fourier d'une fonction fff est défini comme F:{0,1}n→RF:{0,1}n→RF:\{0,1\}^n \to R : F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=\sum_{x\in\{0,1\}^n} (-1)^\left( s\cdot x \mod\ 2 \right) f(x) L'un …
4
Existe-t-il un modèle de calcul non complet de Turing dont le problème d'arrêt est indécidable?
Je ne peux pas penser à un tel modèle, peut-être une forme de calcul lambda typé? un automate cellulaire élémentaire? Cela réfuterait presque le «principe d'équivalence informatique» de Wolfram: Presque tous les processus qui ne sont évidemment pas simples peuvent être considérés comme des calculs de sophistication équivalente
4
Compendium des meilleurs résultats d'approximation et de dureté pour les problèmes d'optimisation NP
Connaissez-vous un wiki à jour dédié aux problèmes d'optimisation NP avec leur meilleur résultat d'approximation et de dureté? Sur la base des commentaires, il semble qu'il est prudent de supposer qu'il n'y a pas une telle ressource (voir la fin de cette question pour deux options proches). - ajouté le …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.