Je pense que je ne le comprends pas, mais -conversion me semble être une -conversion qui ne fait rien, un cas particulier de -conversion où le résultat n'est que le terme dans l'abstraction lambda car il n'y a rien à faire, une sorte de conversion inutile.β β βηη\etaββ\betaββ\betaββ\beta Alors...
Il existe une multitude d'algorithmes qui peuvent analyser une grammaire sans contexte en temps . En utilisant la multiplication matricielle, on peut même aller plus vite asymptotiquement que cela.O ( n3)O(n3)O(n^3) Cependant, tous les algorithmes d'analyse syntaxique des CFG arbitraires que je...
L'opération de vote majoritaire se produit assez souvent en tolérance aux pannes (et sans doute dans d'autres endroits), où la fonction génère un bit égal à la valeur qui apparaît le plus fréquemment dans la valeur des bits d'entrée. Pour simplifier, supposons que chaque fois que l'entrée contient...
La XORification est la technique pour rendre plus difficile une fonction ou une formule booléenne en remplaçant chaque variable par le XOR de k ≥ 2 variables distinctes x 1 ⊕ … ⊕ x k . xxxk≥2k≥2k\geq 2x1⊕…⊕xkx1⊕…⊕xkx_1 \oplus \ldots \oplus x_k Je connais les utilisations de cette technique dans la...
La démonstration automatique de théorèmes et la recherche de preuves sont-elles plus faciles dans les logiques sous-structurelles linéaires et autres propositions qui manquent de contraction? Où puis-je en savoir plus sur la démonstration automatique du théorème dans ces logiques et le rôle de la...
Existe-t-il des algorithmes de résolution SAT qui ne sont pas basés sur DPLL? Ou tous les algorithmes utilisés par les solveurs SAT sont-ils basés sur
Il est bien connu que les ordinateurs quantiques sont strictement plus puissants que leurs homologues classiques en termes de complexité des requêtes . Existe-t-il d'autres modèles (naturels ou artificiels) qui se situent strictement entre le quantique et le classique en termes de complexité des...
Je vois beaucoup de recherches sur l' hypercalcul dans les années 1990, mais ces dernières années, il semble y avoir peu de travail sur le sujet. Est-il vrai que la recherche dans ce domaine s'est éteinte? Si oui, quelles pourraient en être les raisons? A-t-on démontré de façon convaincante que ce...
Que sait-on de la complexité exacte du problème de chaîne la plus courte? Peut-il être résolu plus rapidement que ? Existe-t-il des algorithmes connus qui résolvent la super chaîne la plus courte sans réduire au TSP?O∗(2n)O∗(2n)O^*(2^n) UPD: supprime les facteurs polynomiaux.O∗(⋅)O∗(⋅)O^*(\cdot) Le...
Je pense que ce serait une bonne idée de faire une liste de théorèmes indiquant que P n'est pas égal à NP si et seulement si telle ou telle sortie, une classe de complexité est contenue dans une autre classe de complexité et ainsi de suite et ainsi de suite.
Soit une formule CNF satisfaisante avec n variables et m clauses. Soit S F 1 l'espace de solution de F 1 .F1F1F_1nnnmmmSF1SF1S_{F_1}F1F1F_1 Considérons le problème de déterminer, étant donné , une autre formule CNF F 2 avec le même ensemble de variables que F 1 , avec S F 2 = S F 1 (même espace de...
IP = PSPACE est répertorié comme l'exemple canonique d'un résultat non relativisant, et la preuve en est qu'il existe un oracle OOO tel que , tandis que {\ sf coNP} ^ O \ subseteq {\ sf PSPACE} ^ O pour tous oracles O .c o N P O ⊆ P S P A C E O OcoNPO⊈IPOcoNPO⊈IPO{\sf coNP}^O \not\subseteq {\sf...
Je travaille sur un problème posé pour une classe et j'ai pensé à une question liée à ce sur quoi je travaillais. Existe-t-il un nombre minimum d'états qu'un automate fini doit avoir pour accepter des chaînes binaires qui représentent des nombres divisibles par un entier n? Dans un ensemble de...
J'ai cherché loin pour de telles applications et je me suis surtout retrouvé court. Je peux trouver de nombreuses applications de la topologie et des structures similaires sur des ensembles dénombrables (ou non dénombrables), mais je trouve rarement des ensembles indénombrables comme objet d'étude...
Quels sont les algorithmes efficaces connus pour calculer un déterminant d'une matrice entière à coefficients dans , l'anneau de résidus modulo . Le nombre peut ne pas être premier mais composite (donc les calculs sont effectués en anneau, pas dans un champ). mmZmZm\mathbb{Z}_mmmmmmm Pour autant...
Des travaux ont-ils été effectués sur la façon dont la complexité des instances aléatoires de # 2-SAT varie avec la densité de la clause? C'est-à-dire: comment la difficulté de compter des solutions satisfaisantes pour une instance générée aléatoirement de 2-SAT varie-t-elle, comme la densité de...
Supposons que soit un arbre à degrés constants dont nous ne connaissons pas la structure. Le problème est de sortir l'arbre en posant des requêtes de la forme: "Le nœud se trouve-t-il sur le chemin du nœud au nœud ?". Supposons que chaque requête puisse recevoir une réponse en temps constant par un...
Comme vous le savez, il existe de nombreuses anomalies pour les machines de Turing à bande unique lorsque le temps est : simulation multi-bande TM, simulation d'un alphabet de bande plus grand avec seulement , constructibilité temporelle, non-étanchéité du théorème de la hiérarchie temporelle, ...o...
Le zoo de complexité n'a pas grand-chose sur . Je recherche un joli problème qui se situe aux niveaux supérieurs de la hiérarchie, c'est-à-dire un problème dans mais dans .SCSC\mathsf{SC} † D T i m e S p a c e ( n O ( 1 ) , lg O ( 1 ) n) D T i m e S p a c e ( n O ( 1 ) , lg 2...
Je suis physicien dans l'âme et je pense donc que l'informatique quantique à sens unique est géniale. En particulier, l'informatique quantique basée sur la mesure de l'état des graphes (MBQC) a été un très bon développement dans la recherche sur l'informatique quantique, à l'origine de Raussendorf...