Informatique théorique

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

3
Propriétés des graphiques dirigés aléatoires avec un degré de sortie fixe
Je m'intéresse aux propriétés des graphes dirigés aléatoires à degré fixe fixe dréd . J'imagine un modèle de graphique aléatoire où chaque sommet choisit d voisins (disons, avec remplacement) uar Question : Connaît-on la distribution stationnaire et les temps de mélange des marches aléatoires sur ces graphiques aléatoires (pour différentes …
2
MIP avec des étalons efficaces
Il est bien connu que l'ensemble des langages ayant des systèmes de preuve interactifs à deux prouveurs, dans lesquels le vérificateur s'exécute en temps polynomial (MIP), est NEXP. Mais existe-t-il des limites connues sur la puissance de ces preuves interactives lorsque les prouveurs sont limités en puissance? Par exemple, quelle …
3
Lecteur, écrivain monades
Soit CCC un CCC . Soit (×)(×)(\times) être un bifoncteur produit sur CCC . Comme Cat est CCC, nous pouvons curry (×)(×)(\times) : curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B Catégorie de foncteurs C⇒CC⇒CC \Rightarrow C a une structure monoïdale habituelle. …
1
Existe-t-il une relation entre l'algèbre / calcul relationnel et la théorie des catégories?
Je connais au moins deux approches théoriques différentes pour comprendre les bases de données relationnelles: l'algèbre / calcul relationnel de Codd et la théorie des catégories. Existe-t-il une relation entre ces deux approches? Sont-ils en quelque sorte équivalents? Existe-t-il des travaux d'introduction expliquant comment ces deux cadres expliquent les bases …
3
Modifier la distance entre deux partitions
J'ai deux partitions de et je recherche la distance d'édition entre elles.[1…n][1…n][1 \ldots n] Par cela, je veux trouver le nombre minimal de transitions uniques d'un nœud dans un groupe différent qui sont nécessaires pour passer de la partition A à la partition B. Par exemple, la distance de {0 …
2
Est-ce que
Dans le "dernier paragraphe" de la "première page" de l'article suivant: Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , «If NP Has Polynomial-Size Circuits, then MA = AM», Theoretical Computer Science, 1995. J'ai rencontré une affirmation quelque peu contre-intuitive: (ΣP2∩ΠP2)NP=ΣP3∩ΠP3(Σ2P∩Π2P)NP=Σ3P∩Π3P(\Sigma^P_2 \cap \Pi^P_2)^{NP} = \Sigma^P_3 \cap \Pi^P_3 …
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.