Questions marquées «complexity-theory»

28
Génération de combinaisons à partir d'un ensemble de paires sans répétition d'éléments

J'ai un ensemble de paires. Chaque paire est de la forme (x, y) telle que x, y appartiennent à des entiers de la plage [0,n). Donc, si le n est 4, alors j'ai les paires suivantes: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) J'ai déjà les paires. Maintenant, je dois construire une combinaison en utilisant...

28
Pourquoi le type void de C n'est-il pas analogue au type vide / bas?

Wikipédia ainsi que d'autres sources que j'ai trouvées listent le voidtype C comme type d'unité par opposition à un type vide. Je trouve cela déroutant car il me semble que cela voidcorrespond mieux à la définition d'un type vide / bas. Autant voidque je sache , aucune valeur n'habite . Une...

28
Mesurer la difficulté des instances SAT

Étant donné une instance de SAT, je voudrais pouvoir estimer à quel point il sera difficile de résoudre l'instance. Une façon consiste à exécuter des solveurs existants, mais ce genre de résultat va à l'encontre du but d'estimer la difficulté. Une deuxième façon pourrait être de regarder le rapport...

27
Problèmes NP-complets pas "évidemment" dans NP

Il est apparu à beaucoup que dans toutes les preuves de complétude que j'ai lues (dont je me souviens), il est toujours trivial de montrer qu'un problème se trouve dans , et de montrer qu'il s'agit de -hard est la partie ... difficile. Quels sont les problèmes compliqués par dont les vérificateurs...

24
Est-ce que Logical Min-Cut NP-Complete?

Cette question a été migrée depuis Stack Overflow car il est possible d'y répondre sur Computer Science Stack Exchange. Migré il y a 7 ans . Définition du problème Logical Min Cut (LMC) Supposons que est un digraphe non pondéré, et sont deux sommets de , et est accessible à partir de . Le problème...

24
Problèmes d'optimisation «NP-complet»

Cette question a été migrée depuis Stack Overflow car il est possible d'y répondre sur Computer Science Stack Exchange. Migré il y a 7 ans . Je suis légèrement confus par une terminologie que j'ai rencontrée concernant la complexité des problèmes d'optimisation. Dans une classe d'algorithmes, j'ai...