«linear-algebra» etiketlenmiş sorular

Soru. Makalelerinde dengeleyici devrelerinin Geliştirilmiş simülasyon , Aaronson ve Gottesman, istem bir CNOT devresi simüle olduğu ⊕L (logspace indirimleri altında) -tamamlamak. ⊕L'de bulunduğu açıktır ; sertlik sonucu nasıl tutulur? Eşdeğer olarak: yinelenen matris ürünleri modulo 2'den, temel matrislerin (satır dönüşümlerini gerçekleştiren ters çevrilebilir matrisler) mod 2 yinelenen ürünlerine bir günlük …

14 cc.complexity-theory  counting-complexity  linear-algebra  logspace 

GF alanındaki vektörlerle ilgili cebirsel bir problemim var (2). Let boyutunun -vectors olabilir (0,1) , n , ve m, = N O ( 1 ) . Bulan bir polinom zaman algoritması bul (0,1) -vector u aynı boyutta olacağı şekilde U herhangi bir toplamı değildir ( log n ) O ( …

13 ds.algorithms  linear-algebra 

Kare olsun gerçek matris bir ve iki vektör x ve b uzunluğu n , öyle ki bir x = b . İçin çözme x standart Gauss Önlenmesi şekilde, hemen hemen bir agrega karmaşıklığı verir O ( n, 3 ) . Bununla birlikte, x için çözmenin (veya ϵ -yaklaşık çözmenin) O …

13 cc.complexity-theory  linear-algebra  matrices 

Matrix çarpımı hakkında araştırma yapıyordum, bu yüzden ilk önce wiki matris çarpma algoritmalarını ziyaret ettim , Referanslarda algoritmasınıO(n2log(n))O(n2log(n))O(n^2 log(n)) kullanan bir kağıt buldum , makaleyi okuyacağım ama karmaşık ve okumak çok zaman alır, ancak bu makaleyi okuyan veya bu algoritmayı bilen biri varsa, Bu doğru mu? ve bunu biraz tanımlamak …

13 ds.algorithms  linear-algebra  matrix-product 

Lineer denklemler sistemine en açık çözümü bulmak ne kadar zor? Daha resmi olarak, aşağıdaki karar sorununu göz önünde bulundurun: Örnek: Tamsayı katsayıları ve bir sayı ile doğrusal denklemler sistemi .ccc Soru: Sisteme en az değişkeninin sıfıra atanmış bir çözümü var mı ?ccc Ayrıca bağımlılığın ne olduğunu belirlemeye çalışıyorum . Yani, …

13 np-hardness  linear-algebra  linear-programming  matrices  sparse-matrix 

Rasyonel girişleri olan bir matrisi . köşegenleştirilebilir olduğunu kontrol etmenin karmaşıklığı nedir ?n×nn×nn\times nAAAAAA Bunun P'de yapılabileceğinden şüpheleniyorum, ancak herhangi bir referans bilmiyorum. Bununla birlikte, daha ilginç bir soru, bu sorunu yakalamak için daha iyi bir karmaşıklık sınıfı var mı? Herhangi bir rehberlik / yorum açığız! Teşekkürler.

13 cc.complexity-theory  linear-algebra  matrices 

Farzedelim ki n×nn×nn \times n matrisleri çarpmak istiyoruz . Yavaş matris çarpma algoritması zamanında çalışır ve belleği kullanır. En hızlı matris çarpımı zamanında çalışır , burada doğrusal cebir sabiti, ancak bellek karmaşıklığı hakkında bilinenler nelerdir?O ( n 2 ) n ω + o ( 1 ) ωO(n3)O(n3)O(n^3)O(n2)O(n2)O(n^2)nω+o(1)nω+o(1)n^{\omega + o(1)}ωω\omega Hızlı …

12 ds.algorithms  linear-algebra 

Biz tanıdığımız örneğin Koutis-Miller-Peng (Spielman ve Teng çalışmalarına dayanan), çok hızlı bir şekilde lineer sistemleri çözebilir Ax=bAx=bA x = b matrisler için AAA negatif olmayan kenar ağırlıkları ile bir seyrek grafik için grafik Laplace matristir . Şimdi (ilk soru), bu grafik Laplacian matrisleri birini AAAsıfır-ortalama çok değişkenli normal dağılım N(0,A)N(0,A)\mathcal{N}(\boldsymbol{0}, …

12 ds.algorithms  graph-theory  linear-algebra  pr.probability  spectral-graph-theory 

Genel olarak bir diophantine denkleminin tamsayı çözümü olup olmadığına karar vermek durma problemine eşdeğerdir. Bir kuadratik diofantin denkleminin herhangi bir çözümü olup olmadığına karar vermenin NP-tam olduğuna inanıyorum. P-tam problemi veren ilgili denklemler üzerinde başka bir kısıtlama var mı?

11 cc.complexity-theory  linear-algebra  polynomials 

Ben nnn ikili vektörler S={s1,…,sn}⊆{0,1}k∖{1k}S={s1,…,sn}⊆{0,1}k∖{1k}S = \{s_1, \ldots, s_n \} \subseteq \{0,1\}^k \setminus \{1^k\} ve hepsi vektör olan bir hedef vektör t=1kt=1kt = 1^k var. Varsayım: Eğer elemanlarının lineer bir kombinasyonu olarak yazılabilir S fazla Z / q Z için tüm ana güç q , o t lineer bir kombinasyonu …

11 reference-request  linear-algebra  finite-fields 

Açık cs.stackexchange İstediğim algebird onlar soyut cebir paketi gerekebilir neden spekülasyon, github scala kütüphanesine. Github sayfasının bazı ipuçları var: Bloom filtresi, HyperLogLog ve CountMinSketch gibi ilginç yaklaşım algoritmaları için Monoid uygulamaları. Bunlar, sayıları yapabileceğiniz gibi bu karmaşık işlemleri düşünmenizi ve güçlü istatistikler ve analizler oluşturmak için bunları hadoop veya çevrimiçi …

11 soft-question  machine-learning  linear-algebra  db.databases 

Herhangi bir k sütunu koleksiyonunun tam sıralama olması özelliğine sahip gerçek bir k × nkxnk\times n ( k ≤ nk≤nk\le n ) matrisine izin verin .birbir{\bf A}kkk S: deterministik bir vektör bulmak için etkili bir yol var birbir{\bf a} şekilde arttırılmış matris A ilebir'= [ Aa ]bir'=[birbir]{\bf A}' = [{\bf …

11 ds.algorithms  linear-algebra  matrices  coding-theory 

(Tara B Göre) DÜZENLEME: Hala ilgi duyarım referans başıma kağıt için kendim kanıtlamak zorunda gibi bu bir kanıtı için. Bu yazıda yer alan Teorem 4'ün kanıtını arıyorum: Liu ve Weiner tarafından Bağlamdan Bağımsız Dillerin Kesişme Hiyerarşisi . Teoremi 4: Bir boyutlu afin manifoldu boyutuna sahip olup, bunların her biri afin …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

Let AAA sonlu alan üzerinde bir matris F2={0,1}F2={0,1}\mathbb{F}_2 = \{0,1\} ve xxx , yyy alan vektörleri olduğu Fn2F2n\mathbb{F}_2^n . olup olmadığına karar vermenin hesaplama karmaşıklığıyla ilgileniyorum, t∈Nt∈Nt \in \mathbb{N}öyle ki Atx=yAtx=yA^t x = y , yani sonlu alanlar üzerinden doğrusal dinamik sistemler için ulaşılabilirlik probleminde. Sorun olduğu açıktır NPNP\mathbf{NP} (tahmin …

10 cc.complexity-theory  reference-request  linear-algebra 

İletişim karmaşıklığında, log-rank varsayımı, c c ( M) = ( günlükr k ( E) )O ( 1 )cc(M)=(log⁡rk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Burada iletişim karmaşıklığıdır ve sıralamasıdır reals fazla (bir matris olarak).M ( x , y ) r k ( M ) Mc c ( M)cc(M)cc(M)M( x , y)M(x,y)M(x,y)r k ( …

10 cc.complexity-theory  big-picture  linear-algebra  open-problem  communication-complexity