J'ai quelques millions de valeurs 32 bits. Pour chaque valeur, je veux trouver toutes les autres valeurs dans une distance de 5 brouillage. Dans l'approche naïve, cela nécessite des comparaisons O(N2)O(N2)O(N^2) , que je veux éviter. J'ai réalisé que si je traitais simplement ces valeurs 32 bits...
Il y a maintenant des montagnes de résultats sur les séparateurs dans les graphiques, depuis le séparateur planaire, le séparateur d'arbre, les graphiques de largeur d'arbre borné, les graphiques de genre délimités, etc., etc.,
Ce problème a-t-il été étudié auparavant? Étant donné un graphe métrique non orienté G (les longueurs d'arête satisfont l'inégalité du triangle), trouver un ensemble S de sommets tel que MST (G [S]) est maximisé, où MST (G [S]) est l'arbre couvrant minimum du sous-graphe induit par S. Ce problème...
Ce récent article de FOCS2013, Strong Backdoors to Bounded Treewidth SAT par Gaspers et Szeider parle du lien entre la largeur d' arbre du graphe de la clause SAT et la dureté de l'instance. Pour les instances 3-SAT aléatoires, c'est-à-dire les instances 3-SAT choisies au hasard, quelle est la...
Je recherche un petit langage qui aide à «convaincre» les étudiants que les machines de turing sont un modèle informatique suffisamment général. Autrement dit, un langage qui ressemble aux langues auxquelles ils sont habitués, mais qui est également facile à simuler sur une machine de turing....
J'ai appris quelque chose sur l'implémentation de types dépendants, comme ce tutoriel , mais la plupart d'entre eux implémentent des interprètes. Ma question est, il semble que l'implémentation d'un compilateur pour le type dépendant soit beaucoup plus difficile qu'un compilateur, car vous pouvez...
Tout d'abord, ma compréhension du théorème d'incomplétude de Gödel (et de la logique formelle en général) est très naïve, tout comme mes connaissances en informatique théorique (c'est-à-dire qu'un seul cours de troisième cycle est suivi pendant que je suis encore étudiant), donc cette question peut...
Je cherche un algorithme efficace pour le problème: Entrée : l'entier positif (stocké sous forme de bits) pour un entier . n ≥ 03n3n3^nn ≥ 0n≥0n \geq 0 Sortie : Le nombre .nnn Question : Peut-on calculer partir des bits de en temps ?3 n O ( n )nnn3n3n3^nO (n )O(n)O(n) Il s'agit d'une question...
Les automates pushdown alternatifs unidirectionnels (1APDA) peuvent reconnaître n'importe quelle langue en (Alternation par Chandra, Kozen et Stockmeyer, 1981) . En remplaçant un stockage pushdown d'un 1APDA par un compteur, nous pouvons obtenir un automate alternatif unidirectionnel avec un...
Je comprends que les affirmations suivantes sont vraies: Deux dérivations distinctes d'une chaîne dans un CFG donné peuvent parfois attribuer le même arbre d'analyse à la chaîne. Lorsqu'il existe des dérivations d'une chaîne dans un CFG donné qui attribuent différents arbres d'analyse, le CFG est...
J'ai du mal à comprendre les dernières étapes de l'algorithme AHSP. Soit soit un groupe abélien et f soient la fonction qui cache le sous - groupe H . Laissez G * représente le double groupe de G .GGGfffHHHG∗G∗G^*GGG Voici les étapes de l'algorithme Préparez d'abord l'état,...
Je suis intéressé à étudier les problèmes complets de l'isomorphisme graphique (GI). Dans le document "Problems Polynomially Equivalent to Graph Isomorphism" de Kellogg S. Booth, (1979), a prouvé que de nombreux problèmes de base sont GI complets en utilisant des techniques de remplacement des...
Pour un problème de recherche locale polynomiale , on sait qu'au moins une solution (optimum local) doit exister. Cependant, de nombreuses autres solutions pourraient exister, est-il difficile de compter le nombre de solutions pour un problème PLS complet? Je suis particulièrement intéressé par le...
Soit un vecteur de variables booléennes. Soit C , D deux circuits booléens sur x . Disons que C est similaire à D si:x = ( x1, … , Xn)x=(x1,…,xn)x=(x_1,\dots,x_n)C, DC,DC,DXxxCCCréDD est exponentiellement petit, lorsque x est tiré uniformément au hasard à partir de { 0 , 1 } n (en d'autres termes,...
Je lis le fameux article Impagliazzo et Wigderson en 1997. Comme je suis nouveau dans ce domaine et que l'article est une version concise de la conférence, j'ai du mal à suivre leurs épreuves. En particulier, certains de leurs nouveaux théorèmes manquent de preuves. À ma connaissance, aucune...
Supposons que l'on nous donne un tableau contenant des entiers non négatifs (pas nécessairement distincts).A[1..n]A[1..n]A[1..n] Soit un trié dans l'ordre non croissant. Nous voulons calculer A m = max i ∈ [ n ] B [ i ] + i .BBBAAAm=maxi∈[n]B[i]+i.m=maxi∈[n]B[i]+i.m = \max_{i\in [n]} B[i]+i. La...
Sean Anderson a publié des hacks twiddling contenant l'algorithme d'Eric Cole pour trouver le ⌈log2v⌉⌈log2v⌉\lceil\log_2 v \rceil d'un entier à NNN bits vvv dans les opérations O(lg(N))O(lg(N))O(\lg(N)) avec multiplication et recherche. L'algorithme repose sur un nombre "magique" de la séquence...
Je recherche des ressources (de préférence un manuel) sur des sujets avancés en algorithmes (sujets au-delà de ce qui est couvert dans les manuels d'algorithmes comme CLRS et DPV). Le type de matériel qui peut être utilisé pour enseigner un sujet dans un cours d'algorithmes comme le cours d'Erik...
La seule définition du «calcul» que je connaisse est l'étude des limites, des dérivés, des intégrales, etc. en analyse. Dans quel sens le calcul lambda (ou des choses comme le calcul mu) est-il un "calcul"? Comment est-il lié au calcul dans
La classe UP est définie comme telle: La classe de problèmes de décision pouvant être résolus par une machine NP telle que Si la réponse est «oui», exactement un chemin de calcul est accepté. Si la réponse est «non», tous les chemins de calcul sont rejetés. J'essaie de développer l'intuition pour...