Laisser L={an∣∃p≥n p, p+2 are prime}.L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. est-il régulier?LLL Cette question paraissait suspecte au premier coup d'œil et je me suis rendu compte qu'elle était liée à la conjecture principale jumelle ....
Les cours d'introduction aux graphiques ont généralement un projet qui vous demande de créer un traceur de rayons pour rendre une scène. De nombreux étudiants en graphisme qui entrent à l'école supérieure disent vouloir travailler sur le lancer de rayons. Et pourtant, il semble que le lancer de...
J'ai récemment lu qu'il est possible d'avoir des tableaux qui n'ont pas besoin d'être initialisés, c'est-à-dire qu'il est possible de les utiliser sans avoir à passer du temps à essayer de définir chaque membre à la valeur par défaut. c'est-à-dire que vous pouvez commencer à utiliser le tableau...
Un graphe unipathique est un graphe orienté tel qu'il existe au plus un chemin simple d'un sommet à un autre sommet. Les graphiques unipathiques peuvent avoir des cycles. Par exemple, une liste doublement chaînée (pas circulaire!) Est un graphe unipathique; si la liste contient nnn éléments, le...
Je recherche un algorithme efficace qui me permette de traiter l'arbre de recherche minimax pour les échecs avec un élagage alpha-bêta sur une architecture distribuée. Les algorithmes que j'ai trouvés (PVS, YBWC, DTS voir ci-dessous) sont tous assez anciens (1990 étant le dernier). Je suppose qu'il...
J'essaie d'utiliser le lemme de pompage pour prouver que n'est pas régulier.L = { ( 01 )m2m∣ m ≥ 0 }L={(01)m2m∣m≥0}L = \{(01)^m 2^m \mid m \ge0\} Voici ce que j'ai jusqu'à présent: supposons que est régulier et que soit la longueur de pompage, donc . Considérons toute décomposition de pompage telle...
Pour chaque fonction calculable existe-t-il un problème qui peut être résolu au mieux en temps ou existe-t-il une fonction calculable telle que chaque problème qui peut être résolu dans peut également résolu en temps ?Θ ( f ( n ) ) f O ( f ( n ) ) o ( f ( n ) )FFfΘ ( f( n ) )Θ(F(n))\Theta(f(n))FFfO...
J'ai donc pensé que cette question (quoique quelque peu basique) appartenait ici: Disons que j'ai un graphique de taille 100 nœuds disposés en 10x10 (pensez à l'échiquier). Le graphique est non orienté et non pondéré. Se déplacer dans le graphique implique de déplacer trois espaces vers l'avant et...
Mon objectif est de résoudre le problème suivant, que j'ai décrit par son entrée et sa sortie: Contribution: Un graphe acyclique dirigé avec m nœuds, n sources et 1 puits ( m > n ≥ 1 ).ggGmmmnnn111m > n ≥ 1m>n≥1m > n \geq 1 Production: Le VC-dimension (ou une approximation de celui - ci)...
S'il existe un moyen d'identifier si deux ensembles de points peuvent être séparés par une ligne? Nous avons deux ensembles de points et B s'il y a une ligne qui sépare A et B de telle sorte que tous les points de A et seulement A d'un côté de la ligne, et tous les points de B et seulement B de...
J'essaie de trouver une approche au problème suivant: Étant donné l'ensemble du point et du rayon , trouvez le point central du cercle, de sorte que le cercle contienne le nombre maximal de points de l'ensemble. Le temps d'exécution doit être .r O ( n 2 )SSSrrrO ( n2)O(n2)O(n^2) Au début, cela...
Les identités utilisées dans les algorithmes de multiplication par Karatsuba (entiers) Gauss (nombres complexes) Strassen (matrices) semblent très proches. Existe-t-il un cadre abstrait / généralisation
Lors du test d'algorithmes, une approche courante est le test aléatoire: générer un nombre significatif d'entrées selon une distribution (généralement uniforme), exécuter l'algorithme sur ces derniers et vérifier l'exactitude. Les cadres de test modernes peuvent générer des entrées automatiquement...
J'essaie de trouver l'ensemble indépendant maximal d'un graphique biparite. J'ai trouvé ce qui suit dans certaines notes "13 mai 1998 - Université de Washington - CSE 521 - Applications du flux réseau" : Problème: Etant donné un graphe bipartite , trouver un ensemble indépendant qui est aussi...
Soit . Je dois décider si F est décidable ou récursivement énumérable. Je pense que c'est décidable, mais je ne sais pas comment le prouver.F= { ⟨ M⟩ : M est une MT qui s'arrête pour chaque entrée en 50 étapes au maximum }F={⟨M⟩:M est un TM qui s'arrête pour chaque entrée en 50 étapes au maximum}F...
Je remarque que dans quelques articles de recherche CS, pour comparer l'efficacité de deux algorithmes, le nombre total de comparaison clé dans les algorithmes est utilisé plutôt que les temps de calcul réels eux-mêmes. Pourquoi ne pouvons-nous pas comparer lequel est le meilleur en exécutant les...
Je suis coincé sur la question suivante: "Les langages réguliers sont précisément ceux acceptés par les automates finis. Étant donné ce fait, montrez que si le langage est accepté par un automate fini, alors est également accepté par un certain fini; compose de tous les mots de inversé....
Je continue à trouver des références à des points fixes dans les questions et réponses à stackexchange et je cherche la signification sur le Web en trouvant évidemment des références sur des sites tels que Wikipedia. Cependant, aucune des références ne répond vraiment à ma question de savoir ce...
J'ai lu la page wikipedia de la règle 110 dans les automates cellulaires, et je sais plus ou moins comment ils fonctionnent (un ensemble de règles décide où tracer le prochain 1 ou 0). Je viens de lire qu'ils sont complets de Turing, mais je ne peux même pas comprendre comment «programmez-vous» la...
Combien de tas max différents existent pour une liste de nnn entiers? Exemple: liste [1, 2, 3, 4] Le tas max peut être soit 4 3 2 1: 4 / \ 3 2 / 1 ou 4 2 3 1: 4 / \ 2 3 / 1