Questions marquées «terminology»

Questions sur la façon dont les notions spécifiques doivent être comprises ainsi que les conventions de notation.

3
Diagramme en T du compilateur croisé
J'étudie Bootstrapping de Red Dragon Book Compilers et j'ai trouvé le diagramme en T pour le compilateur croisé assez déroutant. Je ne peux pas comprendre ce que l'on entend par «exécuter compilateur1 à compilateur2». Quelqu'un peut-il fournir une meilleure explication, une analogie ou un exemple pour se rapporter à un …
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 …
1
Le sous-ensemble Sum autorise-t-il les multisets?
Dans le problème de sous-ensemble, certains des nombres donnés peuvent-ils être les mêmes? Par exemple, nous pourrions avoir et l'objectif est de ? Puis-je supposer que j'ai une solution spécifique avec les numéros et et et ne l'est pas?une1,une2,une3, … ,unenune1,une2,une3,…,unena_1,a_2,a_3,\dots,a_n[ 1 , 1 , 1 , 2 , 3 …
2
La «recherche ternaire» est-elle un terme approprié pour l'algorithme qui optimise une fonction unimodale sur un intervalle réel?
Supposons que je veuille optimiser une fonction unimodale définie sur un certain intervalle réel. Je peux utiliser l'algorithme bien connu décrit dans Wikipedia sous le nom de recherche ternaire . Dans le cas de l'algorithme qui divise de façon répétée les intervalles par deux, il est courant de réserver le …
2
Veuillez expliquer «décidabilité» et «vérifiabilité»
J'essaie de comprendre (intuitivement) les deux termes «décidabilité» et «vérifiabilité». J'ai fait un nombre raisonnable de recherches et de lecture des différents textes sur lesquels je peux mettre la main. Cependant, leur compréhension intuitive semble m'échapper, spécialement pour le second. Parmi les nombreuses définitions trouvées, la suivante trouvée dans cette …
2
Les algorithmes randomisés sont-ils constructifs?
D'après, les preuves par la méthode probabiliste sont souvent dites non constructives. Cependant, une preuve par méthode probabiliste conçoit en effet un algorithme aléatoire et l'utilise pour prouver l'existence. Cité de la p103 des algorithmes randomisés par Rajeev Motwani, Prabhakar Raghavan : Nous pourrions voir la preuve par la méthode …
4
Grande notation O imbriquée
Disons que j'ai un graphique |G||G||G| avec |E|=O(V2)|E|=O(V2)|E|=O(V^2)bords. Je veux exécuter BFS surggG qui a une durée de O (V+E)O(V+E)O(V+E). Il semble naturel d'écrire que le temps d'exécution sur ce graphique serait O ( O (V2) + V)O(O(V2)+V)O(O(V^2)+V) puis simplifier pour O (V2)O(V2)O(V^2). Y a-t-il des pièges à utiliser un …
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.