Une matrice est dite totalement régulière si toutes ses sous-matrices carrées ont un rang complet. De telles matrices ont été utilisées pour construire des superconcentrateurs. Quelle est la complexité de décider si une matrice donnée est totalement régulière sur les logiques? Sur des champs finis? Plus généralement, appelons une matrice …
Considérons le modèle suivant: une chaîne de n bits r = r 1 ... r n est choisie uniformément au hasard. Ensuite, chaque indice i∈ {1, ..., n} est placé dans un ensemble A avec une probabilité indépendante 1/2. Enfin, un adversaire est autorisé, pour chaque i∈A séparément, à retourner …
Je suis intéressé par la complexité de la résolution d'équations linéaires modulo k , pour k arbitraire (et avec un intérêt particulier pour les puissances premières), en particulier: Problème. Pour un système donné de équations linéaires dans n modules inconnus k , existe-t-il des solutions?mmmnnnkkk Dans l'abrégé de leur article …
Je suis actuellement intéressé à obtenir (ou construire) et à étudier des formules 3-CNF insatisfaisantes et de taille minimale. Autrement dit, elles doivent être constituées du moins de clauses (m = 8 de préférence) et de autant de variables distinctes (n = 4 ou plus) que possible, de sorte que …
Y a-t-il des références qui fournissent des détails sur les limites inférieures du circuit pour des problèmes difficiles spécifiques survenant en cryptographie tels que l'affacturage entier, problème de logarithme discret premier / composite et sa variante sur un groupe de points de courbes elliptiques (et leurs variétés abéliennes de dimension …
Prédire la bourse est difficile! TCS peut-il rendre ce sentiment plus formel? Récemment, j'ai commencé à réfléchir un peu à la finance et je me demandais en quoi la connaissance du TCS pouvait aider. Les fonds spéculatifs et les sociétés d'investissement semblent utiliser le trading algorithmique, l'apprentissage automatique et l'IA …
Il semble connu que pour trouver une réponse à une requête sur une base de données relationnelle D , il faut du temps | D | | Q | , et on ne peut pas se débarrasser de l'exposant | Q | .QQQDDD|D||Q||D||Q||D|^{|Q|}|Q||Q||Q| Comme peut être très volumineux, nous nous …
EDIT au 2011/02/08: Après avoir trouvé et lu des références, j'ai décidé de séparer la question d'origine en deux questions distinctes. Voici la partie concernant UP vs NP, pour la partie classes syntaxiques et sémantiques, veuillez consulter Avantages pour les classes syntaxiques et sémantiques . N PUPUP\mathsf{UP} (le temps polynomial …
La parité et sont comme des jumeaux inséparables. Ou du moins, cela semble au cours des 30 dernières années. À la lumière du résultat de Ryan, il y aura un regain d'intérêt pour les petites classes.AC0AC0AC^0 Furst Saxe Sipser à Yao à Hastad sont toutes des restrictions de parité et …
Soit le pire temps d'exécution d'un problème sur une entrée de taille n . Faisons un peu bizarre le problème en fixant f ( n ) = n 2 pour n = 2 k mais f ( n ) = n pour n = 2 kf(n)f(n)f(n)nnnf(n)=n2f(n)=n2f(n) = n^2n=2kn=2kn=2kf(n)=nf(n)=nf(n) = n …
Comment concevriez-vous une image pour illustrer la conjecture des jeux uniques? Ceci est pour une présentation "Current Events" sur des jeux uniques lors de la prochaine réunion conjointe AMS et pour le livret qui sera produit. Des exemples du type d'illustrations produites dans le passé http://www.ams.org/meetings/lectures/current-events-bulletin et si vous cliquez …
Mon théorème préféré en théorie de la complexité est le théorème de la hiérarchie temporelle. Cependant, cela a été fait en 1965. Je voulais alors savoir s'il y avait quelque chose de similaire pour l'informatique quantique. Si ce n'est pas le cas, quelles sont les personnes / groupes qui travaillent …
Existe-t-il un projet en cours pour vérifier formellement les théorèmes et les preuves de la théorie de la complexité à l'aide d'un assistant de preuve comme Coq? Y a-t-il des limites à cela?
Existe-t-il des problèmes NP complets sans sous-ensemble infini d'instances telles que l'appartenance à peut être décidée en temps polynomial, et pour tout , peut être résolu en temps polynomial? (En supposant )ΦΦ\PhiΦΦ\Phix∈Φx∈Φx \in \PhixxxP≠NPP≠NPP \neq NP
Je suis intéressé à apprendre les connexions entre le «chaos» ou, plus largement, les systèmes dynamiques et la question . Voici un exemple du type de littérature que je recherche:P=NPP=NPP{=}NP Ercsey-Ravasz, Mária et Zoltán Toroczkai. "La dureté d'optimisation comme chaos transitoire dans une approche analogique de la satisfaction des contraintes." …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.