Je lutte avec peu de définitions dans la représentation des connaissances et je cherche une aide crédible pour les distinguer. J'ai cherché sur wikipedia et sur de nombreux sites Web la différence entre les ontologies et les réseaux sémantiques (à ne pas confondre avec le web sémantique). Bien que...
Dans le chapitre 1 de Foundations pratiques pour les langages de programmation , l'auteur mentionne que les arbres de syntaxe abstraite sont associés aux tris . Intuitivement, les tris sont comme des types, mais j'aimerais savoir s'ils ont une définition précise. Je serais heureux si certaines...
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...
Il me semble étrange que le TSP nie la possibilité de villes répétées. Le but de ce vendeur itinérant est d'aller le plus vite possible et de visiter toutes les villes, non? Que se passe-t-il s'il est plus rapide de traverser une ville dans laquelle vous êtes déjà
Un de mes aînés a eu un entretien d'embauche et on lui a demandé pourquoi cela s'appelait dynamique. Il n'a pas pu répondre et après avoir abandonné, l'intervieweur a dit qu'il n'y avait rien de dynamique, ça s'appelait juste comme ça. C'est difficile à croire pour moi. Fait-il référence au fait...
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. La...
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...
Quelqu'un pourrait-il m'expliquer ce qu'est exactement la RAM inconsciente? J'ai trouvé l' explication suivante qui me rend un peu clair, mais je voudrais avoir une idée des aspects techniques: Le chiffrement n'est pas toujours suffisant pour garantir la confidentialité. Si un adversaire peut...
J'ai entendu plusieurs explications possibles, donc je voudrais une référence fiable. Mise à jour 05.19: Je m'intéresse à la question parce qu'un de mes étudiants a écrit dans sa thèse que le nom vient de l'explication ci-dessous (1). Jusqu'à présent, je pensais / entendais que cela venait de...
Un graphe bipartite est planaire s'il n'a pas de mineurs K3 , 3K3,3K_{3, 3} ou .K5K5K_5 Je recherche des conditions nécessaires ou / et suffisantes pour permettre des dessins plans sans arêtes "contournant" des ensembles de sommets. Ce sont des dessins satisfaisants: Tous les sommets d'une partie...
Les machines de Turing ont un alphabet de symboles formel, une description basée sur les règles d'état et de transition de la façon dont un calcul est effectué. Le modèle d'acteur est parfois mentionné comme un modèle de calcul plus puissant que les machines de Turing (pas dans ce qu'il peut...
J'ai étudié Spiking Neural Networks en ligne à partir de divers articles, principalement Maass (1997) . Je ne suis pas tout à fait sûr de comprendre ce qui différencie le code d'impulsion de SNN des ANN précédents, qui sont considérés comme un code de taux. J'ai une formation en neuroscience, donc...
Qu'est-ce que cela signifie lorsqu'un argument d'une fonction est appelé un argument factice ? Je n'ai pas rencontré ce terme en dehors de Fortran, est-ce un terme général en informatique? Quels seraient des exemples d'arguments passés comme factices et non passés comme factices? J'ai trouvé cette...
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)....
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 :...
Je connais l' ordre des termes d'un arbre B. Récemment, j'ai entendu un nouveau terme: arbre B avec un degré minimum de 2. Nous savons que le degré est lié à un nœud mais quel est le degré d'un arbre? Le degré impose-t-il une sorte de restriction sur la hauteur d'un arbre B?...
Le problème de 3-coloration peut être prouvé NP-complet en utilisant la réduction de la coloration de graphique 3SAT (de 3SAT) . En conséquence, le problème de 4-Coloration est NP-Complete en utilisant la réduction de 3-Coloration: Réduction de l'instance 3-Coloring: ajouter un sommet...
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....
Lors du calcul de la dépendance d'exécution à l'entrée, quels calculs sont pris en compte? Par exemple, je pense avoir appris que l'indexation des tableaux ainsi que les instructions d'affectation ne sont pas comptées,
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...