Questions marquées «reference-request»

La demande de référence est utilisée lorsque l'auteur a besoin de connaître les travaux liés à la question.

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. …
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 …
4
Articles sur la relation entre la complexité de calcul et la géométrie / topologie algébrique?
Je me demandais quels papiers je devrais lire pour comprendre cette question Une connexion inattendue à d'autres domaines des mathématiques tels que la géométrie algébrique ou la cohomologie supérieure. Peut-être même un domaine des mathématiques pas encore développé. Peut-être que quelqu'un développera une toute nouvelle direction pour les mathématiques afin …
3
Ajouter des entiers représentés par leur factorisation est aussi difficile que la factorisation? Demande de réference
Je recherche une référence pour le résultat suivant: Ajouter deux entiers dans la représentation factorisée est aussi difficile que factoriser deux entiers dans la représentation binaire habituelle. (Je suis presque sûr que c'est là-bas parce que c'est quelque chose que je me demandais à un moment donné, puis j'étais excité …
1
Débit maximal avec Ford-Fulkerson et DFS
Cette question concerne la complexité temporelle de l' algorithme de flux maximal de Ford-Fulkerson lors de l'utilisation de DFS pour trouver des chemins d'augmentation. Il existe un exemple bien connu montrant qu'en utilisant DFS, on peut avoir besoin d'un nombre linéaire d'itérations dans le flux maximal, voir par exemple la …
3
Source éducative ou enquête sur l'analyse du programme semi-défini?
Lors de la conception d'algorithmes d'approximation, on résout parfois un programme semi-fini suivi d'une étape d'arrondi. Un exemple souvent utilisé pour illustrer cela est Max-Cut. (Voir par exemple les algorithmes d'approximation de Vijay Vazirani.) Existe-t-il de bonnes sources ou enquêtes pédagogiques allant au-delà du problème Max-Cut pour expliquer des algorithmes …
7
Recherche de sommets jumeaux dans les graphiques
Soit un graphe. Pour un sommet , définir pour être le (ouvert) voisinage de dans . Autrement dit, . Définissez deux sommets dans comme des jumeaux si et ont le même ensemble de voisins, c'est-à-dire si .G=(V,E)g=(V,E)G=(V,E)x∈VX∈Vx\in VN(x)N(X)N(x)xXxGgGN(x)={y∈V|{x,y}∈E}N(X)={y∈V|{X,y}∈E}N(x)=\{y\in V \,\vert\, \{x,y\}\in E\}u,vu,vu,vGgGuuuvvvN(u)=N(v)N(u)=N(v)N(u)=N(v) Étant donné un graphique sur sommets et arêtes …
2
Le coût du GC peut-il être négligé lors de l'analyse du temps d'exécution des structures de données les plus défavorables spécifiées dans un langage de programmation récupéré?
Je viens de réaliser que je supposais que la réponse à ma question était "oui" mais je n'ai pas de bonne raison. J'imagine qu'il y a peut-être un garbage collector qui n'introduit que le ralentissement pire des cas. Y a-t-il une référence définitive que je peux citer? Dans mon cas, …
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.