Le poidsd'une chaîne binaire est le nombre de uns dans la chaîne. Que se passe-t-il si nous sommes intéressés à calculer une fonction monotone sur des entrées avec quelques-unes?|x||x||x|x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n On sait que décider si un graphe a une -clique est difficile pour les circuits monotones (voir entre autres Alon Boppana, …
Comme cela est bien connu, les problèmes d'optimisation NP-hard peuvent avoir de nombreux rapports d'approximation différents, allant de la présence d'un PTAS à la non-approximation dans aucun facteur. Entre les deux, nous avons différentes constantes, , p o l y ( n ) , etc.O(logn)O(logn)O(\log n)poly(n)poly(n)poly(n) Que sait-on de l'ensemble …
La complexité de Zoologie par Greg Kuperberg indique qu'il existe un langage XXX tel que BPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X - en d'autres termes, BPPX⊈PNPXBPPX⊈PNPX\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X} - mais ne donne pas de référence pour ce résultat. Pourquoi cela tient-il? Ou où trouver une preuve? Cette question est en partie motivée …
Quels sont les problèmes standard à partir desquels nous pouvons réduire pour prouver les bornes inférieures ?Ω ( n logn )Ω(nlogn)\Omega(n\log n) Bien sûr, les problèmes d'état autres que le tri et la distinction des éléments.
Le SAT unique est le problème bien connu: étant donné une formule CNF , est-il vrai que F a exactement un modèle?FFFFFF Je m'intéresse au problème «Exactement -SAT»: étant donné une formule CNF F et un entier m > 1 , est-il vrai que F a exactement m modèles?mmmFFFm>1m>1m>1FFFmmm Les …
A C0AC0AC^0 est la classe des circuits de taille polynomiale à profondeur constante avec portes NON et portes fan-in ET et OR sans limite, où les entrées et les portes ont également une fanout sans limite. Considérons maintenant une nouvelle classe, appelons-la A C0b fACbf0AC^0_{bf} qui est comme A C0AC0AC^0 …
Étant donné une séquence de nombres, peut-elle être triée avec des comparaisons O ( n ln n ) et O ( n ) swaps / mouvements? Tout pointeur vers des publications à ce sujet ou contre-arguments montrant une borne inférieure Ω ( n ln n ) serait utile.nnnO(nlnn)O(nlnn)O(n \ln n)O(n)O(n)O(n)Ω(nlnn)Ω(nlnn)\Omega(n …
Je recherche des logiques modales, axiomatisées par un ensemble fini d'axiomes de profondeur de nidification modale un, et dont le problème de satisfiabilité / dérivabilité est peu probable dans PSPACE. Sans la restriction de la profondeur d'imbrication modale, ce n'est pas un problème, voir par exemple PDL. Mais il semble …
Considérez le problème suivant, Étant donné un ensemble de nombres positifs { a 1 , … , a n } dans lesquels k ≥ 3 est une constante, nous voulons partitionner l'ensemble en m sous-ensembles de taille k de sorte que le produit de la somme de chaque sous-ensemble est …
Cette question est similaire aux problèmes NP-difficiles sur les arbres : Il existe un grand nombre de problèmes NP-complets qui sont traitables sur les cographies . Y a-t-il des problèmes connus qui restent NP-complets lorsqu'ils sont limités aux cographies? Pour être plus précis, je suis intéressé par des exemples où …
Il est bien connu que les formules CNF peuvent être grossièrement partitionnées en 2 grandes classes: aléatoire vs structurée. Les formules CNF structurées, contrairement aux formules CNF aléatoires, présentent une sorte d'ordre, montrant des modèles qui ne se produiront probablement pas par hasard. Cependant, on peut trouver des formules structurées …
Il existe 4 contraintes différentes que nous pouvons avoir lors de la définition de K-SAT aléatoire. 1) Le nombre total de littéraux dans une clause donnée est exactement K ou AT la plupart des K 2) Un littéral donné peut être utilisé avec ou sans remplacement dans la même clause …
Razborov a prouvé que chaque circuit monotone qui calcule la fonction de correspondance parfaite pour les graphes bipartis doit avoir au moins portes (il l'a appelé "permanent logique"). Une meilleure borne inférieure pour le même problème a-t-elle été prouvée depuis lors? (disons ?) Pour autant que je me souvienne, ce …
La programmation linéaire est, bien sûr, de nos jours très bien comprise. Nous avons beaucoup de travail qui caractérise la structure des solutions réalisables et la structure des solutions optimales. Nous avons la forte dualité, les algorithmes poly-temps, etc. Mais que sait- on des solutions minimales maximales de LP? Ou, …
Je lis dans SP Jordan, D. Gosset, "PJ amour des problèmes COMPLETES pour Hamiltonians stoquastic et matrices de MarkovQ MUNEQMAQMA " qu'il est peu probable que .Q MA ⊆ A MQMA⊆AMQMA \subseteq AM J'ai été surpris de cette affirmation. Quelle est donc la bonne relation entre et A M ?Q …
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.