Informatique théorique

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

1
Y a-t-il eu des progrès dans le resserrement de l'exposant, si bien que l'indépendance du polylogue trompe
Braverman a montré que les distributions qui sont (logmϵ)O(d2)(logmϵ)O(d2)(log \frac{m}{\epsilon})^{O(d^2)}-indépendant indépendant ϵϵ\epsilon-fond profondeur ddd AC0AC0AC^0 circuits de taille mmm en "collant ensemble" l'approximation de Smolensky et l'approximation de Fourier de AC0AC0AC^0fonctions booléennes calculables. L'auteur et ceux qui avaient conjecturé cette conjecture originelle que l'exposant peut être réduit àO(d)O(d)O(d), et je …
1
Théorème de Cantor en théorie des types
Le théorème de Cantor déclare que Pour tout ensemble A, l'ensemble de tous les sous-ensembles de A a une cardinalité strictement supérieure à A lui-même. Est-il possible d'encoder quelque chose comme ça en utilisant uniquement des types / propositions sans se référer aux ensembles ZFC? Un code ou un pseudocode …
1
Comprendre les performances des solveurs QFBV SMT
Les solveurs SMT tels que Z3 ou Boolector utilisent un ensemble complexe d'heuristiques pour résoudre les problèmes. Cependant, cela rend également très difficile la prévision des performances d'un tel solveur pour un problème donné. Ma question est donc: Question Existe-t-il un moyen de comprendre ou d'obtenir des informations sur les …
1
Algorithme pour calculer la distance entre les puissances
Étant donné le coprime , pouvez-vous calculer rapidementa,ba,ba, bminx,y>0|ax−by|minx,y>0|ax−by| \min_{x, y > 0} |a^x - b^y| Ici x,yx,yx, y sont des entiers. Évidemment, prendre x=y=0x=y=0x = y = 0 donne une réponse sans intérêt; en général, à quel point ces pouvoirs peuvent-ils se rapprocher? De plus, comment calculer rapidement 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.