L'informatique

2

Quelle est la complexité du calcul du coefficient de corrélation de rang de Spearman?

J'ai étudié le coefficient de corrélation de rang du Spearman .ρ = ∑je( xje- x¯) ( yje- y¯)∑je( xje- x¯)2∑je( yje- y¯)2-------------------√ρ=∑je(Xje-X¯)(yje-y¯)∑je(Xje-X¯)2∑je(yje-y¯)2\qquad \displaystyle \rho = \frac{\sum_i(x_i-\bar{x})(y_i-\bar{y})}{\sqrt{\sum_i (x_i-\bar{x})^2 \sum_i(y_i-\bar{y})^2}} pour deux listes et y 1 , … , y n . Quelle est la complexité de l'algorithme?X1, … , XnX1,…,Xnx_1, \dots, …

10 complexity-theory time-complexity space-complexity

1

Comment puis-je construire une liste de bords doublement connectés en fonction d'un ensemble de segments de ligne?

Pour un graphe planaire donné noyé dans le plan, défini par un ensemble de segments de droite , chaque segment est représenté par ses extrémités . Construisez une structure de données DCEL pour la subdivision planaire, décrivez un algorithme, prouvez son exactitude et montrez la complexité.G ( V, E)g(V,E)G(V,E)E= { …

10 algorithms data-structures computational-geometry doubly-connected-edge-list

2

Est-ce que

Est - NPNPNP avec accès à Oracle NPNPNP plus grand que juste NPNPNP ? Si je comprends bien, est juste une machine de turing qui peut faire des requêtes à une autre machine si oui que peut simuler ? Y a-t-il quelque chose qui ne va pas avec cet argument? …

10 complexity-theory

1

Quel est le taux de croissance du World Wide Web?

Existe-t-il un moyen d'estimer la quantité de données ajoutées au World Wide Web chaque seconde? Y a-t-il des études à ce sujet?

10 computer-networks

1

Alternatives à la défonctionnalisation

La défonctionnalisation est une transformation décrite pour la première fois en 1972 par John C. Reynolds pour éliminer les fonctions d'ordre supérieur. Existe-t-il des transformations alternatives (plus efficaces?) Pour éliminer les fonctions d'ordre supérieur?

10 programming-languages functional-programming

1

Quelles sont les applications des rosiers?

J'ai récemment découvert la structure des données du rosier, mais en partant d'une datadéfinition de Haskell et de la minuscule description de Wikipédia , j'ai du mal à comprendre quelles applications un rosier pourrait avoir. Pour référence, la datadéfinition de Haskell : data RoseTree a = RoseTree a [RoseTree a] …

10 trees

3

Qu'est-ce qu'une méthode naïve?

Je recherchais une programmation dynamique et j'ai lu ce qui suit: Souvent, lorsque vous utilisez une méthode plus naïve, de nombreux sous-problèmes sont générés et résolus plusieurs fois. Qu'est-ce qu'une méthode naïve?

10 terminology dynamic-programming

1

Quelle est la différence entre RAM et TM?

Dans l'analyse d'algorithmes, nous supposons une machine d'accès aléatoire (RAM) à un processeur générique. Pour autant que je sache, la machine RAM n'est pas plus efficace que la machine Turing. Tous les algorithmes peuvent être implémentés dans la machine de Turing. Mes questions sont donc: Si la machine Turing est …

10 turing-machines computation-models

1

Dériver les équations de Sobel à partir de dérivés

De nombreux sites donnent aux opérateurs Sobel le masque de convolution pour lisser une image. Cependant, je n'ai trouvé aucun site décrivant comment vous pouvez dériver les opérateurs à partir de premières dérivées partielles. Si quelqu'un peut expliquer la dérivation, je l'apprécierais grandement.

10 image-processing computer-vision

3

Trouver une source d'un graphique acyclique dirigé en temps linéaire

Étant donné un graphique acyclique dirigé D = ( V, A )D=(V,A)D = (V,A), un sommet v ∈ Vv∈Vv \in Vest une source si son indegree est nul, ce qui signifie qu'il n'a que des arcs sortants. Existe-t-il un algorithme de temps linéaire pour trouver une source dans un graphe …

10 algorithms graph-theory

4

Une machine de Turing (TM) peut-elle décider si le problème d'arrêt s'applique à toutes les MT?

Sur ce site, il existe de nombreuses variantes sur la question de savoir si les MT peuvent décider du problème d'arrêt, que ce soit pour toutes les autres MT ou certains sous-ensembles. Cette question est quelque peu différente. Il demande si le fait que le problème d'arrêt s'applique à toutes …

9 computability turing-machines undecidability halting-problem

1

Pourquoi Coq inclut des let-expressions dans son langage principal

Coq inclut des let-expressions dans son langage principal. Nous pouvons traduire des expressions let dans des applications comme celle-ci: let x : t = v in b ~> (\(x:t). b) v je comprends que cela ne fonctionne pas toujours car la valeur vne serait pas disponible lors de la vérification …

9 type-theory dependent-types type-checking coq

1

Pourquoi dire que la recherche en largeur se déroule dans le temps ?

Il est souvent indiqué (par exemple dans Wikipedia ) que le temps d'exécution de la recherche en largeur (BFS) sur un graphique est . Cependant, tout graphe connecté a | V | \ leq | E | +1 et, même dans un graphe non connecté, BFS ne regardera jamais un …

9 algorithm-analysis search-algorithms

1

Automates finis non déterministes | Exemple Sipser 1.16

Je travaille sur le livre Sipser (2e édition) et suis tombé sur cet exemple, que je ne comprends pas. Dans le livre, il indique que ce NFA accepte la chaîne vide,ϵϵ\epsilon. Quelqu'un pourrait-il m'expliquer pourquoi c'est le cas? Ma compréhension est que ϵϵ\epsilon se déplacera vers q3q3q_3 qui n'est pas …

9 regular-languages finite-automata nondeterminism

2

Existe-t-il un code binaire de longueur 6, de taille 32 et de distance 2?

Le problème est de prouver ou de réfuter l'existence de CCC , st, ; ; . ( signifie hamming distance)| c | = 6 , ∀ c ∈ C|c|=6,∀c∈C|c| = 6,\forall c\in C| C| =32|C|=32|C| = 32ré( cje, cj) ≥ 2 , 1 ≤ i < j ≤ 32d(ci,cj)≥2,1≤i<j≤32d(c_i,c_j)\geq2,1\leq i<j\leq32rédd …

9 information-theory coding-theory encoding-scheme