Les langues déterministes sans contexte (DCFL) et les langues visiblement pushdown (VPL) sont deux ensembles de langues formelles entre les langues sans contexte (CFL) et les langues régulières (REG). Existe-t-il une notation lisible qui peut être exprimée en ASCII simple comme Backus-Naur-Form...
Il est facile de voir que pour tout nnn il existe un mappage 1-1 FFF de {0,1} n à {0,1} n + O ( log n ) de telle sorte que pour tout x le vecteur F ( x ) est " équilibré ", c'est-à-dire qu'il a un nombre égal de 1 et de 0. Est-il possible de définir un tel F pour que, étant donné x, nous pouvons...
Salut à tous, j'essaie actuellement de trouver un sujet de thèse de master solide se rapportant à une branche de la théorie des automates ou lié aux langages formels. J'essaie de générer de bonnes idées sur ce qu'est un sujet acceptable, quelque chose d'ambitieux mais quelque chose de faisable en...
Montrer une fonction qui est constructible dans l'espace mais pas dans le temps.F( n )f(n)f(n) Ce problème est-il lié à une éventuelle séparation entre les classes de complexité DTIME (f (n)) et SPACE (f
Un système d'étoile est une famille de sous - ensembles de n de n éléments-set S . Un système d'étoile est graphique s'il y a un graphe G ( V , E ) de telle sorte que F est la famille des quartiers de sommet dans G . Il est N P- complet de décider si un système d'étoiles donné est graphique.FFFSSSG...
Exemples de variantes bornées d'ensembles indécidables:NPNPNP Problème d'arrêt limité = { | La machine NTM M arrête et accepte x dans les étapes t }( M, x , 1t)(M,x,1t)(M, x, 1^t)MMMXxxttt Mosaïque délimitée = { | il y a un carrelage d'un carré de zone t 2 par des tuiles de T }( T, 1t)(T,1t)(T,...
Beaucoup ici sont probablement au courant de la baisse super-linéaire limite récente pour Alon -nets dans un cadre géométrique naturel [PDF] . Je voudrais savoir ce que, le cas échéant, une telle borne inférieure implique au sujet de l'approximation des problèmes de jeu de couverture / jeu de...
Stratego est un langage de transformation de programmation / DSL de réécriture. Anthony Sloane a effectué un travail sur une implémentation qui s'exécute sur Scala . Quelles sont les limites théoriques de Stratego en tant que langage fonctionnel? (quelle que soit la mise en œuvre). Peut-on écrire...
Je m'intéresse aux instances individuelles "dures" de problèmes NP-complets. Ryan Williams a discuté du problème SAT0 sur le blog de Richard Lipton . SAT0 demande si une instance SAT a la solution spécifique composée de tous les 0. Cela m'a fait penser à la construction d'instances SAT susceptibles...
Avons-nous des classes de complexité concernant, disons, la complexité moyenne des cas? Par exemple, existe-t-il une classe de complexité (nommée) pour les problèmes qui prennent le temps polynomial attendu pour se décider? Une autre question considère la meilleure complexité de cas , illustrée...
Supposons que P≠NPP≠NPP \neq NP Soit utiliser la notation suivante pour la tétration (ie.iaia{}^ia ).ia=aa⋅⋅⋅ai timesia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | x | est la taille de l'instance x. Soit L une langue, L|f( i ) ≤ | x | < g( i ):...
Les générateurs invulnérables sont définis comme suit: Soit une relation NP, et M une machine qui accepte L ( R ) . Informellement, un programme est un générateur invulnérable si, sur l'entrée 1 n , il produit des paires instance-témoin ( x , w ) ∈ R , avec | x | = N , selon une répartition en...
Existe-t-il une classe de complexité contenant des homologues en ligne de problèmes d'optimisation? Sinon, comment définir une telle classe? Nous savons que de nombreux problèmes ont leur version en ligne: par exemple, la version en ligne du problème d'emballage de bac. Les problèmes en ligne sont...
Je me demande de savoir wether il y a la langue rares (même construit par diagolanization retardée) dans NPI sous l'hypothèse que .P≠ NPP≠NPP \neq
Je recherche une fonction de hachage sur les ensembles H (.) Et une relation R (.,.) Telle que si A est inclus dans B alors R (H (A), H (B)). Bien sûr, R (.,.) Doit être facile à vérifier (temps constant), et H (A) doit être calculé en temps linéaire. Un exemple de H et R est:...
Je voudrais connaître l'état actuel de la transition de phase pour les k-sat aléatoires, étant donné n variables et m clauses, quel est le c = m / n le mieux connu pour les bornes supérieures et
Quels articles sur la gestion des erreurs dans les systèmes distribués
J'ai cherché sur le forum pour voir si cela avait déjà été demandé, et bien que la théorie algorithmique des jeux soit discutée, je n'ai pas trouvé ce problème particulier résolu. J'essaie de comprendre quel est l'algorithme le plus connu pour calculer les équilibres de Nash approximatifs (à...
À la SODA 2006, l'article de Martin Grohe et D niel Marx "Résolution des contraintes via des couvertures de bords fractionnaires" ( citation ACM ) a montré que pour la classe des hypergraphes H avec une largeur d'hypertree fractionnée bornée, CSP ( H ) \ in PTIME .a´a´\acute{\rm...
Disons que j'ai un graphique pondéré G=(V,E,w)g=(V,E,w)G = (V,E,w) tel que w:E→[−1,1]w:E→[-1,1]w:E\rightarrow [-1,1] est la fonction de pondération - notez que les poids négatifs sont autorisés. Dire que f:2V→RF:2V→Rf:2^V\rightarrow \mathbb{R} définit une propriété d'un sous - ensemble de sommets...