J'interagis souvent avec des gens qui veulent demander un algorithme pour un problème de calcul (ou sa complexité), mais ils ne l'expriment pas de manière rigoureuse pour nous (les informaticiens) à comprendre. Les renvoyer à des livres comme CLRS n'est pas utile parce que les exemples là-bas ont...
De nombreux algorithmes de flux max que je vois couramment implémentés, l'algorithme de Dinic, le réétiquetage push et d'autres, peuvent voir leur coût asymptotique en temps amélioré grâce à l'utilisation d' arbres dynamiques (également appelés arbres coupés de liens). Push relabel s'exécute en ou...
J'ai lu un peu de littérature récemment et j'ai trouvé des structures de données plutôt intéressantes. J'ai recherché différentes méthodes pour réduire le temps de mise à jour au temps de mise à jour du pire cas [1-7].O ( 1 )O(1)\mathcal{O}(1) Récemment, j'ai commencé à chercher des structures de...
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...
Ok avant de commencer, je me rends compte que c'est en marge du sujet (j'ai lu l'aide Questions pour ce site), d'autant plus que ce n'est pas un problème réel. Pourtant: Je ne trouve rien de pertinent sur Google D'un point de vue puriste, cela doit certainement relever de l'informatique? Dans tous...
Récemment, j'ai trouvé dans un article [1] une version symétrique spéciale de SAT appelée 2/2/4-SAT . Mais il existe de nombreuses variantes complètes, par exemple: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...NPNP\text{NP} Quelques autres variantes sont traitables: - , Planar-NAE- , ...SAT...
J'ai eu du mal à accepter la vue théorique de la complexité de "efficacement résolue par algorithme parallèle" qui est donnée par la classe NC : NC est la classe des problèmes qui peuvent être résolus par un algorithme parallèle dans le temps à p ( n ) ∈ S ( n k ) processeurs avec c , k ∈ N .O (...
Les langages sans contexte ne sont pas fermés sous complément, nous le savons. Pour autant que je sache, les langages sans contexte qui sont un sous-ensemble de pour certaines lettres sont fermés sous complément (!?) a , ba∗b∗a∗b∗a^*b^*a,ba,ba,b Voici mon argument. Chaque langue CF a une image...
Je commence une recherche bibliographique personnelle sur les algorithmes de vérification de type et souhaite quelques conseils. Quels sont les algorithmes, stratégies et techniques générales de vérification de type les plus couramment utilisés? Je m'intéresse particulièrement aux algorithmes de...
Les structures de données persistantes sont des structures de données immuables. Les opérations sur eux renvoient une nouvelle "copie" de la structure de données, mais modifiée par l'opération; l'ancienne structure de données reste cependant inchangée. L'efficacité est généralement obtenue en...
J'essaie de comprendre qui a inventé le terme "machine learning". Une question accessoire vient d'où Arthur Samuel est cité comme définissant le domaine du "machine learning" en 1959 comme: le domaine d'études qui donne aux ordinateurs la capacité d'apprendre sans être explicitement programmé ?...
L' algorithme Ramer-Douglas-Peucker pour la simplification de ligne a le pire cas d' exécution . Pour des entrées aléatoires convenablement réparties, il s'est attendu à une complexité d'exécution O ( n log n ) . En 2D, il existe d'autres algorithmes avec la pire complexité d'exécution O ( n log n...
Considérez le problème suivant: Entrée: deux tableaux et de longueur , où est trié.AAABBBnnnBBB Question: ne et contiennent les mêmes éléments (avec leur multiplicité)?AAABBB Quel est l' algorithme déterministe le plus rapide pour ce problème? Peut-il être résolu plus rapidement que de les trier?...
Comme suit de ma question précédente , j'ai joué avec l' hypothèse de Riemann comme une question de mathématiques récréatives. Dans le processus, je suis arrivé à une récurrence assez intéressante, et je suis curieux de son nom, de ses réductions et de son aptitude à la solvabilité de l'écart entre...
J'ai une petite question d'histoire, à savoir, comme le titre l'indique, je recherche les premières utilisations des arbres (comme structure de données, arbre de recherche, etc.) en
On dit qu'Eugene Goostman, un programme informatique développé pour simuler un garçon de 13 ans, a réussi à convaincre 33% des juges qu'il était humain et a ainsi passé le test de Turing. Le programme informatique, alias un chatbot, faisait semblant d'être un garçon ukrainien de 13 ans pour qui...
Les problèmes de coupe sont des problèmes où un certain grand objet doit être coupé en plusieurs petits objets. Par exemple, imaginez que vous avez une usine qui fonctionne avec de grandes feuilles de verre brut, de largeur et de la longueur L . Il y a plusieurs acheteurs, chacun souhaitant un...
J'ai commencé à lire de plus en plus d'articles de recherche linguistique. Je trouve cela très intéressant et un bon moyen d'en savoir plus sur la programmation en général. Cependant, il y a généralement une section avec laquelle je me bats toujours (prenez par exemple la troisième partie de cela )...
Existe-t-il une machine de Turing qui s'arrête sur toutes les entrées mais cette propriété n'est pas prouvable pour une raison quelconque? Je me demande si cette question a été étudiée. Remarque: «non démontrable» pourrait signifier un système de preuve «limité» (qui au sens faible pense que la...
Les solveurs SAT sont de plus en plus efficaces dans la résolution de grandes instances et sont utilisés comme back-end dans divers contextes. Chaque fois que l'on veut les utiliser pour résoudre un problème dans un domaine spécifique, il / elle doit proposer un encodage ad hoc qui a non seulement...