Est un algorithme déterministe à temps polynomial connu pour le problème suivant: Entrée: un nombre naturel (en encodage binaire)nnn Sortie: un nombre premier .p > np>np > n (Selon une liste de problèmes ouverts par Leonard Adleman, le problème était ouvert en 1995.)
En relation avec le puzzle Slither Link , je me suis demandé: supposons que j'ai une grille de cellules carrées et que je souhaite trouver un cycle simple de bords de grille, uniformément au hasard parmi tous les cycles simples possibles.n×nn×nn\times n Une façon de le faire serait d'utiliser une...
J'ai formulé le problème suivant aujourd'hui en jouant avec mon GPS. C'est ici : Soit G(V,E)G(V,E)G(V,E) un graphe orienté tel que si e=(u,v)∈Ee=(u,v)∈Ee=(u,v) \in E alors (v,u)∉E(v,u)∉E(v,u) \notin E , c'est-à-dire que est une orientation du graphe non orienté sous-jacent. Considérez les...
J'ai beaucoup lu sur les systèmes de types et autres et je comprends à peu près pourquoi ils ont été introduits (afin de résoudre le paradoxe de Russel). Je comprends également à peu près leur pertinence pratique dans les langages de programmation et les systèmes de preuve. Cependant, je ne suis...
Comme il n'y a pas eu de réponse à Lambda the Ultimate, je réessaye ici: les systèmes de réécriture de termes sont utilisés par exemple dans un théorème automatisé prouvant un calcul symbolique, et bien sûr pour définir des grammaires formelles. Il existe certains langages de programmation basés...
Question: Quelle est la limite inférieure de taille de formule la plus connue pour une fonction explicite dans AC 0 ? Existe-t-il une fonction explicite avec une borne inférieure Ω(n2)Ω(n2)\Omega(n^2) ? Contexte: Comme la plupart des limites inférieures, les limites inférieures de la taille de la...
Je lisais récemment sur l' analyseur Earley et je pense que c'est l'un des algorithmes les plus élégants que j'ai vus à ce jour. Cependant, l'algorithme dans son sens traditionnel est un identificateur et non un analyseur, ce qui signifie qu'il peut détecter si une chaîne correspond à un CFG...
Les solveurs SAT sont très importants dans les attaques algébriques , par exemple les marches et les minisat . Cependant, lors de la résolution des problèmes de référence disponibles ici, il existe une énorme différence de performances entre les deux - Walksat est beaucoup plus rapide que minisat...
Comme indiqué dans le titre, je me demande quelle relation et différence entre CIC et ITT. Quelqu'un pourrait-il m'expliquer ou m'indiquer une littérature qui compare ces deux systèmes?
Le résultat par Robertson et Seymour démontre un algorithme pour tester si un graphique fixe G est un mineur de . J'ai deux questions et demie sur ce sujet:O ( n3)O(n3)O(n^3)ggGHHH 1) Il semble que cet algorithme ait été amélioré depuis. Quel est actuellement l'algorithme le plus connu? 2a)...
J'ai lu dans plusieurs articles que l'existence de fonctions à sens unique est largement admise. Quelqu'un peut-il expliquer pourquoi c'est le cas? Quels arguments avons-nous pour soutenir l'existence de fonctions à sens
J'assisterai à ma première conférence informatique et après avoir lu les conseils pour améliorer les conférences j'ai remarqué que plusieurs suggestions concernaient des étudiants diplômés assistant à leur première conférence. Quels conseils donneriez-vous à un étudiant diplômé assistant à sa...
Supposons que nous ayons une classe d'objets (par exemple des graphiques, des chaînes) et une relation d'équivalence sur ces objets. Pour les graphiques, cela pourrait être un isomorphisme de graphique. Pour les chaînes, nous pourrions déclarer deux chaînes équivalentes si elles sont des anagrammes...
Étant donné un graphe non orienté et non pondéré et un entier pair , quelle est la complexité de calcul des ensembles de sommets tels que et le sous-graphe de restreint à l'ensemble des sommets admet une correspondance parfaite? La complexité # P-complète? Y a-t-il une référence pour ce problème?k...
Cette question se pose par pure curiosité (elle est venue en pensant à décompresser une chaîne , mais je ne sais pas si elle est réellement liée), donc j'espère que c'est approprié. Il existe différents produits graphiques, et je suis intéressé par l'un d'eux ici. Quelle est la complexité de...
Le volume III de The Art of Computer Programming de Knuth (chapitre 5, verset 3.2) comprend le tableau suivant répertoriant le nombre minimum exact de comparaisons nécessaires pour sélectionner le ème plus petit élément à partir d'un ensemble non trié de taille , pour tous les . Ce tableau, avec...
Que sait-on de la complexité du problème suivant: Étant donné: nombres rationnels .x1<x2<…<xnx1<x2<…<xnx_1 < x_2 < \dotso < x_n Sortie: entiers .y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n Objectif: minimiser où∑1≤i<j≤ne(i,j),∑1≤i<j≤ne(i,j),\sum_{1 \le i < j \le n}...
Le lemme de régularité de Szemeredi dit que chaque graphe dense peut être approché comme une union de nombreux graphes expanseurs bipartis. Plus précisément, il existe une partition de la plupart des sommets en ensembles sorte que la plupart des paires d'ensembles forment des expanseurs bipartites...
Récemment, Ryan Willams a prouvé que la constructivité dans la preuve naturelle est inévitable pour dériver une séparation des classes de complexité: et . T C 0N E X PNEXP\mathsf{NEXP}T C0TC0\mathsf{TC}^{0} La constructivité dans la preuve naturelle est une condition que toutes les preuves...
Que sait-on de la complexité de calcul de la factorisation d'entiers dans des champs de nombres généraux? Plus précisement: Sur les entiers, nous représentons des entiers via leurs extensions binaires. Quelles sont les représentations analogues d'entiers dans des champs numériques généraux? Est-il...