Informatique théorique

Q & A pour les informaticiens théoriques et les chercheurs dans des domaines connexes

2
Explication du foncteur applicatif en termes catégoriques - foncteurs monoïdaux
J'aimerais comprendre Applicativeen termes de théorie des catégories. La documentation de ce documentApplicative indique qu’il s’agit d’ un foncteur fort monoïdal laxiste . Premièrement, la page Wikipedia sur les foncteurs monoïdaux indique qu’un foncteur monoïdal est laxiste ou fort . Il me semble donc que l'une ou l'autre des sources …
5
Les quartiers accueillants de «P» et de «NP-hard»
Soit une tâche algorithmique. (Cela peut être un problème de décision ou un problème d'optimisation ou toute autre tâche.) Appelons "du côté polynomial" si supposer que est NP-difficile est connu pour impliquer que la hiérarchie polynomiale s'effondre. Appelons "du côté de NP" si nous supposons que admet qu'un algorithme polynomial …
3
Sélection des papiers à lire
AVERTISSEMENT: Ceci est une question ouverte et puritains stackexchange ressentiraient probablement un besoin extraordinaire de voter pour l'oubli. Cependant, je ne peux penser à aucun autre forum plus approprié et plus prometteur pour obtenir une réponse à cette question. En travaillant sur un problème de recherche pour un projet de …
2
Alphabet de Turing à une seule bande
Toute fonction calculable en temps t sur une machine de Turing à bande unique utilisant un alphabet de taille k = O ( 1 ) peut-elle être calculée en temps O ( t ) sur une seule bande machine de Turing en utilisant un alphabet de taille 3 ( par …
3
Quelles sont les raisons pour lesquelles les chercheurs en géométrie algorithmique préfèrent le modèle BSS / real-RAM?
Contexte Le calcul sur des nombres réels est plus compliqué que celui sur des nombres naturels, puisque les nombres réels sont des objets infinis et qu'il existe un nombre incalculable de nombres réels. Par conséquent, les nombres réels ne peuvent être fidèlement représentés par des chaînes finies sur un alphabet …
1
Est-ce que Rabin / Yao existe (au moins sous une forme qui peut être citée)?
Dans son article classique de 1979, Andrew Chi-Chih Yao mentionne "MO Rabin et AC Yao, en préparation". Cela signifie que la complexité de la communication d'erreur corrigée de la fonction d'égalité EQ (que deux entiers compris entre et soient égaux) est égale à .NN_N000N−1N−1N-1O(loglogN)O(log⁡log⁡N)O(\log\log N) Andrew Chi-Chih Yao, Quelques questions …
4
Existe-t-il des preuves de l’indécidabilité du problème d’arrêt qui ne dépend pas de l’auto-référencement ou de la diagonalisation?
C'est une question liée à celle-ci . En le reformulant sous une forme beaucoup plus simple après de nombreuses discussions, la question semblait totalement différente. La preuve classique de l’indécidabilité du problème posé consiste à démontrer une contradiction lorsqu’on essaie d’appliquer à lui-même un hypothétique décideur HALT. Je pense que …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.