Informatique théorique

1

Le générateur pseudo-aléatoire de Nisan se relativise-t-il?

Nisan a prouvé dans "Générateurs aléatoires pour le calcul délimité par l'espace", qu'il existe un générateur pseudo-aléatoire qui "trompe" les calculs délimités par l'espace. Cette construction est-elle valable pour chaque oracle (au moins pour les requêtes non adaptatives)?

16 cc.complexity-theory space-bounded derandomization

1

Pouvons-nous décider si un permanent a un terme unique?

Supposons que l'on nous donne une matrice n par n, M, avec des entrées entières. Peut-on décider dans P s'il existe une permutation telle que pour toutes les permutations π ≠ σ on a Π M i σ ( i ) ≠ Π M i π ( i ) ?σσ\sigmaπ≠ …

16 cc.complexity-theory ds.algorithms matrices matching permanent

1

Où est la faille dans la méthode de Blum-Feldman-Micali

Blum, Micali et Feldman (BFM) ont proposé un nouveau modèle (cryptographique), dans lequel toutes les parties (honnêtes ou contradictoires) ont accès à une chaîne. La chaîne est supposée être sélectionnée selon une certaine distribution (généralement une distribution uniforme) par une partie de confiance. Il est appelé la chaîne de référence …

16 cr.crypto-security

3

Dureté UGC du prédicat pour ?

Contexte : Dans le document UGC original de Subhash Khot ( PDF ), il prouve la dureté UG de décider si une instance CSP donnée avec des contraintes toutes de la forme Pas-tout-égal (a, b, c) sur un alphabet ternaire admet une affectation satisfaisante 1 - des contraintes ou s'il …

16 cc.complexity-theory approximation-hardness unique-games-conjecture csp

1

Complétude et langages contextuels.

Je m'intéresse à deux questions concernant les langages contextuels (CSL) et l'exhaustivité: Existe-t-il une notion d'exhaustivité pour CSL et quelles langues sont complètes? Existe-t-il des CSL naturels qui sont NP-complets? Pour 2., je peux certainement penser à des langages NP-complets naturels qui sont CSL (comme CSL est égal à NSPACE …

16 np-hardness fl.formal-languages space-bounded

2

Relation entre symétrie et intraitabilité informatique?

Le problème de l'automorphisme libre à points fixes demande un automorphisme de graphe qui déplace au moins k ( n ) nœuds. Le problème est N P -complet si k ( n ) = n c pour tout ckkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc > 0. Cependant, si alors le problème est le temps polynomial …

16 cc.complexity-theory graph-isomorphism automorphism symmetry

5

Des notions plus fortes d'uniformisations?

Une lacune que j'ai toujours su que je ne comprends pas vraiment est entre la complexité de calcul non uniforme et uniforme où la complexité du circuit représente la version non uniforme et les machines de Turing où les choses sont uniformes. Je suppose que "uniforme" est un moyen de …

16 cc.complexity-theory circuit-complexity

3

Quels problèmes

Le célèbre Picture of The World de Neil Immerman est le suivant (cliquez pour agrandir): Sa classe "Vraiment faisable" ne comprend aucune autre classe; ma question est alors: Qu'est-ce qu'un problème AC 0 considéré comme peu pratique et pourquoi?

16 cc.complexity-theory circuit-complexity

2

Une liste de lecture sur l'algorithmique expérimentale

Comme dans, le domaine des articles dans le ACM Journal on Experimental Algorithmic JEA . Quels ont été les travaux fondateurs? Quels sont les principaux résultats? Comment sont-ils caractérisés? Des liens intéressants avec d'autres domaines de l'informatique?

16 ds.algorithms reference-request experimental

1

Dérandomisation non uniforme plus efficace?

Adleman, FOCS'78 a montré que tout circuit randomisé pour des entrées de longueur peut être dérandomisé de manière non uniforme. Cependant, la construction duplique effectivement le circuit d'origine fois, de sorte que le circuit dérandomisé est plus grand que le circuit d'origine d'un facteur . Existe-t-il une construction plus efficace …

16 derandomization

1

Sensibilité des propriétés du graphique

Dans [1], Turan montre que la sensibilité (appelée "complexité critique" dans l'article) d'une propriété graphique est strictement supérieure à oùmest le nombre de sommets du graphe. Il continue en conjecturant que toute propriété de graphe non triviale a une sensibilité≥m-1. Il mentionne que cela a été vérifié pourm≤5. Des progrès …

16 graph-theory property-testing

2

Trouver de petits ensembles d'entiers dans lesquels chaque élément est une somme de deux autres

Ceci fait suite à cette question sur math.stackexchange. Disons qu'un ensemble non vide S ⊆ ℤ est autoportant si pour tout a ∈ S, il existe des éléments distincts b, c ∈ S tels que a = b + c. Pour les entiers positifs n , des exemples simples incluent …

16 ds.algorithms co.combinatorics

1

Extensions de la bêta-théorie du calcul lambda

La bêta-eta-théorie du lambda-calcul est post-complète. Peut-on ajouter des règles supplémentaires pour étendre la théorie bêta du lambda-calcul afin d'obtenir des théories confluentes autres que la théorie bêta-éta? Postscript Cette question a violé ma propre règle selon laquelle les questions devraient expliquer pourquoi le questionneur se soucie. Cela m'a frappé …

16 lambda-calculus

1

Croissance comparée du nombre de classes syntaxiques et de classes Nerode.

Pour un langage L ⊆ Σ ^ * , définissez la congruence syntaxique ≡ de L comme la moindre congruence sur Σ ^ * qui sature L , soit: u ≡ v ⇔ (∀ x, y) [xuy ∈ L ↔ xvy ∈ L]. Définissez maintenant l' équivalence Nerode comme la …

16 automata-theory fl.formal-languages

1

Pourquoi est-il important que le secret soit à la fin lors de la signature avec MD5?

on dit souvent que lors de l'utilisation de l'algorithme MD5 pour signer des informations arbitraires, le secret partagé doit être à la fin. Pourquoi?

16 hash-function cr.crypto-security