Nous voulons carreler m × mm×mm\times m -square en utilisant deux types de tuiles: 1 × 11×11 \times 1 -square tile et 2 × 22×22 \times 2 -square tile de sorte que chaque carré sous-jacent soit couvert sans se chevaucher. Définissons une fonction F( n )f(n)f(n) qui donne la taille du plus grand...
En lisant cette question « Problèmes naturels indécidables RE mais pas Turing-complete », le langage suivant m'est venu à l'esprit: Si est la fonction de castor occupé (score maximum atteignable parmi toutes les machines de Turing à 2 symboles à arrêt n du type décrit ci-dessus, lorsqu'elles sont...
Je lutte avec peu de définitions dans la représentation des connaissances et je cherche une aide crédible pour les distinguer. J'ai cherché sur wikipedia et sur de nombreux sites Web la différence entre les ontologies et les réseaux sémantiques (à ne pas confondre avec le web sémantique). Bien que...
Étant donné un programme entier (binaire) de la forme:0,10,10,1 mins.t.f(x)Ax=bxi≥0xi∈{0,1}∀i∀iminf(x)s.t.Ax=bxi≥0∀ixi∈{0,1}∀i \begin{array}{lll} \text{min} & f(x) & \\ \text{s.t.} & A x = b \\ & x_i \ge 0 & \quad \forall i\\ & x_i \in \{0,1\} & \quad \forall i \end{array} Notez que la taille de...
Les caches CPU sont utilisés en exploitant la localité temporelle et spatiale. Ma question est qui est responsable de la gestion de ces caches? Est-ce que ce système d'exploitation identifie un modèle d'accès particulier puis gère (c.-à-d. Stocke les données dans) le cache, à l'aide d'appels de...
Dans une vidéo de récitation pour MIT OCW 6.006 à 43:30, Étant donné une matrice avec colonnes et lignes, l'algorithme de recherche de pics 2D, où un pic est une valeur supérieure ou égale à ses voisins adjacents, a été décrit comme suit:m × nm×nm \times nm nUNEAAmmmnnn Remarque: S'il y a confusion...
j'ai un problème concernant la situation suivante. J'ai deux tableaux de nombres comme celui-ci: index/pos 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Array 1(i): 1 2 3 4 7 5 4 3 7 6 5 1 2 3 4 2 Array 2(j): 4 4 8 10 10 7 7 10 10 11 7 4 7 7 4 supposons maintenant que le deuxième tableau est très difficile...
Une SkipList fournit les mêmes limites pour la recherche qu'un arbre équilibré avec l'avantage qu'un rééquilibrage n'est pas nécessaire. Étant donné que la SkipList est construite à l'aide de retournements de pièces aléatoires, ces limites ne tiennent que tant que la structure de la SkipList est...
Inspiré par cette question dans laquelle le demandeur veut savoir si le temps d'exécution change lorsque le comparateur utilisé dans un algorithme de recherche standard est remplacé par un coin-flip équitable, et aussi l' échec de Microsoft pour écrire un générateur de permutation uniforme, ma...
Récemment, j'ai posé une question sur Math SE. Pas encore de réponse. Cette question est liée à cette question, mais plus de détails techniques vers l'informatique. Étant donné deux DFA et B = ( Q , Σ , δ , q 2 , F 2 ) où l'ensemble des états, l'alphabet d'entrée et la fonction de transition de A...
Au collège, nous avons appris la théorie du calcul en général et les machines de Turing plus spécifiquement. L'un des grands résultats théoriques est qu'au prix d'un alphabet potentiellement grand (symboles), vous pouvez réduire le nombre d'états à seulement 2. Je cherchais des exemples de...
Un jeune de 15 ans intelligent que je connais s'intéresse à la fois à l'informatique et à la génétique. Je lui ai dit que ces domaines forment une excellente combinaison. Je voudrais lui donner un livre sur la bioinformatique ou la génomique computationnelle. Je cherche un livre amusant, pas un...
Existe-t-il un ensemble de règles ou de méthodes pour convertir une grammaire sans contexte en automates push down? J'ai déjà trouvé des diapositives en ligne mais je n'ai pas pu les comprendre. Dans la diapositive 10, il parle de certaines règles. Quelqu'un pourrait-il expliquer...
J'ai un problème que je soupçonne être NP-complet. Il est facile de prouver qu'il s'agit de NP. Mon courant de pensée tourne autour de l'utilisation d'une réduction par rapport au sac à dos, mais il en résulterait des instances de 0-1-sac à dos avec la valeur de chaque élément étant égale à son...
Dans le chapitre 1 de Foundations pratiques pour les langages de programmation , l'auteur mentionne que les arbres de syntaxe abstraite sont associés aux tris . Intuitivement, les tris sont comme des types, mais j'aimerais savoir s'ils ont une définition précise. Je serais heureux si certaines...
J'essaie de comprendre pourquoi le tri rapide utilisant la partition Lomuto et un pivot fixe fonctionne de manière irrégulière, mais globalement médiocre, sur des entrées générées de manière aléatoire. Je pense que même si les entrées sont générées de manière aléatoire, il peut y avoir beaucoup...
J'ai lu des articles théoriques sur le langage formel et je suis tombé sur un terme que je ne comprends pas. Le document fera souvent référence à un ensemble «effectivement fermé sous intersection» ou à d'autres opérations. Que signifie "effectivement" ici? En quoi cela diffère-t-il de la fermeture...
J'étudie l'apprentissage PAC (théorie de l'apprentissage informatique) en tant que débutant sans aucune connaissance préalable de l'apprentissage automatique / IA. J'étudie le modèle principalement d'un point de vue historique. Pour cela, les choses les plus importantes sont bien sûr les résultats...
Que sont les polygones dégénérés? Comment vérifier si une paire de polygones donnée est dégénérée ou
Dans la théorie des types, si l'on permet à Type d'être membre de lui-même, cela rend la théorie incohérente. Je le comprends par analogie avec le paradoxe de Russel dans Set Theory, mais je préférerais que cela se fasse dans Type Theory. Existe-t-il un court exemple de l'équivalent dans la théorie...