Informatique théorique

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

2
Problèmes complets naturels à des niveaux plus élevés de la -hierarchy
La hiérarchie est une hiérarchie de classes de complexité en complexité paramétrée, voir le Complexity Zoo pour les définitions. Une définition alternative définit utilisant la définissabilité pondérée de Fagin pour les logique du premier ordre, voir le manuel de Flum et Grohe .WW\mathsf{W}W[t]W[t]\mathsf{W}[t]W[t]W[t]\mathsf{W}[t]ΠtΠt\Pi_t Pour les classes les plus basses et …
3
Exemples de problèmes où les algorithmes exponentiels fonctionnent plus rapidement que les algorithmes polynomiaux pour les tailles pratiques?
Connaissez-vous des problèmes (de préférence au moins assez bien connus) où, pour une taille de problème pratique , un algorithme exponentiel s'exécute beaucoup plus rapidement qu'un homologue polynomial le plus connu. Par exemple, supposons qu'un problème ait une taille pratique * de et qu'il existe deux algorithmes connus: l'un est …
1
Problèmes d'extensibilité difficiles
Dans le problème d'extensibilité, on nous donne une partie de la solution et nous voulons décider si nous pouvons l'étendre à une solution complète. Certains problèmes d'extensibilité peuvent être résolus efficacement tandis que d'autres problèmes d'extensibilité transforment un problème facile en un problème difficile. Par exemple, le théorème de Konig-Hall …
1
Distinguer entre deux pièces
Il est bien connu que la complexité de distinguer une pièce biaisée une pièce équitable est θ ( ϵ - 2 ) . Y a-t-il des résultats pour distinguer une pièce p d' une pièce p + ϵ ? Je peux voir que pour le cas particulier de p = …
1
Carrières pour les informaticiens théoriques
Quelles sont les carrières typiques des informaticiens théoriques (personnes titulaires d'un diplôme d'études supérieures en informatique théorique)? Quels types d'industries et d'institutions recherchent des connaissances théoriques en informatique? Quelles carrières les informaticiens théoriques parcourent-ils généralement?
1
Une autre variante de PARTITION
J'ai une réduction du problème de partition suivant à un certain problème de planification: Entrée: Une liste une1⩽ ⋯ ⩽ anune1⩽⋯⩽unena_1\leqslant\cdots\leqslant a_n d'entiers positifs dans l'ordre non décroissant. Question: Existe-t-il un vecteur ( x1, … , Xn) ∈ { - 1 , 1 }n(X1,…,Xn)∈{-1,1}n(x_1,\ldots,x_n)\in\{-1,1\}^n tel que ∑i = 1nunejeXje= 0et∑je=1nunejeXje=0et\sum_{i=1}^na_ix_i=0\qquad\text{and} …
3
Preuve d'indécidabilité non pas par réduction du problème d'arrêt
La manière habituelle de prouver l'indécidabilité est la réduction d'un problème RE-complet tel que le problème d'arrêt, la validité dans la logique du premier ordre, la satisfiabilité des équations diophantiennes, etc. Il est connu qu'il y a des problèmes récursivement énumérables, mais indécidables qui ne sont pas RE-complets, mais ce …
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.