Questions marquées «polynomial-time»

2
Quelles classes de programmes mathématiques peuvent être résolues exactement ou approximativement, en temps polynomial?
Je suis plutôt confus par la littérature sur l'optimisation continue et la littérature TCS sur les types de programmes mathématiques (MP) (continus) qui peuvent être résolus efficacement et ceux qui ne le peuvent pas. La communauté de l'optimisation continue semble affirmer que tous les programmes convexes peuvent être résolus efficacement, …
2
Existe-t-il un algorithme de temps polynomial pour déterminer si la plage d'un ensemble de matrices contient une matrice de permutation?
Je voudrais trouver un algorithme de temps polynomial qui détermine si la durée d'un ensemble donné de matrices contient une matrice de permutation. Si quelqu'un sait si ce problème est d'une classe de complexité différente, ce serait tout aussi utile. EDIT: J'ai étiqueté cette question avec la programmation linéaire, car …
1
Peut
Considérez la langue .EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} Il est connu que ne peut être reconnu par aucune machine de Turing à espace sublogarithmique alternatif (ATM) (Szepietowski, 1994) . (Il existe un guichet automatique utilisant un espace sublogarithmique pour les membres mais pas pour tous …
5
Quels modèles d'automates notables ont un confinement polynomialement décidable?
J'essaie de résoudre un problème particulier et j'ai pensé que je pourrais le résoudre en utilisant la théorie des automates. Je me demande, quels modèles d'automates ont un confinement décidable en temps polynomial? c'est-à-dire que si vous avez des machines vous pouvez tester si efficacement.M1,M2M1,M2M_1, M_2L(M1)⊆L(M2)L(M1)⊆L(M2)L(M_1) \subseteq L(M_2) Les plus …
4
L'équivalence eta pour les fonctions est-elle compatible avec l'opération seq de Haskell?
Lemme: En supposant une équivalence éta, nous avons cela (\x -> ⊥) = ⊥ :: A -> B. Preuve: ⊥ = (\x -> ⊥ x)par eta-équivalence, et (\x -> ⊥ x) = (\x -> ⊥)par réduction sous lambda. Le rapport Haskell 2010, section 6.2 spécifie la seqfonction par deux équations: …
3
P contient-il des langues dont l'existence est indépendante de PA ou ZFC? (Wiki de la communauté TCS)
Réponse: inconnue. Les questions posées sont naturelles, ouvertes et apparemment difficiles; la question est maintenant un wiki communautaire. Aperçu La question vise à diviser les langages appartenant à la classe de complexité PPP - ainsi que les machines de Turing de décision (TM) qui acceptent ces langages - en deux …
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.