Problème connexe: le théorème de Veblen déclare qu '"un graphique admet une décomposition de cycle si et seulement s'il est pair". Les cycles sont disjoints sur les bords, mais pas nécessairement disjoints sur les nœuds. Autrement dit, "L'ensemble des bords d'un graphe peut être partitionné en...
La classe de complexité BQP correspond à des sous-programmes quantiques polynomiaux temporels prenant des entrées classiques et crachant une sortie classique probabiliste. Le conseil quantique le modifie pour inclure des copies de certains états de conseil quantique prédéterminés mais avec des...
Cette question est étroitement liée à un autre article: Transitions de phase dans les problèmes difficiles NP, mais elle est quelque peu différente. Bien que cette question concerne la dureté d'instances particulières de problèmes difficiles NP, il s'agit de classer la difficulté des mêmes...
Familièrement, la définition de l'exposant de multiplication matricielle est la plus petite valeur pour laquelle il existe un algorithme de multiplication matricielle connu . Ce n'est pas acceptable comme définition mathématique formelle, donc je suppose que la définition technique est quelque...
Q1. Quand peut-on dire que deux programmes (écrits dans certains langages de programmation comme C ++) sont différents? Le premier extrême est de dire que deux programmes sont équivalents s'ils sont identiques. L'autre extrême est de dire que deux programmes sont équivalents s'ils calculent la même...
Considérez le problème suivant: Entrée : un hyperplan , donné par un vecteur et en représentation binaire standard.H= { y ∈ Rn: unTy = b }H={y∈Rn:uneTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\}a ∈ Znune∈Zn\mathbf{a} \in \mathbb{Z}^nb ∈ Zb∈Zb \in \mathbb{Z} Sortie :x ∈ Zn=...
Quels sont les problèmes non triviaux où nous savons que l'algorithme actuel que nous avons est asymptotiquement optimal? (Pour les machines de turing) Et comment cela est-il
Préambule. La classe de complexité AM sont les problèmes qui peuvent être résolus par un système de preuve interactif à deux tours entre un prouveur "Merlin" et un vérificateur "Arthur". Un problème - qui teste certaines propriétés d'un objet X - est dans AM si: Pour les instances OUI , pour un...
J'ai cherché une formalisation du théorème de compacité pour FOL, mais je n'en ai pas trouvé. Quelqu'un est-il au courant d'un tel développement ou d'un travail
L'algèbre booléenne peut être exprimée dans le calcul lambda non typé de cette manière (par exemple). true = \t. \f. t; false = \t. \f. t; not = \x. x false true; and = \x. \y. x y false; or = \x. \y. x true y; L'algèbre booléenne peut également être encodée dans le système F de cette manière :...
L' algorithme Weisfeiler-Lehman 1-dim (WL) est communément appelé algorithme d'étiquetage canonique ou de raffinement des couleurs. Cela fonctionne comme suit: La coloration initiale est uniforme, C 0 ( v ) = 1 pour tous les sommets v ∈ V ( G ) ∪ V ( H ) .C0C0C_0C0( v ) = 1C0(v)=1C_0(v) = 1v ∈ V( G...
Dans la perspective du langage de programmation, que signifie le sous-typage? J'ai entendu dire que "l'héritage n'est pas un sous-typage". Quelles sont alors les différences entre l'héritage et le
Il existe un certain nombre d'algorithmes et de structures de données qui exploitent l'idée que obtient sa valeur minimale à k = \ sqrt n . Les exemples courants incluent k = √max { k , n / k }max{k,n/k}\max \left\{k, n/k\right\}k = n--√k=nk=\sqrt n algorithme pas à pas géant pour calculer le...
Les graphes planaires sont . Ces graphiques peuvent être décomposés en composants tri-connectés, qui sont connus pour être des composants plans ou .K3 , 3K3,3K_{3,3}K5K5K_5 Existe-t-il une décomposition aussi "sympa" des graphes du genre un? Dans leur travail séminal sur les mineurs de graphes,...
Un graphe connecté peut être décomposé en ses composants biconnectés. Cet arbre de point de coupure de bloc est unique. De même, les graphiques biconnectés peuvent être décomposés en composants triconnectés. L' arbre SPQR correspondant décrit toutes les coupes à 2 sommets dans le graphique et est...
Les solveurs SAT offrent un moyen puissant de vérifier la validité d'une formule booléenne avec un quantificateur. Par exemple, pour vérifier la validité de , nous pouvons utiliser un solveur SAT pour déterminer si φ ( x ) est satisfaisable. Pour vérifier la validité de ∀ x . φ ( x ) , nous pouvons...
Dans l'implémentation d'un filtre Bloom, l'approche traditionnelle nécessite plusieurs fonctions de hachage indépendantes. Kirsch et Mitzenmacher ont montré que vous n'en avez besoin que de deux et que vous pouvez générer le reste sous forme de combinaisons linéaires. Ma question est: quelle est...
Pour une incorporation plane d'un graphique plan sur un plan à bords droits, définissez un sommet comme un sommet net si l'angle maximum entre deux bords consécutifs autour de lui est supérieur à 180. Ou en d'autres termes, s'il existe une ligne passant par ce sommet dans l'incorporation de telle...
Existe-t-il un progiciel permettant la décomposition d'unités unitaires de en circuits quantiques sur un ensemble de portes universel prédéfini?U(
Je suis récemment devenu très intéressé par la paramétricité après avoir vu l'article LICS de Bernardy et Moulin 2012 ( https://dl.acm.org/citation.cfm?id=2359499 ). Dans cet article, ils intériorisent la paramétricité unaire dans un système de type pur avec des types dépendants et indiquent...