Questions marquées «big-picture»

La balise de grande image est pour une "vue ou perspective globale et large d'un problème ou d'un problème."

1
Carrière en informatique théorique
Je suis actuellement lycéen, intéressé par l'informatique théorique et les mathématiques appliquées. Je me suis autodidacte algèbre linéaire et calcul et mathématiques concrètes. J'ai une idée naïve que pour écrire de meilleurs algorithmes, il faut savoir autant de mathématiques que possible parce que vous pouvez en apprendre davantage sur de …
3
Quelle est la difficulté de la simulation exacte des algorithmes et d'une opération connexe sur les classes de complexité
Taquin Étant donné que le problème est assez long, voici un cas spécial qui capture son essence. Problème: Soit A un algorithme detrministique pour 3-SAT. Est le problème de la simulation complète de l'algorithme A (sur chaque instance du problème). P-Space dur? (Plus précisément, y a-t-il des raisons de croire …
3
Randomiser ou pas?
Cette question est inspirée du t-shirt du Georgia Tech Algorithms and Randomness Center , qui demande "Randomize or not ?!" Il existe de nombreux exemples où la randomisation est utile, en particulier lors d'opérations dans des environnements contradictoires. Il existe également certains paramètres dans lesquels la randomisation n'aide ni ne …
6
Interprétation géométrique du calcul
Étant issu de la physique, j'ai été formé pour étudier de nombreux problèmes d'un point de vue géométrique. Par exemple la géométrie différentielle des variétés dans les systèmes dynamiques, etc. Quand je lis les fondements de l'informatique, j'essaie toujours de trouver des interprétations géométriques. Comme une interprétation géométrique plausible d'ensembles …
2
Paysage des systèmes de preuve interactifs
Ma première question est de savoir si une caractérisation de système de preuve interactive est connue pour toutes les classes de complexité classiques. J'appellerais P, NP, PSPACE, EXP, NEXP, EXPSPACE, les fonctions récursives et récursivement énumérables (entre autres). Plus précisément, une caractérisation de système de preuve interactive est-elle connue pour …
4
Résultats intéressants dans TCS facilement explicables aux programmeurs sans formation technique
Supposons que vous rencontriez des programmeurs qui ont suivi des cours de programmation professionnelle (/ auto-réflexion) mais n'ont pas étudié les mathématiques de niveau universitaire. Afin de leur montrer la beauté de TCS, j'aimerais rassembler de bons résultats / questions ouvertes provenant de TCS qui peuvent facilement être expliquées. Un …
2
Qu'est-ce que l'informatique théorique?
Qu'est-ce que l'informatique théorique exactement? Apprend-il à coder dans différents langages et à créer des applications sur des plateformes? Ou pense-t-il simplement à des algorithmes de plus en plus rapides afin que vous puissiez réaliser une tâche plus efficacement par les ordinateurs? Ou s'agit-il de programmer et de penser à …
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.