Informatique théorique

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

1
Complexité d'une connectivité st unique
Je voudrais savoir si le problème suivant peut être résolu dans (espace de log non déterministe):N LNL\mathsf{NL} Étant donné un graphe orienté avec deux sommets distincts s et t , existe- t -il un chemin unique de s à t dans G ?GGGssstttssstttGGG Je pense qu'il est susceptible d'être dans …
2
Expositions pour un musée de l'informatique
Tous les musées et expositions liés à l'informatique que je connais semblent couvrir uniquement l'histoire des machines informatiques, mais rien sur les sujets de l'informatique. Vous participez à la création d'un nouveau musée de l'informatique, agréé pour éduquer, divertir et inspirer le grand public dans une grande variété de sujets …
1
Un problème combinatoire simple (?) Drôle!
Fixons et un entier .t > 00<E<10<E<100 pour tout et pour tout vecteur tel quennnc¯∈[0,1]nc¯∈[0,1]n\bar{c} \in [0,1]^n∑i∈[n]ci≥E×n∑i∈[n]ci≥E×n\sum_{i\in [n]} c_i \geq E \times n Ac¯:=|{S⊆[n]:∑i∈S ci≥E×t}|≥(E×nt)Ac¯:=|{S⊆[n]:∑i∈S ci≥E×t}|≥(E×nt)A_{\bar{c}} :=|\{ S \subseteq [n] : \sum_{i \in S}~ c_i \geq E \times t \}| \geq \binom{ E \times n}{ t } Je ne sais …
1
L'équivalence de deux définitions d'exhaustivité et de solidité dans les systèmes de preuve interactifs
L'exhaustivité et la solidité des systèmes de preuve interactifs sont définies de manière informelle comme: Exhaustivité: Si une déclaration est vrai, l' honnête prouveur peut convaincre l' honnête vérificateur de ce fait PVT . Solidité: si une déclaration est fausse, le prouveur de fraude ne peut pas convaincre le vérificateur …
4
La diagonalisation capture-t-elle l'essence de la séparation des classes?
Je ne me souviens pas d'avoir vu une séparation de classes non basée sur des résultats de diagonalisation et de relativisation. La diagonalisation pourrait toujours être utilisée pour séparer les classes connues restantes, car des arguments non relativisants pourraient toujours être utilisés dans la conclusion de la diagonalisation ou dans …
3
Le framework MapReduce est-il un type de BSP?
Est-il exact d'appeler le framework mapReduce un type de framework de programmation parallèle synchrone en bloc sans rétention de mémoire locale dans les processeurs entre les synchronisations? Sinon, quel modèle de programmation parallèle encapsule le plus précisément le framework mapReduce?
4
Trouver un modèle fini
Je sais que la question "est-ce qu'une formule de premier ordre a un modèle" est indécidable en général.ϕϕ\phi Quelqu'un pourrait-il me donner un lien ou un livre qui donnerait la réponse pour les modèles finis. Si j'ai une formule de premier ordre , est-il possible de déterminer si ϕ a …
2
Références aux langages de programmation basés sur des logiques conditionnelles
Les logiques conditionnelles sont des logiques qui augmentent l'implication logique traditionnelle avec des opérateurs modaux correspondant à d'autres notions de condition (par exemple, le conditionnel causal lit " A provoque" B ", ou conditionnement probabiliste" A | B ", qui se lit" A donné B ").UNE□→ BUNE◻→BA\; \square\!\!\!\!\to BUNEUNEAA | …
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.