Dans le "dernier paragraphe" de la "première page" de l'article suivant: Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , «If NP Has Polynomial-Size Circuits, then MA = AM», Theoretical Computer Science, 1995. J'ai rencontré une affirmation quelque peu contre-intuitive:...
J'ai trouvé le livre Pairwise Independence and Derandomization sur le sujet, mais il est plus axé sur la recherche que sur le tutoriel. Je suis nouveau sur le sujet de la "dérandomisation", et en tant que tel, je voulais savoir de quelle référence commencer? Je préfère celui qui traite de la...
Je m'intéresse aux propriétés des graphes dirigés aléatoires à degré fixe fixe dréd . J'imagine un modèle de graphique aléatoire où chaque sommet choisit d voisins (disons, avec remplacement) uar Question : Connaît-on la distribution stationnaire et les temps de mélange des marches aléatoires sur...
Soit 0 ≤ p ≤ 10≤p≤10\le p\le 1 et considérons le problème de décision CLIQUE p entrée: nombre entier s , graphe G avec t sommets et bords Question: ne contient une clique sur au moins les sommets?pp_p sssggGttt⌈ p ( t2) ⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil ggGsss Une instance de CLIQUE contient une...
Soit CCC un CCC . Soit (×)(×)(\times) être un bifoncteur produit sur CCC . Comme Cat est CCC, nous pouvons curry (×)(×)(\times) : curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B Catégorie de...
Une distribution est dit ε -fool une fonction f si | E x ∈ U ( f ( x ) ) - E x ∈ D ( f ( x ) ) | ≤ ϵ . Et on dit qu'il trompe une classe de fonctions s'il trompe chaque fonction de cette classe. Il est connu que les espaces biaisés ϵ trompent la classe de parités sur les sous-ensembles. (voir...
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...
En lisant un article sur l'utilisation de méthodes algébriques pour détecter certains sous-graphes induits, il apparaît que l' idéal de bord est un outil important reliant l'algèbre commutative et la théorie des graphes. Comme je ne suis pas familier avec les calculs d'objets algébriques,...
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...
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...
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....
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...
Étant donné une marche aléatoire sur un graphique, le temps de couverture est la première fois (nombre prévu de pas) que chaque sommet est touché (couvert) par la marche. Pour les graphes non orientés connectés, le temps de couverture est connu pour être limité par . Il existe des digraphes...
Il est facile de voir que tout problème décidable dans un espace de log déterministe ( ) s'exécute au plus en temps polynomial ( ). De nombreux algorithmes connus de l'espace de journalisation (par exemple: connectivité st non dirigée, isomorphisme de graphe planaire) s'exécutent dans où est...
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...
Je suis nouveau dans la théorie des langages de programmation et je cherche une bonne ressource sur une ressource pour la sémantique formelle des langages de programmation. Recherche spécifique de sémantique opérationnelle structurelle. J'ai reçu quelques recommandations de livres. Mais je cherche...
Le problème que nous considérons ici est l'extension du problème bien connu de coloration d'intervalle. Au lieu d'intervalles, nous considérons des rectangles ayant des côtés parallèles aux axes. L'objectif est de colorer les rectangles en utilisant un nombre minimum de couleurs de sorte que deux...
Je lis The Implementation of Functional Programming Language de Simon Peyton Jones et il y a une déclaration qui m'a un peu surpris (à la page 39): Dans une bien plus grande mesure que pour les langages impératifs, les langages fonctionnels sont en grande partie des variations syntaxiques les uns...
J'ai essayé de lire « Perles de conception d'algorithmes fonctionnels », puis « L'algèbre de programmation », et il existe une correspondance évidente entre les types de données définis de manière récursive (et polynomiale) et les objets combinatoires, ayant la même définition récursive et menant...
Puisque le terme est surchargé, une brève définition d'abord. Un poset est un ensemble doté d'un ordre partiel . Étant donné deux éléments , nous pouvons définir (jointure) comme leur borne inférieure la plus basse dans , et de même définir (rencontrer) (joindre) comme borne inférieure la plus...