Informatique théorique

2

Conjecture de sensibilité bloc de sensibilité - Implications

Soit une fonction booléenne de sensibilité s ( f ) et de sensibilité de bloc b s ( f ) .fffs(f)s(f)s(f)bs(f)bs(f)bs(f) La conjecture de conjecture de sensibilité Sensibilité-Bloc indique qu'il y a un tel que ∀ f , b s ( f ) ≤ s ( f ) c .c>0c>0c>0∀f, …

12 cc.complexity-theory big-picture boolean-functions survey

2

Existe-t-il des formulations théoriques de nœuds de problèmes complets de NP?

Existe-t-il des problèmes NP complets (ou même NP-durs, ou NP) qui ont de bonnes propriétés topologiques à étudier? Les problèmes NP ont-ils des formulations théoriques de nœuds? Nous connaissons les résultats # du polynôme de Jones. Les problèmes de graphes (plongements?), En particulier les colorations des graphiques, peuvent avoir de …

12 ct.category-theory np

3

Propriétés exprimables en 2-CNF ou 2-SAT

Comment montrer qu'une certaine propriété ne peut pas être exprimée en 2-CNF (2-SAT)? Existe-t-il des jeux, tels que des jeux de galets? Il semble que le jeu de galets noir classique et le jeu de galets noir et blanc ne conviennent pas à cela (ils sont complets sur PSPACE, selon …

12 sat lower-bounds combinatorial-game-theory

2

Recherche d'une source de documentation pour l'idée suivante

Je suis certain que je ne suis pas le premier à entretenir l'idée que je vais présenter. Cependant, il serait utile que je puisse trouver de la documentation liée à l'idée. L'idée est de construire une machine de Turing M avec la propriété que si P = NP alors M …

12 reference-request turing-machines p-vs-np

2

Quelle est cette variante du problème de la couverture définie?

L' entrée est un univers et une famille de sous - ensembles de U , par exemple, F ⊆ 2 U . Nous supposons que les sous - ensembles de F peuvent couvrir U , c. -à- ⋃ E ∈ F E = U .UUUUUUF⊆ 2UF⊆2U{\cal F} \subseteq 2^UFF{\cal F}UUU⋃E∈ …

12 cc.complexity-theory ds.algorithms approximation-algorithms optimization set-cover

1

Grandes classes contenant LOGSPACE pour lesquelles des inclusions strictes sont inconnues

La page wikipedia sur PSPACE mentionne que l'inclusion n'est pas connue pour être stricte (malheureusement sans références).NL ⊂ PHNL⊂PHNL\subset PH Q1: Qu'en est-il de et L ⊂ P # P - sont-ils connus pour être stricts?L ⊂ PHL⊂PHL\subset PHL ⊂ P# PL⊂P#PL\subset P^{\#P} Q2: Si non, existe-t-il une classe établie …

12 cc.complexity-theory complexity-classes logspace

1

Tri de comparaison aléatoire optimal

Nous connaissons donc tous la borne inférieure de l'arbre de de ⌈ log 2 n ! ⌉ sur le nombre le plus défavorable de comparaisons effectuées par un algorithme de tri comparatif (déterministe). Elle ne s'applique pas au tri par comparaison aléatoire (si nous mesurons les comparaisons attendues pour l'entrée …

12 ds.algorithms reference-request sorting

1

Existence de longs trajets induits dans les graphiques d'expansion

Disons qu'une famille de graphes a de longs chemins induits s'il y a une constante telle que chaque graphe dans contient un chemin induit sur sommets. Je m'intéresse aux propriétés des familles de graphes qui assurent l'existence de longs trajets induits. En particulier, je me demande actuellement si les expanseurs …

12 graph-theory expanders

3

Lieux de courts articles de recherche

Je viens de terminer un court article (5 pages) sur la preuve d'un certain jeu combinatoire NP-Complete. Ce n'est en aucun cas un résultat d'une grande importance, mais c'est celui qui, je crois, est publiable. Quels lieux conviendraient à un article comme celui-ci? La seule que je connaisse, ce sont …

12 journals

2

Cycle hamiltonien sur les graphiques sans petits cycles

En répondant à cette question sur cstheory , j'ai (officieusement) prouvé à la volée le théorème suivant: Théorème : Pour tout fixe, le probem du cycle hamiltonien reste NP-complet même s'il est limité à des graphes bipartites planaires non orientés de degré 3 maximum qui ne contiennent pas de cycles …

12 reference-request np-hardness

1

Est différent de ?

Pouvons-nous prouver que pour chaque langue qui n'est pas -hard (cela suppose ), ? Sinon, cela peut-il être prouvé sous des hypothèses raisonnables?L∈NPL∈NPL\in\mathsf{NP}NPNP\mathsf{NP}P≠NPP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}

12 cc.complexity-theory complexity-classes np-intermediate

2

?

Est-il possible que ? Y a-t-il des conséquences intéressantes d'un tel confinement? Cela contredirait-il l'hypothèse du temps exponentiel?SAT¯¯¯¯¯¯¯¯¯¯∈NTIME(exp(n0.9))SAT¯∈NTIME(exp⁡(n0.9))\overline{SAT} \in NTIME(\exp(n^{0.9}))

12 sat exp-time-algorithms nexp

3

Comment itérer sur des vecteurs par ordre de probabilité dans un petit espace

Considérons un vecteur dimensionnel v où v i ∈ { 0 , 1 } . Pour chaque i, nous connaissons p i = P ( v i = 1 ) et supposons que les v i sont indépendants. En utilisant ces probabilités, existe-t-il un moyen efficace d'itérer sur des vecteurs …

12 ds.algorithms space-bounded

1

Le théorème de Kannan implique-t-il que NEXPTIME ^ NP ⊄ P / poly?

Je lisais un article de Buhrman et Homer "Circuits superpolynomiaux , oracles presque clairsemés et hiérarchie exponentielle" . Au bas de la page 2, ils remarquent que les résultats de Kannan impliquent que n'a pas de circuits de taille polynomiale. Je sais que dans la hiérarchie de temps exponentielle, est …

12 cc.complexity-theory complexity-classes time-complexity oracles circuits

1

Ce jeu se termine-t-il?

Considérez le jeu de cartes suivant (connu en Italie sous le nom de "Cavacamicia", qui peut être traduit par "stripshirt"): Deux joueurs partagent au hasard en deux jeux un jeu de cartes standard. Chaque joueur reçoit un deck. Les joueurs alternent en plaçant dans une pile la carte suivante de …

12 board-games