Questions sur les problèmes les plus difficiles en NP, c'est-à-dire ceux qui peuvent être résolus en temps polynomial par des machines de Turing non déterministes.
On dit que le langage est dense s'il existe un polynôme tel que pour tous lesEn d'autres termes, pour une longueur donnée, il n'existe que de nombreux mots polynomiaux de longueur qui ne sont pas enJ⊆Σ∗J⊆Σ∗J \subseteq \Sigma^{*}ppp|Jc∩Σn|≤p(n)|Jc∩Σn|≤p(n) |J^c \cap \Sigma^n| \leq p(n)n∈N.n∈N.n \in \mathbb{N}.nnnnnnJ.J.J. Le problème que j'étudie actuellement …
J'ai l'impression que pour chaque problème NP-complet, pour une infinité de tailles d'entrée , le nombre d'instances oui sur toutes les entrées possibles de taille n est (au moins) exponentiel en n .nnnnnnnnn Est-ce vrai? Peut-il être prouvé (probablement uniquement en supposant que )? Ou pouvons-nous, peut-être artificiellement, trouver un …
Nous avons une grille N1× N2N1×N2N_1 \times N_2 . Nous avons une collection de rectangles sur cette grille, chaque rectangle peut être représenté en tant que N1N1N_1 -by- N2N2N_2 matrice binaire RRR . Nous voulons couvrir la grille avec ces rectangles. La version de décision de cet ensemble de problèmes …
Nous avons un DAG. Nous avons une fonction sur les nœuds (en gros, nous numérotons les nœuds). Nous aimerions créer un nouveau graphique dirigé avec ces règles:F: V→ NF:V→NF\colon V\to \mathbb N Seuls les nœuds avec le même numéro peuvent être contractés dans le même nouveau nœud. . (Cependant, .)F( …
Apparemment, si , toutes les langues de exception de et seraient terminées.P ∅ Σ ∗ N PP = N PP=NP{\sf P}={\sf NP}PP{\sf P}∅∅\emptysetΣ∗Σ∗\Sigma^*N PNP{\sf NP} Pourquoi ces deux langues en particulier? Ne pouvons-nous pas leur réduire une autre langue en en les sortant lors de l'acceptation ou de la non-acceptation?PP{\sf …
Soit A à B réductibles, par exemple, . Par conséquent, la machine de Turing accepter a accès à un oracle pour . Soit la machine de Turing acceptant soit et l'oracle de soit . Les types de réductions:A B A M A B O BA ≤ BUNE≤BA \leq BUNEUNEABBBUNEUNEAMUNEMUNEM_{A}BBBOBOBO_{B} Réduction …
Je suis sûr que quelqu'un a pensé à cela avant ou immédiatement rejeté, mais pourquoi la théorie de la dichotomie de Schaefer avec le théorème de Mahaney sur les ensembles clairsemés n'implique-t-elle pas P = NP? Voici mon raisonnement: créer un langage qui est égal à SAT intersecté par un …
Je me demande quel est l'algorithme le plus connu, en termes de notation Big- OOO , pour résoudre la programmation linéaire en nombres entiers? Je sais que le problème est NPNPNP complet, donc je ne m'attends à rien de polynomial. Et je sais qu'il y a beaucoup d'heuristiques et autres …
Si est en fait égal à , comment cela améliorerait-il nos algorithmes pour factoriser les entiers plus rapidement. En d'autres termes, quel genre d'information cela nous donnerait-il pour mieux comprendre la factorisation des nombres entiers?PP{\sf P}NPNP{\sf NP}
Planar 3SAT est NP-complet. Une instance planaire 3SAT est une instance 3SAT pour laquelle le graphique construit à l'aide des règles suivantes est planaire: ajouter un sommet pour chaque et ¯ x iXjeXjex_iXje¯Xje¯\bar{x_i} ajouter un sommet pour chaque clauseCjCjC_j ajouter un bord pour chaque paire( xje, xje¯)(Xje,Xje¯)(x_i,\bar{x_i}) ajouter une arête …
Étant donné que la programmation linéaire entière est NP-complète, il y a une réduction de Karp de tout problème dans NP. Je pensais que cela impliquait qu'il existe toujours une formulation ILP de taille polynomiale pour tout problème de NP. Mais j'ai vu des articles sur des problèmes spécifiques de …
Le problème de bande passante minimale consiste à trouver un ordre des nœuds de graphique sur une ligne entière qui minimise la plus grande distance entre deux nœuds adjacents. Le problème de décision est NP-complet même pour les arbres binaires. Résultats de complexité pour la minimisation de la bande passante. …
Ainsi, comme on le sait, le problème de décision 0-1 d'ILP est NP-complet. Il est facile de montrer qu'il est en NP, et la réduction d'origine provenait de SAT; depuis lors, de nombreux autres problèmes NP-Complete se sont révélés avoir des formulations ILP (qui fonctionnent comme des réductions de ces …
Supposons qu'il y ait une session de tutorat dans une université. Nous avons un ensemble de kkk questions Q={q1…qk}Q={q1…qk}Q = \{ q_1 \ldots q_k \} et un ensemble de nnn élèves S={s1…sn}S={s1…sn}S = \{ s_1 \ldots s_n \} . Chaque élève a un doute dans un certain sous-ensemble de questions, …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.