Angluin et Laird ('88) ont formalisé l' apprentissage avec des données corrompues de façon aléatoire dans le modèle "PAC avec bruit de classification aléatoire" (ou PAC bruyant). Ce modèle est similaire à PAC apprentissage , sauf pour les étiquettes des exemples donnés à l'apprenant sont endommagés...
Cette question était motivée par une question posée sur stackoverflow . Supposons que l'on vous donne un arbre enraciné (c'est-à-dire qu'il y a une racine et que les nœuds ont des enfants, etc.) sur n nœuds (étiquetés 1 , 2 , … , n ).TTTnnn1,2,…,n1,2,…,n1, 2, \dots, n Chaque sommet a un poids...
Je suis un étudiant CS. Nous avons fait de la théorie des graphes dans un cours. Je l'ai trouvé intéressant. Quelles sont les applications réelles de la théorie des graphes dans le domaine de l'informatique? Par exemple, j'ai trouvé que certains concepts de la théorie des graphes peuvent être...
La sécurité SHA-1 a été discutée depuis qu'un algorithme pour trouver les collisions a été publié pour la première fois au CRYPTO 2004 et a été amélioré par la suite. Wikipédia énumère quelques références , mais il semble que les dernières recherches publiées (et ultérieurement retirées) sur ce...
Merlin, qui a des ressources informatiques illimitées, veut convaincre Arthur que m|∑p≤N, p primepkm|∑p≤N, p primepkm|\sum_{p\le N,\ p\text{ prime}}p^k pour (N,m,k)(N,m,k)(N,m,k) avec k=O(logN)k=O(logN)k=O(\log N) et m=O(N).m=O(N).m=O(N). Le calcul simple de cette somme (exponentiation modulaire...
J'essaie de trouver des problèmes dont la complexité de l'espace moyen des cas a été analysée. Plus précisément, je suis intéressé de savoir s'il y a des problèmes avec une borne inférieure de complexité d'espace prouvée qui est super-linéaire, et surtout s'il y en a avec une analyse de cas moyen...
Y a-t-il eu des travaux pour récupérer la pente d'un segment de ligne de sa numérisation? On ne peut pas le faire avec une précision parfaite, bien sûr; ce que l'on veut, c'est une méthode pour dériver d'une ligne numérisée un intervalle de pentes possibles. (La notion de ligne numérisée que...
Nurikabe est un puzzle de remplissage de grille basé sur des contraintes, semblable à celui du Démineur / Nonogrammes; les nombres sont placés sur une grille qui doit être remplie avec des valeurs d'activation / désactivation pour chaque cellule, chaque nombre indiquant une région de cellules...
J'ai un problème qui se trouve dans NEXP et peut également être résolu par une MT alternative utilisant le temps exponentiel et une seule alternance (commençant dans un état existentiel).NPNP^{\text{NP}} Connaît-on NEXP NP ? Est-il égal à NEXP ou à une autre classe? Y a-t-il des problèmes complets...
Les logiques conditionnelles sont des logiques qui augmentent l'implication logique traditionnelle avec des opérateurs modaux correspondant à d'autres notions de condition (par exemple, le conditionnel causal lit " A provoque" B ", ou conditionnement probabiliste" A | B ", qui se lit" A donné B...
Je sais que la question "est-ce qu'une formule de premier ordre a un modèle" est indécidable en général.ϕϕ\phi Quelqu'un pourrait-il me donner un lien ou un livre qui donnerait la réponse pour les modèles finis. Si j'ai une formule de premier ordre , est-il possible de déterminer si ϕ a un modèle...
Je voudrais savoir s'il existe un résultat déjà publié à ce sujet: Nous prenons tous les chemins différents possibles entre chaque paire de nœuds de deux graphiques réguliers connectés (avec le degré disons et le nombre de nœuds ) et notons leurs longueurs. Bien sûr, ce nombre de chemins distincts...
Est-il exact d'appeler le framework mapReduce un type de framework de programmation parallèle synchrone en bloc sans rétention de mémoire locale dans les processeurs entre les synchronisations? Sinon, quel modèle de programmation parallèle encapsule le plus précisément le framework...
La matrice a la dimension . Nous voulons remplir utilisant des entiers compris entre et , inclus.n × n ( n - 1 ) A 1 nUNEAAn × n ( n - 1 )n×n(n−1)n \times n(n-1)UNEAA111nnn Exigences: Chaque colonne de est une permutation de .1 , … , nUNEAA1 , … , n1,…,n1, \dots, n Toute sous-matrice formée de deux...
Tous les musées et expositions liés à l'informatique que je connais semblent couvrir uniquement l'histoire des machines informatiques, mais rien sur les sujets de l'informatique. Vous participez à la création d'un nouveau musée de l'informatique, agréé pour éduquer, divertir et inspirer le grand...
Je recherche une structure de données très efficace pour le stockage de données similaire à la suivante. Étiquettes d'identification Order1 Order2 -------------------------- 1 1,2 1 1 2 2,5 2 3 3 1,7 4 7 4 6 3 0 J'ai besoin de pouvoir interroger cette structure de manière à ce qu'elle me donne une...
L'exhaustivité et la solidité des systèmes de preuve interactifs sont définies de manière informelle comme: Exhaustivité: Si une déclaration est vrai, l' honnête prouveur peut convaincre l' honnête vérificateur de ce fait PVT . Solidité: si une déclaration est fausse, le prouveur de fraude ne peut...
Je ne me souviens pas d'avoir vu une séparation de classes non basée sur des résultats de diagonalisation et de relativisation. La diagonalisation pourrait toujours être utilisée pour séparer les classes connues restantes, car des arguments non relativisants pourraient toujours être utilisés dans...
Est-il possible de construire un algorithme qui prend en entrée un automate de refoulement avec la promesse que le langage accepté par cet automate L ( M ) est un langage déterministe sans contexte et génère un automate de refoulement déterministe N qui accepte précisément le langage accepté par M...
En 1975, Miller a montré comment réduire la factorisation de l'entier pour trouver la période d'une fonction telle que f (x + r) = f (x) avec certains choisis au hasard a <N . Il est bien connu que l'algorithme de Shor peut trouver r efficacement sur un ordinateur quantique, alors qu'il est...