Y at - il eu des travaux visant à trouver le nombre minimum d'opérations arithmétiques élémentaires nécessaires pour calculer le déterminant d'un par matrice pour les petites et fixe ? Par exemple, .n n n =
Considérons un vecteur de variables et un ensemble de contraintes linéaires spécifiées par .X⃗ X→\vec{x}A x⃗ ≤ bUNEX→≤bA\vec{x}\leq b En outre, considérons deux polytopes
Je recherche des informations sur la complexité de calcul de la multiplication matricielle des matrices rectangulaires. Wikipedia indique que la complexité de la multiplication de par B ∈ R n × p est O ( m n p ) (multiplication des manuels scolaires).A∈Rm×nA∈Rm×nA \in \mathbb{R}^{m \times...
Robin Milner a défini les bigraphs comme un type de structure graphique avec une structure de type graphique mais où les nœuds peuvent être imbriqués. Ils généralisent des calculs de processus comme CCS et le -calculus, mais Milner semble avoir voulu qu'ils soient utilisés de manière beaucoup plus...
De nombreux cryptosystèmes à clé publique ont une sorte de sécurité prouvable. Par exemple, le cryptosystème Rabin est aussi difficile que l'affacturage. Je me demande si ce type de sécurité prouvable existe pour les cryptosystèmes à clé secrète, tels que AES. Sinon, quelle est la preuve qu'il est...
Que sait-on de la classe des langages reconnus par les automates finis ayant le même état initial et acceptant? Il s'agit d'un sous-ensemble approprié des langues régulières (puisque chaque langue de ce type contient la chaîne vide), mais à quel point est-elle faible? Existe-t-il une...
Soit une matrice A avec des entrées rationnelles. Quelle est la complexité de vérifier que A est diagonalisable?n × nn×nn\times nUNEUNEAUNEUNEA Je soupçonne que cela peut être fait en P, mais je ne connais aucune référence. Cependant, une question plus intéressante est: existe-t-il une meilleure...
ppp≤d≤d\le dbias(p)≜|Prx∈{0,1}n(p(x)=0)−Prx∈{0,1}n(p(x)=1)|>ϵbias(p)≜|Prx∈{0,1}n(p(x)=0)−Prx∈{0,1}n(p(x)=1)|>ϵbias(p) \triangleq |\Pr_{x\in\{0,1\}^n}(p(x)=0)-\Pr_{x\in\{0,1\}^n}(p(x)=1)| \gt \epsilon * Lorsque j'écris un polynôme aléatoire avec des variables de degré et n, vous pouvez penser...
J'ai un problème algébrique lié aux vecteurs dans le domaine GF (2). Soit (0,1) de dimension et . Trouver un algorithme polynomial temporel qui trouve un (0,1) -vecteur de la même dimension tel que n'est pas la somme des vecteurs parmi . L'addition de vecteurs se fait sur le champ GF (2), qui a...
Soit un carré matrice réelle A et deux vecteurs x et b de longueur n , tels que A x = b . La résolution de x par élimination gaussienne standard donne une complexité globale de presque O ( n 3 ) . Cependant, il y a des cas où la résolution (ou ε résolution -environ) pour x Coûts O ( n log ρ n ) ,...
Est-il difficile de trouver la solution la plus simple à un système d'équations linéaires? Plus formellement, considérons le problème de décision suivant: Instance: Un système d'équations linéaires avec des coefficients entiers et un nombre ccc . Question: Existe-t-il une solution au système avec...
Je cherchais sur la multiplication matricielle, donc j'ai d'abord visité les algorithmes de multiplication matricielle wiki , dans les références, j'ai trouvé un article qui prétend utiliser l' algorithme O ( n2l o g( n ) )O(n2log(n))O(n^2 log(n)) , je vais lire l'article mais c'est compliqué et...
Mon expérience est en théorie / logique de la complexité (où il n'y a qu'un seul processus la plupart du temps), et en informatique distribuée (où il y a processus, et un ou plusieurs peuvent échouer au fil du temps). Cependant, je veux maintenant pouvoir dire quelque chose à propos d'un processus...
Nous savons par exemple de Koutis-Miller-Peng (basé sur les travaux de Spielman & Teng), que nous pouvons résoudre très rapidement des systèmes linéaires pour les matrices qui sont la matrice de graphes laplaciens pour certains graphes clairsemés avec des poids de bord non négatifs .Ax=bAx=bA x...
Je recherche une liste sur la complexité connue ou inconnue de divers problèmes théoriques / algébriques des nombres. Par exemple, GCD dans est ouvert,NC1NC1NC^1 l'affacturage en est ouvert,PPP le calcul de la cohomologie des faisceaux est -hard# P#P\#P , Arora et Barak indique qu'une variante de...
Supposons que nous voulons multiplier matrices. L'algorithme de multiplication à matrice lente s'exécute dans le temps et utilise la mémoire . La multiplication matricielle la plus rapide s'exécute dans le temps , où est la constante d'algèbre linéaire, mais que sait-on de sa complexité en...
Soit une matrice ( ) réelle avec la propriété que toute collection de colonnes est de rang complet.k ≤ n A kk × nk×nk\times nk ≤ nk≤nk\le nUNEUNE{\bf A}kkk Q: Existe - t-il un moyen efficace de trouver de manière déterministe un vecteur tel que la matrice augmentée conserve la même propriété que :...
Sur cs.stackexchange, j'ai posé des questions sur la bibliothèque d' algebird scala sur github, spéculant sur les raisons pour lesquelles ils pourraient avoir besoin d'un paquet d'algèbre abstrait. La page github contient quelques indices: Implémentations de Monoids pour des algorithmes...
EDIT (Par Tara B): Je serais toujours intéressé par une référence à une preuve de cela, car je devais le prouver moi-même pour mon propre papier. Je cherche la preuve du Théorème 4 qui apparaît dans cet article: Une hiérarchie infinie d'intersections de langues sans contexte par Liu et Weiner....
En général, décider si une équation diophantienne a des solutions entières équivaut au problème d'arrêt. Je crois que décider si une équation diophantienne quadratique a une solution est NP-complet. Existe-t-il une restriction supplémentaire sur les équations impliquées qui génère un problème de...