Ceci est un post-cross de math.stackexchange. Soit FACT représentent le problème de factorisation d'entiers: étant donné trouver des nombres premiers p i ∈ N , et les entiers e i ∈ N , de telle sorte que n = Π k i = 0 p e i i .n∈N,n∈N,n \in …
Ryan Williams vient d’afficher sa limite inférieure sur ACC , la classe de problèmes qui ont des circuits de profondeur constante avec des ouvertures et des portes sans bornes AND, OR, NOT et MOD_m pour tous les m possibles. Qu'est-ce qui rend les portes MOD_m si spéciales? Ils permettent de …
Un graphe est -choosable (également appelé -list-colorable ) si, pour toute fonction qui mappe des sommets sur des ensembles de couleurs, il existe une affectation de couleur telle que, pour tous les sommets , , et tel que, pour tous les , .k f k c v c ( v …
Pourquoi la plupart des gens préfèrent-ils utiliser plusieurs réductions pour définir l'exhaustivité des NP au lieu, par exemple, des réductions de Turing?
Quelles sont les applications théoriques des codes de correction d'erreur en plus de la correction d'erreur elle-même? Je connais trois applications: le théorème de Goldreich-Levin sur le trépan dur, la construction d’un extracteur par Trevisan et l’ amplification de la dureté de la fonction booléenne (de Sudan-Trevisan-Vadhan). Quelles sont les …
Je cherche une réponse définitive à la question de savoir si la génération de nombres "réellement aléatoires" est calculable par Turing. Je ne sais pas comment formuler cela avec précision. Cette question de StackExchange sur les "algorithmes efficaces pour la génération de nombres aléatoires" est proche de répondre à ma …
Je suis étudiant en troisième année de doctorat dans un domaine de la CS théorique qui aimerait obtenir des conseils pour une situation difficile avec mon conseiller. Mon conseiller n’est pas impliqué dans mes projets de recherche. En particulier, j'ai proposé toutes mes idées de papier et je les ai …
Il semble que la théorie de la complexité géométrique nécessite une connaissance approfondie des mathématiques pures telles que la géométrie algébrique, la théorie de la représentation. Bien que je sois un étudiant en informatique et que je n’ai PAS de cours de mathématiques très abstraites et pures, ce programme m’intéresse. …
On prétend parfois que la théorie de la complexité géométrique de Ketan Mulmuley est le seul programme plausible pour régler les questions en suspens de la théorie de la complexité, comme la question P vs NP. Plusieurs théoriciens de la complexité connus ont commenté positivement le programme. Selon Mulmuley, il …
Quelqu'un connaît-il les algorithmes , espace linéaire, algorithmes de tri des nombres de Yijie Han ? Ce résultat apparaît dans un article assez court ( Tri déterministe en temps linéaire et en espace . J. Alg. 50: 96-105, 2004) qui regroupe essentiellement de nombreux résultats antérieurs, avec des adaptations. Mon …
Paul Wegner et Dina Goldin publient depuis plus de 10 ans des articles et des livres dans lesquels ils affirment principalement que la thèse de Church-Turing est souvent mal représentée dans la communauté CS Theory et ailleurs. Autrement dit, il est présenté comme englobant tout le calcul, alors qu’il s’applique …
La cupidité, faute d'un meilleur mot, est bonne. L' approche gloutonne est l'un des premiers paradigmes algorithmiques enseignés dans le cours d'introduction aux algorithmes . Une approche gloutonne donne des algorithmes simples et intuitifs pour de nombreux problèmes de P. Plus intéressant, pour certains problèmes complexes, l'algorithme glouton / local …
Le théorème d'Immerman-Vardi stipule que PTIME (ou P) est précisément la classe de langages pouvant être décrite par une phrase de la logique du premier ordre avec un opérateur à point fixe, sur la classe des structures ordonnées. L'opérateur de point fixe peut être soit le point le moins fixe …
Mon département me demande souvent de donner des conférences aux élèves de dernière année du secondaire sur les éléments les plus mathématiques de l’informatique. Je fais de mon mieux pour choisir dans le SDC des sujets susceptibles de susciter leur intérêt (principalement en rapport avec le problème de l'arrêt), mais …
Le théorème des quatre couleurs (4CT) stipule que chaque graphe planaire peut être coloré en quatre. [Appel, Haken 1976] et [Robertson, Sanders, Seymour, Thomas 1997] ont donné deux preuves. Ces deux preuves sont assistées par ordinateur et assez intimidantes. Il existe plusieurs conjectures en théorie des graphes qui impliquent 4CT. …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.