L'informatique

2

Comptage des permutations dont les éléments ne sont pas exactement leur indice ± M

On m'a récemment posé ce problème dans une interview algorithmique et je n'ai pas réussi à le résoudre. Étant donné deux valeurs N et M, vous devez compter le nombre de permutations de longueur N (en utilisant des nombres de 1 à N) de sorte que la différence absolue entre …

13 algorithms permutations algorithm-design

2

Une langue unaire est-elle régulière si son exposant est une fonction linéaire?

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 spécifiques, …

13 formal-languages regular-languages

2

Comment le mot «production» est-il devenu synonyme du mot «règle» dans le contexte de l'informatique?

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 …

13 formal-languages terminology automata finite-automata formal-grammars

3

Est-il obligatoire de définir des transitions sur chaque alphabet possible dans les automates finis déterministes?

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 ce n'est pas …

13 automata finite-automata nondeterminism

1

Tester si une preuve arbitraire est circulaire?

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 programme arbitraire se reproduit pour toujours …

13 logic curry-howard

1

Est-ce un moyen générique de convertir une procédure récursive en récursivité de queue?

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 procédure d'assistance pour commencer. La valeur …

13 algorithms logic recursion lisp

2

Demande de référence: théorie des catégories telle qu'elle s'applique aux systèmes de types

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 pour voir ce qui …

13 reference-request programming-languages type-theory category-theory

1

Quelles fonctions les expressions de calcul combinateur peuvent-elles calculer?

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 combinateur syntaxiquement valides …

13 lambda-calculus combinatory-logic

3

Un problème fini peut-il être dans NP-Complete?

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 …

13 np-complete np

2

Si P = NP, y a-t-il des cryptosystèmes qui nécessiteraient n ^ 2 temps pour se casser?

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 algorithmes?

13 cryptography encryption

3

Que signifie la mémoire Θ (1)?

J'ai la définition d'un algorithme in situ du professeur, mais je ne la comprends pas. Les algorithmes in situ font référence aux algorithmes qui fonctionnent avec la mémoire Θ (1). Qu'est-ce que ça veut dire?

13 algorithms terminology landau-notation

1

Si n'est pas polynomial ou exponentiel, alors comment s'appelle cette fonction?

Je viens de trouver cette phrase à la page 6 de "Ordinateurs et intractabilité" de Garey et Johnson. Tout algorithme dont la fonction de complexité temporelle ne peut pas être ainsi bornée est appelé algorithme de temps exponentiel (bien qu'il convient de noter que cette définition inclut certaines fonctions de …

13 algorithms terminology polynomial-time

3

quelle est la différence entre le perceptron multicouche et le réseau neuronal multicouche?

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 neuronales?

13 neural-networks perceptron

1

Détermine s'il y a un nombre premier dans un intervalle connu pour être en P ou NP-complet?

J'ai vu dans ce post sur stackoverflow qu'il existe des algorithmes relativement rapides pour tamiser un intervalle de nombres pour voir s'il y a un nombre premier dans cet intervalle. Cependant, cela signifie-t-il que le problème de décision global de: (Existe-t-il un nombre premier dans un intervalle?) Est en P. …

13 complexity-theory np polynomial-time primes

3

problème indécidable et sa négation est indécidable

Beaucoup de problèmes indécidables «célèbres» sont néanmoins au moins semi-décidables, leur complément étant indécidable. Un exemple par-dessus tout peut être le problème de l'arrêt et son complément. Cependant, quelqu'un peut-il me donner un exemple dans lequel un problème et son complément sont indécidables et non semi-décidables? J'ai pensé au langage …

13 formal-languages computability turing-machines undecidability semi-decidability