Informatique théorique

1

Manière uniforme de quantifier la «ramification» dans le calcul non déterministe, probabiliste et quantique?

Le calcul d'une machine de Turing non déterministe (NTM) est bien connu pour être représentable comme un arbre de configurations, enraciné à la configuration de départ. Toute transition dans le programme est représentée par un lien père-enfant dans cet arbre. Des arbres similaires peuvent également être construits pour visualiser également …

10 cc.complexity-theory quantum-computing randomness derandomization nondeterminism

1

Quelle est la preuve que les ordinateurs quantiques peuvent simuler efficacement des systèmes mécaniques quantiques arbitraires?

JBV a suggéré de transformer certains commentaires en question, alors voici. Une autre question [1] pose sur les applications de l'informatique QM. Une réponse [2] était "simuler efficacement la mécanique quantique". Apparemment, cette idée remonte aux premiers écrits de Feynman sur le sujet; même si je n'ai pas de référence. …

10 reference-request quantum-computing application-of-theory

4

Les arbres de suffixe peuvent-ils être utilisés pour trouver toutes les sous-chaînes courantes?

J'essaie d'utiliser des arbres de suffixes pour comparer les séquences de chaînes. J'ai trouvé des implémentations / théorie pour le problème de sous-chaîne commun le plus long en utilisant des arbres de suffixes. Cependant, ce que je recherche est une discussion du problème connexe - "toutes les sous-chaînes courantes". Plus …

10 ds.algorithms string-matching

1

Déterminer le nombre minimum de pesées de pièces

Dans l'étude sur deux problèmes de théorie de l'information , Erdõs et Rényi donnent des limites inférieures sur le nombre minimum de pesées à faire pour déterminer le nombre de fausses pièces dans un ensemble de pièces.nnn Plus formellement: Les fausses pièces ont un poids plus petit que les bonnes …

10 ds.algorithms reference-request co.combinatorics it.information-theory randomized-algorithms

1

Mesure optimale pour les MUB

Soit un ensemble de bases mutuellement non biaisées (MUB) dans C n , c'est-à-dire que chaque B i est une base orthonormée et pour v ∈ B i , w ∈ B j , i ≠ j we avoir | ⟨ V | w ⟩ | = 1B= { B1, …

10 reference-request quantum-information

1

Algorithme le plus rapide connu pour trouver des chemins simples à travers un ensemble donné de sommets

Pour un graphe non orienté et un ensemble de sommets, ce qui est l'algorithme connu asymptotiquement le plus rapide pour trouver un chemin simple contenant tous les éléments de . Et si nous voulons que le chemin soit le plus court possible?S SGGGSSSSSS

10 ds.algorithms graph-algorithms time-complexity

2

Limites de compromis pour le comptage de demi-espace

Quelle est la meilleure limite actuelle pour effectuer des requêtes de comptage de demi-espace sur un ensemble de points dimensionnels, exprimée sous la forme d'un compromis temps / espace. Selon l'article fondamental de Matousek de 1993 (Théorème 6.2, Recherche de plage avec des coupes hiérarchiques efficaces), nous pouvons effectuer un …

10 reference-request ds.data-structures cg.comp-geom

6

Éliminer la récursivité - un aperçu de la théorie dans les coulisses

Je suis nouveau sur ce site et cette question n'est certainement pas au niveau de la recherche - mais bon. J'ai un peu d'expérience en génie logiciel et presque aucun en CSTheory, mais je le trouve attrayant. Pour faire une longue histoire, je voudrais une réponse plus détaillée à ce …

10 pl.programming-languages recursion recursive

2

Les circuits de taille quasi-polynomiale pour 3-SAT sont-ils triviaux?

Supposons que nous considérons 3-SAT avec des variables et des clauses . Je recherche une méthode qui semble prendre temps / espace pour résoudre tout problème SAT correspondant à cette description, à l'intérieur d'une erreur qui peut être ajustée à un montant arbitraire. Cependant, il y a un hic.c O …

10 ds.algorithms sat upper-bounds

2

Définir le problème d'optimisation - est-il np-complet?

L'ensemble est donné. Pour chaque élément , nous avons le poids et le coût . Le but est de trouver le sous-ensemble de taille qui maximise la fonction objectif suivante: .e i w i > 0 c i > 0 M k ∑ eS={e1,⋯,en}S={e1,⋯,en}S=\{e_1,\cdots,e_n\}eieie_iwi>0wi>0w_i>0ci>0ci>0c_i>0MMMkkk∑ei∈Mwi+∑ei∉Mwici∑ei∉Mci∑ei∈Mwi+∑ei∉Mwici∑ei∉Mci\sum_{e_i\in M} w_i + \frac{\sum_{e_i\notin M} w_i …

10 np-hardness optimization

2

Déterminant d'une matrice de Vandermonde généralisée

La matrice de Moore est similaire à la matrice de Vandermonde mais a une définition légèrement modifiée. http://en.wikipedia.org/wiki/Moore_matrix Quelle est la complexité du calcul du déterminant d'une matrice de Moore de rang complet modulo un entier?n×nn×nn \times n Le déterminant de Moore peut-il être réduit de utilisant des techniques FFT …

10 cc.complexity-theory algebraic-complexity

2

Fonctions à sens unique vs engagements parfaitement contraignants

Si des OWF existent, un engagement de bits à liaison statistique est possible. [1] Est-il connu que si des OWF existent, un engagement de bits parfaitement contraignant est possible? Si non, existe-t-il une séparation connue entre les boîtes noires? [1] http://en.wikipedia.org/wiki/Pseudorandom_generator_theorem et http://en.wikipedia.org/wiki/Commitment_scheme#Bit-commitment_from_a_pseudo-random_generator

10 cr.crypto-security one-way-function

1

Limites inférieures pour les circuits quantiques utilisant le cadre géodésique

Certains d'entre nous ont lu l'article de Michael Nielsen sur une approche géométrique de l'utilisation des limites inférieures quantiques (en bref, la construction d'une métrique de Finsler sur telle que la distance géodésique de à un élément est une limite inférieure sur le nombre de portes dans un circuit quantique …

10 quantum-computing

2

Amplitude des graphes cubiques aléatoires

Considérons un graphe cubique aléatoire connecté desommets, tirés de G (n, 3 -reg ) (tel que défini ici , c'est-à-dire que 3n est pair et que deux graphiques quelconques ont la même probabilité).G=(V,E)G=(V,E)G=(V,E)G ( n , 3 )n=|V|n=|V|n =|V|G(n,3G(n,3G(n, 3)))3n3n3n Bien sûr , il y a nnn possibles recherches, largeur …

10 graph-theory co.combinatorics

1

Diagramme de Voronoi dans un graphique

Soit un graphique avec des arêtes pondérées (positivement). Je veux définir le diagramme de Voronoi pour un ensemble de nœuds / sites S , associer à un nœud v ∈ S le sous-graphe R ( v ) de G induit par tous les nœuds strictement plus proche de v que …

10 reference-request graph-theory cg.comp-geom