Je conçois un langage de programmation fonctionnel simple typé statiquement comme une expérience d'apprentissage. Il semble que le système de types que j'ai mis en place jusqu'à présent puisse (avec un peu de travail supplémentaire) incorporer des types d'intersection et d'union, par exemple vous...
J'ai travaillé sur l'introduction de certains résultats de la complexité informatique dans la biologie théorique, en particulier l' évolution et l'écologie , dans le but d'être intéressant / utile pour les biologistes. L'une des plus grandes difficultés que j'ai rencontrées est de justifier...
tout le monde sait qu'il existe de nombreux problèmes de décision qui sont NP-difficiles sur les graphiques généraux, mais je m'intéresse aux problèmes qui sont même NP-difficiles lorsque le graphique sous-jacent est un chemin. Alors, pouvez-vous m'aider à recueillir de tels problèmes? J'ai déjà...
De nombreux problèmes de graphes algorithmiques peuvent être résolus en temps polynomial à la fois sur des graphes non pondérés et pondérés. Quelques exemples: chemin le plus court, arbre couvrant minimum, chemin le plus long (dans les graphiques acycliques dirigés), débit maximal, coupe minimale,...
Il s'agit en quelque sorte d'une question ouverte - pour laquelle je m'excuse à l'avance. Y a-t-il des exemples de déclarations qui (apparemment) n'ont rien à voir avec la complexité ou les machines de Turing mais dont la réponse impliquerait ?P≠NPP≠NP\mathbf{P}\neq
Suite à une question précédente , quelles sont les meilleures limites inférieures de l' espace actuel pour SAT? Avec une borne inférieure d'espace, je veux dire ici le nombre de cellules de bande de travail utilisées par une machine Turing qui utilise un alphabet binaire de bande de travail. Un...
Dans l'article "LA COMPLEXITÉ DES PROBLÈMES DE SATISFACABILITÉ" de Thomas J. Schaefer, l'auteur a mentionné que This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the...
J'ai lu qu'au départ, Church proposait le -calculus dans le cadre de ses postulats de logiqueλλ\lambda (qui est une lecture dense). Mais Kleene a prouvé son "système" incohérent après quoi, Church a extrait des éléments pertinents pour son travail sur la "calculabilité effective" et a abandonné ses...
Pour les algorithmes randomisés prenant des valeurs réelles, le "tour médian" est un moyen simple de réduire la probabilité d'échec à n'importe quel seuil , au prix d'un multiplicatif seulement frais généraux. A savoir, si la sortie de tombe dans une "bonne plage" avec probabilité (au moins) , puis...
Je lisais le document d'Andrej Bauer Premiers pas dans la théorie de la calculabilité synthétique . Dans la conclusion, il note que Notre axiomatisation a sa limite: elle ne peut prouver aucun résultat dans la théorie de la calculabilité qui ne parvienne pas à se relativiser aux calculs oracle. En...
Dans ce fil , la tentative de preuve Norbet Blum est succinctement réfutée en notant que la fonction Tardos est un contre-exemple du théorème 6.P≠NPP≠NPP \neq NP Théorème 6 : Soit une fonction booléenne monotone. Supposons qu'il existe un approximateur CNF-DNF A qui peut être utilisé pour prouver...
Soit les variables . La distance entre deux variables est définie comme. La distance entre deux littéraux est la distance entre les deux variables correspondantes. d ( x a , x b ) = | a - b |X1, x2, x3. . . Xnx1,x2,x3...xnx_1 , x_2 , x_3 ... x_nré( xune, xb) = | a - b |d(xa,xb)=|a−b|d(x_a , x_b) =...
Existe-t-il une bonne enquête qui compare différents extracteurs, concentrateurs et superconcentrateurs et présente les meilleures méthodes en termes de compromis entre le caractère aléatoire, le temps et l'espace?
Une preuve de séparation de classes de complexité utilise l'uniformité des classes de complexité essentiellement si la preuve ne prouve pas le résultat pour une version non uniforme, par exemple les preuves basées sur la diagonalisation (comme les théorèmes de hiérarchie temporelle et spatiale)...
Nous connaissons beaucoup les limites des circuits (taille polynomiale) à profondeur constante. Étant donné que les formules à profondeur constante (taille polynomiale) sont un modèle de calcul encore plus restreint, tous les problèmes connus pour ne pas être en AC 0 ne sont pas non plus...
Quelles différences intéressantes y a-t-il entre la théorie et la pratique de la sécurité et de la cryptographie? Le plus intéressant sera bien sûr des exemples qui suggèrent de nouvelles voies de recherche théorique basées sur l'expérience pratique :). Les réponses peuvent inclure (mais sans s'y...
Si est une fonction convexe, l'inégalité de Jensen indique que , et mutatis mutandis lorsque est concave. De toute évidence, dans le pire des cas, vous ne pouvez pas dépasser la limite en termes de pour un convexe , mais existe-t-il une limite qui va dans ce sens si est convexe mais "pas trop...
J'ai déjà posté cette question il y a un certain temps sur MathOverflow , mais à ma connaissance, elle est toujours ouverte, donc je la republie ici dans l'espoir que quelqu'un en ait entendu parler. Énoncé du problème Soit , Q et R trois partitions en p parties non vides (désignées par P h , Q i...
Quelqu'un pourrait-il indiquer un ou plusieurs sites Web où il est possible de télécharger une implémentation fonctionnelle d'un solveur #SAT? Je suis intéressé par ceux qui renvoient le nombre exact de solutions, pas une
BQP est-il égal à BPP avec accès à un oracle de sous-groupe caché