Informatique théorique

2

Je me demandais quelle est la liste des problèmes informatiques naturels actuels pour lesquels il n'y a aucun avantage de complexité connu à utiliser un ordinateur quantique. Pour commencer, je pense que le calcul de la distance d'édition est celui pour lequel l'algorithme quantique connu le plus rapide semble être …

11 ds.algorithms quantum-computing big-list

1

Pourquoi Tomita a créé GLR et n'a pas utilisé Earley?

Quand je regarde l'analyse Earley, elle a l'air très élégante, et je me demande pourquoi les techniques GLR deviennent populaires? Est-ce que quelqu'un sait ce qui n'allait pas avec Earley en analysant que Tomita a créé GLR? Performance? Toute publication sur ces discussions est très appréciée.

11 parsing

3

Pour quelles langues existe-t-il déjà une théorie de l'équivalence observationnelle?

Pour une preuve d'exactitude, je cherche une notion utilisable d'équivalence de programme pour les systèmes de type pur de Barendregt (PTS); manque cela, pour suffisamment de systèmes de types spécifiques. Mon but est simplement d'utiliser la notion, pas de la rechercher pour elle-même.≅≅\cong Cette notion devrait être " extensionnelle " …

11 pl.programming-languages type-theory operational-semantics

4

Applications des nombres

Existe-t-il des exemples concrets (ou une riche source) d'application des nombres -adiques en informatique?ppp

11 survey

2

Pour quelles familles de graphiques la géographie généralisée est-elle en ?

Comme @Marzio l'a mentionné, le jeu suivant est connu sous le nom de Géographie généralisée . Étant donné un graphique et un sommet de départ , le jeu est défini comme suit:G = ( V, E)g=(V,E)G=(V,E)v ∈ Vv∈Vv \in V A chaque tour (alternance de deux joueurs), un joueur choisit …

11 graph-theory graph-algorithms gt.game-theory

3

Est-ce que

Notons le degré de sortie minimal dans G , et par δ - ( G ) le degré de sortie minimal .δ+( G )δ+(G)\delta^+(G)gGGδ-( G )δ−(G)\delta^-(G) Dans une question connexe , j'ai mentionné l'extension de Ghouila-Houri du théorème de Dirac sur les cycles hamiltoniens , qui suggère que si alors …

11 reference-request graph-theory

4

Quelles propriétés des graphes planaires se généralisent aux dimensions / hypergraphes supérieurs?

Un graphe planaire est un graphe qui peut être intégré dans le plan, sans avoir de bords croisés. Soit un hypergraphe uniforme , c'est-à-dire un hypergraphe tel que tous ses hyper-bords aient la taille k.kG = ( X, E)G=(X,E)G=(X,E)kkk Il y a eu un certain travail sur l'intégration d'hypergraphes dans …

11 graph-theory planar-graphs hypergraphs embeddings generalizations

2

2DFA qui nécessite de nombreux états dans DFA équivalent?

Existe-t-il un 2DFA avec états (où n est non trivial, disons au moins 4) qui nécessite au moins 2 n états pour simuler en utilisant n'importe quel DFA?nnnnnn2n2n2^n Un DFA bidirectionnel (2DFA) est un automate à états finis déterministe qui est autorisé à se déplacer d'avant en arrière sur sa …

11 automata-theory lower-bounds

2

Le problème des N Queens est-il difficile à NP?

Le problème de la N-reine est le suivant: Entrée: N Sortie: Un placement de N "reines" sur un échiquier NXN de telle sorte qu'il n'y ait pas deux reines sur la même ligne, colonne ou diagonale. En effectuant une recherche Google à ce sujet, j'ai constaté que de nombreuses diapositives …

11 cc.complexity-theory np-hardness csp

1

Trouver un double d'un graphique

Selon le livre Topological Graph Theory de Gross et Tucker, étant donné l'incorporation cellulaire d'un graphique sur une surface (par `` surface '', je veux dire ici une sphère avec quelques poignées, et ci-dessous réfère à la sphère avec exactement poignées), on peut définir une multigraphe double en traitant les …

11 ds.algorithms reference-request graph-theory cg.comp-geom topological-graph-theory

4

Relation entre la complexité de calcul et l'information

Je travaille dans un laboratoire de neurosciences computationnelles qui quantifie les informations mutuelles entre paires ou groupes de neurones. Récemment, le patron s'est concentré sur la mesure de la "complexité de la dynamique neuronale". En poursuivant cette ligne de recherche, certaines personnes de mon groupe semblent assimiler "complexe" avec "a …

11 cc.complexity-theory it.information-theory

4

Algorithmes d'approximation utilisés dans des algorithmes exacts

Les algorithmes d'approximation peuvent donner une sortie jusqu'à un facteur constant. C'est un peu moins satisfaisant que les algorithmes exacts. Cependant, des facteurs constants sont ignorés dans la complexité temporelle. Je me demande donc si l'astuce suivante est possible ou a été utilisée pour résoudre un problème :B∘AB∘AB \circ A …

11 ds.algorithms big-list approximation-algorithms

2

Que signifie «gadget» dans la réduction NP-hard?

Cette question n'est peut-être pas technique. En tant que locuteur non natif et TA pour la classe d'algorithmes, je me suis toujours demandé ce que signifie gadget dans «gadget de clause» ou «gadget variable». Le dictionnaire dit qu'un gadget est une machine ou un appareil, mais je ne sais pas …

11 cc.complexity-theory np-hardness terminology reductions

2

Minimum True Monotone 3SAT

Je m'intéresse à une variation SAT où la formule CNF est monotone (aucune variable n'est niée). Une telle formule est évidemment satisfaisable. Mais disons que le nombre de vraies variables est une mesure de la qualité de notre solution. Nous avons donc le problème suivant: VÉRITABLE MONOTONE 3SAT MINIMUM INSTANCE: …

11 cc.complexity-theory np-hardness sat

2

Réductions du pire au cas moyen

Existe-t-il des problèmes dont la complexité moyenne des cas est la même que leur pire complexité? Quelles sont les propriétés sous-jacentes de ces problèmes qui permettent de réduire le pire des cas au cas moyen?

11 cc.complexity-theory reductions average-case-complexity