Supposons que j'ai un vaisseau de surface autonome à énergie solaire quelque part dans les fjords de Norvège, fourni avec un ensemble de cartes assez récent, un récepteur GPS et aucun moyen de rétrograder des commandes détaillées de ma part. Ce navire doit atteindre, disons, l'île de Hainan le plus...
Étant donné un alphabet , combien de langues différentes sont régulièrement là- bas qui peuvent être acceptées par un -state automate fini non déterministe?Σ={a,b}Σ={a,b}\Sigma = \{ a,b \}nnn À titre d'exemple, considérons . Nous avons alors configurations de transition différentes et...
Je m'interroge sur la relation entre la complexité de calcul et la hiérarchie de Chomsky, en général. En particulier, si je sais qu'un problème est NP-complet, cela signifie-t-il que la langue de ce problème n'est pas sans contexte? Par exemple, le problème de clique est NP-complet. S'ensuit-il que...
J'ai suivi un cours d'algorithmes sur Coursera. Le professeur dans la vidéo sur les tables de hachage a déclaré que Ce qui est vrai, c'est que pour les données non pathologiques, vous obtiendrez des opérations à temps constant dans une table de hachage correctement implémentée. Que signifie...
Je lis le livre HoTT et j'ai une question (probablement très naïve) sur les trucs du premier chapitre. Le chapitre présente le type de fonction puis le généralise en faisant dépendre B de x : A B : A → U ,f:A→Bf:A→B f:A\to B BBBx:Ax:Ax:A et que l'on appelle letype de fonction...
Supposons que l'on nous donne deux nombres et et que nous voulons trouver pour l \ le i, \, j \ le r .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r L'algorithme naïf vérifie simplement toutes les paires possibles; par exemple en rubis, nous aurions: def max_xor(l, r) max = 0...
Un étudiant m'a récemment demandé de vérifier une preuve de dureté NP pour eux. Ils ont effectué une réduction selon: Je réduit ce problème P′P′P' qui est connu pour être NP-complet à mon problème PPP (avec une réduction poly-temps multiple), donc PPP est NP-dur. Ma réponse était essentiellement:...
Supposons que je veuille construire un système d'exploitation basé sur un très petit noyau inférieur natif qui agit comme un interpréteur / runtime de code managé et un noyau supérieur plus grand compilé dans un langage machine non natif (bytecode Java, CIL, etc.). Des exemples de systèmes...
Un micro-noyau implémente tous les pilotes en tant que programmes d'espace utilisateur et implémente des fonctionnalités de base comme IPC dans le noyau lui-même. Un noyau monolithique, cependant, implémente les pilotes en tant que partie du noyau (par exemple, s'exécute en mode noyau). J'ai lu...
Des langues telles que sont RE-complètes sous plusieurs réductions. Il est trivial de voir que co-RE a aussi des problèmes complets. S. Schmitz [1] considère certaines classes entre ELEM et REC . Ils présentent des problèmes complets pour ces classes dans le cadre de réductions spécialement...
par exemple Xy+ x+y= x+y( x + 1)xy+x+y=X+y(X+1)xy+x+y=x+y(x+1) ? Les expressions proviennent de l'algèbre ordinaire du secondaire, mais se limitent à l'addition et à la multiplication arithmétiques (par exemple 2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 ), sans inverses, soustraction ou division. Les...
Je me demande quel est l'algorithme le plus connu, en termes de notation Big- OOO , pour résoudre la programmation linéaire en nombres entiers? Je sais que le problème est NPNPNP complet, donc je ne m'attends à rien de polynomial. Et je sais qu'il y a beaucoup d'heuristiques et autres qui sont...
J'essaie de comprendre la preuve du théorème de Karp-Lipton comme indiqué dans le livre "Computational Complexity: A modern approach" (2009). En particulier, ce livre déclare ce qui suit: Théorème de Karp-Lipton Si NP ⊆⊆\subseteq P∖polyP∖polyP_{\backslash poly} , alors PH =Σp2=Σ2p= \Sigma^p_2 ....
Pour mesurer la complexité d'un algorithme, s'agit-il d'une complexité temporelle ou d'une complexité informatique? Quelle est la différence entre eux? J'ai utilisé pour calculer le nombre maximal (pire) d'opérations de base (les plus coûteuses) dans
Je suis sûr que quelqu'un a pensé à cela avant ou immédiatement rejeté, mais pourquoi la théorie de la dichotomie de Schaefer avec le théorème de Mahaney sur les ensembles clairsemés n'implique-t-elle pas P = NP? Voici mon raisonnement: créer un langage qui est égal à SAT intersecté par un ensemble...
Ici, je lis cela: Haskell n'a certainement pas le système de type le plus avancé (même pas si vous comptez les langues de recherche), mais parmi toutes les langues réellement utilisées dans la production, Haskell est probablement au sommet. Je demande donc deux choses: quels langages de recherche...
Donc, le Sudoku est généralement de , mais cette question s'étend à n 2 × n 2 puzzles avec n > 3 également. Il existe de nombreuses règles polynomiales de déduction de temps qui peuvent progresser dans la recherche d'une solution à un puzzle Sudoku. Mais parfois, il peut être nécessaire de...
Je sais que c'est une question très courante. Mais j'ai un angle différent dans mon esprit. Je vais juste essayer de l'articuler ici. D'après ce que je sais, chaque instruction qu'un CPU exécute est en langage machine et tout ce que le CPU peut faire est de faire des opérations arithmétiques grâce...
Je sais que les portes NAND peuvent être utilisées pour créer des circuits qui implémentent chaque table de vérité, et les ordinateurs modernes sont constitués de portes NAND. Quel est le lien théorique entre les portes NAND et l'exhaustivité de Turing? Il me semble que les circuits de porte NAND...
Je lis sur le problème de débit maximum ici . Je ne pouvais pas comprendre l'intuition derrière le graphique résiduel. Pourquoi considérons-nous les bords arrière lors du calcul du débit? Quelqu'un peut-il m'aider à comprendre le concept de graphique résiduel? Comment l'algorithme change-t-il dans...