Informatique théorique big-list

1

Limites inférieures de compromis espace-temps

Suite à la discussion sur les bornes inférieures pour 3SAT [ 1 ], je me demande quels sont les principaux résultats de borne inférieure formulés comme des compromis espace-temps. J'exclus des résultats tels que, disons, le théorème de Savitch; une bonne entrée se concentrerait sur un seul problème et ses …

13 cc.complexity-theory ds.algorithms big-list space-time-tradeoff

2

Liste des problèmes théoriques ou algébriques des nombres dans diverses classes de complexité

Je recherche une liste sur la complexité connue ou inconnue de divers problèmes théoriques / algébriques des nombres. Par exemple, GCD dans est ouvert,NC1NC1NC^1 l'affacturage en est ouvert,PPP le calcul de la cohomologie des faisceaux est -hard# P#P\#P , Arora et Barak indique qu'une variante de l' affacturage est -complete …

12 cc.complexity-theory big-list algebra open-problem

4

Problèmes non connus pour être PSPACE-complete

Quels sont les problèmes avec les propriétés suivantes: 1) ils sont la restriction de problèmes (peut-être bien connus) qui sont PSPACE-complets; 2) les versions restreintes sont dans PSPACE, mais c'est un problème ouvert si elles sont complètes pour PSPACE (ou même si elles sont NP-hard). Quatre exemples de "puzzles & …

12 big-list open-problem

6

«Diviser et conquérir» les algorithmes de flux de données

Quels algorithmes utiles existent-ils qui fonctionnent sur d'énormes flux de données et aussi leurs résultats sont assez petits et on peut calculer le résultat pour un mélange de deux flux en fusionnant en quelque sorte leurs résultats? Je peux en nommer quelques-uns: Les choses évidentes comme sum, min, max, count, …

12 ds.algorithms big-list data-streams

7

Conditions suffisantes pour l'effondrement de la hiérarchie polynomiale (PH)

Quelles sont les affirmations (peu connues) selon lesquelles, si elles sont vraies, le PH doit s'effondrer? Les réponses contenant une courte assertion de haut niveau avec des références sont appréciées. J'ai essayé de faire une recherche inversée sans trop de chance.

12 cc.complexity-theory complexity-classes big-list

4

Liste des problèmes fortement NP-difficiles avec des données numériques

Je recherche des problèmes fortement NP-durs pour une réduction. Jusqu'à présent, j'ai trouvé les problèmes suivants: Problème de 3 partitions problème de bin-packing Correspondance numérique tridimensionnelle TSP Tout problème NP-complet sans données numériques, par exemple, SATISFACILITÉ, CYCLE HAMILTONIEN, 3-COLORABILITÉ. Quelqu'un connaît-il une liste de problèmes fortement NP-difficiles? Sinon, construisons-en un …

11 np-hardness big-list hamiltonian-paths

3

Preuves trouvées par ordinateur

En 1996, un problème ouvert de longue date a été résolu par un ordinateur; à savoir que l' algèbre de Robbins et l'algèbre booléenne sont les mêmes. La preuve a été trouvée par un prouveur de théorème automatisé. De plus, la preuve connue du théorème des quatre couleurs contient des …

11 soft-question big-list proofs automated-theorem-proving

2

Expositions pour un musée de l'informatique

Tous les musées et expositions liés à l'informatique que je connais semblent couvrir uniquement l'histoire des machines informatiques, mais rien sur les sujets de l'informatique. Vous participez à la création d'un nouveau musée de l'informatique, agréé pour éduquer, divertir et inspirer le grand public dans une grande variété de sujets …

11 soft-question big-list ho.history-overview

6

Application de la théorie des graphes en informatique

Je suis un étudiant CS. Nous avons fait de la théorie des graphes dans un cours. Je l'ai trouvé intéressant. Quelles sont les applications réelles de la théorie des graphes dans le domaine de l'informatique? Par exemple, j'ai trouvé que certains concepts de la théorie des graphes peuvent être utilisés …

11 graph-theory co.combinatorics big-list application-of-theory

2

Problèmes sans avantage quantique connu

Je me demandais quelle est la liste des problèmes informatiques naturels actuels pour lesquels il n'y a aucun avantage de complexité connu à utiliser un ordinateur quantique. Pour commencer, je pense que le calcul de la distance d'édition est celui pour lequel l'algorithme quantique connu le plus rapide semble être …

11 ds.algorithms quantum-computing big-list

4

Algorithmes d'approximation utilisés dans des algorithmes exacts

Les algorithmes d'approximation peuvent donner une sortie jusqu'à un facteur constant. C'est un peu moins satisfaisant que les algorithmes exacts. Cependant, des facteurs constants sont ignorés dans la complexité temporelle. Je me demande donc si l'astuce suivante est possible ou a été utilisée pour résoudre un problème :B∘AB∘AB \circ A …

11 ds.algorithms big-list approximation-algorithms

1

Quels sont les principaux enjeux de recherche dans les transactions distribuées?

Contexte: Le traitement des transactions est un sujet de recherche traditionnel en théorie des bases de données. De nos jours, les transactions distribuées sont popularisées par les systèmes de stockage distribué à grande échelle qui impliquent généralement la partition de données (également appelée partitionnement) et la réplication de données . …

10 reference-request big-list dc.distributed-comp db.databases

4

Des constructions meilleures qu'une construction aléatoire.

Je m'intéresse à des exemples de constructions dans la théorie de la complexité qui sont meilleures que des constructions aléatoires. Le seul exemple d'une telle construction que je connaisse est dans le domaine des codes correcteurs d'erreurs. Les codes à géométrie algébrique sont meilleurs dans une certaine gamme de paramètres …

10 reference-request big-list derandomization pr.probability

2

Quelles sont les applications intéressantes de l'algèbre homotopique en informatique théorique?

Je suis un théoricien de l'homotopie, intéressé par l'informatique. Je voudrais demander quelles sont les applications intéressantes de l'algèbre homotopique (catégories de modèles, catégories infinies, catégories simpliciales, etc.) en informatique théorique?

9 big-list algebraic-topology

5

Exemples dans lesquels la taille de l'alphabet (

Soit un alphabet, c'est-à-dire un ensemble fini non vide. Une chaîne est une séquence finie d'éléments (caractères) de Σ . Par exemple, { 0 , 1 } est l'alphabet binaire et 0110 est une chaîne pour cet alphabet.ΣΣ\SigmaΣΣ\Sigma{0,1}{0,1} \{0, 1\}011001100110 Habituellement, tant que contient plus d'un élément, le nombre exact …

9 big-list encoding examples

Questions marquées «big-list»