Informatique théorique independence

3

P contient-il des langues dont l'existence est indépendante de PA ou ZFC? (Wiki de la communauté TCS)

Réponse: inconnue. Les questions posées sont naturelles, ouvertes et apparemment difficiles; la question est maintenant un wiki communautaire. Aperçu La question vise à diviser les langages appartenant à la classe de complexité PPP - ainsi que les machines de Turing de décision (TM) qui acceptent ces langages - en deux …

14 cc.complexity-theory polynomial-time undecidability independence

1

Quelle est l'indépendance requise pour un chaînage séparé?

Si balles sont placées dans cases de manière uniforme et aléatoire, la poubelle la plus lourde contient balles avec une forte probabilité. Dans "The Power of Simple Tabulation Hashing" , Pătraşcu et Thorup mentionnent que "les limites de Chernoff-Hoeffding pour les applications avec une indépendance limitée" ( miroir ) montrent …

13 ds.data-structures randomness hash-function independence

1

Calcul de la fermeture du syndicat

Étant donné une famille d'au plus sous-ensembles de . La fermeture de l' union \ mathcal F est un autre ensemble famille \ mathcal C contenant tout ensemble qui peut être construit en prenant l'union de 1 ou plusieurs ensembles de \ mathcal F . Par | \ mathcal C …

10 co.combinatorics graph-algorithms clique independence

Questions marquées «independence»