L'informatique

La fonction de comptage de nombres premiers , rétrogradée , est définie comme le nombre de nombres premiers inférieurs ou égaux à x .π(x)π(x)\pi(x)xxx Nous pouvons définir un problème de décision à partir de comme suit:π(x)π(x)\pi(x) Étant donné deux nombres et n , écrits en binaire, décidez si π ( …

13 complexity-theory  primes 

Je me demande si décider de la décidabilité du problème est un problème décidable. Je suppose que non, mais après des recherches initiales, je ne trouve aucune documentation sur ce problème.

13 computability  undecidability  decision-problem 

En 1962, vous pourriez gagner un prix de 10 000 $ (environ 80 000 $ en argent d'aujourd'hui) si vous trouviez la solution à un problème de vendeur ambulant euclidien défini dans 33 villes. http://www.math.uwaterloo.ca/tsp/history/pictorial/car54.html En regardant l'image, le problème semble assez facile. Cependant, je n'ai pas réussi à trouver …

13 optimization  traveling-salesman 

Je suis en train de lire un livre sur un sujet informatique, mais je manque de connaissances préalables. Normalement, lorsque je rencontre des termes que je ne comprends pas, je les recherche simplement, mais pour la recherche universelle, je n'ai tout simplement pas été en mesure de trouver une explication …

13 algorithms  terminology  search-algorithms 

J'essaie de comprendre l'existence de langues non reconnaissables. Pour cela, j'ai besoin de savoir pourquoi une machine Turing ne reconnaît qu'une seule langue, pas plusieurs. Pourquoi est-ce?

13 turing-machines  computation-models 

La page de problème d'isomorphisme de Wikipedia semble indiquer que non, elle n'a pas été résolue. Cependant, un de mes amis a souligné un algorithme de temps polynomial pour l'isomorphisme graphique . Je ne suis pas assez sophistiqué pour suivre le raisonnement du document. J'ai ma propre tentative très approximative …

13 complexity-theory  reference-request  time-complexity  graph-isomorphism 

Contexte \newcommand\ms[1]{\mathsf #1}\def\msD{\ms D}\def\msS{\ms S}\def\mfS{\mathfrak S}\newcommand\mfm[1]{#1}\def\po{\color{#f63}{\mfm{1}}}\def\pc{\color{#6c0}{\mfm{c}}}\def\pt{\color{#08d}{\mfm{2}}}\def\pth{\color{#6c0}{\mfm{3}}}\def\pf{4}\def\pv{\color{#999}5}\def\gr{\color{#ccc}}\let\ss\gr Supposons que j'ai deux lots identiques de billes. Chaque marbre peut être l'une des couleurs , où c≤n . Soit n_i le nombre de billes de couleur i dans chaque lot.nnncccc≤nc≤nc≤nninin_iiii Soit SS\msS le multiset {1,…,1n1,2,…,2n2,…,1c,…,cnc}{1,…,1⏞n1,2,…,2⏞n2,…,1c,…,c⏞nc}\small\{\overbrace{\po,…,\po}^{n_1},\;\overbrace{\pt,…,\pt}^{n_2},\;…,\;\overbrace{\vphantom 1\pc,…,\pc}^{n_c}\} représentant un lot. Dans la représentation fréquentielle …

13 algorithms  combinatorics  probability-theory  permutations  sampling 

Certains hyperviseurs optimisent l'utilisation de la mémoire à l'aide d'une méthode appelée bulle (du moins c'est ce que KVM l'appelle), cette méthode déduplique la mémoire entre les machines virtuelles et définit les pages communes en lecture seule avec copie en écriture. C'est en quelque sorte l'opposé d'un appel fork. Est-il …

13 operating-systems  memory-management  virtual-memory 

Je suis toujours un peu confus avec les termes "longueur d'entrée" et "taille d'entrée" lorsqu'ils sont utilisés pour analyser et décrire la limite supérieure asymptomatique d'un algorithme Il semble que la longueur d'entrée de l'algorithme dépende en grande partie du type de données et de l'algorithme dont vous parlez. Certains …

13 complexity-theory  terminology  algorithm-analysis  time-complexity  runtime-analysis 

Je me moquais de l'autre jour sur ce site Web: http://regexcrossword.com/ et cela m'a fait me demander quelle était la meilleure façon de le résoudre. Pouvez-vous résoudre le problème suivant en temps polynomial ou est-il NP-difficile? Étant donné une grille NxM avec N expressions régulières pour les colonnes et M …

13 complexity-theory  np-hard  regular-expressions 

J'ai trouvé que si je ne comprends pas l'étymologie derrière un terme cs / programmation, cela signifie généralement que j'ai manqué ou mal compris un concept sous-jacent important. Je ne comprends pas pourquoi l'étoile Kleene est aussi appelée la fermeture Kleene. Est-ce lié aux fermetures de programmation, une fonction avec …

13 automata  regular-expressions 

La page wikipedia sur les algorithmes de multiplication en mentionne une intéressante par Donald Knuth . Fondamentalement, cela implique de combiner la multiplication par transformée de Fourier avec une table précalculée de multiplications de taille logarithmique. Il fonctionne en temps linéaire. L'article agit comme cet algorithme ne compte pas comme …

13 algorithms  runtime-analysis  multiplication 

Lorsqu'une interruption se produit, le processeur prévaut le processus en cours et appelle le code du noyau pour gérer l'interruption. Comment le processeur sait-il où entrer dans le noyau? Je comprends qu'il existe des gestionnaires d'interruptions qui peuvent être installés pour chaque ligne d'interruption. Mais puisque le processeur n'exécute que …

13 computer-architecture  operating-systems  os-kernel 

Apropois à la suggestion de Raphaël sur l' intersection de deux NPDA : Soit et A 2 NPDA pour les langues sans contexte L 1 et L 2 , respectivement. En supposant que nous savons que L = L 1 ∩ L 2 est sans contexte, pouvons-nous (effectivement) construire NPDA …

13 computability  automata  pushdown-automata 

J'ai lu dans Wikipedia et dans quelques autres textes Le problème d'arrêt est décidable [...] pour les automates linéaires bornés (LBA) et les machines déterministes à mémoire finie. Mais plus tôt, il est écrit que le problème d'arrêt est un problème indécidable et donc TM ne peut pas le résoudre! …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata