Je me demandais quels papiers je devrais lire pour comprendre cette question Une connexion inattendue à d'autres domaines des mathématiques tels que la géométrie algébrique ou la cohomologie supérieure. Peut-être même un domaine des mathématiques pas encore développé. Peut-être que quelqu'un développera une toute nouvelle direction pour les mathématiques afin …
Je recherche une référence pour le résultat suivant: Ajouter deux entiers dans la représentation factorisée est aussi difficile que factoriser deux entiers dans la représentation binaire habituelle. (Je suis presque sûr que c'est là-bas parce que c'est quelque chose que je me demandais à un moment donné, puis j'étais excité …
Je me demande s'il y a une justification pour croire que ou pour croire que N L ≠ L ?NL = LNL=LNL=LNL ≠ LNL≠LNL\neq L On sait que . La littérature sur dérandomisation de R L est assez convaincant que R L = L . Quelqu'un connaît-il des articles ou …
Si un problème est NP-difficile (en utilisant des réductions de temps polynomiales), cela signifie-t-il qu'il est P-difficile (en utilisant l'espace logarithmique ou les réductions NC)? Il semble intuitif que s'il est aussi difficile que n'importe quel problème dans NP, il devrait être aussi difficile que n'importe quel problème dans P, …
Afin de vérifier ma compréhension, je voudrais partager quelques réflexions sur les besoins énergétiques du calcul. Ceci fait suite à ma question précédente et pourrait être lié à la question de Vinay sur les lois de conservation . Il m'est apparu que, d'un point de vue thermodynamique, l'exécution d'un calcul …
Dans La complexité de calcul de l'optique linéaire ( ECCC TR10-170 ), Scott Aaronson et Alex Arkhipov soutiennent que si les ordinateurs quantiques peuvent être efficacement simulés par des ordinateurs classiques, la hiérarchie polynomiale s'effondre au troisième niveau. Le problème motivant est l'échantillonnage à partir d'une distribution définie par un …
Que sait-on de la complexité temporelle du problème suivant, que nous appelons 3-MUL? Étant donné un ensemble de entiers, y a-t-il des éléments tels que ?SSSnnna,b,c∈Sa,b,c∈Sa,b,c\in Sab=cab=cab=c Ce problème est similaire au problème 3-SUM, qui demande s'il y a trois éléments tels que (ou de manière équivalente ). 3-SUM est …
Cette question fait suite à la question sur les algorithmes d'ADN posée par Aadita Mehra . Dans ses commentaires, Joe Fitzsimmons a déclaré, en partie: [L] e rayon du système doit évoluer proportionnellement à la masse pour éviter cela. La puissance de calcul évolue au plus linéairement dans la masse. …
Le théorème original de la hiérarchie temporelle non déterministe est dû à Cook (le lien est à S. Cook, Une hiérarchie pour la complexité temporelle non déterministe , JCSS 7 343–353, 1973). Le théorème stipule que pour tout nombre réel et , si alors NTIME ( ) est strictement contenu …
Scott Aaronson a proposé un défi intéressant : pouvons-nous utiliser des superordinateurs aujourd'hui pour aider à résoudre les problèmes de CS de la même manière que les physiciens utilisent de grands collisionneurs de particules? Plus concrètement, ma proposition est de consacrer une partie de la puissance de calcul mondiale à …
La formulation exacte du titre est due à Anand Kulkarni (qui a proposé la création de ce site). Cette question a été posée à titre d'exemple, mais je suis incroyablement curieux. Je connais très peu de choses sur la géométrie algébrique, et en fait, je n'ai aussi qu'une compréhension superficielle …
Je lisais " Est-ce que P par rapport à NP est officiellement indépendant? ", Mais je suis resté perplexe. Il est largement admis dans la théorie de la complexité que . Ma question est de savoir si ce n'est pas prouvable (disons dans ). (Supposons que nous découvrions seulement que …
Récemment, j'ai vécu l' expérience douloureuse et amusante d'expliquer de manière informelle le concept de complexité informatique à un jeune programmeur autodidacte talentueux, qui n'avait jamais suivi de cours formel en algorithmes ou en complexité auparavant. Sans surprise, beaucoup de notions semblaient étranges au début mais avaient du sens avec …
Le problème suivant est récemment apparu dans mes recherches. N'étant pas un expert des questions algorithmiques, j'ai beaucoup recherché sur Google dans la recherche de problèmes appropriés à réduire. Je ne vois pas comment 3SAT fonctionnerait, et même si ZOE est similaire dans l'esprit, une réduction n'est pas évidente. Une …
Il est bien connu que le problème suivant est PSPACE-complete: Étant donné l'expression régulière , ?L ( β ) = Σ ∗ββ\betaL ( β) = Σ∗L(β)=Σ∗L(\beta) = \Sigma^* Qu'en est-il de la détermination de l'équivalence avec d'autres expressions régulières (fixes) ?αα\alpha Étant donné l'expression régulière , ?L ( β ) …
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.