J'ai été fasciné par l'explosion extraordinaire de l'analyse lissée et j'ai été frappé par une affirmation dans l'article Analyse lissée de la programmation entière . Cela a déclaré que la programmation linéaire entière est en P lissé si elle est bornée polynomialement. Cela était essentiel en...
Considérons un espace de Hilbert . Une base de produits non extensible (UPB) est un ensemble de vecteurs de produits \ vert v_i \ rangle = \ vert v_i ^ 1 \ rangle \ otimes \ dots \ otimes \ vert v_i ^ n \ rangle tels que:H=H1⊗⋯⊗HnH=H1⊗⋯⊗HnH = H_1 \otimes \dots \otimes...
Définissez le modèle de calcul MPostBQP comme étant identique à PostBQP, sauf que nous autorisons de nombreuses mesures de qubit polynomiales avant la post-sélection et la mesure finale. Pouvons-nous fournir des preuves indiquant que MPostBQP est plus puissant que PostBQP? Définissez MPostBQP [k]...
J'ai un graphique qui se compose uniquement de graphiques en étoile. Un graphique en étoile se compose d'un nœud central ayant des arêtes à tous les autres nœuds. Laissez H 1 , H 2 , ... , H n être différents graphiques étoiles de différentes tailles qui sont présents dans G . Nous appelons...
Voici un problème qui me dérange depuis un moment. Disons qu'une chaîne est une séquence de 1 et de 0 et qu'une chaîne générique est une séquence de 1, 0 et? S. Toutes les chaînes et les chaînes génériques ont la même longueur. Ce sont des caractères génériques UNIX standard; 10 ?? 1 correspond à...
Je me demande si le problème suivant a un nom ou des résultats qui y sont liés. G=(V,w)G=(V,w)G = (V,w)w(u,v)w(u,v)w(u,v)uuuvvvu,v∈Vu,v∈Vu,v \in Vw(u,v)∈[−1,1]w(u,v)∈[−1,1]w(u,v) \in [-1,1]maxS⊆V∑(u,v):u∈S or v∈Sw(u,v)maxS⊆V∑(u,v):u∈S or v∈Sw(u,v)\max_{S \subseteq V} \sum_{(u,v) : u \in S\...
Comme c'est vendredi, il est temps de poser une question CW. Je recherche des heuristiques qui ont une large utilisation dans les problèmes d'optimisation. Pour limiter la portée à des heuristiques plus «favorables à la théorie», voici les règles (certaines arbitraires, d'autres non) Ce devrait...
Il semble que dans les langages de requête populaires pour les bases de données relationnelles, il est possible de créer des requêtes qui nécessiteront beaucoup de ressources pour répondre. En pratique, les administrateurs de base de données gèrent cela en limitant la quantité de mémoire par...
Nous avons un ensemble, , de listes d'éléments de l'ensemble . Chaque élément de apparaît dans une liste unique en . Je recherche une structure de données pouvant effectuer les mises à jour suivantes:N = { 1 , 2 , 3 , . . . , n }LLLN={1,2,3,...,n}N={1,2,3,...,n}N = \{ 1, 2, 3, ..., n \}NNNLLL...
L'un des principaux problèmes de l'énumération des graphes est de déterminer la «forme» d'un graphe, par exemple la classe d'isomorphisme d'un graphe particulier. Je suis pleinement conscient que chaque graphique peut être représenté comme une matrice symétrique. Cependant, pour obtenir sa forme,...
Même si ce n'est pas un point crucial, je ne vois aucune littérature autour de cette question. Y a-t-il des résultats de relativisation? Ne serait-il pas assez simple de prouver une inclusion stricte en adaptant le théorème de la hiérarchie temporelle non déterministe en explorant tous les chemins...
Je me demandais si l'ordre des déclarations de type inductif pouvait avoir de l'importance. Par exemple, dans Coq, vous pouvez définir Natsoit par: Inductive Nat := | O : Nat | S : Nat -> Nat. ou Inductive Nat := | S : Nat -> Nat | O : Nat. Cela changera peut-être l'ordre des paramètres dans...
Dans certains domaines de recherche en CS, nous avons obtenu des résultats très intéressants. Nous envisageons maintenant de les publier. Dans le groupe que nous sommes, la philosophie est de publier immédiatement de petites choses dans des articles de conférence, ce qui est correct mais pas le...
Définissez un maillage en 3D comme une collection connectée de tétraèdres aux intérieurs disjoints (donc les tétraèdres ne partagent que k-faces, ). Étant donné un graphe arbitraire, existe-t-il une procédure efficace pour tester s'il peut être incorporé en tant que maillage?k ≤ 2k≤2k \le 2 Ici,...
J'apprécierais tous les conseils ou termes qui pourraient me permettre de commencer dans la bonne direction. Nous avons un graphe orienté et des longueurs pour chaque arête qui peut être supposée positive. Il existe un nœud de début spécial s et un nœud de fin t
Comme aucune réponse n'a été donnée, un indicateur a été défini pour demander que cette question soit convertie en wiki communautaire. Les commentaires d'Aaron Sterling, Sasho Nikolov et Vor ont été synthétisés dans la résolution suivante, qui est ouverte à la discussion wiki communautaire: Résolu:...
Dans la Facilité capacitation Lieu problème (CFLP) , nous donne un ensemble de clients et un ensemble d'équipements potentiels F . Chaque client j ∈ C a une demande d j qui doit être desservie par une ou plusieurs installations ouvertes. Chaque installation i ∈ F a un coût d'ouverture f i et a une...
AAA3×33×33 \times 34×44×44 \times 4aijaija_{ij}BBBper(A)=det(B)per(A)=det(B)\operatorname{per}(A) = \det(B)BBBper(A)=det(B)per(A)=det(B)\operatorname{per}(A) = \det(B) Certaines restrictions pourraient être les cas suivants: Cas Seuls sont autorisés linéaire Fonctionnelles sous forme d' entrées...
Je voudrais avoir une limite sur la cardinalité de l'ensemble des graphes d'unité de disque avec sommets. Il est connu que vérifier si un graphe est membre de cet ensemble est NP-difficile. Cela conduit-il à une borne inférieure de la cardinalité, en supposant P NP?NNN≠≠\neq Par exemple, supposons...
Les analyseurs de graphiques peuvent être implémentés sur la base de la forme normale de Chomsky ou directement sur la base des règles de production. Supposons pour le moment que nous avons un analyseur graphique CYK qui utilise la forme normale de Chomsky. La binarisation n'est pas définie de...