Questions marquées «reference-request»

La demande de référence est utilisée lorsque l'auteur a besoin de connaître les travaux liés à la question.

2
Complexité de l'homogénéisation d'une chaîne
Motivation : lors du développement d'outils de gestion des versions de données, nous avons fini par chercher des algorithmes pour «différencier» deux ensembles d'entiers, en proposant une séquence de transformations qui amènent un ensemble d'entiers à l'autre. Nous avons pu réduire ce problème au problème très naturel suivant qui semble …
2
Algorithme de multiplication vectorielle matricielle utilisant un nombre minimal d'additions
Considérez le problème suivant: Étant donné une matrice nous voulons optimiser le nombre d'additions dans l'algorithme de multiplication pour calculer v ↦ M v .MMMv ↦ Mvv↦Mvv \mapsto Mv Je trouve ce problème intéressant en raison de ses liens avec la complexité de la multiplication matricielle (ce problème est une …
1
La référence au fait que (0 = 1) implique faux nécessite un univers en MLTT
C'est un fait assez bien connu que dériver une contradiction d'une inégalité (par exemple, ) dans la théorie de type Martin-Loef nécessite un univers.(0=1)→⊥(0=1)→⊥(0=1) \to \bot La preuve est également assez simple - en l'absence d'univers, nous pouvons effacer les dépendances de tout type dépendant pour obtenir un type simple …
3
Représentation graphique des restrictions théoriques aux preuves dans la théorie de la complexité des preuves
La complexité de la preuve est l'un des domaines les plus élémentaires de la théorie de la complexité informatique. Un objectif ultime de ce domaine est de prouver , c'est-à-dire que tout prouveur ne peut pas fournir une preuve d'insatisfiabilité d'une formule d'entrée donnée. NP≠ c o NPNP≠coNPNP\neq coNP Un …
1
Quels sont les principaux enjeux de recherche dans les transactions distribuées?
Contexte: Le traitement des transactions est un sujet de recherche traditionnel en théorie des bases de données. De nos jours, les transactions distribuées sont popularisées par les systèmes de stockage distribué à grande échelle qui impliquent généralement la partition de données (également appelée partitionnement) et la réplication de données . …
2
Quel est le minimum sur toutes les distributions de vecteurs unitaires de la variance du produit scalaire des vecteurs?
J'essaie de trouver une distribution sur vecteurs aléatoires, disons , sur la sphère de l'unité dimensionnelle (où ) qui minimise soumis à la contrainte \ mathbb {E} [x_i ^ Tx_j] = 0 .nnnx1,…,xnx1,…,xnx_1,\ldots, x_nkkkn>kn>kn > kmaxi≠jVar(xTixj)maxi≠jVar(xiTxj)\max_{i\neq j} \mathrm{Var}(x_i^T x_j)E[xTixj]=0E[xiTxj]=0\mathbb{E}[x_i^Tx_j]=0 J'ai essayé quelques distributions et presque toutes ont la variance 1/k1/k1/k …
2
Pourquoi la linéarisation est-elle une propriété de sécurité et pourquoi les propriétés de sécurité sont-elles des ensembles fermés?
Dans le chapitre 13 «Objets atomiques» du livre «Algorithmes distribués» de Nancy Lynch, la linéarisation (également connue sous le nom d'atomicité) s'est avérée être une propriété de sécurité. C'est-à-dire que sa propriété de trace correspondante est non vide, fermée par préfixe et fermée par limite , comme défini dans la …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.