Informatique théorique 5 730
Exemples de problèmes où les algorithmes exponentiels sont plus rapides que les algorithmes polynomiaux pour des tailles pratiques?
Nom de la propriété "strong submodularity" dans la fonction cut
ajouté 05 Août 2014 à 07:26 l'auteur , Informatique théorique
Calculer le gagnant le plus probable aux élections: cas intermédiaire entre Kemeny et Borda?
La factorisation en tant que problème de décision
Théoriquement, les tâches informatiques quotidiennes peuvent-elles être décomposées en tâches pouvant être résolues par un réseau de neurones?
ajouté 08 Août 2014 à 10:06 l'auteur , Informatique théorique
Quel est l'état actuel des recherches sur la représentation des fonctions booléennes à l'aide d'ondelettes
ajouté 09 Août 2014 à 12:33 l'auteur , Informatique théorique
Quelle est l’importance de considérer le problème de l’exclusion mutuelle comme un problème de physique?
Existe-t-il une réduction simple du jeu dominant au couvercle du sommet?
ajouté 27 Juillet 2014 à 10:56 l'auteur , Informatique théorique
Adaptation automatique du facteur d'oubli pour la SE en ligne
Le prouveur de théorèmes ne parvient pas à trouver la preuve de la théorie des ensembles simple?
Quelle langue $ L \ dans NCM $ a $ \ overline {L} \ not \ in NCM $?
Elaguer un graphique en supprimant des sommets ne faisant pas partie d'un arbre de Steiner minimal
ajouté 31 Juillet 2014 à 04:55 l'auteur , Informatique théorique
Algorithme combinatoire pour l'équilibrage de charge
ce que l'on sait sur les intersections d'ensembles efficaces
RAMSEY COLORING est-il dans $ NC $?
Le calcul lambda affine peut-il résoudre tous les problèmes de P?
Quelle est la complexité temporelle asymptotique du nombre d’étapes de "Half Or Triple Plus One" (HOTPO)?
ajouté 03 Août 2014 à 08:46 l'auteur , Informatique théorique
Primitive Recursive Définition: Nombres binaires
ajouté 24 Juillet 2014 à 03:57 l'auteur , Informatique théorique
Problème de steiner à poids nodal avec quelques terminaux
Est-ce que $ \ # \ mathsf {P} \ subseteq \ mathsf {FP} ^ {\ mathsf {PH}} $?
extraire/exploiter la similarité d'instances SAT par le solveur
Est-ce que l'on sait que la recherche de casse généralisée n'est pas plus difficile que le PPP?
ajouté 26 Juillet 2014 à 07:10 l'auteur , Informatique théorique
Comment traduire le schéma axiome d'induction de Curry-Howard?
ajouté 26 Juillet 2014 à 11:45 l'auteur , Informatique théorique
Sur une propriété d'arbres enracinés au hasard avec $ n $ nœuds et de hauteur $ h $
ajouté 27 Juillet 2014 à 04:39 l'auteur , Informatique théorique
Théorie des types pour les structures de données sécurisées en mémoire