Informatique théorique

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

2
Complexité de l'achèvement des n-reines?
Le problème des nnn -queens classiques demande, étant donné un entier positif nnn , s'il existe un tableau d'entiers satisfaisant aux conditions suivantes:Q[1..n]Q[1..n]Q[1..n] i1≤Q[i]≤n1≤Q[i]≤n1\le Q[i] \le n pour toutiii i ≠ jQ[i]≠Q[j]Q[i]≠Q[j]Q[i] \ne Q[j] pour touti≠ji≠ji\ne j Q[i]−i≠Q[j]−jQ[i]−i≠Q[j]−jQ[i]-i \ne Q[j]-j pour touti≠ji≠ji\ne j Q[i]+i≠Q[j]+jQ[i]+i≠Q[j]+jQ[i]+i \ne Q[j]+j pour touti≠ji≠ji\ne j Chaque …
7
Adhésion non triviale à NP
Y a-t-il un exemple de langue qui est en NPNPNP , mais où nous ne pouvons pas prouver ce fait directement en montrant qu'il existe un témoin polynomial d'appartenance à cette langue? Au lieu de cela, le fait que la langue est en NPNPNP serait prouvé en la réduisant à …
27 reductions  np 
2
Raisons de croire
Cette question a été migrée à partir de Computer Science Stack Exchange car il est possible d'y répondre sur Théoretics Computer Science Stack Exchange. Migré il y a 6 ans . Il semble que beaucoup de gens croient que , en partie parce qu'ils pensent que l'affacturage n'est pas résolu …
3
Des problèmes en
Quels problèmes sont connus pour appartenir à mais ne sont pas connus pour appartenir à P ?BPPBPP\mathsf{BPP}PP\mathsf P Plus précisément, je m'intéresse aux problèmes indépendants , c'est-à-dire dont les dérandomisations ne sont pas connues pour être équivalentes. Par exemple, on sait que la dérandomisation du PIT et la factorisation polynomiale …
1
Décider si un circuit
Quelle est la complexité de décider si un circuit avec bits d'entrée et bits de sortie calcule une permutation de ? en d'autres termes, si chaque chaîne de bits dans est une sortie du circuit pour une entrée? Cela ressemble à un problème qui a été étudié, mais je ne …
5
Ecologie et évolution à travers la lentille algorithmique
L'étude de l'écologie et de l'évolution devient de plus en plus mathématique, mais la plupart des outils théoriques semblent provenir de la physique. Cependant, dans de nombreux cas, les problèmes ont un caractère très discret (voir par exemple SLBS00 ) et pourraient bénéficier d'une perspective informatique . Pourtant, je ne …
10
Algorithmes probabilistes (randomisés) avant l'apparition de l'informatique «moderne»
Edit: J'ai choisi la réponse avec le score le plus élevé avant le 06 décembre 2012. C'est une question douce. Le concept d'algorithmes (déterministes) remonte à la Colombie-Britannique. Qu'en est-il des algorithmes probabilistes? Dans cette entrée wiki , l'algorithme de Rabin pour le problème de paire la plus proche en …
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.