Informatique théorique

Q & A pour les informaticiens théoriques et les chercheurs dans des domaines connexes

2
Vérification de l'équivalence de deux polytopes
Considérons un vecteur de variables et un ensemble de contraintes linéaires spécifiées par .X⃗ X→\vec{x}A x⃗ ≤ bUNEX→≤bA\vec{x}\leq b En outre, considérons deux polytopes P1P2={(f1(x⃗ ),⋯,fm(x⃗ ))∣Ax⃗ ≤b}={(g1(x⃗ ),⋯,gm(x⃗ ))∣Ax⃗ ≤b}P1={(f1(x→),⋯,fm(x→))∣Ax→≤b}P2={(g1(x→),⋯,gm(x→))∣Ax→≤b}\begin{align*} P_1&=\{(f_1(\vec{x}), \cdots, f_m(\vec{x}))\mid A\vec{x}\leq b\}\\ P_2&=\{(g_1(\vec{x}), \cdots, g_m(\vec{x}))\mid A\vec{x}\leq b\} \end{align*} où et g sont des mappages affins. À …
4
Le graphique infini des diagonales a-t-il une composante infinie?
Supposons que nous connectons les points de V=Z2V=Z2V = \mathbb{Z}^2 utilisant l'ensemble des bords non orientés EEE telle sorte que (i,j)(i,j)(i, j) soit connecté à (i+1,j+1)(i+1,j+1)(i + 1, j + 1) , ou (i+1,j)(i+1,j)(i + 1, j) soit connecté à (i,j+1)(i,j+1)(i, j + 1) , indépendamment et uniformément au hasard …
1
Version délimitée par calcul de l'équilibre de Nash?
Je me demande s'il existe une version limitée du calcul du concept d'équilibre de Nash, quelque chose dans le sens suivant. Imaginez une sorte de jeu d'information parfait à deux joueurs qui se joue sur un plateau , et qui est complexe dans le sens où un jeu optimal est …
5
L'utilité des entropies Renyi?
La plupart d'entre nous connaissent - ou du moins ont entendu parler - l'entropie de Shannon d'une variable aléatoire, H(X)=−E[logp(X)]H(X)=−E[log⁡p(X)]H(X) = -\mathbb{E} \bigl[ \log p(X)\bigr] , et toutes les mesures théoriques de l'information connexes telles que l'entropie relative, informations mutuelles, etc. Il existe quelques autres mesures de l'entropie couramment utilisées …
1
Comparaison de la complexité de Kolmogorov des théories
Le théorème d'incomplétude de Chaitin dit qu'aucune théorie suffisamment forte de l'arithmétique ne peut prouver où est la complexité de Kolmogorov de la chaîne et est une constante suffisamment grande. est suffisamment grand s'il est supérieur à la taille en bits d'une machine de vérification d'épreuve (PCM). A PCM pour …
1
La complétude de PSPACE implique-t-elle une dureté d'approximation?
Il est mentionné dans un commentaire dans un autre article de cstheorySE que PSPACE- exhausteness implique APX-hardness. Quelqu'un peut-il expliquer / partager une référence pour cela? Est-ce "serré"? (c.-à-d. y a-t-il des problèmes PSPACE complets dont le problème d'optimisation admet une approximation constante des facteurs en temps poly?) Qu'en est-il …
1
Peut-on distinguer des méthodes strictement syntaxiques et sémantiques dans un langage de programmation?
Tout en discutant de preuves de normalisation solides, ce commentaire oppose le «modèle des formes normales» aux «méthodes purement syntaxiques». Cela me ramène à une question plus fondamentale: peut-on encore distinguer strictement les constructions syntaxiques et sémantiques, face aux modèles syntaxiques? Qu'en est-il des modèles de termes pour les algèbres, …
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.