Remarque: ceci provient des notes d'Algorithmes de JeffE sur les récurrences, page 5. (1). Nous définissons donc la récurrenceT(n)=n−−√T(n−−√)+nT(n)=nT(n)+nT(n) = \sqrt{n}T(\sqrt{n})+nsans aucun cas de base. Maintenant, je comprends que pour la plupart des récidives, puisque nous recherchons des...
En lisant cette réponse à cette question SO: Pourquoi ne combinons-nous pas des générateurs de nombres aléatoires? , ça parle de PRNG de très haute qualité (Pseudo Random Number Generator) donc je me demande ce qui constitue un PRNG de haute qualité, je suppose que vous pouvez le résumer comme...
Les subtilités de la correspondance entre la théorie des types et la théorie des catégories sont en dehors de mon ken. Cependant, par ma compréhension naïve de la relation entre les deux disciplines historiquement convergentes, cette dernière subsume entièrement la première. Si tel est le cas, le...
Je travaille donc actuellement sur quelque chose et j'ai converti tous les chiffres décimaux 0-9 en binaire. Mais maintenant, je veux prendre disons 6 en binaire et augmenter son ordre de grandeur de base 10 (en transformant 6 en 60) sans reconvertir en base 10. Est-ce possible et si oui, y a-t-il...
Il existe un algorithme aléatoire très simple qui, étant donné un 3SAT, produit une assignation satisfaisant au moins 7/8 des clauses (en attente): choisissez une assignation aléatoire. Une assignation aléatoire satisfait chaque clause avec la probabilité 7/8, et donc la linéarité de l'attente...
Je suis nouveau dans la théorie de la complexité et je veux savoir ce qu'est la théorie de la complexité structurelle? quels problèmes les théoriciens tentent-ils de résoudre dans ce domaine et quel est son avenir? Du wikipedia: La théorie de la complexité structurelle ou simplement la complexité...
Je lis actuellement le livre Introduction à la théorie du calcul (2e ou 3e éd.) De Michael Sipser , et je suis tombé sur une question du chapitre 1 - Langues régulières , à savoir lorsque l'auteur présente l'idée de preuve du théorème 1.49 - "La classe des langues régulières est fermée sous...
J'ai du mal à déterminer si tous les nombres carrés (1, 4, 9, 16, ...) écrits sous forme binaire (1, 100, 1001, ...) sont une langue régulière. Après quelques tentatives pour trouver un modèle commun de ces nombres, j'ai découvert que pour tout nombre carré , est égal à 0 ou 1, et je suis donc en...
Y a-t-il une différence entre la récursion structurelle et la récursion de queue ou les deux sont-ils identiques? Je vois que dans ces deux récursions, la fonction récursive est appelée sur le sous-ensemble des éléments
Considérez la séquence . Il semble "régulier" d'une manière qui, par exemple, ne l'est pas.s1=(1,0,1,0,…)s1=(1,0,1,0,…)s_1 = (1, 0, 1, 0,\dots)s2=(1,2,3,4,…)s2=(1,2,3,4,…)s_2 = (1, 2, 3, 4,\dots) Je ne sais pas comment formaliser cette intuition cependant. Une chose qui me saute aux yeux est que...
Étant donné un ensemble fini SSSde points dans , comment calculer efficacement un "point le plus isolé" ?RréRré\mathbb R^dx ∈ SX∈Sx\in S On définit un "point le plus isolé" parXXx x = argmaxp ∈ Sminq∈ S∖ { p }ré( p , q)X=argmaxp∈Sminq∈S∖{p}ré(p,q)x = \arg\max_{p \in S} \min_{q \in S \setminus...
Toutes mes excuses pour la question des débutants, mais je suis un peu confus quant à ce qui compte exactement comme une "opération simple" lorsque l'on élabore la complexité temporelle d'un algorithme. En particulier, pourquoi considérons-nous que toutes les opérations sont égales? Assurément, la...
Une approche courante pour décider si deux graphes donnés sont isomorphes consiste à calculer l'étiquette dite canonique (alternativement, graphe canonique) de chaque graphe et à vérifier s'ils correspondent ou non. Des outils tels que Nauty calculent le graphe canonique via des arbres de recherche...
Dans notre cours sur les concepts du langage de programmation, notre instructeur a affirmé qu'il est acceptable qu'un état final mène à un autre état dans un diagramme à états finis. Mais cela semble être un concept fondamentalement contradictoire. Parce qu'un état final par définition est un état...
Existe-t-il des algorithmes efficaces pour vérifier si une liste d'entiers est coprime par paire, ou un algorithme plus général serait-il la meilleure option
Je suis sûr qu'il doit y avoir quelque chose qui ne va pas dans le raisonnement suivant, car sinon beaucoup de recherches P vs NP seraient réduites mais je ne peux pas déterminer mon erreur: Pour tout entier fixe définissezk > 0k>0k>0Bk: = { ⟨ & Phiv ⟩ |φest un wff de ZF et a une preuve...
Soit et les suivants:L1L1L_1L2L2L_2 L1={r:∃x,y∈Z such that x2+y2=r}L1={r:∃x,y∈Z such that x2+y2=r}L_1=\{r:\exists x,y \in \mathbb{Z} \text{ such that } x^2+y^2=r\} L2={(N,M):M<N,∃1<d≤M such that d|N}L2={(N,M):M<N,∃1<d≤M such that d|N}L_2=\{(N,M):
J'essaie de trouver un moyen d'expliquer l'idée de la preuve du problème de l'arrêt de la manière la plus accessible possible (aux étudiants CS de premier cycle). L'argument le plus simple que j'ai trouvé est celui-ci ; c'est précisément le style de traitement que je vise. Cependant,...
Voici quatre principes que je ne peux pas concilier: Algorithmes de temps exponentiels doubles exécutés en temps avec constanteO(22nk)O(22nk)O(2^{2^{n^k}})k∈Nk∈Nk \in \mathbb{N} Des algorithmes de temps exponentiels s'exécutent en avec constanteO(2nk)O(2nk)O(2^{n^k})k∈Nk∈Nk \in \mathbb{N} La...
Je vois partout que l'équation récursive de la complexité de Strassen alg est: Ce n'est pas si clair pour moi. Le paramètre est censé être la taille de l'entrée, mais il semble qu'il s'agit ici d'une dimension d'une matrice alors que la taille de l'entrée est en fait . De plus, chaque matrice de...