Informatique théorique

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

1
Problèmes 2-NEXPTIME-complete
Nous avons un problème et nous avons trouvé un algorithme qui semble être 2-nexptime. Je voudrais trouver des problèmes connus de 2-nexptime-complete afin de trouver une borne inférieure. J'ai trouvé dans la littérature principalement deux de ces problèmes: si PCP comme solution de taille inférieure à22n22n2^{2^n} et le problème du …
1
Une accélération quadratique du non-déterminisme du calcul déterministe est-elle plausible?
Il s'agit d'un suivi de l'accélération non déterministe du calcul déterministe . Est-il plausible que le non-déterminisme (ou plus généralement l'alternance) permette une accélération quadratique générale du calcul déterministe? Ou y a-t-il des conséquences invraisemblables connues pour quelque chose comme ?DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n)
1
Limites inférieures pour Frege et Extended Frege
Wikipedia [1] déclare que la borne inférieure la plus connue pour la taille des preuves Frege est quadratique et qu'il n'y a pas de borne inférieure super-linéaire connue pour le nombre de lignes de preuves Frege. Des questions: 1) Quelle est la borne inférieure la plus connue pour le nombre …
1
Les automates bornés linéaires non déterministes à visite bornée ne reconnaissent-ils que les langues régulières?
Les automates bornés linéaires non déterministes à visite bornée ne reconnaissent-ils que les langues régulières? Par un automate borné linéaire non déterministe (nLBA), je veux dire une machine de Turing non déterministe à bande unique où l'entrée est "rembourrée" avec des marqueurs de fin aux deux extrémités qui ne peuvent …
2
Distance statistique entre pièce uniforme et pièce biaisée
Soit UUU ait la distribution uniforme sur nnn bits et soit DDD soit la répartition sur nnn bits avec les bits sont indépendants et chaque bit est 111 avec une probabilité de 1/2−ϵ1/2−ϵ1/2-\epsilon . Est-il vrai que la distance statistique entre DDD et UUU est Ω ( ϵ n--√)Ω(ϵn)\Omega(\epsilon \sqrt{n}), …
1
Contradiction entre le deuxième théorème d'incomplétude de Gödel et la propriété de CIC de Church-Rosser?
D'une part, le deuxième théorème d'incomplétude de Gödel déclare que toute théorie formelle cohérente suffisamment forte pour exprimer des déclarations arithmétiques de base ne peut pas prouver sa propre cohérence. D'autre part, la propriété de Church-Rosser d'un système formel (réécriture) nous dit qu'il est cohérent, en ce sens que toutes …
1
Multigraphes dirigés comme automates minimaux
Étant donné un langage régulier sur l'alphabet A , son automate déterministe minimal peut être vu comme un multigraphe connecté dirigé avec un degré extérieur constant | A | et un état initial marqué (en oubliant les étiquettes de transitions, les états finaux). Nous gardons l'état initial car chaque sommet …
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.