Je conçois une base de données d'objets en mémoire pour un cas d'utilisation très spécifique. Il s'agit d'un rédacteur unique, mais il doit prendre en charge des lectures simultanées efficaces. Les lectures doivent être isolées. Il n'y a pas de langage de requête, la base de données ne prend en...
La distance d'édition entre les listes Levenshtein-Distance est un problème bien étudié. Mais je ne trouve pas grand-chose sur les améliorations possibles s'il est connu qu'aucun élément ne se produit plus d'une fois dans chaque liste . Supposons également que les éléments soient comparables /...
Je suis nouveau dans les automates et je n'ai reçu une brève introduction aux expressions régulières qu'hier. J'ai lu les différentes règles qui définissent une expression régulière. Mais je suis incapable de faire la différence entre les expressions régulières et la grammaire d'une langue (on ne...
Je viens de lire quelques pages du livre de Sipser Introduction à la théorie du calcul sur le problème de la correspondance postérieure, et je pense que PCP est en fait dans NP. Le certificateur est la suivante : pour une configuration de pile d'entrée concaténer t 1 , t 2 , . . . , t n comme une...
Je suis conscient que cela semble une question très stupide (ou trop évidente à énoncer). Cependant, je suis confus à un moment donné. Nous pouvons montrer que P NP=== si et seulement si nous pouvons concevoir un algorithme qui résout une instance donnée de problème dans NP en temps polynomial....
Je lis actuellement l'introduction aux algorithmes et je suis venu de l'algorithme de Johnson qui dépend de s'assurer que tous les chemins sont positifs. l'algo dépend de la recherche d'une nouvelle fonction de poids (w ') positive pour toutes les arêtes et conservant l'exactitude des relations de...
Je pensais que toutes les langues régulières pouvaient être exprimées avec des expressions régulières (si une langue est régulière, elle peut être exprimée avec regex), mais on m'a dit que vous avez besoin des trois opérations régulières (concaténation, union et étoile) pour cela tenir. Par...
J'ai du mal à comprendre les problèmes PRIME, COMPOSITE, FACTOR et comment ils sont liés en termes de complexité. Je comprends que PRIME s'est révélé être en par le test de primalité AKS, et je pense que cela fonctionne également pour COMPOSITE.PPP Quant à FACTOR, FACTOR={(m,r):∃s such...
Il semble que les gens se soient lassés de la gestion manuelle de la mémoire, alors ils ont inventé la collecte des ordures et la vie était assez bonne. Mais qu'en est-il de tous les autres types de ressources? Des descripteurs de fichiers, des sockets ou même des données créées par l'utilisateur...
L'une des questions les plus populaires concernant les structures de données et l'algorithme, principalement posée lors d'un entretien
J'ai vu quelques questions sur ce site à propos de Deep Dream, mais aucune d'entre elles ne semble réellement parler de ce que fait DeepDream, en particulier. Pour autant que je sache, ils semblent avoir changé la fonction objectif et également changé la rétropropagation de sorte qu'au lieu de...
Alice, une étudiante, a beaucoup de devoirs au cours des prochaines semaines. Chaque devoir lui prend exactement une journée. Chaque élément a également une date limite et un impact négatif sur ses notes (supposez un nombre réel, des points bonus pour ne supposer que la comparabilité), si elle...
Pour trouver la différence, je venais de rencontrer des affirmations ci-dessous sur la logique temporelle dans Wikipedia : une autre variante de la logique modale partageant de nombreuses caractéristiques communes avec la logique dynamique, diffère de toutes les logiques mentionnées ci-dessus en...
Si nous avons un programme informatique arbitraire qui peut modifier ses instructions, est-il possible de simuler ce programme avec un programme qui ne peut pas modifier ses instructions? Éditer: Je suis nouveau sur stackexchange, donc je ne sais pas si je suis autorisé à poser une NOUVELLE...
Nous avons beaucoup de problèmes, comme factorisation, qui sont fortement conjecturé, mais non prouvé, à l'extérieur P. Y a-t- il des questions avec la propriété opposée, à savoir qu'ils sont fortement conjecturé mais pas prouvé être à l' intérieur de
Contexte: Je suis un profane complet en informatique. Je lisais sur les chiffres de Castor occupé ici , et j'ai trouvé le passage suivant: L'humanité peut ne jamais connaître la valeur de BB (6) avec certitude, sans parler de celle de BB (7) ou d'un nombre supérieur dans la séquence. En effet, déjà...
Actuellement, je dois apprendre le Coq et je ne sais pas comment gérer un or: Par exemple, aussi simple soit-il, je ne vois pas comment prouver: Theorem T0: x \/ ~x. J'apprécierais vraiment, si quelqu'un pouvait m'aider. Pour référence, j'utilise cette feuille de triche . Voici également un exemple...
Le problème de programmation linéaire: trouver un algorithme de temps fortement polynomial qui pour une matrice donnée A ∈ Rm × n et b ∈ Rm décide s'il existe x ∈ Rn avec Ax ≥ b. Je sais que Steve Smale énumère certains des problèmes non résolus en mathématiques. Mais un tel problème de...
Dans Fondements pratiques pour les langages de programmation , Robert Harper dit Si pour qu'une proposition soit vraie signifie en avoir la preuve, que signifie qu'une proposition est fausse? Cela signifie que nous en avons une réfutation , montrant qu'elle ne peut pas être prouvée. Autrement dit,...
Ou: Avons-nous besoin de Rupert pour obtenir des cadeaux? Mis à part les problèmes de routage , le Père Noël est confronté au problème suivant (plusieurs fois): Étant donné un sac d'une capacité¹ CCC et un ensemble de cadeaux {p1,…,pn}{p1,…,pn}\{p_1, \dots, p_n\} , chacun de taille sisis_i , il...