Questions demandant des articles dans la littérature sur des questions spécifiques et étroites.
Il y a beaucoup de tentatives pour prouver soit ou , et naturellement beaucoup de gens réfléchissent à la question, ayant des idées pour prouver la direction dans laquelle ils veulent aller.P ≠ N PP = N PP=NP\mathsf{P} = \mathsf{NP} P ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP} Je sais qu'il a été prouvé...
Je connais le concept général de récursivité. Je suis tombé sur le concept de récursion de queue tout en étudiant l'algorithme Quicksort. Dans cette vidéo de l'algorithme de tri rapide du MIT à 18h30, le professeur dit qu'il s'agit d'un algorithme récursif de queue. La récursion de la queue n’est...
Supposons que je suis un programmeur et que j'ai un problème NP-complet dont j'ai besoin pour le résoudre. Quelles méthodes sont disponibles pour traiter les problèmes des PNJ? Existe-t-il une enquête ou quelque chose de similaire sur ce
Pourquoi une entreprise comme Twitter serait-elle intéressée par les concepts algébriques tels que les groupes, les monoïdes et les anneaux? Voir leur dépôt sur github: twitter / algebird . Tout ce que j'ai pu trouver c'est: Implémentations de Monoids pour des algorithmes d'approximation...
Classiquement, il y a 3 façons populaires de penser au calcul: la machine de Turing, les circuits et le lambda-calcul (je l'utilise comme un tout pour la plupart des vues fonctionnelles). Tous les trois ont été des moyens fructueux de réfléchir à différents types de problèmes, et différents...
J'ai du mal à trouver de bonnes ressources qui donnent le pire des cas en place stable algorithme de tri. Est-ce que quelqu'un connaît de bonnes ressources?O ( n lnn )O(nlnn)O(n \ln n) Juste un rappel, en place signifie qu’il utilise le tableau transmis et que l’algorithme de tri n’est autorisé...
Dijkstra, dans son essai sur la cruauté de véritablement enseigner l'informatique , fait la proposition suivante pour un cours d'initiation à la programmation: D'une part, nous enseignons ce qui ressemble au calcul des prédicats, mais nous le faisons très différemment des philosophes. Afin de...
J'entends souvent des phrases comme «sémantique de concurrence réelle» et «équivalences de concurrence réelle» sans aucune référence. Que signifient ces termes et pourquoi sont-ils importants? Quels sont quelques exemples de véritables équivalences de concurrence et quel est leur besoin? Par...
Pour un langage régulier , soit le nombre de mots dans de longueur . En utilisant la forme canonique de Jordan (appliquée à la matrice de transition non annotée de certains DFA pour ), on peut montrer que pour un assez grand , où sont des polynômes complexes et sont des "valeurs propres" complexes....
Actuellement, je joue avec les prévisions de séries temporelles (spécifiquement pour le Forex). J'ai vu des articles scientifiques sur les réseaux d'état d'écho qui sont appliqués aux prévisions Forex. Existe-t-il d'autres bons algorithmes d'apprentissage automatique à cet effet? Il serait...
La plupart d'entre nous connaissent la correspondance entre la logique combinatoire et le calcul lambda . Mais je n'ai jamais vu (peut-être que je n'ai pas regardé assez profondément) l'équivalent de "combinateurs typés", correspondant au calcul lambda simplement tapé. Une telle chose...
Un filtre Bloom permet de suivre efficacement si différentes valeurs ont déjà été rencontrées lors du traitement. Lorsqu'il existe de nombreux éléments de données, un filtre Bloom peut entraîner une économie de mémoire significative sur une table de hachage. La principale caractéristique d'un...
Soit une formule booléenne composée des opérateurs ET, OU et NON habituels et de certaines variables. Je voudrais compter le nombre de missions satisfaisant pour . Autrement dit, je veux trouver le nombre d'affectations différentes de valeurs de vérité aux variables de pour lesquelles suppose une...
Quelle est la meilleure façon que quiconque peut faire pour avoir une bonne introduction à la théorie du système distribué, tous les livres ou références, et les sujets doivent être couverts en premier et les exigences pour commencer à apprendre dans ce
Ces terminologies me confondent. Tel que je le comprend Solveur SAT: décider de la satisfiabilité de la logique propositionnelle (en utilisant DPLL ou Local Search). La procédure de décision est une procédure pour décider de la satisfiabilité d'une certaine théorie décidable du premier ordre. Le...
En bref: comment les systèmes de types sont-ils classés dans des contextes académiques; en particulier, où puis-je trouver des sources fiables qui rendent les distinctions entre les différents types de système de types clairs? Dans un sens, la difficulté avec cette question n'est pas que je ne...
En matière de conception d'algorithmes, on utilise souvent les techniques suivantes: Programmation dynamique La stratégie gourmande Diviser et conquérir Alors que pour les deux premières méthodes, il existe des fondements théoriques bien connus, à savoir le principe de l'optimalité de Bellman et la...
J'ai terminé la plupart des éléments du livre Intro to Algorithms de Cormen et je suis à la recherche d'un livre d'algorithmes qui couvre le matériel au-delà du livre de Corman. Y a-t-il des recommandations? REMARQUE: J'ai posé cette question sur stackoverflow mais je n'étais pas trop satisfait de...
Qu'est-ce qu'un bon livre d'informatique pour débutant pour un jeune adulte, disons, un adolescent de 15 ans? Je veux commencer dans CS, mais je n'ai aucune idée par où commencer. J'ai une expérience limitée en
Le raffinement de partition est une technique dans laquelle vous commencez avec un ensemble fini d'objets et divisez progressivement l'ensemble. Certains problèmes, comme la minimisation DFA, peuvent être résolus en utilisant le raffinement de partition assez efficacement. Je ne connais pas...