L'informatique

5

Fréquence des mots avec ordre dans la complexité O (n)

Lors d'une interview pour un poste de développeur Java, on m'a demandé ce qui suit: Écrivez une fonction qui prend deux paramètres: une chaîne représentant un document texte et un entier indiquant le nombre d'articles à retourner. Implémentez la fonction de telle sorte qu'elle retourne une liste de chaînes ordonnées …

11 algorithms sorting strings data-mining

5

Tous les problèmes de programmation linéaire entière sont-ils NP-difficiles?

Si je comprends bien, le problème d'affectation est en P car l'algorithme hongrois peut le résoudre en temps polynomial - O (n 3 ). Je comprends également que le problème d'affectation est un problème de programmation linéaire entier , mais la page Wikipedia indique que c'est NP-Hard. Pour moi, cela …

11 complexity-theory complexity-classes linear-programming integer-programming

3

Qu'est-ce que le complément des langues sans contexte?

⊊⊊\subsetneq

11 complexity-theory formal-languages context-free closure-properties sets

2

Le calcul SK2 est-il une base complète, où K2 est le combinateur K inversé?

Plus précisément, si j'ai défini un nouveau comme au lieu de le -calcul serait-il une base concurrentielle?K2K2K_2K2=λx.(λy.y)K2=λx.(λy.y)K_2 = \lambda x. (\lambda y. y)K=λx.(λy.x)K=λx.(λy.x)K = \lambda x. (\lambda y. x){ S, K2, Je}{S,K2,I}\{S, K_2,I\} Ma supposition est "non", simplement parce que je ne peux pas sembler être capable de construire le …

10 lambda-calculus combinatory-logic

2

Preuve de contradiction pour l'inégalité de P et NP?

J'essaie de faire valoir que N n'est pas égal à NP en utilisant des théorèmes de hiérarchie. C'est mon argument, mais quand je l'ai montré à notre professeur et après déduction, il a dit que c'était problématique où je ne trouvais pas de raison impérieuse d'accepter. Nous commençons en supposant …

10 complexity-theory time-complexity p-vs-np

2

La langue impliquant un numéro irrationnel n'est pas une LFC

Je travaille à travers un exercice difficile dans un manuel, et je n'arrive pas à comprendre comment procéder. Voici le problème. Supposons que nous ayons le langage L = { a i b j : i ≤ j γ , i ≥ 0 , j ≥ 1 }L={aibj:i≤jγ,i≥0,j≥1}L = \{a^ib^j: …

10 formal-languages automata context-free

2

Pouvez-vous empêcher un homme au milieu de lire le message?

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 échangées …

10 cryptography security

2

Confluence de l'expansion bêta

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 ?←β←β\leftarrow_\betal,d,rl,d,rl,d,rl→∗βd←∗βrl→β∗d←β∗rl \to_\beta^* d\leftarrow_\beta^* ruuul←∗βu→∗βrl←β∗u→β∗rl\leftarrow_\beta^* u \to_\beta^* r Mots-clés: confluence ascendante, propriété CR à l'envers J'ai commencé par regarder la …

10 lambda-calculus term-rewriting

2

Comment dériver des éliminateurs typés de manière dépendante?

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 impossibles, et un solveur externe garantit que …

10 reference-request recursion type-theory dependent-types inductive-datatypes

2

Nom de ce problème de réarrangement / tri?

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- tableau …

10 terminology reference-request sorting arrays

1

La programmation génétique est-elle pertinente aujourd'hui?

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 mentions dans les nouvelles grand …

10 machine-learning evolutionary-computing

5

Générateur de calcul lambda

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 …

10 lambda-calculus

2

Existe-t-il une norme pour comparer les temps d'exécution expérimentalement?

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 dans mon cas. …

10 algorithm-analysis reference-request runtime-analysis experimental-analysis

1

Qu'est-ce que le mystérieux petit programme de Turing sur l'ordinateur de Manchester a calculé?

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 machine fournie avec un nombre à seize chiffres répond …

10 algorithms history

3

Que signifie «carte»?

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 l'espace …

10 data-structures operating-systems memory-management