Dalam jawaban untuk pertanyaan sebelumnya , saya menyebutkan kepercayaan umum tetapi salah bahwa eliminasi "Gaussian" berjalan dalam waktu . Meskipun jelas bahwa algoritma ini menggunakan operasi aritmatika , implementasi ceroboh dapat membuat angka dengan banyak bit secara eksponensial. Sebagai...
Saya seorang praktisi perangkat lunak dan saya sedang menulis survei tentang struktur aljabar untuk penelitian pribadi dan saya sedang mencoba untuk menghasilkan contoh bagaimana struktur ini digunakan dalam ilmu komputer teoretis (dan pada tingkat yang lebih rendah, sub-bidang ilmu komputer...
Secara luas diduga bahwa , eksponen optimal untuk perkalian matriks, sebenarnya sama dengan 2. Pertanyaan saya sederhana:ωω\omega Apa alasan yang kita miliki untuk meyakini bahwa ?ω=2ω=2\omega = 2 Saya mengetahui algoritma cepat seperti Coppersmith-Winograd, tapi saya tidak tahu mengapa ini...
Pertanyaan saya sederhana: Apa waktu berjalan terburuk dari algoritma yang paling dikenal untuk menghitung komposisi eigend dari sebuah matriks ?n×nn×nn \times n Apakah eigendecomposition mengurangi perkalian matriks atau apakah algoritma paling dikenal (melalui SVD ) dalam kasus...
Hal ini umumnya percaya bahwa untuk semua ϵ>0ϵ>0\epsilon > 0 , adalah mungkin untuk kalikan dua n×nn×nn \times n matriks di O(n2+ϵ)O(n2+ϵ)O(n^{2 + \epsilon}) waktu. Beberapa diskusi ada di sini . Saya telah bertanya kepada beberapa orang yang lebih akrab dengan penelitian apakah mereka...
Saya memiliki basis aljabar yang sangat kuat, yaitu aljabar komutatif, aljabar homologis, teori medan, teori kategori, dan saya sedang belajar geometri aljabar. Saya seorang jurusan matematika dengan kecenderungan untuk beralih ke ilmu komputer teoretis. Mempertahankan bidang yang disebutkan...
Saya ingin mencari algoritma waktu polinomial yang menentukan apakah rentang set matriks yang diberikan berisi matriks permutasi. Jika ada yang tahu jika masalah ini dari kelas kompleksitas yang berbeda, itu akan sangat membantu. EDIT: Saya telah menandai pertanyaan ini dengan Linear...
Saya hanya mengetahui dua bukti dari lemma Schwartz-Zippel. Bukti pertama (lebih umum) dijelaskan dalam entri wikipedia . Bukti kedua ditemukan oleh Dana Moshkovitz. Apakah ada bukti lain yang menggunakan ide yang sangat berbeda?
Baru-baru ini saya membaca The Two Dualities of Computation: Negative and Fractional Types . Makalah ini memperluas jenis-jenis dan jenis-produk, memberikan semantik untuk jenis a - bdan a/b. Tidak seperti penambahan dan perkalian, tidak ada satu tetapi dua invers dari eksponensial, logaritma, dan...
Diberi oleh matriks biner (entri adalah atau ), masalahnya adalah menentukan apakah ada dua vektor biner sehingga (semua operasi dilakukan dengan ). Apakah ini masalah NP-hard?n M 0 1 v 1 ≠ v 2 M v 1 = M v 2 ZmmmnnnMMM000111v1≠v2v1≠v2v_1 \ne v_2Mv1=Mv2Mv1=Mv2Mv_1 = Mv_2ZZ\mathbb{Z} Jelas dalam NP...
Biarkan menjadi matriks integer persegi, dan misalkannMMMnnn menjadi bilangan bulat positif. Saya tertarik pada kompleksitas masalah keputusan berikut: Apakah entri kanan atas positif?MnMnM^n Perhatikan bahwa pendekatan yang jelas dari iterasi persegi (atau perhitungan eksplisit lainnya)...
Penafian: Saya bukan ahli teori CS. Berasal dari aljabar abstrak, saya terbiasa berurusan dengan hal-hal yang setara dengan isomorfisme - tetapi saya mengalami kesulitan menerjemahkan konsep ini ke struktur data. Saya pertama kali berpikir bahwa set lurus morfisme bijective teoritis akan...
Saya mencari survei yang bagus tentang algoritma dan kompleksitas aljabar linier (operasi seperti pangkat, kebalikan, nilai eigen, ... untuk Boolean, , dan matriks bilangan bulat / rasional) dengan penekanan pada paralel ( hierarki ) dan algoritma polytime. Saya tidak dapat menemukan yang baru....
Matriks disebut benar-benar teratur jika semua submatrians kuadratnya memiliki peringkat penuh. Matriks seperti itu digunakan untuk membangun superkonsentrator. Apa kompleksitas memutuskan apakah matriks yang diberikan benar-benar teratur di atas rasionalitas? Lebih dari bidang yang...
Saya memiliki pendidikan matematika tingkat sarjana yang masuk akal, tetapi tidak pernah 100% nyaman dengan aljabar abstrak (matematika kelompok, cincin, bidang, dll.). Saya pikir ini sebagian karena saya perlu melihat aplikasi dan semua yang saya temukan adalah dalam fisika, bukan CS. Karena minat...
Saya tertarik pada kompleksitas penyelesaian persamaan linear modulo k , untuk arbitrary k (dan dengan minat khusus pada kekuatan utama), khususnya: Masalah. Untuk sistem tertentu mmm linear persamaan di nnn tidak diketahui modulo kkk , jangan terdapat solusi? Dalam abstrak untuk makalah...
Saya mencari makalah survei atau buku yang membahas hasil tentang kompleksitas ruang dari operasi aljabar linear umum seperti peringkat matriks, perhitungan nilai eigen, dll. Saya menekankan bagian "kompleksitas ruang" yang berarti kompleksitas ruang kerja, daripada kompleksitas waktu karena itu...
Saya tertarik pada masalah berikut: diberikan matriks bilangan bulat memutuskan apakah setiap produk tak terbatas dari matriks ini akhirnya sama dengan nol matriks.A1,A2,…,AkA1,A2,…,AkA_1,A_2, \ldots, A_k Ini berarti persis seperti yang Anda pikirkan: kami akan mengatakan serangkaian matriks...
RnRn\mathbb{R}^n⟨⋅,⋅⟩⟨⋅,⋅⟩\langle \cdot, \cdot \ranglemmmv1,v2,…,vmv1,v2,…,vmv_1, v_2, \ldots, v_mx∈Rnx∈Rnx \in \mathbb{R}^nmini⟨x,vi⟩mini⟨x,vi⟩\min_i \langle x, v_i \rangleO(nm)O(nm)O(nm)O ( log 2 m )n=2n=2n = 2O(log2m)O(log2m)O(\log^2 m) Satu-satunya hal yang bisa saya pikirkan adalah sebagai...
Sifat dasar ruang vektor adalah ruang vektor dari dimensi n - d dapat dikarakteristikkan dengan d kendala linear bebas linear - yaitu, terdapat d vektor bebas linear dengan w 1 , … , w d ∈ F n 2 yang ortogonal terhadap V .V⊆Fn2V⊆F2nV \subseteq \mathbb{F}_2^nn−dn−dn-dddddddw1,…,wd∈Fn2w1,…,wd∈F2nw_1,...