Questions marquées «reference-request»

La demande de référence est utilisée lorsque l'auteur a besoin de connaître les travaux liés à la question.

1
Le bitcoin est-il cryptographiquement sécurisé
J'essaie de comprendre le protocole bitcoin dans le contexte de la sécurité cryptographique informatique. La question est une demande de référence aux fondations d'articles de cryptographie sur le bitcoin. Ma première question est quel bitcoin de protocole cryptographique abstrait essaie de mettre en œuvre? Avons-nous une définition de la monnaie …
1
Limite supérieure du degré d'une fonction booléenne en termes de sensibilité
Un problème ouvert très intéressant dans l'étude des mesures de complexité de la fonction booléenne est la conjecture dite de sensibilité vs sensibilité de bloc. Pour plus d'informations sur la sensibilité par rapport à la sensibilité aux blocs, vous pouvez consulter le blog suivant de S. Aaronson à http://www.scottaaronson.com/blog/?p=453 . …
1
Résultats des limites inférieures / dureté Noisy Parity (LWE)
Quelques antécédents: Je suis intéressé à trouver des limites inférieures (ou des résultats de dureté) "moins connues" pour le problème d'apprentissage avec des erreurs (LWE), et des généralisations de celui-ci comme l'apprentissage avec des erreurs sur des anneaux. Pour des définitions spécifiques, etc., voici une belle enquête de Regev: http://www.cims.nyu.edu/~regev/papers/lwesurvey.pdf …
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 …
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.