L'informatique complexity-theory

2

L'analyse lissée est-elle utilisée en dehors du milieu universitaire?

L' analyse lissée a- t-elle trouvé son chemin dans l'analyse principale des algorithmes? Est-il courant que les concepteurs d'algorithmes appliquent une analyse lissée à leurs algorithmes?

24 algorithms complexity-theory algorithm-analysis

5

P-complétude et calcul parallèle

J'ai récemment lu sur les algorithmes de vérification de la bisimilarité et lu que le problème est P-complet . En outre, une conséquence de cela est que ce problème, ou tout problème P-complet, est peu susceptible d'avoir des algorithmes parallèles efficaces. Quelle est l'intuition derrière cette dernière affirmation?

23 complexity-theory parallel-computing

1

Le problème de la k-clique est-il NP-complet?

Cette question a été migrée à partir de la bourse théorique de l'informatique, car elle peut être répondue sur la bourse de la science informatique. Migré il y a 7 ans . Dans cet article de Wikipédia sur le problème de la clique dans la théorie des graphes, il déclare …

23 complexity-theory graph-theory np-complete complexity-classes

2

Preuve d'exhaustivité NP d'un problème d'arbre couvrant

Je cherche des indices dans une question posée par mon moniteur. Je viens donc de comprendre que ce problème de décision est N P - c o m p l e t eNP-complete\sf{NP\text{-}complete} : Dans un graphe , y a-t-il un arbre couvrant dans qui contient un ensemble exact de …

23 complexity-theory graphs np-complete

3

Pourquoi les problèmes NP-complets sont-ils si différents en termes d'approximation?

J'aimerais commencer la question en disant que je suis programmeur et que je n'ai pas beaucoup d'expérience en théorie de la complexité. Une chose que j'ai remarquée est que bien que de nombreux problèmes soient NP-complets, lorsqu'ils sont étendus à des problèmes d'optimisation, certains sont beaucoup plus difficiles à estimer …

22 complexity-theory optimization np approximation

1

Candidats naturels pour la hiérarchie au sein de NPI

Supposons que . \ mathsf {NPI} est la classe de problèmes dans \ mathsf {NP} qui ne sont ni dans \ mathsf {P} ni dans \ mathsf {NP} -hard. Vous pouvez trouver une liste des problèmes supposés être \ mathsf {NPI} ici .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} Le théorème de Ladner nous …

22 complexity-theory np-hard

2

Comment le problème du voyageur de commerce est-il vérifiable en temps polynomial?

Je comprends donc l'idée que le problème de décision est défini comme Existe-t-il un chemin P tel que le coût soit inférieur à C? et vous pouvez facilement vérifier que cela est vrai en vérifiant le chemin que vous recevez. Cependant, que se passe-t-il s'il n'y a pas de chemin …

21 complexity-theory time-complexity np decision-problem traveling-salesman

2

Le problème de «produit de sous-ensemble» est-il NP-complet?

Le problème de sous-ensemble est un problème classique NP-complet: Étant donné une liste de nombres et un cible , y a-t-il un sous-ensemble de nombres de qui se résume à ?LLLL kkkkLLLkkk Un étudiant m'a demandé si cette variante du problème appelé problème de "produit de sous-ensemble" est NP-complète: Étant …

21 complexity-theory np-complete reductions

4

Classes de complexité où

Une motivation possible pour étudier les classes de complexité de calcul est de comprendre la puissance de différents types de ressources de calcul (caractère aléatoire, non-déterminisme, effets quantiques, etc.). Si nous le regardons sous cet angle, il semble que nous pouvons obtenir un axiome plausible pour toute tentative de caractériser …

21 complexity-theory oracle-machines

2

Réduisez le problème suivant à SAT

Voici le problème. Étant donné , où chaque . Existe-t-il un sous-ensemble dont la taille est au plus telle que pour tout ? J'essaie de réduire ce problème à SAT. Mon idée d'une solution serait d'avoir une variable pour chacun de 1 à . Pour chaque , créez une clause …

21 complexity-theory reductions np-hard

2

Recherche d'au moins deux chemins de même longueur dans un graphe orienté

Supposons que nous ayons un graphe orienté et deux noeuds et . Je voudrais savoir s'il existe déjà des algorithmes pour calculer le problème de décision suivant:A BG=(V,E)G=(V,E)G=(V,E)AAABBB Y a-t-il au moins deux trajets entre et de même longueur?BAAABBB Et la complexité? Puis-je le résoudre en temps polynomial? Je voudrais …

20 complexity-theory graph-theory time-complexity graphs

1

Complexité des tours de Hanoi

J'ai rencontré les doutes suivants sur la complexité des tours de Hanoi , sur lesquelles j'aimerais avoir vos commentaires. Est-ce en NP? Tentative de réponse: supposons que Peggy (prouveur) résout le problème et le soumette à Victor (vérificateur). Victor peut facilement voir que l'état final de la solution est bon …

20 complexity-theory time-complexity

1

Classification des variantes de problèmes de satisfiabilité insolubles / tractables

Récemment, j'ai trouvé dans un article [1] une version symétrique spéciale de SAT appelée 2/2/4-SAT . Mais il existe de nombreuses variantes complètes, par exemple: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...NPNP\text{NP} Quelques autres variantes sont traitables: - , Planar-NAE- , ...SAT SAT222SATSAT\text{SAT}SATSAT\text{SAT} Existe-t-il des documents d'enquête (ou des pages …

20 complexity-theory reference-request satisfiability

1

La détection des progressions arithmétiques «doublement» est-elle difficile?

Ceci est inspiré d'une question d'entrevue . On nous donne un tableau d'entiers et devons déterminer s'il existe des distincts tels que i < j < kune1, … , Unna1,…,ana_1, \dots, a_ni < j < ki<j<ki \lt j \lt k unek- unj= aj- unjeak−aj=aj−aia_k - a_j = a_j - a_i …

20 algorithms complexity-theory lower-bounds

2

Sous-ensemble: réduire le cas spécial au cas général

Wikipedia indique que le problème de la somme des sous-ensembles consiste à trouver un sous-ensemble d'un multiset donné d'entiers, dont la somme est nulle. De plus, il déclare qu'il revient à trouver un sous-ensemble avec la somme sss pour tout sss donné . Je pense donc que comme ils sont …

20 complexity-theory reductions np-hard

Questions marquées «complexity-theory»