Informatique théorique

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

1
Lemme de régularité pour les graphes clairsemés
Le lemme de régularité de Szemeredi dit que chaque graphe dense peut être approché comme une union de nombreux graphes expanseurs bipartis. Plus précisément, il existe une partition de la plupart des sommets en ensembles sorte que la plupart des paires d'ensembles forment des expanseurs bipartites (le nombre d'ensembles dans …
2
Est-il parfois préférable de ne pas publier du tout?
J'espère que ce n'est pas une question politiquement incorrecte à poser, mais pour un étudiant au doctorat qui publie habituellement à CCC / ITCS / ICALP (et parfois à FOCS / STOC), pourrait-il être nuisible (sur le plan professionnel) de publier des travaux moins importants dans conférences moins prestigieuses (par …
3
Constructivité dans la preuve naturelle et la complexité géométrique
Récemment, Ryan Willams a prouvé que la constructivité dans la preuve naturelle est inévitable pour dériver une séparation des classes de complexité: et . T C 0N E X PNEXP\mathsf{NEXP}T C0TC0\mathsf{TC}^{0} La constructivité dans la preuve naturelle est une condition que toutes les preuves combinatoires dans la complexité du circuit …
3
Existe-t-il une extension des expressions régulières qui capture les langages sans contexte?
Dans de nombreux articles impliquant des grammaires sans contexte (CFG), les exemples de telles grammaires présentés ici admettent souvent des caractérisations faciles du langage qu'elles génèrent. Par exemple: S→aaSbS→aaSbS \to a a S b S→S→S \to génère {a2ibi|i≥0}{a2ibi|i≥0}\{ a^{2i} b^i | i \geq 0\} , S→aSbS→aSbS \to a S b …
2
Conseils pour assister à ma première conférence TCS
J'assisterai à ma première conférence informatique et après avoir lu les conseils pour améliorer les conférences j'ai remarqué que plusieurs suggestions concernaient des étudiants diplômés assistant à leur première conférence. Quels conseils donneriez-vous à un étudiant diplômé assistant à sa première conférence et quel devrait être son objectif?
3
Arrondi pour minimiser la somme des erreurs dans les distances par paires
Que sait-on de la complexité du problème suivant: Étant donné: nombres rationnels .x1&lt;x2&lt;…&lt;xnx1&lt;x2&lt;…&lt;xnx_1 < x_2 < \dotso < x_n Sortie: entiers .y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n Objectif: minimiser où∑1≤i&lt;j≤ne(i,j),∑1≤i&lt;j≤ne(i,j),\sum_{1 \le i < j \le n} e(i,j),e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j) = | (y_j-y_i) - (x_j-x_i)|. Autrement dit, nous aimerions arrondir les nombres …
2
Pourquoi y a-t-il une énorme différence entre les solveurs SAT?
Les solveurs SAT sont très importants dans les attaques algébriques , par exemple les marches et les minisat . Cependant, lors de la résolution des problèmes de référence disponibles ici, il existe une énorme différence de performances entre les deux - Walksat est beaucoup plus rapide que minisat pour ces …
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.