Prenons un carré, ABCD. Il m'a semblé intuitivement que son polynôme chromatique est où il y a des couleurs disponibles.λ(λ−1)(λ−1)(λ−2)λ(λ−1)(λ−1)(λ−2)\lambda(\lambda - 1)(\lambda - 1)(\lambda - 2)λλ\lambda C'est-à-dire qu'il y a façons de choisir une couleur pour A, il y a façons pour les...
De Wikipédia : Le type de problème de calcul: Les problèmes les plus couramment utilisés sont les problèmes de décision . Cependant, les classes de complexité peuvent être définies en fonction des problèmes de fonction, des problèmes de comptage, des problèmes d'optimisation, des problèmes de...
Programmation dynamique avec un grand nombre de sous-problèmes. J'essaie donc de résoudre ce problème depuis Interview Street: Grid Walking (Score 50 points) Vous êtes situé dans une grille à NNN dimensions à la position (x1,x2,…,xN)(x1,x2,…,xN)(x_1,x_2,\dots,x_N) . Les dimensions de la grille sont...
J'ai rencontré le problème intéressant suivant: soit polynômes sur le champ des nombres réels, et supposons que leurs coefficients soient tous entiers (c'est-à-dire qu'il existe une représentation exacte finie de ces polynômes). Si nécessaire, nous pouvons supposer que le degré des deux polynômes...
Est-ce que "inductivement" et "récursivement" signifient très similaires? Par exemple, s'il existe un algorithme qui détermine un vecteur n-dim en déterminant ses premiers k + 1 composants en fonction de ses premiers k composants ayant été déterminés et est initialisé avec le premier composant,...
On m'a dit que les ordinateurs quantiques ne sont pas plus puissants sur le plan informatique que les machines de Turing. Quelqu'un pourrait-il bien vouloir fournir des références bibliographiques expliquant ce
J'ai besoin d'une définition concise de "l'état d'un objet" dans la programmation orientée objet (pour un article). Pendant environ une demi-journée, j'ai cherché un article que je peux citer sur ce sujet, mais je n'en ai pas trouvé un. Tous les articles que j'ai trouvés étaient principalement des...
Il a été porté à mon attention que le coût de l'inférence de type dans un langage fonctionnel comme OCaml peut être très élevé. L'affirmation est qu'il existe une séquence d'expressions telle que pour chaque expression, la longueur du type correspondant est exponentielle sur la longueur de...
On peut comprendre votre question de deux manières, selon la définition de "le complément de CFL". cas A: le complément de CFL est la classe de toutes les langues qui ne sont pas en CFL. Formellement, Dans ce cas, est bien plus grand que , il a même des langages qui ne sont pas en , etc. Mais...
De Wikipédia La récupération d'informations est l'activité consistant à obtenir des ressources d'informations pertinentes pour un besoin d'informations à partir d'une collection de ressources d'informations. Les recherches peuvent être basées sur des métadonnées ou sur une indexation en texte...
Disons que nous avons 10 personnes, chacune avec une liste de livres préférés. Pour une personne donnée X, je voudrais trouver un sous-ensemble spécial de livres de X aimé seulement par X, c'est-à-dire qu'il n'y a aucune autre personne qui aime tous les livres du sous-ensemble spécial de X. Je...
Considérons un graphe orienté GGG sur lequel on peut ajouter dynamiquement des bords et faire des requêtes spécifiques. Exemple: forêt à ensembles disjoints Considérez l'ensemble de requêtes suivant: arrow(u, v) equiv(u, v) find(u) le premier ajoute une flèche au graphe, le second décide si u ↔ ∗ v...
Comment l'analyse asymptotique (big o, little o, big theta, big theta etc.) est-elle définie pour les fonctions à variables multiples? Je sais que l'article Wikipedia contient une section, mais il utilise beaucoup de notation mathématique que je ne connais pas. J'ai également trouvé l'article...
J'ai un algorithme récursif avec une complexité temporelle équivalente à choisir k éléments parmi n avec répétition, et je me demandais si je pouvais obtenir une expression big-O plus simplifiée. Dans mon cas, peut être supérieur à et croît indépendamment.kkknnn Plus précisément, je m'attendrais à...
Le décalage cyclique (également appelé rotation ou conjugaison ) d'un langage est défini comme . Selon wikipedia (et ici ), les langages sans contexte sont fermés dans le cadre de cette opération, avec des références aux articles d'Oshiba et de Maslov. Y a-t-il une preuve facile de ce fait?L { y x...
Existe-t-il un algorithme pour le problème suivant: Étant donné une machine de Turing qui décide d'un langage , existe-t-il une machine de Turing décidant telle que ?M1M1M_1M 2 L t 2 ( n ) = o ( t 1 ( n ) )LLLM2M2M_2LLLt2( n ) = o ( t1( n ) )t2(n)=o(t1(n))t_2(n) = o(t_1(n)) Les fonctions et sont...
Voulez-vous améliorer ce post? Fournissez des réponses détaillées à cette question, notamment des citations et une explication de la raison pour laquelle votre réponse est correcte. Les réponses sans suffisamment de détails peuvent être modifiées ou supprimées. J'ai été chargé de construire une...
Je sais que l'ensemble indépendant maximum sur les graphiques sans triangle cubique est NP-complet. Est-il toujours NP-complet au cas où nous aurions besoin que l'ensemble indépendant soit exactement de la taille ?| V| / 2|V|/2|V|/2 Fondamentalement, l'instance OUI d'un problème d'ensemble...
Par exemple, je sais que la langue non régulière est en . J'aimerais en savoir plus d'exemples comme
J'ai un problème simple de créer un DFA qui accepte toutes les entrées commençant par des lettres doubles (aa, bb) ou se terminant par des lettres doubles (aa, bb), étant donné que est l'ensemble alphabétique du langue donnée.Σ = { a , b }Σ={une,b}\Sigma =\{a, b\} J'ai essayé de le résoudre de...