Informatique théorique big-list

5

J'essaie actuellement de trouver des problèmes EXPSPACE-complets (principalement pour trouver l'inspiration pour une réduction), et je suis surpris par le petit nombre de résultats à venir. Jusqu'à présent, je les ai trouvés et j'ai du mal à élargir la liste: universalité (ou autres propriétés) des expressions régulières avec exponentiation. problèmes …

23 cc.complexity-theory reference-request big-list

4

Problèmes majeurs non résolus dans les systèmes distribués?

Inspiré par cette question , quels sont les problèmes majeurs et les solutions existantes qui nécessitent une amélioration dans le domaine des systèmes distribués (théoriques). Quelque chose comme les protocoles d'adhésion, la cohérence des données?

23 big-list dc.distributed-comp

1

Erreurs majeures dans les documents FOCS / STOC acceptés [clôturé]

Dans l'état actuel des choses, cette question ne convient pas à notre format de questions / réponses. Nous nous attendons à ce que les réponses soient étayées par des faits, des références ou une expertise, mais cette question suscitera probablement un débat, des arguments, des sondages ou une discussion approfondie. …

23 soft-question big-list paper-review

8

graphiques de problèmes réels

Où puis-je trouver des graphiques relatifs à des problèmes réels? Je connais deux référentiels: Collection Sparse Matrix de l'Université de Floride Bodlaender's TreewidthLib

23 graph-theory big-list co.combinatorics data-sets

9

Réductions du livre.

C'est dans la ligne des " Algorithmes du livre ". Bien que les réductions soient également des algorithmes, je pensais qu'il était douteux que l'on pense à une réduction en réponse à la question sur les algorithmes du livre. D'où une requête distincte! Les réductions de toutes sortes sont les …

22 ds.algorithms np-hardness big-list reductions

2

Langues que nous ne pouvons pas (dé) prouver comme étant sans contexte

Je recherche des langages qui ne sont "probablement pas sans contexte" mais nous ne sommes pas en mesure de le (dé) prouver en utilisant des techniques standard connues. Y a-t-il une enquête récente sur le sujet ou une section de problème ouvert d'une conférence récente? Il n'y a probablement pas …

21 reference-request big-list context-free

7

Nombre d'or ou Pi dans le temps d'exécution

Il existe de nombreux endroits où les nombres ππ\pi et ( 1 + 5-√) / 2(1+5)/2(1+\sqrt5)/2apparaissent. Je suis curieux de connaître les algorithmes dont le temps d'exécution contient le nombre d'or ouππ\pidans l'exposant.

21 reference-request big-list

3

Problèmes qui sont NP-complets sous des réductions aléatoires ou P / poly.

Dans cette question , nous semblons avoir identifié un problème naturel qui est NP-complet sous des réductions aléatoires, mais peut-être pas sous des réductions déterministes (bien que cela dépende des hypothèses non prouvées dans la théorie des nombres qui sont vraies). Existe-t-il d'autres problèmes de ce type? Y a-t-il des …

20 cc.complexity-theory np-hardness big-list randomness reductions

6

Outils de visualisation d'analyse de réseaux / réseaux sociaux?

J'utilisais Jung ( http://jung.sourceforge.net/ ) pour visualiser le classement des pages et je l'ai trouvé un peu lent et difficile à mettre à l'échelle au-delà de 100 nœuds. Je me demandais quels autres outils les gens utilisent pour l'analyse et la visualisation des réseaux / réseaux sociaux.

20 graph-theory big-list cg.comp-geom software graph-drawing

22

Quels algorithmes sont utilisés le plus souvent en pratique?

Verrouillé . Cette question et ses réponses sont verrouillées car la question est hors sujet mais a une signification historique. Il n'accepte pas actuellement de nouvelles réponses ou interactions. Quels algorithmes sont utilisés le plus souvent? Veuillez écrire un seul algorithme par réponse, essayez de garder votre réponse courte (une …

19 ds.algorithms big-list

2

Des conjectures de longue date prouvées par la suite trivialement par une implication

J'aimerais savoir s'il y a eu des conjectures qui n'ont pas été prouvées depuis longtemps dans le TCS, qui ont ensuite été prouvées par une implication d'un autre théorème, qui auraient pu être plus faciles à prouver.

18 reference-request soft-question big-list

11

Existe-t-il des problèmes dont l'algorithme le plus connu a exécuté le temps

Je n'ai jamais vu d'algorithme avec un journal dans le dénominateur auparavant, et je me demande s'il existe des algorithmes réellement utiles avec ce formulaire? Je comprends beaucoup de choses qui pourraient entraîner la multiplication d'un facteur de journalisation pendant l'exécution, par exemple des algorithmes de tri ou d'arborescence, mais …

18 ds.algorithms big-list time-complexity

4

Liste des théorèmes indiquant que P n'est pas égal à NP si et seulement si

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.

18 cc.complexity-theory big-list p-vs-np

7

Universités pour l'informatique quantique / l'information?

Quelles universités ont un solide programme d'informatique quantique et proposent un certain type de cours d'informatique quantique / d'information / de recherche? Le but ici est de rassembler une liste utile pour ceux qui envisagent des études supérieures dans ces domaines, et non de discuter de ce qui est "le …

18 soft-question quantum-computing big-list quantum-information

1

Liste des problèmes de complexité (non résolus) résultant du PL

Quels sont les principaux problèmes de complexité de calcul ouverts qui découlent des langages de programmation, en particulier l'analyse et la compilation de programmes? Je recherche des problèmes du type "la complexité temporelle de l'inférence de type Hindley-Milner" ou "la complexité temporelle de 0CFA" (bien que les deux soient des …

17 cc.complexity-theory pl.programming-languages big-list open-problem

Questions marquées «big-list»