Informatique théorique

2

Les conséquences de limites inférieures de

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 frappe associés. …

10 cg.comp-geom set-cover hypergraphs approximation-hardness epsilon-nets

2

Des variantes NP-complètes de problèmes indécidables?

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 …

10 cc.complexity-theory np-hardness

1

Dureté du problème du système stellaire contraint?

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 …

10 cc.complexity-theory np-hardness

3

Une séparation explicite entre constructibilité temporelle et constructibilité spatiale?

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 (n))?

10 cc.complexity-theory space-bounded separation

2

Encodage rapide de vecteurs équilibrés

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 …

10 ds.algorithms ds.data-structures encoding

5

Classes de complexité pour les cas autres que le «pire cas»

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 ci-dessous: Existe-t-il une classe de problèmes (naturels) …

10 cc.complexity-theory complexity-classes

2

Limites inférieures pour un problème de satisfiabilité linéaire

Dans SODA 1995 , Jeff Erickson a montré des limites inférieures pour la satisfiabilité linéaire (vérifier si un certain ensemble de n nombres réels satisfait une équation linéaire sur r variables). La méthode de preuve utilise des infinitésimales et le principe de transfert de Tarski .rrrnnnrrr Quelqu'un pourrait-il expliquer l'intuition …

10 cg.comp-geom lower-bounds algebraic-complexity

1

La dérandomisation de classes légèrement non uniformes, par exemple BPP / linéaire, a-t-elle été étudiée?

Par BPP / linéaire, je me réfère aux machines BPP avec conseil linéaire, qui remplissent la promesse quand on leur donne le conseil "correct", et la dérandomisation devrait nous donner, disons, un algorithme P / linéaire ou (SUBEXP / linéaire). Si nous utilisons des hypothèses non uniformes, je pense que …

10 cc.complexity-theory derandomization advice-and-nonuniformity

5

Thème de la théorie des automates / du langage formel

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 …

10 ds.algorithms automata-theory fl.formal-languages soft-question

2

Quelles bonnes notations existent pour les langages déterministes sans contexte et visiblement pushdown?

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 pour CFL et des expressions régulières pour REG?

10 fl.formal-languages

3

Quelles sont les preuves que ?

Quelles sont les preuves que ?coRP≠NPcoRP≠NPcoRP \neq NP coRPcoRPcoRP est la classe de langues pour laquelle il existe une machine de Turing probabiliste qui fonctionne en temps polynomial et répond toujours Oui sur une entrée appartenant à la langue et répond Non avec une probabilité d'au moins la moitié sur …

10 cc.complexity-theory complexity-classes

2

Existe-t-il une référence définitive pour les machines Turing avec plusieurs bandes oracle?

La plupart de la littérature semble s'intéresser aux machines à oracles simples pour des problèmes spécifiques, mais il semble y avoir quelques articles qui considèrent les machines à oracles multiples. Existe-t-il un bon article ou une thèse qui donne un aperçu de ce que l'on sait de ces machines? Je …

10 oracles turing-machines

6

Réduire la complexité avec le parallélisme

Est-il possible (barre oblique pouvez-vous fournir un exemple) de réduire la complexité de calcul d'un problème en utilisant un algorithme parallèle qui ne nécessite pas un certain nombre de processeurs par rapport à la taille d'entrée?

10 cc.complexity-theory dc.parallel-comp

2

Mélange de jetons sur un graphique à l'aide de swaps locaux

Soit un graphe connecté non régulier dont le degré est borné. Supposons que chaque nœud contienne un jeton unique.G=(V,E)G=(V,E)G= (V, E) Je veux mélanger uniformément les jetons parmi le graphique en utilisant uniquement des swaps locaux (c'est-à-dire l'échange des jetons entre deux nœuds adjacents)? Existe-t-il une borne inférieure connue pour …

10 ds.algorithms random-walks dc.distributed-comp

2

Existe-t-il un nom officiel pour une notion d '«universellement réutilisable»?

Il existe plusieurs notions différentes (probablement inéquivalentes) d'universalité informatique (voir par exemple les deux dernières pages de http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf ) et il n'y a pas de consensus entre des experts sur les notions les plus correctes (voir par exemple http://cs.nyu.edu/pipermail/fom/2007-October/012148.html ). J'essaie de dire quelque chose sur un modèle particulier de …

10 universal-computation