Il me semble que les experts en apprentissage automatique / exploration de données connaissent bien P et NP, mais parlent rarement de certaines des classes de complexité les plus subtiles (par exemple NC, BPP ou IP) et de leurs implications pour une analyse efficace des données. Y a-t-il une enquête …
La plus petite formule connue pour le déterminant a la taille selon le folklore (ou selon Ran Raz dans son papier Les formules multi-linéaires pour permanent et déterminant sont de taille super-polynomiale ).nO (logn )nO(Journaln)n^{\mathcal O(\log n)} Avez-vous une référence pour cela? En particulier, quelle est cette formule?
Pour célébrer le 100e anniversaire d'Alan Turing, je veux regarder un documentaire sur sa vie. Cependant, il existe plusieurs documentaires parmi lesquels choisir. Quel documentaire sur Alan Turing est votre préféré? Veuillez inclure un seul documentaire par réponse.
Étant donné un graphe planaire, on peut l'intégrer dans un temps linéaire traversant librement dans une grille . Je voudrais savoir si des algorithmes efficaces sont connus pour incorporer en ligne droite un graphe plan passant librement dans une grille n c × n c , pour certains petits c …
Je m'intéresse à la complexité du problème des ensembles dominants (DSP) dans certaines classes de graphes spécifiques qui sont des sous-classes de graphes d' accord . Un graphe est un graphe de chemin non orienté s'il s'agit du graphe d'intersection de sommets d'une famille de chemins dans un arbre non …
La définition des nombres de Ramsey est la suivante: Soit un nombre positif tel que tout graphe d'ordre au moins contienne soit une clique sur sommet soit un ensemble stable sur sommets.R(a,b)R(a,b)R(a,b)R(a,b)R(a,b)R(a,b)aaabbb Je travaille sur une extension de Ramsey Numbers. Bien que l'étude présente un certain intérêt théorique, il serait …
Je m'intéresse à la modélisation d'objets, de la programmation orientée objet, à la théorie des types dépendants. Comme application possible, j'aimerais avoir un modèle où je peux décrire différentes fonctionnalités des langages de programmation impératifs. Je n'ai pu trouver qu'un seul article sur la modélisation d'objets dans la théorie des …
J'ai une question concernant la réductibilité SERF d'Impagliazzo , Paturi et Zane et les algorithmes sous-exponentiels. La définition de SERF-réductibilité donne ce qui suit: Si P1P1P_1 est SERF-réductible à P2P2P_2 et qu'il existe un algorithme O(2εn)O(2εn)O(2^{\varepsilon n}) pour P2P2P_2 pour chaque ε>0ε>0\varepsilon > 0 , alors il existe un algorithme …
Dans la définition de la tractabilité à paramètres fixes (forts), la limite de temps est une expression de la forme où l'instance d'entrée est ( x , k ) avec le paramètre k , p est un polynôme et f est une fonction calculable .F( k ) .p ( | …
Y a-t-il des problèmes qui sont NP-complets lors de l'utilisation de la géométrie euclidienne mais qui sont bien définis et résolubles en temps polynomial pour une géométrie non euclidienne?
Branch and bound est une heuristique efficace pour les problèmes de recherche, et Wikipedia répertorie un certain nombre de problèmes difficiles où branch-and-bound a été utilisé. Cependant, je n'ai pas été en mesure de trouver des références pour suggérer que c'est plus qu'une "seule méthode" pour résoudre ces problèmes. Pour …
Je recherche une implémentation d'un algorithme pour calculer la largeur de chemin d'un graphe. Il est bien connu que le calcul de la largeur de trajet équivaut au calcul du nombre de recherche de nœuds, du nombre de séparation de sommets ou de l'épaisseur d'intervalle du graphique. L'algorithme n'a pas …
Le contexte. Je vous écris sur des sujets tels que le théorème Gottesman-Knill , en utilisant des groupes de stabilisation Pauli, mais dans le cas de d -dimensionnelle qudits - où d peut avoir plus d'un facteur premier. (J'insiste sur ce point car la grande majorité de la littérature sur …
Dans les « Conseils à un étudiant débutant » de Manuel Blum : LEONID LEVIN croit que je fais cela quelle que soit la réponse au P = NP? problème, ce ne sera pas comme vous le pensez. Et il a donné de merveilleux exemples. D'une part, il a donné …
Je commence à étudier la possibilité de compter sur un solveur SAT pour résoudre un problème d'optimisation qui m'intéresse, et je suis actuellement à la recherche d'une enquête qui présenterait des exemples de transformations "intelligentes" vers des variantes de SAT (c'est-à-dire des transformations qui en résultent dans un problème de …
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.