L'informatique

Q & A pour les étudiants, chercheurs et praticiens de l'informatique

1
Quelle est la chance que ce code se termine?
J'ai écrit ce code Python et je me suis demandé s'il ne se terminait pas simplement parfois (en supposant que nous avions une mémoire / temps infinie et aucune limite de profondeur de récursivité). Intuitivement, vous penseriez qu'il se termine, car à un moment donné, vous devez avoir de la …
2
Positivité stricte
De cette référence: Positivité stricte La stricte condition de positivité exclut les déclarations telles que data Bad : Set where bad : (Bad → Bad) → Bad A B C -- A is in a negative position, B and C are OK Pourquoi A est-il négatif? Aussi pourquoi B est-il …
1
Les auto-types rendent-ils le calcul des constructions inductives obsolète?
Les Self Types sont une extension du Calcul des constructions [1] qui permettent au langage d'exprimer des types de données algébriques encodés par le Scott Encoding. Le Scott Encoding offre une possibilité de correspondance de motifs O(1), qui est l'un des principaux facteurs de motivation pour l'inclusion de définitions inductives …
1
Le problème d'arrêt est-il décidable pour les automates cellulaires unidimensionnels à 3 symboles?
J'ai essayé de déterminer si le problème d'arrêt est décidable pour les automates cellulaires unidimensionnels à 3 symboles. Définition Soit f(w,i)f(w,i)f(w,i) la configuration du système au pas de temps . Plus formellement , où est l'alphabet.iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to A^*AAA Définition. Un automate cellulaire s'est arrêté dans la configuration , si …
1
Si
Si P = N PP=NP\mathbf{P} = \mathbf{NP} , alors L = N LL=NL\mathbf{L} = \mathbf{NL} ? Je pose cette question parce que, pour d'autres classes non déterministes, il semble que P = N PP=NP\mathbf{P} = \mathbf{NP} établit toujours qu'elles sont égales à leurs homologues déterministes.
2
Complexité pour trouver une balle qui maximise le nombre de points qui s'y trouvent
Étant donné un ensemble de points et un rayon . Quelle est la complexité de trouver le point avec un plus grand nombre de points à une distance inférieure à . Par exemple, celui qui maximise ?x1,…,xn∈R2x1,…,xn∈R2x_1, \ldots, x_n \in \mathbb{R}^2rrrrrr∑ni = 11∥ x - xje∥ ≤ r∑i=1n1‖x−xi‖≤r\sum_{i=1}^n \mathbb{1}_{\|x - …
5
Applications quotidiennes de la théorie des types
Je veux comprendre la théorie des types mais je dois d'abord savoir comment l'appliquer. Pourrait-il y avoir des applications plus évidentes de la théorie des types en dehors des systèmes de types en programmation? Pourrait-il y avoir d'autres applications, disons dans le profilage de personnalité et autres?
3
Calculs infinis en temps fini
C'est probablement une idée stupide, mais supposons que nous ayons un ordinateur programmé pour effectuer une séquence infinie de calculs et supposons que le calcul prenne secondes pour terminer. Cet ordinateur peut alors effectuer un nombre infini de calculs en un temps limité.jeeithi^\text{th}1 / 2je1/2i1/2^i Pourquoi est-ce impossible? Y a-t-il …
4
Évolution des réseaux de neurones artificiels pour résoudre les problèmes de NP
J'ai récemment lu une entrée de blog très intéressante de Google Research Blog sur le réseau neuronal. Fondamentalement, ils utilisent ces réseaux de neurones pour résoudre divers problèmes comme la reconnaissance d'image. Ils utilisent des algorithmes génétiques pour "faire évoluer" les poids des axones. Donc, fondamentalement, mon idée est la …
1
Réécriture des termes; Calculer les paires critiques
J'ai essayé de résoudre l'exercice suivant mais je suis resté coincé en essayant de trouver toutes les paires critiques . J'ai les questions suivantes: Comment savoir quelle paire critique a produit une nouvelle règle? Comment savoir si j'ai trouvé toutes les paires critiques? Soit où est binaire, est unaire et …
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.