Informatique théorique

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

1
Décompositions de graphes pour combiner les fonctions «locales» des étiquetages de sommets
∑X∏i j ∈ EF( xje, xj)∑X∏jej∈EF(Xje,Xj)\sum_x \prod_{ij \in E} f(x_i,x_j)maxX∏i j ∈ EF( xje, xj)maxX∏jej∈EF(Xje,Xj)\max_x \prod_{ij \in E} f(x_i,x_j) Lorsque max ou sum est pris sur tous les étiquetages de , le produit est pris sur tous les bords pour un graphique et est une fonction arbitraire. Cette quantité est …
2
Algorithmes SC ^ 2 pour la connectivité st
Savitch a donné un algorithme déterministe pour résoudre la st-connectivité en utilisant l' espace , impliquant . L'algorithme de Savitch s'exécute dans le temps 2 ^ {O ({\ log} ^ 2 {n})} . C'est un problème ouvert majeur si la connectivité st peut être résolue par un algorithme déterministe dans …
1
Transformation clairsemée de Walsh-Hadamard
La transformée de Walsh-Hadamard (WHT) est une généralisation de la transformée de Fourier, et est une transformation orthogonale sur un vecteur de nombres réels ou complexes de dimension . La transformation est populaire en informatique quantique, mais elle a été étudiée récemment comme une sorte de préconditionneur pour les projections …
2
Existe-t-il des théories intermédiaires eta pour le calcul lambda?
Il existe deux principales théories étudiées du calcul lambda, la théorie bêta et son extension post-complète, la théorie bêta-eta. Ces deux théories ont-elles un entre-deux, une sorte de règle ETA intermédiaire qui donne une théorie de réécriture confluente? Existe-t-il une notion intéressante d’extensionnalité partielle à laquelle elle correspond? C’est la …
2
Éliminer le cofix en preuve Coq
Tout en essayant de prouver certaines propriétés de base à l'aide de types coinductifs dans Coq, je continue à rencontrer le problème suivant et je ne peux pas le contourner. J'ai distillé le problème dans un simple script Coq comme suit. Le type d' arbre définit des arbres peut - …
2
L'APX est-il contenu dans NP?
On dit qu'un problème P est dans APX s'il existe une constante c> 0 telle qu'un algorithme d'approximation polynomiale en temps existe pour P avec le facteur d'approximation 1 + c. APX contient PTAS (vu en choisissant simplement n'importe quelle constante c> 0) et P. APX est-il dans NP? En …
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.