La complexité croissante des programmes informatiques et la position de plus en plus cruciale des ordinateurs dans notre société me laissent nous demander pourquoi nous n'utilisons toujours pas collectivement des langages de programmation dans lesquels vous devez prouver formellement que votre code fonctionne correctement. Je crois que le terme est …
Étant donné un nouveau problème dans dont la véritable complexité se situe quelque part entre et NP-complete, il existe deux méthodes que je connais qui pourraient être utilisées pour prouver que la résolution de ce problème est difficile:NPNP\mathsf{NP}PP\mathsf{P} Montrer que le problème est GI-complet (GI = Graph Isomorphism) Montrer que …
Dans l'introduction et l'explication, les classes de complexité P et NP souvent données par la machine de Turing. L'un des modèles de calcul est le lambda-calcul. Je comprends que tous les modèles de calcul sont équivalents (et si nous pouvons introduire n'importe quoi en termes de machine de Turing, nous …
On suppose que le caractère aléatoire n’étend pas la puissance des algorithmes de temps polynomiaux, c’est-à-dire que est supposé tenir. D'autre part, le hasard semble avoir un effet assez différent sur les réductions de temps polynomiales . Selon le résultat bien connu de Valiant et Vazirani, la réduit à via …
Une application importante du théorème PCP est qu'il donne des résultats de type "dureté d'approximation". Dans certains cas relativement simples, on peut prouver une telle dureté sans PCP. Existe-t-il toutefois des cas où la dureté du résultat de l'approximation a d'abord été prouvée à l'aide du théorème du PCP, c'est-à-dire …
Contexte: La motivation de cette question est double. Premièrement, j'aimerais obtenir des faits concrets pour mieux comprendre le débat entre conférences et journaux en cours. Deuxièmement, si cette information était disponible quelque part, je pourrais prendre une décision plus éclairée lors de la soumission des documents pour examen; Je serais …
Je suis curieux de savoir s'il existe un moyen de stocker un hachage d'un ensemble multiple d'entiers possédant les propriétés suivantes, idéalement: Il utilise O (1) espace Il peut être mis à jour pour refléter une insertion ou une suppression dans le temps O (1) Deux collections identiques (c.-à-d. Des …
Quelle est la limite supérieure de l'algorithme simplex pour la recherche d'une solution à un programme linéaire? Comment pourrais-je trouver une preuve pour un tel cas? Il semble que le pire des cas soit si chaque sommet doit être visité, c’est-à-dire . Cependant, dans la pratique, l’algorithme simplex sera exécuté …
Nous savons que la fonction exponentielle sur les nombres naturels n'est pas calculable en temps polynomial, car la taille de la sortie n'est pas polynomiale dans la taille des entrées.exp( x , y) = xyexp(x,y)=xy\exp(x,y) = x^y Est-ce la raison principale de la difficulté de calculer la fonction exponentielle ou …
Je cherche une source de jeux de données énormes pour tester l'implémentation d'un algorithme graphique. Veuillez également fournir des informations sur le type / la distribution (par exemple, dirigé / non dirigé, simple / non simple, pondéré / non pondéré) des graphiques de la source s'ils sont connus.
Cette question s'adresse aux personnes qui attribuent des problèmes: enseignants, assistants étudiants, tuteurs, etc. Cela m'est arrivé une poignée de fois au cours de mes 12 années de carrière en tant que professeur: j'ai rapidement assigné un problème au texte en pensant que "cela a l'air bien". Puis, j'ai réalisé …
C'est une question non technique, mais certainement pertinente pour la communauté du SDC. Si jugé inapproprié, n'hésitez pas à fermer. La page Web Complexity Zoo (http://qwiki.stanford.edu/index.php/Complexity_Zoo) a certainement rendu de grands services à la communauté TCS au fil des ans. Apparemment, il est en panne depuis un bon bout de …
Il est facile de décider si un équilibre de Nash existe. cependant, en trouver un est difficile (PPAD-Complete). Quels sont quelques autres exemples de problèmes où la version de décision est facile mais la version de recherche est relativement difficile (comparée à la version de décision)? Je serais particulièrement intéressé …
Supposons que des coauteurs de deux institutions différentes ou plus écrivent un article en latex et souhaitent faire mieux que d’envoyer des brouillons de manière répétée. Ils réalisent qu'ils peuvent ouvrir gratuitement un compte Dropbox, partager le mot de passe et synchroniser la version du papier sur leur ordinateur avec …
Ce problème s’inspire de cette question du MO , que j’ai trouvée très intéressante. Quel est le problème ouvert le plus ancien dans TCS? Il est clair que cette question nécessite des éclaircissements. Tout d'abord, qu'est-ce que le TCS? Je pense que l'existence de nombres impairs parfaits n'est pas le …
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.