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, … , Bk}B={B1,…,Bk}\mathcal{B} = \{B_1, \dots, B_k\}CnCn\mathbb{C}^nBjeBiB_iv ∈ Bje, w ∈ Bj, i ≠...
Existe-t-il une construction connue d'un code de correction d'erreur linéaire E C C : Fnq→ FmqECC:Fqn→Fqm\mathsf{ECC}:\mathbb{F}_q^n \to \mathbb{F}_q^m (avec des paramètres raisonnables), de sorte que lorsqu'il est donné un vecteur booléen v ∈ { 0 , 1 }nv∈{0,1}nv\in \{0,1\}^n , il renvoie également...
Les représentations les plus simples pour les graphiques utilisent des matrices / listes d'adjacence, ce qui signifie que chaque nœud et bord est explicitement représenté. L'importance des représentations implicites pour les graphiques présentant de fortes régularités est reconnue depuis longtemps....
Soit . J'ai besoin de générer de simples graphiques G de circonférence g de telle sorte que l'ensemble de tous les g- cycles forme une couverture de double bord de G (c'est-à-dire que chaque bord est partagé par exactement deux g- cycles), et de telle sorte que l'intersection de deux g -cycles est...
Pour célébrer l'anniversaire d'Alan Turing, Google a publié un doodle montrant une machine. Quel type de machine est le doodle? Peut-il exprimer une langue Turing Complete? Il existe des différences évidentes avec la machine de turing classique: une bande finie, des contraintes dans la façon dont...
Soit tout problème complet d'EXP. Ensuite, P A = N P A .AAAPA=NPAPA=NPAP^A = NP^A Que soit un oracle qui prend en compte les requêtes que M (un TM en P) fera, et nous pouvons obtenir P B ≠ N P B .BBBMMMPB≠NPBPB≠NPBP^B \neq NP^B Question: Avons-nous des résultats oracle similaires pour P vs...
Il semble y avoir de nombreux algorithmes randomisés pour les tests d'identité polynomiale, vérifiant si un polynôme donné est nul ou non. Y a-t-il des résultats d'algorithmes qui font une sorte d'estimation des polynômes sur un ensemble spécifique de points? Cela pourrait être, par exemple, une...
Récemment, j'ai lu un nombre décent d'articles CoLT. Bien que je ne lutte pas avec les articles individuels (du moins pas plus que d'habitude avec les autres articles théoriques), je ne pense pas avoir une bonne compréhension du domaine dans son ensemble. Existe-t-il un texte standard, des sondages...
Je n'ai pas pu trouver de déclaration reliant M AMA\mathsf{MA} et N PR PNPRP\mathsf{NP}^\mathsf{RP} dans la littérature; des pointeurs seraient appréciés. Je pense qu'ils sont égaux: M A ⊆ N PR PMA⊆NPRP\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP} : LamachineN PNP\mathsf{NP} devine la chaîne de...
Fixe . Pour tout n assez grand , nous aimerions étiqueter tous les sous-ensembles de { 1 .. n } de taille exactement n / k par des entiers positifs de { 1 ... T } . Nous aimerions que cet étiquetage satisfasse la propriété suivante: il y a un ensemble S d'entiers, stk ≥ 5k≥5k\ge5nnn{ 1 .. n...
Les types de propriété et la logique de séparation semblent avoir des objectifs, un contrôle sur la propriété et un alias similaires. Je devrais peut-être aussi ajouter: la possibilité d'écrire des spécifications modulaires. Que sait-on de la relation entre les types de propriété et la logique de...
Soit un ensemble de points dans . Pour tout , une clé est un graphique non orienté pondéré sous la mesure euclidienne, de sorte que pour deux points , , la distance la plus courte en , , est au plus fois la distance euclidienne entre et ,(notez que cette définition peut facilement être étendue à...
Dans la plupart des systèmes de preuve probabilistes (théorème PCP, par exemple), les probabilités d'erreur sont généralement définies du côté des faux positifs, c'est-à-dire qu'une définition typique pourrait ressembler à: si alors le vérificateur accepte toujours, mais dans les autres cas, la...
Je sais que l'élimination gaussienne prend des opérations arithmétiques , mais je ne sais pas si de meilleurs algorithmes sont
Dans la sémantique du langage de programmation, on entend souvent que les gens parlent de sens et de dénotation . Ils ne semblent pas être les mêmes. Quelle est la différence? Le premier est-il associé à la sémantique opérationnelle tandis que le second à la sémantique dénotationnelle?...
Étant donné une famille d'au plus sous-ensembles de . La fermeture de l' union \ mathcal F est un autre ensemble famille \ mathcal C contenant tout ensemble qui peut être construit en prenant l'union de 1 ou plusieurs ensembles de \ mathcal F . Par | \ mathcal C | on note le nombre de jeux dans \...
Ma question est pourquoi les bornes inférieures pour les circuits booléens de profondeur 3 avec les portes "et" et "xor" pour le déterminant n'impliquent pas les mêmes bornes inférieures pour les circuits arithmétiques sur ?ZZ\mathbb{Z} Quel est le problème avec l'argument suivant: Soit un...
Je recherche des références sur la complexité du problème d' équilibrage des formules booléennes . En particulier, Savait-on que les formules booléennes pouvaient être équilibrées en ?AC0AC0\mathsf{AC^0} Existe-t-il une preuve simple de l'équilibrage de la formule booléenne en ?AC0AC0\mathsf{AC^0}...
Laissez la classe BPNC (la combinaison de et N C ) être des algorithmes parallèles de profondeur de journal avec une probabilité d'erreur bornée et un accès à une source aléatoire (je ne suis pas sûr que cela ait un nom différent). Définissez la classe DBPNC de la même manière, sauf que tous les...
La question suivante est liée à l'optimalité de l' algorithme de programmation dynamique Bellman-Ford - plus court (voir cet article pour une connexion). En outre, une réponse positive impliquerait que la taille minimale d'un programme de branchement non déterministe monotone pour le problème...