Le problème de décision suivant est-il NP-complet: Soit un graphe non orienté et deux entiers. Est-il possible de sélectionner pour chaque sommet de exactement voisins différents de sorte qu'aucun nœud ne soit choisi plus de fois.ggGb ≤ cb≤cb \le cggGbbbccc Le cas peut être résolu pour tout en...
Comment pouvez-vous forcer une partie à être honnête (obéir aux règles du protocole)? J'ai vu certains mécanismes tels que les engagements, les preuves, etc., mais ils ne semblent tout simplement pas résoudre tout le problème. Il me semble que la structure de la conception du protocole et de tels...
Je me demande s'il existe des approches formulant un problème de routage de véhicule avec des fenêtres temporelles ( VRPTW ) (en tant que problème de décision) en tant qu'instance SAT / SMT? (alternative: TSP) Par exemple: "Existe-t-il une solution valable pour visiter tous les clients dans leurs...
Lorsque j'ai examiné « Une approche de programmation dynamique pour résoudre les problèmes de séquençage » de Michael Held et Richard M. Karp, j'ai posé la question suivante: pourquoi la complexité de leur algorithme pour TSP est-elle (p. 199), je veux dire où prennent-ils le facteur ? Si j'ai bien...
En bref: en supposant qu'il existe des permutations unidirectionnelles , pouvons-nous en construire une qui n'a pas de trappe? Plus d'informations: Une permutation unidirectionnelle est une permutation ππ\pi qui est facile à calculer, mais difficile à inverser (voir le wiki de balise de fonction...
Dans le prolongement de ma question précédente , qui a été résolue par Hsien-Chih Chang, voici une autre tentative pour trouver une généralisation appropriée du théorème de Ramsey. (Vous n'avez pas besoin de lire la question précédente; ce message est autonome.) Paramètres: les entiers...
Soit un ensemble de formes rectangulaires à dimensionsPour et , décrit la longueur de dans la dimension . La même notation est utilisée pour le conteneur . Le problème d' emballage de dimension orthogonale (Opp- ) est de décider si se insère dans le récipient sans se chevaucher. Formellement...
Pour un projet sur lequel je travaille, je dois générer des arbres s'étendant au hasard avec une hauteur limitée. Fondamentalement, je fais ce qui suit: 1) Générer un arbre couvrant 2) Vérifier la faisabilité, si possible le garder. 1) À partir d'un arbre couvrant minimum (Prim ou Kruskal) j'ajoute...
J'ai eu du mal à trouver un algorithme ou à publier des articles sur la triangulation des polygones auto-entrecroisés (également des polygones avec structure de trous). Quelqu'un peut-il me guider pour trouver le papier / algorithme publié, s'il vous plaît? PS: quelqu'un marque correctement cette...
J'aimerais savoir où je peux me tourner pour une bonne et douce introduction à k-SAT (cela peut être pour les mathématiciens qui peuvent ne pas avoir une bonne formation en informatique). J'aimerais également connaître les articles qui peuvent étudier ou expliquer les méthodes actuelles utilisées...
Je me réfère à la question ici: des algorithmes puissants trop complexes à mettre en œuvre . Si un algorithme est puissant, mais trop complexe à implémenter, comment pouvez-vous être sûr que l'algorithme est correct? Sans implémentation, vous ne pourrez pas tester l'algorithme dans un scénario...
D'après mon expérience, les langages contextuels et les automates linéaires bornés sont souvent ignorés ou ignorés dans les cours de théorie de la calculabilité, et sont même exclus de certains manuels remarquables, bien que les automates finis et déroulants reçoivent beaucoup d'attention. Il doit...
Il s'agit d'un article séparé de Conséquences de UP est égal à NP , et aussi d'une question de suivi sur les classes de complexité sémantique vs syntaxique . Dans le post ci-dessus, nous avons appris les classes sémantiques et syntaxiques . En bref, quand une classe peut être caractérisée comme une...
Récemment, Craig Gentry a publié le premier schéma de chiffrement à clé publique (sur un espace en texte brut {0,1}) qui est entièrement homomorphe, ce qui signifie que l'on peut évaluer efficacement et de manière compacte AND et XOR sur des textes en clair chiffrés sans connaître la clé de...
Les ordinateurs quantiques et les ordinateurs à ADN sont des exemples bien connus de calcul inspiré par des phénomènes naturels. Que sait-on du potentiel et / ou des limites de l'informatique avec les lois ou la gravité de Maxwell? Autrement dit, incorporer les solutions «rapides» de la nature aux...
Comme vous le savez tous, il y a des retombées de la crise financière de 2008. Je pensais à la façon dont la théorie de la complexité s'inscrivait dans tout cela, quand j'ai réalisé que je ne connaissais pas les classes de complexité de base liées à l'économie financière. Ma question est donc...
Existe-t-il des permutations et une grammaire sans contexte de taille polynomiale (dans | w | = n ) qui décrivent le langage fini { w π 1 ( w ) π 2 ( w ) } sur l'alphabet { 0 , 1 } ?π1, π2π1,π2\pi_1,\pi_2| w | =n|w|=n|w|=n{ w π1( w ) π2( w ) }{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\}{ 0 , 1...
Le théorème de Fáry dit qu'un simple graphique planaire peut être tracé sans croisements de sorte que chaque arête est un segment de ligne droite. Ma question est de savoir s'il existe un théorème analogue pour les graphiques de nombre de croisements bornés . Plus précisément, pouvons-nous dire...
Dans la complexité de l'arbre de décision d'une fonction booléenne, une méthode de borne inférieure très connue est de trouver un polynôme (approximatif) qui représente la fonction. Paturi a donné une caractérisation des fonctions booléennes symétriques (partielles et totales) en termes de quantité...
Cette question s'est posée dans le contexte de la cryptographie, mais je la présenterai ci-dessous en termes de théorie de la complexité, car les gens ici connaissent mieux cette dernière. Cette question est liée à des problèmes dans NP mais pas dans Average-P / poly et Beating Nonuniformity par...