Dans un graphique, un ensemble indépendant est un sous-ensemble de sommets qui ne contient pas d'arête comme sous-graphique induit. Le problème de trouver les plus grands ensembles indépendants dans un graphique est une question algorithmique fondamentale, et difficile à résoudre. Considérons la question plus générale de trouver (la taille de) …
Le lemme de Johnson-Lindenstrauss dit grosso modo que pour toute collection de points dans , il existe une carte où tel que pour tout : Il est connu que des instructions similaires ne sont pas possibles pour la métrique , mais est-il connu s'il existe un moyen de contourner une …
On dit que deux groupes et sont isomorphes s'il existe un homomorphisme de en qui est bijectif. Le problème d'isomorphisme de groupe est le suivant: étant donné deux groupes, vérifiez s'ils sont isomorphes ou non. Il existe différentes façons de saisir un groupe, les deux plus utilisées sont par une …
Je me demandais quelle est la liste des problèmes informatiques naturels actuels pour lesquels il n'y a aucun avantage de complexité connu à utiliser un ordinateur quantique. Pour commencer, je pense que le calcul de la distance d'édition est celui pour lequel l'algorithme quantique connu le plus rapide semble être …
Selon le livre Topological Graph Theory de Gross et Tucker, étant donné l'incorporation cellulaire d'un graphique sur une surface (par `` surface '', je veux dire ici une sphère avec quelques poignées, et ci-dessous réfère à la sphère avec exactement poignées), on peut définir une multigraphe double en traitant les …
Les algorithmes d'approximation peuvent donner une sortie jusqu'à un facteur constant. C'est un peu moins satisfaisant que les algorithmes exacts. Cependant, des facteurs constants sont ignorés dans la complexité temporelle. Je me demande donc si l'astuce suivante est possible ou a été utilisée pour résoudre un problème :B∘AB∘AB \circ A …
Je serais très intéressé par les références à la théorie des fonctions sous-modulaires (des bases aux avancées). En particulier, j'étudie des approximations de problèmes d'optimisation difficiles et je souhaite développer mes fondations dans les fonctions sous-modulaires car elles sont pertinentes aux problèmes d'optimisation que j'ai étudiés. Merci d'avance.
Existe-t-il un algorithme de tri basé sur la comparaison qui utilise une moyenne de lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) comparaisons? L'existence d'un algorithme de comparaison pire des cas lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n)est un problème ouvert, mais le cas moyen suffit pour un algorithme randomisé avec des comparaisons attendues lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n)pour chaque entrée . La signification de lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) est …
Motivation : lors du développement d'outils de gestion des versions de données, nous avons fini par chercher des algorithmes pour «différencier» deux ensembles d'entiers, en proposant une séquence de transformations qui amènent un ensemble d'entiers à l'autre. Nous avons pu réduire ce problème au problème très naturel suivant qui semble …
Les transducteurs considérés ici sont ceux que Wikipedia appelle les transducteurs à états finis . Le comportement d'un transducteur , qui est la relation qu'il calcule, est écrit : un mot est une sortie pour ssi .[ T ] y x x [ T ] yTTT[ T][T][T]yyyXxxx [ T] yx[T]yx[T]y …
Soit k > 0k>0k>0 une constante fixe. Etant donné un entier nnn , nous voulons construire une permutation σ∈ Snσ∈Sn\sigma \in S_n telle que: La construction utilise un temps et un espace constants (c'est-à-dire que le prétraitement prend un temps et un espace constants). Nous pouvons utiliser la randomisation. Étant …
Étant donné deux polyèdres et Q , P et Q sont équidécomposables s'il existe des ensembles finis de polyèdres P 1 , … , P n et Q 1 , … , Q n tels que P i et Q i sont congruents pour tout i , P = ∪ …
Nous savons que l'égalité bêta de termes lambda simplement typés est décidable. Étant donné M, N: σ → τ, est-il décidable que ce soit pour tout X: σ, MX ≃β≃β≃_β NX?
J'ai le problème suivant: Entrée: deux ensembles d'intervalles et T (tous les points d'extrémité sont des entiers). Requête: existe-t-il une bijection monotone f : S → T ?SSSTTTf:S→Tf:S→Tf:S \to T Le bijection est monotones l'ordre wrt d'inclusion ensemble sur et T . ∀ X ⊆ Y ∈ S , f …
Quel algorithme pouvons-nous utiliser pour trouver toutes les racines entières d'un polynôme avec des coefficients entiers?f(x)f(x)f(x) J'observe que Sage peut trouver les racines en quelques secondes même lorsque tous les coefficients de sont très grands. Comment est-il capable de faire cela?f(x)f(x)f(x)
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.