Informatique théorique

7

Existe-t-il des postes pour les étudiants récemment diplômés du baccalauréat ou de la maîtrise avec un dossier de recherche à travailler en tant que chercheur avant de s'engager dans leur doctorat? TCS a une culture de postes post-doctoraux pour les récents diplômés de doctorat pour faire de la recherche avant …

10 soft-question advice-request career

1

Empreinte digitale pour les ensembles dynamiques

Existe-t-il une structure de données de mots-RAM de w bits avec O (1) temps par opération pour le problème suivant?: Maintenir un ensemble d'entiers non négatifs de w bits qui prend en charge les opérations add (x): ajoutez x à l'ensemble remove (x): supprime x de l'ensemble fingerprint (): retourne …

10 ds.data-structures

2

Formule la plus courte pour un CNF monotone à n terme

Une formule CNF monotone avec m termes sur n variables ( X1, … , Xnx1,…,xnx_1,\ldots,x_n ) est une formule de la forme , où chaque est un OU d'un sous-ensemble du les variables et vont de à .C i x 1 , … , x n i 1 mF( x1, …

10 cc.complexity-theory circuit-complexity formulas

1

Échantillonnage PAC agnostique borne inférieure

Il est bien connu que pour l'apprentissage PAC classique, des exemples de sont nécessaires afin d'obtenir une limite d'erreur de ε whp, où d est la dimension VC de la classe de concept.Ω ( d/ ε)Ω(d/ε)\Omega(d/\varepsilon)εε\varepsilonddd Est-il connu que des exemples de sont nécessaires dans le cas agnostique?Ω(d/ε2)Ω(d/ε2)\Omega(d/\varepsilon^2)

10 lg.learning machine-learning

1

Raisonnement sur les boucles à terminaison non déterministe

Voici une question "piste B" s'il y en a jamais eu. Résumé: la première chose à laquelle je pense lorsque j'essaie de donner une sémantique à des programmes non déterministes se traduit par une sémantique où je ne peux pas prouver les choses sur les boucles qui ne terminent que …

10 reference-request denotational-semantics

4

Inégalités quantiques de type cloche

Je suis curieux de savoir si quelqu'un pourrait recommander du matériel supplémentaire pour acquérir une compréhension plus approfondie de l'article: " Quelques résultats et problèmes sur les inégalités quantiques de type Bell - Tsirelson ". Plus précisément, quelque chose qui pourrait élaborer un peu plus sur l'interprétation géométrique des inégalités …

10 reference-request quantum-computing quantum-information

1

Une opération pratique de comparaison et d'échange de plusieurs mots

Dans l' article portant le même titre que celui de cette question, les auteurs décrivent comment construire une opération CAS multi-mots linéarisable non bloquante en utilisant uniquement un CAS en un seul mot. Ils introduisent d'abord l'opération de double comparaison-échange simple - RDCSS, comme suit: word_t RDCSS(RDCSSDescriptor_t *d) { do …

10 dc.parallel-comp concurrency

2

Problèmes de réseau

Il y a eu pas mal de travail sur les problèmes de calcul pour les commandes partielles (par exemple, la reconnaissance, le nombre de sauts, la reconnaissance du graphe de comparabilité, etc.). Je suis curieux de savoir quel travail spécifique aux réseaux a été fait. J'ai cherché autour et je …

10 ds.algorithms reference-request graph-algorithms partial-order order-theory

3

Énumération de toutes les paires de chemins disjoints

Etant donné un graphe orienté et deux sommets . Une paire de chemins simples de à est disjointe de bord s'ils ne partagent pas de bord.G=(V,E)G=(V,E)G = (V,E)s,t∈Vs,t∈Vs,t \in Vp1,p2p1,p2p_1,p_2sssttt En utilisant le débit max, il est facile de décider s'il existe une paire de chemins disjoints de bord de …

10 cc.complexity-theory graph-algorithms

1

Endroits où l'ordre des points le long d'un simple polygone les traversant est utile

Nous savons que trouver la coque convexe de points sur un avion a une limite inférieure de sur son temps de marche. Cependant, si les points sont donnés dans l'ordre dans lequel ils se produisent le long d'un polygone simple qui a ces points comme sommets, leur coque convexe peut …

10 cg.comp-geom

2

Restreindre les entrées d'opérateurs unitaires aux nombres réels et aux ensembles de portes universelles

Dans l'article fondateur de Bernstein et Vazirani "Théorie de la complexité quantique", ils montrent qu'une transformation unitaire en dimensions peut être efficacement approchée par un produit de ce qu'ils appellent des "rotations quasi-triviales" et des "décalages de phases quasi-triviaux".ddd Les «rotations quasi triviales» sont des matrices unitaires dimensionnelles qui agissent …

10 quantum-computing linear-algebra universal-computation

4

Limiter l'écart entre la complexité quantique et déterministe des requêtes

Bien que les séparations exponentielles entre la complexité des requêtes quantiques à erreurs limitées ( ) et la complexité des requêtes déterministes ( D ( f ) ) ou la complexité des requêtes randomisées à erreurs limitées ( R ( f ) ) soient connues, elles ne s'appliquent qu'à certaines …

10 cc.complexity-theory reference-request quantum-computing query-complexity

4

Coûts d'exécution env. recherche du plus proche voisin dans un quadruple saut

REMARQUE : La question a été reformulée dans mes réponses: en supposant maintenant que nous pouvons trouver les ancêtres frères les plus bas en , l'ANN peut-il vraiment être exécuté en ?O ( log n )O ( 1 )O(1)O(1)O ( logn )O(log⁡n)O(\log n) Les Quadtrees sont des indices spatiaux efficaces. …

10 ds.algorithms ds.data-structures range-searching near-neighbors

6

Une structure de données pour des ensembles d'arbres.

Les essais permettent un stockage efficace des listes d'éléments. Les préfixes sont partagés, ce qui optimise l'espace. Je cherche un moyen similaire de stocker efficacement les arbres. Je voudrais pouvoir vérifier l'appartenance et ajouter des éléments, sachant si un arbre donné est un sous-arbre de certains arbres stockés ou s'il …

10 ds.data-structures tree model-checking

5

Machine de Turing distribuée?

Je suis un étudiant en master axé sur les systèmes distribués mais également intéressé par l'informatique théorique. Je me demandais s'il y avait une représentation formelle d'un système distribué au-dessus d'une machine de turing? Autrement dit, est-il possible d'étendre (faire une variante) le concept d'une machine de turing pour tirer …

10 turing-machines dc.distributed-comp