D'après ce que j'ai lu dans le preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D. Voici la définition PTAS : Un schéma d'approximation polynomiale du temps ( PTAS ) pour le...
Quand dit-on qu'un réseau de neurones artificiels est un Perceptron multicouche ? Et quand dit-on qu'un réseau de neurones artificiels est multicouche ? Le terme perceptron est-il lié à la règle d'apprentissage pour mettre à jour les poids? Ou est-ce lié aux unités
Si P est égal à NP, sera-t-il encore possible de concevoir un cryptosystème où l'algorithme de cryptanalyse optimal prend, disons, le carré du temps occupé par les algorithmes de chiffrement et de déchiffrement légitimes? Existe-t-il déjà de tels
Mon conférencier a fait la déclaration Tout problème fini ne peut pas être NP-Complete Il parlait de Sudoku à l'époque en disant quelque chose dans le sens que pour un Sudoku 8x8, il existe un ensemble fini de solutions, mais je ne me souviens pas exactement de ce qu'il a dit. J'ai écrit la note...
Une expression combinatoire (disons dans la base SK) peut être considérée comme une fonction qui mappe des expressions de calcul combinateur à des expressions de calcul combinateur. Autrement dit, on peut penser à une expression comme une fonction , où est l'ensemble de toutes les expressions de...
Je pensais aux preuves et suis tombé sur une observation intéressante. Les preuves sont donc équivalentes aux programmes via l'isomorphisme de Curry-Howard, et les preuves circulaires correspondent à une récursion infinie. Mais nous savons par le problème de l'arrêt qu'en général, tester si un...
Il semble que les «expressions régulières de base» telles que définies par POSIX.1-2008 ne prennent pas en charge l'alternance a|b(bien que certaines implémentations grep reconnaissent la version échappée \|). Les langues régulières étant fermées par union par définition, cela signifie-t-il que...
Une fonction heuristique h(n)h(n)h (n) est ... Cohérent si le coût estimé du nœud nnn à l'objectif n'est pas supérieur au coût de l'étape pour son successeur n′n′n' plus le coût estimé du successeur à l'objectif. Admissible si h(n)h(n)h(n) ne surestime jamais le véritable coût pour l'état de...
Je n'arrête pas d'entendre comment on doit apprendre la théorie des catégories pour vraiment comprendre la théorie du langage de programmation. Jusqu'à présent, j'ai appris beaucoup de PL sans jamais entrer dans le domaine des catégories. Cependant, j'ai pensé qu'il était temps de faire le saut...
Il semble que j'ai trouvé un moyen générique de convertir toute procédure récursive en récursion de queue: Définissez une sous-procédure d'assistance avec un paramètre "résultat" supplémentaire. Appliquez ce qui serait appliqué à la valeur de retour de la procédure à ce paramètre. Appelez cette...
Demain c'est ma présentation et je veux clarifier mes concepts… J'ai lu que dans DFA, "Pour chaque état, la transition sur tous les symboles possibles (alphabet) devrait être définie." La définition de la transition sur tous les symboles possibles est-elle obligatoire pour chaque état dans DFA? Si...
J'étudie les langages formels et les systèmes de bases de production (systèmes de bases de règles) et je suis un peu confus quant à la raison pour laquelle ces deux mots "production" et "règle" signifient la même chose dans tant de contexte en informatique. En langue anglaise, ils ne semblent pas...
En faisant le travail actuel pour mon cours de langues formelles et d'automates, je suis resté coincé sur des exercices impliquant des langues unaires (j'espère que c'est le bon terme), c'est-à-dire des langues qui s'appuient sur une seule lettre. Je ne veux pas poser de questions sur les exercices...
Existe-t-il des algorithmes connus pour les problèmes formulés qui nécessitent une complexité SPACE de O (sqrt (N))? Je sais qu'il existe des algorithmes avec cette complexité temporelle
Si j'ai deux matrices et B , de dimensions 1000 × 2 et 2 × 1000 , respectivement, et que je veux calculer ( A B ) 5000 , il est plus efficace de réécrire d'abord l'expression sous la forme A ( B A ) 4999 B et ensuite seulement évaluer numériquement, car A B est de dimension 1000 × 1000 mais B A est...
Supposons qu'il y ait une session de tutorat dans une université. Nous avons un ensemble de kkk questions Q={q1…qk}Q={q1…qk}Q = \{ q_1 \ldots q_k \} et un ensemble de nnn élèves S={s1…sn}S={s1…sn}S = \{ s_1 \ldots s_n \} . Chaque élève a un doute dans un certain sous-ensemble de questions,...
Je pensais aux grammaires pour les langues sensibles à l'indentation et il semble que les grammaires CF feraient l'affaire si elles étaient combinées avec des paramètres. À titre d'exemple, considérons ce fragment pour la grammaire Python simplifiée au format de type ANTLR: // on top-level the...
Étant donné deux chaînes, comment pouvez-vous vérifier si elles sont une permutation l'une de l'autre en utilisant l'espace O (1)? La modification des chaînes n'est en aucun cas autorisée. Remarque: espace O (1) par rapport à la longueur de la chaîne ET à la taille de
Je pense que je suis assez confus à propos de ce qu'on appelle un calcul et ce qu'on appelle un langage de programmation. J'ai tendance à penser, et on aurait pu le dire, qu'un calcul est un système formel de raisonnement sur l'équivalence des programmes. Les programmes ont une sémantique...
La littérature est assez claire sur le fait que les RAM à coût unitaire avec multiplication primitive sont déraisonnables, dans la mesure où elles ne peut pas être simulé par les machines de Turing en temps polynomial peut résoudre des problèmes PSPACE complets en temps polynomial Cependant, toutes...