Informatique théorique

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

4
Quand y a-t-il moins de publications?
Y a-t-il des cas où des publications supplémentaires peuvent nuire à votre dossier? Cela évite les cas évidents où vous publiez des résultats incorrects ou controversés. Évitez également le cas du temps fini: vous n'avez que peu de temps pour penser et écrire, donc écrire un document peut vous faire …
3
Y a-t-il un nom pour «des choses physiques à partir desquelles on peut construire une machine de Turing»?
L'une des choses étonnantes de l'informatique est que l'implémentation physique est en quelque sorte «hors de propos». Les gens ont réussi à construire des ordinateurs à partir de plusieurs substrats différents - relais, tubes à vide, transistors discrets, etc. Les gens pourraient bientôt réussir à construire des ordinateurs Turing-complets à …
3
Quel est le rôle de la prédicativité dans les définitions inductives dans la théorie des types?
Nous voulons souvent définir un objet selon certaines règles d'inférence. Ces règles désignent une fonction génératrice qui, lorsqu'elle est monotone, donne un point moins fixe . Nous prenons pour être la "définition inductive" de . De plus, la monotonie de nous permet de raisonner avec le "principe d'induction" pour déterminer …
3
Existe-t-il une théorie du langage de programmation décrivant les interfaces de fonctions étrangères (FFI) et les liaisons de plusieurs langages?
Existe-t-il une théorie du langage de programmation décrivant les interfaces de fonctions étrangères (FFI) et les liaisons de plusieurs langages? J'ai posé quelques problèmes d'implémentation sur stackoverflow , qui ne convient pas ici. Mais je voudrais demander du point de vue de ce site et voir ce que je pourrais …
3
Amorçage d'une structure d'arbre à doigts
Après avoir travaillé avec 2-3 arbres à doigts pendant un bon moment, j'ai été impressionné par leur vitesse dans la plupart des opérations. Cependant, le seul problème que j'ai rencontré est la surcharge importante associée à la création initiale d'un grand arbre à doigts. Parce que la construction est définie …
1
Tautologies / contradictions dans le cas moyen, au-delà du modèle aléatoire k-CNF
Il est bien connu que les formules aléatoires -CNF sur n variables avec c n clauses sont insatisfaisantes (c'est-à-dire qu'elles sont des contradictions) avec une probabilité élevée, pour une constante c suffisamment grande . Ainsi, les formules k -CNF aléatoires (pour c assez grand) constituent une distribution naturelle sur des …
3
Pourquoi les ratios d'approximation différentiels ne sont-ils pas bien étudiés par rapport aux ratios standard malgré leurs avantages revendiqués?
sup AO PTsouperUNEOPT\sup\frac{A}{OPT}MjeNMjeNMINUNEUNEAUNEUNEAO PTOPTOPTinf Ω - AΩ - O PTinfΩ-UNEΩ-OPT\inf\frac{\Omega-A}{\Omega-OPT}ΩΩ\Omega il donne le même rapport d'approximation pour des problèmes tels que la couverture minimale des sommets et l'ensemble indépendant maximal qui sont connus pour être des réalisations différentes du même problème; il donne le même rapport pour les versions max …
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.