Nous voulons souvent définir un objet selon certaines règles d'inférence. Ces règles désignent une fonction génératrice qui, lorsqu'elle est monotone, donne un point moins fixe . Nous prenons pour être la "définition inductive" de . De plus, la monotonie de nous permet de raisonner avec le...
Que dois-je lire pour comprendre ce problème? La puissance des circuits quantiques de faible profondeur. Est-ce que ? En d'autres termes, la partie "quantique" de tout algorithme quantique peut-elle être compressée à la profondeur du polylogue (n), à condition que nous soyons prêts à effectuer un...
Le manuscrit suivant est-il accessible au public? Dana Scott, 1969, Une théorie des fonctions calculables de type supérieur . Notes de séminaire non publiées, 7 pages, Université d'Oxford. Il y a une discussion de cet article dans la section 8.1.2, Types as sets , dans Cardone & Hindley, 2006...
Il existe des preuves théoriques que la construction de produits cartésiens naïfs pour l'intersection des DFA est "le meilleur que nous pouvons faire". Qu'en est-il de la concaténation de deux DFA? La construction triviale implique la conversion de chaque DFA en NFA, l'ajout d'une transition...
L'analyse du pire et du cas moyen sont des mesures bien connues de la complexité d'un algorithme. L'analyse lissée récemment est apparue comme un autre paradigme pour expliquer pourquoi certains algorithmes exponentiels dans le pire des cas fonctionnent si bien dans la pratique, par exemple...
Le problème suivant est-il dans PTIME ou coNP-hard: Étant donné deux expressions booléennes et e 2 dans les variables x 1 , … , x n , sans négation (c'est-à-dire que les expressions sont entièrement construites via ∧ et ∨ ). Décidez si e 1 ≡ e 2 , c'est-à-dire qu'ils ont la même valeur pour toutes...
Contexte Un arbre de décision binaire TTT est un arbre enraciné où chaque nœud interne (et racine) est étiqueté par un index sorte qu'aucun chemin de la racine à la feuille ne répète un index, les feuilles sont étiquetés par des sorties dans , et chaque bord est étiqueté par pour l'enfant gauche et...
Y a-t-il des cas où des publications supplémentaires peuvent nuire à votre dossier? Cela évite les cas évidents où vous publiez des résultats incorrects ou controversés. Évitez également le cas du temps fini: vous n'avez que peu de temps pour penser et écrire, donc écrire un document peut vous...
Je cherche à obtenir une réponse définitive à la question du titre. Existe-t-il un ensemble de règles qui traduisent un programme en une configuration de pièces finies sur un plateau infini, de sorte que si le noir et blanc ne joue que des mouvements légaux, le jeu se termine en temps fini si le...
Une faible normalisation pour le calcul lambda typé simple peut être prouvée (Turing) par induction sur . Un calcul lambda étendu avec des récurseurs sur les nombres naturels (Gentzen) a une stratégie de normalisation faible par induction sur .ϵ 0ω2ω2\omega^2ϵ0ϵ0\epsilon_0 Qu'en est-il du système F...
Je cherche un problème qui appartient à dans les graphiques généraux mais qui est dans dans les graphiques de largeur d'arbre borné, En fait, je pense que ces problèmes sont plus difficiles que d'utiliser la programmation dynamique normale dans borné -des graphiques de largeur pour les...
Étant donné que la plupart des universités américaines n'acceptent des candidatures que dans un seul domaine, j'essaie de comprendre quels sont les avantages / inconvénients de postuler à un programme de théorie CS par rapport à un programme de mathématiques appliquées étant donné que l'intérêt se...
Quel est le nombre minimal de portes binaires nécessaires pour calculer ET et OU de bits d'entrée simultanément? La borne supérieure triviale est . Je pense que c'est optimal, mais comment le prouver? La technique d'élimination de porte standard ne fonctionne pas ici car en attribuant une constante...
Comme on le sait, une décomposition arborescente d'un graphe est constituée d'un arbre avec un sac associé pour chaque sommet , ce qui satisfait les conditions suivantes:T T v ⊆ V ( G ) v ∈ V ( T )GGGTTTTv⊆V(G)Tv⊆V(G)T_v \subseteq V(G)v∈V(T)v∈V(T)v \in V(T) Chaque sommet du se produit dans un...
J'essaie de comprendre comment fonctionne le graphique de chemin selon l'algorithme d'Eppstein dans cet article et comment je peux reconstruire les k chemins les plus courts de s à t avec la construction de tas correspondante H ( G )P(G)P(G)P(G)kkkssstttH(G)H(G)H(G) . Jusque là: contient...
Une phrase de permutation est une extension des définitions de grammaire sans contexte standard (E) BNF: une phrase de permutation contient n productions (ou de manière équivalente, non terminales) A 1 à A n . À la position de la phrase de permutation, nous aimerions voir chacune de ces productions...
Par un résultat classique de Kuroda, la classe de complexité NSPACE [ ]nnn (également connue sous le nom de NLIN-SPACE) est précisément la classe CSL des langages contextuels . Le problème de satisfiabilité SAT est dans NSPACE [ ], car une estimation de taille linéaire pour une solution peut être...
Ce problème m'intéresse: étant donné un graphe non orienté , y a-t-il une partition de en graphes et tels que etG(E,V)G(E,V)G(E, V)GGGG1(E1,V1)G1(E1,V1)G_1(E_1, V_1)G2(E2,V2)G2(E2,V2)G_2(E_2, V_2)G1G1G_1G2G2G_2 sont isomorphes? Ici, est partitionné en deux ensembles disjoints et . Les ensembles et...
Je ne travaille pas en théorie, mais mon travail nécessite de lire (et de comprendre) des articles théoriques de temps en temps. Une fois que j'ai compris un (ensemble de) résultats, je discute de ces résultats avec des gens avec qui je travaille, dont la plupart ne fonctionnent pas aussi en...
Je me demandais si des problèmes pour lesquels existent des algorithmes de temps sublinéaire (dans la taille d'entrée) pouvaient être caractérisés comme possédant des propriétés spécifiques. Cela comprend le temps sublinéaire (par exemple, les tests de propriétés, une autre notion d'approximation...