La principale source de problèmes de performances dans Haskell est peut-être lorsqu'un programme crée par inadvertance un thunk d'une profondeur illimitée - cela provoque à la fois une fuite de mémoire et un débordement de pile potentiel lors de l'évaluation. L'exemple classique définit sum = foldr...
Les problèmes ont été, dans leur ensemble, classés, grâce à la complexité informatique. Mais, dans les équations différentielles, est-il possible de classer les équations différentielles en fonction de leur structure de calcul? Par exemple, si une équation non homogène du premier ordre est...
Q . Quelle est la complexité de trouver la plus grande cellule délimitée par le volume dans un agencement de hyperplans de dimension?nnnrédd Je sens que je devrais le savoir ... Mais je ne trouve pas de référence définitive. Est-ce ? Que diriez-vous de la spécialisation : la cellule délimitée la...
Il existe un problème ouvert dans les langages formels connu sous le nom de problème de séparation; qui est brièvement indiqué comme étant donné deux chaînes distinctes de longueur , la taille d'un DFA est nécessaire pour les "séparer", ce qui signifie accepter une chaîne mais rejeter l'autre.nnn...
Quelle est la complexité du problème suivant ( P? NP-hard?):∈∈\in Entrée: un graphe acyclique dirigé , un ensemble d'arêtes arrières , et deux nœuds distincts et .E ′ ⊂ V × V s tD = ( V, E)D=(V,E)D=(V,E)E′⊂ V× VE′⊂V×VE'\subset V\times Vsssttt Question: Soit le graphe formé en ajoutant à les bords...
Dans les tests d'identité polynomiale, nous recherchons un algorithme déterministe pour déduire l'égalité de deux polynômes . Dérandomiser des algorithmes randomisés efficaces connus et produire un algorithme déterministe efficace est un problème ouvert important. Existe-t-il un problème complet...
Étant donné deux permutations et h sur n éléments (c'est-à-dire les membres de S n ), quelle est la complexité du calcul de l'ordre du sous-groupe généré par g , h ? Ou tout simplement de décider si le sous-groupe est d'ordre n ! (c'est-à-dire, tout S n
tttttt Θ ( journaln )Θ(Journaln)\Theta(\log n)tttΘ ( t + logt ⋅ logn )Θ(t+Journalt⋅Journaln)\Theta(t + \log t \cdot \log n) FFfFFfcccFFftttΩ ( t ⋅ ( c√- journaln ) )Ω(t⋅(c-Journaln))\Omega(t \cdot (\sqrt{c} - \log n)) Je ne connais aucun autre résultat général positif sur le problème de la...
Soit k > 0k>0k>0 une constante fixe. Etant donné un entier nnn , nous voulons construire une permutation σ∈ Snσ∈Sn\sigma \in S_n telle que: La construction utilise un temps et un espace constants (c'est-à-dire que le prétraitement prend un temps et un espace constants). Nous pouvons utiliser...
Je me demande s'il peut exister un moyen de donner une sorte de "forme normale" aux arbres de décision binaires (BDT) de manière maniable. Plus précisément: un BDT est un arbre avec des nœuds internes étiquetés par des variables booléennes et des feuilles étiquetées par ou . Un BDT représente une...
Ce blog parle de générer des "petits labyrinthes sinueux" à l'aide d'un ordinateur et de les énumérer. L'énumération peut être effectuée en utilisant l'algorithme de Wilson pour obtenir l' UST , mais je ne me souviens pas de la formule du nombre.
Soit un nombre . Considérons la langue suivante L n = {nnn .Ln= {w w|w ∈ { 0 , 1 }n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} En termes, est l'ensemble des chaînes de copie de longueur 2 n .LnLnL_n2 n2n2n Considérons la fonction de complexité d'état suivante telle que s ( n...
Soit une classe héréditaire de graphes. (Hereditary = fermé par rapport à la prise sous - graphes induits.) Soit désignent l'ensemble des graphes de -vertex dans . Disons que contient presque tous les graphes, si la fraction de tous les graphes verticaux tombant dans approche 1, comme .Q n n Q Q n...
Des combinateurs d'interaction ont été proposés comme cible de compilation pour le λ-calcul auparavant. Cet article met en œuvre le λ-calcul complet. Il est également connu qu'il est possible d' optimiser les codages en réseau d'interaction du λ-calcul pour le sous-ensemble de λ-termes qui est...
Le théorème de Borsuk-Ulam dit que pour chaque fonction impaire continue ggg d'une sphère n dans un espace n euclidien, il y a un point X0x0x_0 tel que g( x0) = 0g(X0)=0g(x_0)=0 . Simmons et Su (2002) décrivent une méthode pour approximer le point X0X0x_0 utilisant le lemme de Tucker . Cependant,...
À http://www.dharwadker.org/tevet/isomorphism/ , il y a une présentation d'un algorithme pour déterminer si deux graphiques sont isomorphes. Étant donné un certain nombre de déclarations «intéressantes» de A Dharwadker, je ne suis pas enclin à y croire. Dans mon enquête, je trouve que l'algorithme...
Le terme λ suivant, ici sous forme normale: sort = (λabc.(a(λdefg.(f(d(λhij.(j(λkl.(k(λmn.(mhi))l)) (h(λkl.l)i)))(λhi.(i(λjk.(bd(jhk)))(bd(h(λjk.(j (λlm.m)k))c)))))e))(λde.e)(λde.(d(λfg.g)e))c)) Implémente un algorithme de tri pour les listes codées par église. Autrement dit, le résultat de: sort...
Dans les projets Polymath, un grand groupe travaille sur un problème ouvert. Quels types de problèmes semblent fonctionner le mieux dans ce cadre? Y a-t-il de bons candidats pour un projet polymath en informatique théorique? Y a-t-il des obstacles qui rendent les projets Polymath moins susceptibles...
Extrait de l' article sur la stratégie d'évaluation sur Wikipédia: La notion de stratégie de réduction dans le calcul lambda est similaire mais distincte. Extrait de l' article sur la stratégie de réduction sur Wikipédia: Elle est similaire mais subtilement différente de la notion de stratégie...
Considérez le problème suivant: Étant donné une matrice nous voulons optimiser le nombre d'additions dans l'algorithme de multiplication pour calculer v ↦ M v .MMMv ↦ Mvv↦Mvv \mapsto Mv Je trouve ce problème intéressant en raison de ses liens avec la complexité de la multiplication matricielle (ce...