Je cherche des références pour le problème suivant: étant donné les entiers et , énumérer tous les graphes planaires non isomorphes sur sommets et la largeur d'arbre . Je m'intéresse à la fois aux résultats théoriques et pratiques, mais surtout aux algorithmes pratiques qu'il est possible de coder et d'exécuter …
Nous savons par le théorème de Church que la détermination de la satisfiabilité du premier ordre est indécidable en général, mais il existe plusieurs techniques que nous pouvons utiliser pour déterminer la satisfiabilité du premier ordre. Le plus évident est de rechercher un modèle fini. Cependant, il existe un certain …
Quelles sont certaines des meilleures sources (livres et articles) pour motiver et apprendre la complexité de la communication par elle-même et en relation avec sa relation avec la théorie de la complexité informatique?
Soit xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} pour i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\} , avec la promesse que x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (où la somme est supérieure à ZZ\mathbb{Z} ). Quelle est alors la complexité de déterminer si x=1x=1x = 1 ? ∩m≥2AC0[m]∩m≥2AC0[m]\cap_{m \geq 2}{\mathsf{AC}^0[m]} x = 1 A C 0x≡1modmx≡1modmx \equiv 1\bmod{m}x=1x=1x = …
Je connais le travail de Shannon avec l'entropie, mais récemment j'ai travaillé sur des structures de données succinctes dans lesquelles l' entropie empirique est souvent utilisée dans le cadre de l'analyse du stockage. Shannon a défini l'entropie des informations produites par une source d'informations discrète comme −∑ki=1pilogpi−∑i=1kpilogpi-\sum_{i=1}^k p_i \log{p_i} , …
Les équilibres de Nash ne sont généralement pas calculables. Un équilibre -Nash est un ensemble de stratégies où, compte tenu des stratégies des adversaires, chaque joueur obtient à moins de ϵ du gain maximum possible. Trouver un équilibre ϵ -Nash, étant donné ϵ et un jeu, est P P A …
Il est bien connu que l'existence de fonctions unidirectionnelles est nécessaire et suffisante pour une grande partie de la cryptographie (signatures numériques, générateurs pseudo-aléatoires, cryptage à clé privée, etc.). Ma question est: quelles sont les conséquences théoriques de la complexité de l'existence de fonctions à sens unique? Par exemple, owfs …
LES ÉQUATIONS DIOPHANTINES LINÉAIRES (étant donné les nombres naturels , y a-t-il des nombres naturels x et y tels que a x + b y + c = 0 ?) Sont résolubles en temps polynomial.a , b , cune,b,ca, b, cXXxyyya x + b y+ c = 0uneX+by+c=0ax + by …
Soit une famille de sous-ensembles d'éléments d'un univers fini d'objets. Une famille de sous-ensembles d'éléments de , avec , est un - ensemble de frappes de si pour chaque il existe au moins un ensemble tel que .FFFdddUUUHHHkkkUUU1≤k<d1≤k<d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW \in HW⊂VW⊂VW \subset V Étant donné …
Dans l'introduction de cet article Objets partagés éventuellement linéarisables (PODC'10) , les auteurs ont présenté l'énoncé suivant sans références: La linéarisation, cependant, ne peut être atteinte que si et seulement si un consensus peut être trouvé. Ici, la linéarisation est la propriété de cohérence connue la plus forte des objets …
Je recherche la complexité de la satisfiabilité d'une formule ou d'une formule où est la formule de la forme: Où est la constante dans et le domaine des variables est également .∃ x 1 , … , x m ∀ y 1 , … , y n , ϕ ϕ …
Une grande partie de la littérature sur l'informatique quantique se concentre sur le modèle de circuit. L'informatique quantique adiabatique n'est pas basée sur l'application d'une séquence d'opérateurs unitaires, mais sur la modification d'un hamiltonien dépendant du temps. Je recherche un aperçu de l'un des éléments suivants. L'informatique quantique adiabatique est-elle …
Nous savons que . D'après le théorème de Savitch, , et, depuis Space Hierarchy Teorem, . Donc, comme nous ne savons pas si , nous ne savons pas si , ou savons-nous que ? Quelqu'un at-il essayé de prouver que \ mathcal L ^ 2 \ subseteq \ mathcal P …
Je m'intéresse aux compilateurs vérifiés formalisés en théorie de type Martin-Löf, c'est-à-dire Coq / Agda. En ce moment, j'ai écrit un petit exemple de jouet. Ainsi, je peux prouver que mes optimisations sont correctes. Par exemple, les ajouts avec zéro peuvent être éliminés, c'est-à-dire des expressions comme "x + 0". …
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.