L'informatique

2

Classe de complexité de l'inversion de matrice

Inverse une matrice dans la classe Complexity ?PP\text{P} À partir de l'exécution, je dirais oui mais la matrice inversée peut contenir des entrées où la taille n'est pas limitée polynomialement par l'entrée?O (n3)O(n3)\mathcal{O}(n^3)

9 complexity-theory

1

Que signifie le 2 dans un algorithme à 2 approximations?

Est-ce que le 2 dans un algorithme à 2 approximations signifie que la solution est dans 2 * OPT ou OPT / 2?

9 algorithms algorithm-analysis np approximation polynomial-time

2

Quel point fixe est le type de liste Haskell?

Disons que les listes sont définies comme List a = Nil | Cons a (List a) Alors, à Haskell est List xle plus grand point ou le moins fixe? Je demande parce que le lfp devrait exclure les listes infinies (mais vous pouvez les construire dans Haskell), tandis que le …

9 programming-languages type-theory functional-programming semantics category-theory

2

Existe-t-il une définition canonique de la fonction «pure»?

StackOverflow m'a pointé ici, donc la question pourrait être un peu en termes simples. Wikipedia définit les fonctions pures comme En programmation informatique, une fonction peut être décrite comme une fonction pure si ces deux déclarations sur la fonction sont valables: La fonction évalue toujours la même valeur de résultat …

9 terminology functional-programming semantics

1

Expressivité des expressions régulières modernes

J'ai récemment discuté avec un ami d'un site Web qui proposait des défis d'expression régulière, correspondant principalement à un groupe de mots avec une propriété spéciale. Il cherchait une expression régulière qui correspond à des chaînes comme ||||||||où le nombre de |est premier. Je lui ai immédiatement dit que ça …

9 formal-languages machine-models logic boolean-algebra xor cryptography algorithms machine-learning algorithms paging virtual-memory programming-languages object-oriented algorithms search-algorithms strings binary-search formal-grammars context-free algorithms algorithms correctness-proof greedy-algorithms permutations logic first-order-logic logic-programming algorithms complexity-theory computability programming-languages complexity-theory complexity-classes quantum-computing reductions formal-languages programming-languages semantics operational-semantics small-step-semantics sets first-order-logic computer-networks communication-protocols

4

Adressable par mot ou octet? Terminologie correcte

Apparemment, un octet s'est établi à 8 bits (est-ce exact?). La RAM et le flash NOR sont normalement accessibles à un niveau assez granulaire, mais c'est à l'architecture du système de déterminer si la plus petite unité adressable est 8 bits, 16 bits ou toute autre puissance de deux bits. …

9 terminology computer-architecture memory-management memory-access

2

Partitionner une langue régulière infinie en 2 langues régulières infinies disjointes

Étant donné une langue régulière infinie LLL, comment puis-je prouver que LLL peut être partitionné en 2 langages réguliers infinis disjoints L1,L2L1,L2L_1, L_2? C'est:L1∪L2=LL1∪L2=LL_1 \cup L_2 = L, L1∩L2=∅L1∩L2=∅L_1 \cap L_2 = \varnothing, et L1L1L_1 et L2L2L_2 sont à la fois infinies et régulières. Jusqu'à présent, j'ai pensé à: en …

9 formal-languages regular-languages finite-automata

2

Équivalence d'ensemble indépendant et d'emballage d'ensemble

Selon Wikipedia, le problème de l' ensemble indépendant est un cas particulier du problème de l' ensemble de paquets . Mais il me semble que ces problèmes sont équivalents. Le problème de recherche des ensembles indépendants est le suivant: étant donné un graphe et un entier , trouver sommets dont …

9 algorithms graphs sets packing

2

Hachage rapide: combinaison de différentes techniques pour identifier les changements dans un fichier?

Je veux créer un moyen rapide de détecter si un fichier peut ou non être le même. Pour une sécurité de près de 100%, j'utiliserais un algorithme de hachage existant, par exemple SHA256. Cependant, les fichiers devraient être des fichiers vidéo énormes avec plusieurs Go, donc le calcul du hachage …

9 hash performance

3

Pourquoi utiliser

On sait que les logiques temporelles LTL, CTL, CTL * peuvent être traduites / intégrées dans le μμ\mu-calcul. En d'autres termes, le (modal)μμ\mu-calculus subsume ces logiques, (c'est-à-dire qu'il est plus expressif.) Pourriez-vous s'il vous plaît m'expliquer / pointer vers des articles / livres qui développent cette question. En particulier, y …

9 logic simulation linear-temporal-logic mu-calculus computation-tree-logic

2

Théorème de Courcelle: recherche de papiers

Je recherche un article simple et introductif sur la preuve du Théorème de Courcelle . Je m'intéresse également à son lien avec la complexité paramétrée concernant la largeur d'arbre . Je ne suis qu'un débutant dans ce domaine. Aucune suggestion?

9 complexity-theory graph-theory reference-request discrete-mathematics parameterized-complexity

2

Est-il possible de faire des types dépendants dans une raquette typée?

Est-il possible d'utiliser des types dépendants dans l' implémentation de raquette typée existante ? (c'est-à-dire qu'ils existent dedans?) Est-il raisonnablement possible d'implémenter un système de types dépendants à l'aide d'une raquette typée?

9 programming-languages typing type-checking dependent-types lisp

1

Réseau neuronal divergent au lieu de converger

J'ai implémenté un réseau neuronal (utilisant CUDA) avec 2 couches. (2 neurones par couche). J'essaie de lui faire apprendre 2 fonctions polynomiales quadratiques simples en utilisant la rétropropagation . Mais au lieu de converger, il diverge (la sortie devient l'infini) Voici quelques détails supplémentaires sur ce que j'ai essayé: J'avais …

9 machine-learning artificial-intelligence neural-networks

1

Que signifie dire qu'une langue est «effectivement fermée» dans le cadre d'une opération?

J'ai lu des articles théoriques sur le langage formel et je suis tombé sur un terme que je ne comprends pas. Le document fera souvent référence à un ensemble «effectivement fermé sous intersection» ou à d'autres opérations. Que signifie "effectivement" ici? En quoi cela diffère-t-il de la fermeture normale? Pour …

9 formal-languages terminology computability automata closure-properties

1

Le problème du sac à dos 0-1 où la valeur est égale au poids est-il NP-complet?

J'ai un problème que je soupçonne être NP-complet. Il est facile de prouver qu'il s'agit de NP. Mon courant de pensée tourne autour de l'utilisation d'une réduction par rapport au sac à dos, mais il en résulterait des instances de 0-1-sac à dos avec la valeur de chaque élément étant …

9 complexity-theory np-complete decision-problem packing