Informatique théorique

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

5
Curieux de connaître les preuves de complétude NP assistées par ordinateur
Dans l'article "LA COMPLEXITÉ DES PROBLÈMES DE SATISFACABILITÉ" de Thomas J. Schaefer, l'auteur a mentionné que This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. …
1
Flux électrique planaire exact
Considérons un réseau électrique modélisé comme un graphe planaire G, où chaque front représente une résistance de 1Ω. À quelle vitesse peut-on calculer la résistance effective exacte entre deux sommets en G? De manière équivalente, à quelle vitesse pouvons-nous calculer le courant exact circulant le long de chaque bord si …
1
Quels sont les problèmes pratiques liés aux types d'intersection et d'union?
Je conçois un langage de programmation fonctionnel simple typé statiquement comme une expérience d'apprentissage. Il semble que le système de types que j'ai mis en place jusqu'à présent puisse (avec un peu de travail supplémentaire) incorporer des types d'intersection et d'union, par exemple vous pourriez avoir: <Union String Integer> <Union …
10
Problèmes faciles sur les graphiques non pondérés, mais difficiles pour les graphiques pondérés
De nombreux problèmes de graphes algorithmiques peuvent être résolus en temps polynomial à la fois sur des graphes non pondérés et pondérés. Quelques exemples: chemin le plus court, arbre couvrant minimum, chemin le plus long (dans les graphiques acycliques dirigés), débit maximal, coupe minimale, correspondance maximale, arborescence optimale, certains problèmes …
6
Déclarations impliquant
Il s'agit en quelque sorte d'une question ouverte - pour laquelle je m'excuse à l'avance. Y a-t-il des exemples de déclarations qui (apparemment) n'ont rien à voir avec la complexité ou les machines de Turing mais dont la réponse impliquerait ?P≠NPP≠NP\mathbf{P}\neq \mathbf{NP}
9
Introduction concise aux algorithmes pour les mathématiciens
Je recherche un texte d'introduction concis sur les algorithmes avec un rapport élevéCela devrait commencer au début mais ensuite progresser rapidement sans passer trop de temps sur des exemples du monde réel, des techniques de preuve élémentaire, etc. .théorie couvertenombre total de pages.théorie couvertenombre total de pages.\frac{\mbox{theory covered}}{\mbox{total number of …
3
Justifier l'analyse du pire cas asymptotique aux scientifiques
J'ai travaillé sur l'introduction de certains résultats de la complexité informatique dans la biologie théorique, en particulier l' évolution et l'écologie , dans le but d'être intéressant / utile pour les biologistes. L'une des plus grandes difficultés que j'ai rencontrées est de justifier l'utilité d'une analyse asymptotique du pire des …
1
Unification et élimination gaussienne
Quelqu'un connaît-il des références qui définissent précisément le lien entre l' algorithme d'unification et l'élimination gaussienne? Je suis particulièrement intéressé par la relation entre les substitutions triangulaires et les décompositions LU. Wayne Snyder et Jean Gallier mentionnent cette analogie en passant dans leur article, Unification d'ordre supérieur revisité: ensembles complets …
1
Y a-t-il un problème qui est facile pour le graphique cubique mais difficile pour les graphiques avec un degré maximum 3?
Les graphiques cubiques sont des graphiques où chaque sommet a un degré 3. Ils ont été largement étudiés et je suis conscient que plusieurs problèmes NP-difficiles restent NP-difficiles, même limités à des sous-classes de graphiques cubiques, mais certains deviennent plus faciles. Une superclasse de graphes cubiques est la classe de …
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.