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. …
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 possibles de …
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 meilleur. Maintenant, je …
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, vous auriez besoin d'une collection de permutations de …
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 être une méthode bien définie, …
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 = \{ …
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 requête et en recherchant …
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 …
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\ \textrm{or}\ v\in S} w(u,v) Notez que je compte les bords à la fois à l'intérieur …
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 raison du fait que …
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 …
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; …
Cette question s'est posée dans le contexte de la cryptographie, mais je la présenterai ci-dessous en termes de théorie de la complexité, car les gens ici connaissent mieux cette dernière. Cette question est liée à des problèmes dans NP mais pas dans Average-P / poly et Beating Nonuniformity par Oracle …
Le théorème de Fáry dit qu'un simple graphique planaire peut être tracé sans croisements de sorte que chaque arête est un segment de ligne droite. Ma question est de savoir s'il existe un théorème analogue pour les graphiques de nombre de croisements bornés . Plus précisément, pouvons-nous dire qu'un simple …
Existe-t-il des permutations et une grammaire sans contexte de taille polynomiale (dans | w | = n ) qui décrivent le langage fini { w π 1 ( w ) π 2 ( w ) } sur l'alphabet { 0 , 1 } ?π1, π2π1,π2\pi_1,\pi_2| w | =n|w|=n|w|=n{ w π1( …
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.