Informatique théorique

Q & A pour les informaticiens théoriques et les chercheurs dans des domaines connexes

4
Complexité de trouver une deuxième solution donnée une solution correcte à un problème NP-complet
Je cherche à savoir s'il y a des résultats généraux ou des exemples concernant l'exhaustivité NP du problème de trouver une deuxième solution à un problème NP-complet. Plus précisément, je suis intéressé par tout problème de la forme suivante: Étant donné une solution à une instance d'un problème NP-complet, existe-t-il …
1
La structure des instances pathologiques pour les algorithmes simplex
Pour autant que je sache, toutes les règles de pivot déterministes connues pour les algorithmes simplex ont des entrées spécifiques sur lesquelles l'algorithme nécessite un temps exponentiel (ou du moins pas polynomial) pour trouver l'optimum. Appelons ces instances «pathologiques» car généralement (c'est-à-dire sur la plupart des entrées) l'algorithme simplex se …
1
Ensembles de degrés pour les graphiques d'extension linéaire
Une extension linéaire LLL d'un poset est un ordre linéaire sur les éléments de , tel que dans implique dans pour tout .PP\mathcal{P}PP\mathcal{P}x≤yx≤yx \leq yPP\mathcal{P}x≤yx≤yx \leq yLLLx,y∈Px,y∈Px,y\in\mathcal{P} Un graphique d'extension linéaire est un graphique sur l'ensemble des extensions linéaires d'un poset, où deux extensions linéaires sont adjacentes exactement si elles …
5
Satisfaction de contrainte ouverte ou interactive
Dans le passé, j'ai implémenté des modèles de coordination utilisant SAT et la satisfaction des contraintes régulières comme cheval de bataille principal dans leurs moteurs. Poursuivant dans cette ligne de travail, je voudrais rendre les modèles plus interactifs, et la meilleure façon que je vois de le faire est d'ouvrir …
17 sat  lo.logic  csp 
5
Un ordinateur peut-il se simuler dans le cadre d'un monde simulé?
Disons que vous construisez un ordinateur qui calculera l'état de tous les atomes de l'Univers à un certain moment dans le temps. Parce que l'Univers est, par définition, tout ce qui existe (et tout ce qui interagit avec le reste), il comprend également l'ordinateur que vous construisez. Pouvez-vous calculer l'état …
3
Randomiser ou pas?
Cette question est inspirée du t-shirt du Georgia Tech Algorithms and Randomness Center , qui demande "Randomize or not ?!" Il existe de nombreux exemples où la randomisation est utile, en particulier lors d'opérations dans des environnements contradictoires. Il existe également certains paramètres dans lesquels la randomisation n'aide ni ne …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.