Fixons et un entier .t > 00<E<10<E<10 E \} mais aussi, peut-être, en utilisant quelques coordonnées de l'ensemble { i | c je≤ E}{i | ci≤E}\{ i ~|~ c_i \leq E \} nous pourrions créer un autre bon ensemble! Alors, prouvez-le ou trouvez le bug! en espérant que cela pourrait être un jeu...
Je suis actuellement à la recherche de bons documents de référence concernant les jeux non locaux avec des aspects bénéfiques en communication quantique. Par exemple, je suis conscient que les jeux non locaux sont bons pour réduire la complexité de la communication sur les limites inférieures et...
Je recherche une structure de données économe en espace qui contient des ensembles (sans répétition) d'éléments de taille de mots et prend en charge l'insertion rapide (O amorti (1)). Par "économe en espace", je veux dire, idéalement, n+o(n)n+o(n)n + o(n) mots pour stocker nnn éléments. Être un...
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...
Je voudrais savoir si le problème suivant peut être résolu dans (espace de log non déterministe):N LNL\mathsf{NL} Étant donné un graphe orienté avec deux sommets distincts s et t , existe- t -il un chemin unique de s à t dans G ?GGGssstttssstttGGG Je pense qu'il est susceptible d'être dans car nous...
Le problème suivant est décidable: Étant donné une grammaire sans contexte , L ( G ) = ∅ ?GGGL ( G ) = ∅L(G)=∅L(G) = \varnothing Le problème suivant est indécidable: Étant donné une grammaire sans contexte , L ( G ) = A ∗ ?gGGL ( G ) = A∗L(G)=A∗L(G) = A^{\ast} Existe-t-il une caractérisation des...
Que sait-on de la transition de phase dans les problèmes # P-Complete? Spécifiquement, existe-t-il une transition de phase différente pour # DNF-k-SAT et # CNF-k-SAT? Mise à jour: Comme nous le savons, il y a une transition de phase dans Random k-SAT où la résolution du problème passe de facile à...
Comment peut-on considérer un problème et pourquoi il est probable NP-intermédiaire par opposition à NP-complet? Il est souvent assez simple d'examiner un problème et de dire s'il est probablement NP-complet ou non, mais il me semble beaucoup plus difficile de dire si un problème est...
Cette question est liée à une question récente de Janoma . Contexte Dans la programmation par contraintes, une régulière contrainte globale ccc sur un domaine DDD est une paire (s,M)(s,M)(s, M) avec sss un tuple de variables (la portée) et MMM DFA sur le domaine DDD . Une affectation θθ\theta à sss...
Je suppose qu'il s'appellerait # P-Space mais je n'ai trouvé qu'un seul article le mentionnant vaguement. Que diriez-vous de la version de comptage des problèmes EXP-TIME-Complete, NEXP-Complete ainsi que EXP-SPACE-Complete? Y a-t-il des travaux antérieurs que l'on peut citer en ce qui concerne...
Le problème des galeries d'art traditionnelles met en place une région et des gardes avec une certaine notion de visibilité, et demande le nombre minimum de gardes à placer pour voir toute la région. Quelqu'un a-t-il déjà examiné des variantes de galeries d'art où la zone de visibilité est plutôt...
Supposons que nous ayons un semi-groupe avec les éléments . Notre objectif est de calculer les produits .S = { s 1 , s 2 , … , s n } s i ∘ s i + 1 ∘ ⋯ ∘ s j( S, ∘ )(S,∘)(S,\circ)S= { s1, s2, … , Sn}S={s1,s2,…,sn}S=\lbrace s_1,s_2,\dots,s_n\rbracesje∘ si + 1∘ ⋯ ∘ sjsje∘sje+1∘⋯∘sjs_i\circ...
Dans les systèmes de contrôle de version distribués (tels que Mercurial et Git ), il est nécessaire de comparer efficacement les graphiques acycliques dirigés (DAG). Je suis un développeur Mercurial, et nous serions très intéressés d'entendre des travaux théoriques qui discutent de la complexité...
Étant donné un graphe non orienté pondéré avec arêtes, je voudrais calculer des distances d'approximation inférieures à 2 entre une paire de sommets donnée. Bien sûr, je voudrais utiliser l'espace sous-quadratique et le temps de requête sublinéaire.m = o ( n2)m=o(n2)m = o(n^2) Je connais le...
Existe-t-il des problèmes dont la complexité moyenne des cas est la même que leur pire complexité? Quelles sont les propriétés sous-jacentes de ces problèmes qui permettent de réduire le pire des cas au cas
Je m'intéresse à une variation SAT où la formule CNF est monotone (aucune variable n'est niée). Une telle formule est évidemment satisfaisable. Mais disons que le nombre de vraies variables est une mesure de la qualité de notre solution. Nous avons donc le problème suivant: VÉRITABLE MONOTONE 3SAT...
Cette question n'est peut-être pas technique. En tant que locuteur non natif et TA pour la classe d'algorithmes, je me suis toujours demandé ce que signifie gadget dans «gadget de clause» ou «gadget variable». Le dictionnaire dit qu'un gadget est une machine ou un appareil, mais je ne sais pas...
Soit une séquence d'entiers où chacun . Pour , soit. Le ème moment de fréquence est défini comme étanta j ∈ { 1 , 2 , … , n } i ∈ { 1 , 2 , … , n } m i = | { j : a j = i } | kune1, un2, … , Unmune1,une2,…,unema_1, a_2,\dotsc, a_munej∈ { 1 , 2 , … , n }unej∈{1,2,…,n}a_j \in \{1,2,\dotsc,n\}i ∈ { 1 ,...
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...
Si je comprends bien, en informatique, les types de données ne sont pas basés sur la théorie des ensembles à cause de choses comme le paradoxe de Russell, mais comme dans les langages de programmation du monde réel, nous ne pouvons pas exprimer des types de données aussi complexes que "ensemble qui...