Informatique théorique

7

Applications de la théorie des jeux en informatique?

En tant qu'étudiant en informatique, j'ai été initié à la théorie des jeux, mais je n'ai pas vu beaucoup de détails sur le sujet. J'ai cherché sur Google et j'ai regardé quelques livres sur la théorie des jeux et ils ont confirmé leur utilisation en informatique. J'ai commencé une étude …

14 reference-request gt.game-theory

2

Algorithme optimal pour trouver la circonférence d'un graphique clairsemé?

Je me demande comment trouver la circonférence d'un graphe non orienté clairsemé. Par clairsemé, je veux dire . Par optimal, j'entends la complexité temporelle la plus faible.|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) J'ai pensé à une modification de l'algorithme de Tarjan pour les graphiques non orientés, mais je n'ai pas trouvé de bons résultats. En …

14 ds.algorithms graph-theory open-problem

1

Le compilateur Staline optimise brutalement, mais comment?

L'énoncé de recherche de JM Siskind déclare: Staline est un compilateur d'optimisation pour Scheme qui effectue une analyse statique du programme entier et utilise les résultats de cette analyse pour générer du code extrêmement efficace. Staline utilise une large collection de techniques d'analyse statique. Il effectue une nouvelle forme d'analyse …

14 compilers

1

Le temps est-il quasi-polynomial dans PSPACE?

J'avais fait quelques recherches à ce sujet mais je n'ai pas pu trouver de réponse dans les deux cas. Huck y répondit pleinement. Merci :)

14 cc.complexity-theory complexity-classes time-complexity space-complexity

5

Quelle est la limite des données de compression sans perte? (s'il existe une telle limite)

Dernièrement, j'ai eu affaire à des algorithmes liés à la compression, et je me demandais quel était le meilleur taux de compression pouvant être atteint par la compression de données sans perte. Jusqu'à présent, la seule source que j'ai pu trouver sur ce sujet était Wikipedia: La compression sans perte …

14 it.information-theory data-streams

2

Quelle est la complexité de Median-SAT?

Soit une formule CNF avec n variables et m clauses. Soit t ∈ { 0 , 1 } n une affectation de variable et f φ ( t ) ∈ { 0 , … , m } compte le nombre de clauses satisfaites par une affectation de variable à φ …

14 cc.complexity-theory sat counting-complexity

7

Analyse mathématique et complexité informatique?

La complexité de calcul implique de grandes quantités de combinatoire et de théorie des nombres, quelques ingrédients de la stochastique et une quantité émergente d'algèbre. Cependant, en tant qu'analyseur, je me demande s'il existe des applications de l'analyse dans ce domaine, ou peut-être des idées inspirées par l'analyse. Tout ce …

14 cc.complexity-theory reference-request soft-question big-picture

2

Le problème «Le moins de bits discriminants» est-il complet?

C'est un nom que j'ai inventé pour ce problème. Je ne l'ai jamais vu décrit auparavant. Je n'ai pas encore trouvé de preuve de complétude NP ni d'algorithme de temps polynomial pour ce problème. Ce n'est pas un problème de devoirs - il est lié à un problème que j'ai …

14 cc.complexity-theory np-hardness

2

Plan projectif de l'ordre 12

Objectif : établir la conjecture qu'il n'y a pas de plan projectif d'ordre 12. En 1989, en utilisant la recherche informatique sur un Cray, Lam a prouvé qu'il n'existait aucun plan projectif d'ordre 10. Maintenant que le nombre de Dieu pour le cube de Rubik a été déterminé après seulement …

14 open-problem

3

Garanties de dureté pour AES

De nombreux cryptosystèmes à clé publique ont une sorte de sécurité prouvable. Par exemple, le cryptosystème Rabin est aussi difficile que l'affacturage. Je me demande si ce type de sécurité prouvable existe pour les cryptosystèmes à clé secrète, tels que AES. Sinon, quelle est la preuve qu'il est difficile de …

14 cr.crypto-security algebra algebraic-complexity

6

Idées de projets d'informatique quantique

Je suis étudiant en informatique de premier cycle et je planifie actuellement mon projet de fin d'études. J'ai besoin de quelques idées dans le domaine de l'informatique quantique. de l'aide?

14 quantum-computing soft-question

1

Chernoff à destination des sommes pondérées

Considérons , où lambda_i> 0 et Y_i est distribué comme une normale standard. Quel type de limites de concentration peut-on prouver sur X, en fonction des coefficients (fixes) lambda_i?X= ∑jeλjeOui2jeX=∑jeλjeOuije2X = \sum_i \lambda_i Y_i^2 Si tous les lambda_i sont égaux, il s'agit d'une borne Chernoff. Le seul autre résultat que …

14 chernoff-bound

1

Conséquences des preuves / algorithmes sous-exponentiels pour SAT

Y aurait-il des conséquences majeures si SAT avait tout au plus des preuves non-exponentielles sous-exponentielles ou encore plus fortement, SAT avait des algorithmes de temps sous-exponentiels?

14 cc.complexity-theory sat proof-complexity

2

Nombre de raccourcis d'un graphique sans utiliser l'algorithme de Karger

Nous savons que l'algorithme de raccourci de Karger peut être utilisé pour prouver (de manière non constructive) que le nombre maximal de raccourcis possibles qu'un graphique peut avoir est .(n2)(n2)n \choose 2 Je me demandais si nous pouvions en quelque sorte prouver cette identité en donnant une preuve bijective (plutôt …

14 ds.algorithms graph-theory co.combinatorics graph-algorithms max-flow-min-cut

1

Est {ww '| HamDist (w, w ')> 1} sans contexte?

Après avoir lu la question récente "est le complément de {www∣...}{www∣...}\{ www \mid ...\} Hors -contexte?" ; Je me suis souvenu d'un problème similaire que je n'ai pas pu réfuter: Est L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L = \{ ww' \mid w,w' \in \{0,1\}^* \land |w|=|w'| \land HamDist(w,w')>1 \} sans contexte? Ici, nous exigeons que …

13 fl.formal-languages context-free