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 trouve pas de …
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 théorie matroïde (resp. Greedoid), je n'ai pas …
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 la …
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 programmation.
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 généralement une …
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 données …
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 SAT222SATSAT\text{SAT}SATSAT\text{SAT} Existe-t-il des documents d'enquête (ou des pages …
Certains algorithmes complexes ( union-find ) ont la fonction Ackermann inverse presque constante qui apparaît dans la complexité temporelle asymptotique, et sont optimales dans le pire des cas si le terme Ackermann inverse presque constant est ignoré. Existe-t-il des exemples d'algorithmes connus avec des durées de fonctionnement qui impliquent des …
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? …
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 Parikh semi-linéaire . …
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 d'autres problèmes qui sont généralement résolus en utilisant le …
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 …
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 ou normalement, mais avec des arbres …
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? Ce problème peut-il être résolu 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é ? Vous pouvez trouver de nombreuses références …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.