Je décris une approche de l'isomorphisme graphique qui a probablement des faux positifs, et je suis curieux de savoir s'il existe de la littérature indiquant que cela ne fonctionne pas. Étant donné deux matrices d'adjacence , une méthode certes naïve de vérification de l'isomorphisme consiste à...
Venant d'un arrière-plan C ++, je ne comprends pas pourquoi on a besoin de types / expressions de type en tant que citoyen de première classe? La seule langue que je connaisse qui prend en charge cette fonctionnalité est Aldor. Quelqu'un at-il de la littérature sur les types de citoyens de première...
Voici le problème: Il y a un graphe connecté avec des nœuds représentant un certain nombre de personnes. Chaque nœud / personne a une opinion sur un sujet, par exemple Trump vs Clinton, livres papier vs Kindle, etc. L'objectif est de faire en sorte que chaque nœud d'un graphique partage la même...
La défonctionnalisation est une transformation décrite pour la première fois en 1972 par John C. Reynolds pour éliminer les fonctions d'ordre supérieur. Existe-t-il des transformations alternatives (plus efficaces?) Pour éliminer les fonctions d'ordre
Je suis relativement nouveau dans la théorie des types et la programmation dépendante. J'ai étudié le calcul des constructions (CoC) et d'autres systèmes de type pur. Je suis particulièrement intéressé à l'utiliser comme une représentation intermédiaire préservant les preuves pour un système de...
En gros, un graphe non orienté est très similaire à un graphe orienté où pour chaque arête (v, w), il y a toujours une arête (w, v). Cela suggère qu'il pourrait être acceptable de visualiser les graphiques non dirigés comme un sous-ensemble de graphiques dirigés (peut-être avec une restriction...
Considérez l'énoncé du problème suivant: Étant donné un nombre initial, vous et votre ami, à tour de rôle, en soustrayez un carré parfait. Le premier à arriver à zéro gagne. Par exemple: État initial: 37 Le joueur 1 soustrait 16. État: 21 Le joueur 2 soustrait 8. État: 13 Le joueur 1 soustrait 4....
Si les processeurs ne peuvent exécuter qu'une seule chose à la fois, comment se fait-il que je puisse jouer de la musique en continu et pouvoir exécuter d'autres tâches? Je comprends le système d'interruption, mais n'est-il pas nécessaire que le processeur traite continuellement l'audio pour qu'il...
Le «théorème de Rice pour les réels calculables» - c'est-à-dire qu'aucune propriété non triviale du nombre représenté par un réel calculable donné n'est décidable - est-il vrai? Cela correspond-il d'une manière directe à la connectivité des
Il peut être démontré que deux modèles informatiques sont co-complets si chacun peut coder un simulateur universel pour l'autre. On peut montrer que deux logiques sont co-complètes si un codage des règles d'inférences (et peut-être des axiomes si elles existent) de chacune se révèle être des...
En fait, j'ai trouvé que l'ensemble des langues contextuelles, CSLCSL\mathbf{CSL} ( =NSPACE(O(n))=LBA=NSPACE(O(n))=LBA\mathbf{=NSPACE(O(n)) = LBA} langues acceptées) ne sont pas aussi largement discutées que REGREG\mathbf{REG} (langues régulières) ou CFLCFL\mathbf{CFL} (langues sans contexte). Et...
Je lis le document de Turing "Computing machines and intelligence" ( https://www.csee.umbc.edu/courses/471/papers/turing.pdf ) et j'ai trouvé un fragment dans lequel il dit: J'ai installé sur l'ordinateur de Manchester un petit programme utilisant seulement 1 000 unités de stockage, par lequel la...
Ma principale préoccupation est de savoir si la programmation génétique est un domaine de recherche actif, avec quelques applications prometteuses dans la pratique. Il semble que dans le domaine de l'apprentissage automatique, les réseaux de neurones soient le principal mot à la mode, avec des...
On vous donne un tableau de longueur . Chaque élément du tableau appartient à l'une des K classes. Vous êtes censé réorganiser le tableau en utilisant un nombre minimum d'opérations de swap afin que tous les éléments de la même classe soient toujours regroupés, c'est-à-dire qu'ils forment un sous-...
Ma situation J'écris un article présentant un module logiciel que j'ai développé et je veux comparer son temps d'exécution à d'autres modules pour la même tâche. Je suis conscient des inconvénients des expériences d'exécution , mais supposez, étant donné qu'il n'y a aucun moyen de contourner cela...
J'ai rencontré le terme à plusieurs reprises, dans divers supports pédagogiques CS: L2 CS162 (UC Berkeley): E / S mappées en mémoire L4 CS162 (UC Berkeley): Fichiers mappés en mémoire L24 CS61 (UC Berkeley): «E / S mappées en mémoire»: contrôle de périphérique / registres de données mappés sur...
Dans la programmation de type dépendant, il existe deux façons principales de décomposer les données et d'effectuer la récursivité: Correspondance de modèle dépendante : les définitions de fonction sont données sous forme de clauses multiples. L'unification garantit que tous les cas omis sont...
Je ne sais pas où poser cette question, j'espère que c'est un bon endroit. Je suis juste curieux de savoir s'il est possible de faire un générateur de calcul lambda; essentiellement, une boucle qui, avec un temps infini, produira toutes les fonctions de calcul lambda possibles. (comme sous la forme...
Soit être -reduction dans le -calculus. Définissez -expansion par .→β→β\to_\betaββ\betaλλ\lambdaββ\beta←β←β\leftarrow_\betat′←βt⟺t→βt′t′←βt⟺t→βt′t'\leftarrow_\beta t \iff t\to_\beta t' Est confluentes? En d'autres termes, avons-nous cela pour tout , si , alors il existe tel que...
J'ai entendu parler de toutes ces mesures de prévention de l'attaque de l'homme au milieu et je me demande comment cela peut éventuellement fonctionner si l'homme au milieu n'écoute que votre flux et ne veut pas changer le message lui-même. L'homme au milieu peut-il non seulement prendre les clés...