Informatique théorique

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

3
Peut-on calculer
Je cherche un algorithme efficace pour le problème: Entrée : l'entier positif (stocké sous forme de bits) pour un entier . n ≥ 03n3n3^nn ≥ 0n≥0n \geq 0 Sortie : Le nombre .nnn Question : Peut-on calculer partir des bits de en temps ?3 n O ( n )nnn3n3n3^nO (n …
2
Différence entre les types et les tris
Cela peut être une question très simple. Mais quelle est la différence entre les types et les sortes? Ma compréhension actuelle est que vous avez une théorie des types avec des règles de type qui donnent une notion d'une instruction bien typée mais les tris sont plus basiques, différenciant les …
2
Énumérer toutes les solutions d'un problème SAT
Tous les solveurs #SAT que je connais, par exemple RelSat, C2D, ne renvoient que le nombre d'instances satisfaisables. Mais je veux connaître chacun de ces cas? Existe-t-il un tel solveur #SAT ou comment dois-je modifier un solveur #SAT disponible pour ce faire? Je vous remercie.
11 lo.logic  sat  software 
6
Un petit langage de type C que les machines de turing peuvent simuler
Je recherche un petit langage qui aide à «convaincre» les étudiants que les machines de turing sont un modèle informatique suffisamment général. Autrement dit, un langage qui ressemble aux langues auxquelles ils sont habitués, mais qui est également facile à simuler sur une machine de turing. Papadimitriou utilise des machines …
2
Y a-t-il une explication à la difficulté de prouver des bornes inférieures quadratiques pour des problèmes NP intéressants?
Ceci fait suite à ma question précédente: Meilleure complexité temporelle déterministe connue borne inférieure pour un problème naturel dans NP Je trouve déconcertant que nous n'ayons pas été en mesure de prouver de limite inférieure de temps déterministe quadratique pour un problème NP intéressant pour lequel les gens se soucient …
4
Commande d'auteur dans les articles TCS
Alors que la règle générale est que dans les articles du TCS, les auteurs sont classés par ordre alphabétique, il y a quelques contre-exemples notables qui viennent à l'esprit, dans lesquels les auteurs sont classés d'une manière différente, par exemple, Méthodes algébriques pour les systèmes de preuve interactifs [Lund, Fortnow, …
1
Monde relativisé où
Je voudrais savoir s'il existe un monde relativisée où . Je suis également intéressé à savoir s'il existe un monde relativisée où P B ≠ N P B = P P B .PUNE= N PUNE≠ P PUNEPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}PB≠ N PB= P PBPB≠NPB=PPB{\bf P^B} \not = {\bf …
2
Déterminants et multiplication matricielle - Similitude et différences de complexité algorithmique et de taille des circuits arithmétiques
J'essaie de comprendre la relation entre la complexité algorithmique et la complexité du circuit des déterminants et de la multiplication matricielle. On sait que le déterminant d'unmatrice n × n peut êtrecalculéen temps ˜ O ( M ( n ) ) , où M ( n ) est le temps …
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.