Pertanyaan yang diberi tag «algebraic-complexity»

1
automorfisme dalam gadget Cai-Furer-Immerman
Dalam contoh tandingan terkenal untuk isomorfisme grafik melalui metode Weisfeiler-Lehman (WL), gadget berikut ini dibuat dalam makalah ini oleh Cai, Furer dan Immerman. Mereka membangun sebuah grafik diberikan olehXk=(Vk,Ek)Xk=(Vk,Ek)X_k = (V_k, E_k) Vk=Ak∪Bk∪Mk where Ak={ai∣1≤i≤k},Bk={bi∣1≤i≤k}, and Mk={mS∣S⊆ { 1 ,2,…,k}, |S| is even}Ek={(mS,ai)∣i∈S}∪{(mS,bi)∣i∉S}Vk=Ak∪Bk∪Mk where Ak={ai∣1≤i≤k},Bk={bi∣1≤i≤k}, and Mk={mS∣S⊆{1,2,…,k}, |S| is even}Ek={(mS,ai)∣i∈S}∪{(mS,bi)∣i∉S}V_k …
1
Polinomial eksplisit dalam 1 variabel dengan kompleksitas sirkuit superlogaritmik batas bawah?
Dengan menghitung argumen, orang dapat menunjukkan bahwa ada polinomial derajat n dalam 1 variabel (yaitu, sesuatu dari bentuk yang memiliki kompleksitas rangkaian n. Juga, seseorang dapat menunjukkan bahwa polinomial seperti x n memerlukan setidaknya log 2 n perkalian (Anda perlu itu hanya untuk mendapatkan gelar cukup tinggi). Apakah ada contoh …
2
Kompleksitas garis lurus monomial
Biarkan menjadi bidang. Seperti biasa, untuk sebuah kita mendefinisikan sebagai kompleksitas garis lurus dari atas . Misalkan adalah himpunan monomial dari , yaitu monomial yang muncul dalam dengan koefisien tidak nol.kkkL ( f ) f k F f ff∈k[x1,x2,…,xn]f∈k[x1,x2,…,xn]f\in k[x_{1},x_{2},\ldots,x_{n}]L(f)L(f)L(f)fffkkkFFFffffff Benarkah ?∀m∈F:L(m)≤L(f)∀m∈F:L(m)≤L(f) \forall m\in F:L(m)\le L(f) Bahkan beberapa batas atas …
2
Penentu dan Multiplikasi Matriks - Kesamaan dan perbedaan dalam kompleksitas algoritmik dan ukuran sirkuit aritmatika
Saya mencoba untuk memahami hubungan antara kompleksitas algoritmik dan kompleksitas rangkaian Determinants dan Matrix Multiplication. Hal ini diketahui bahwa determinan dari suatu matriks dapat dihitung dalam ~ O ( M ( n ) ) waktu, di mana M ( n ) adalah waktu minimum yang diperlukan untuk memperbanyak dua n …
2
Implikasi dari varian Hipotesis Riemann dalam TCS
Riemann Hypothesis berusia lebih dari 1½ abad memiliki implikasi yang mendalam dalam matematika dan bangunan besar teori matematika sekarang terbukti secara kondisional dan banyak varian. Baru-baru ini saya menemukan referensi untuk hasil bersyarat di TCS berdasarkan pada hipotesis Riemann. Karena itu saya bertanya-tanya, apa implikasi utama hipotesis Riemann dalam TCS? …
2
Penentu matriks Vandermonde umum
Matriks Moore mirip dengan matriks Vandermonde tetapi memiliki definisi yang sedikit dimodifikasi. http://en.wikipedia.org/wiki/Moore_matrix Apa kompleksitas komputasi determinan dari yang diberikan n×nn×nn \times n rank penuh Moore matriks modulo suatu bilangan bulat? Can Moore penentu dikurangi dari O(n3)O(n3)O(n^{3}) menggunakan teknik FFT ke O(nlogan)O(nloga⁡n)O(n\log^{a}n) untuk beberapa a∈R+∪{0}a∈R+∪{0}a \in \mathbb{R}_{+} \cup \{0\} ? …
2
Batas bawah untuk masalah kepuasan linear
Dalam SODA 1995 , Jeff Erickson menunjukkan batas yang lebih rendah untuk kepuasan linear (memeriksa apakah beberapa subset dari bilangan real memenuhi persamaan linear pada variabel r ). Metode pembuktian menggunakan infinitesimal dan prinsip transfer Tarski .rrrnnnrrr Bisakah seseorang menjelaskan intuisi di balik rute yang diambil untuk membuktikan ikatan ini? …
1
Memeriksa apakah faktor polinomial menjadi faktor linier
Biarkan f∈Q[x1,x2,…,xn]f∈Q[x1,x2,…,xn]f\in\mathbb{Q}[x_{1},x_{2},\ldots,x_{n}] menjadi polinomial yang diberikan oleh sirkuit aritmatika CCC ukuran . Diberikan sebagai input, apakah ada algoritma deterministik untuk memeriksa apakah semua faktor irreducible dari di adalah bentuk linear? Pada catatan terkait, diberikan bentuk linier , dapatkah kita memeriksa secara deterministik apakah merupakan faktor dariC f Q [ x …
2
Pembatalan dan penentu
Algoritma Berkowitz menyediakan sirkuit ukuran polinomial dengan kedalaman logaritmik untuk penentu matriks kuadrat menggunakan kekuatan matriks. Algoritma secara implisit menggunakan pembatalan. Apakah pembatalan penting untuk mencapai sirkuit ukuran polinomial dengan kedalaman logaritmik atau linier untuk menghitung determinan (dan kemungkinan sirkuit terbaik untuk permanen)? Apakah ada batas penuh eksponensial (bukan hanya …
3
Temukan sisa polinomial tetap besar ketika dibagi dengan polinomial kecil yang tidak diketahui
Asumsikan kita beroperasi di bidang yang terbatas. Kami diberi p polinomial tetap besar (x) (dari, katakanlah, derajat 1000) di atas bidang ini. Polinomial ini diketahui sebelumnya dan kami diizinkan untuk melakukan perhitungan menggunakan banyak sumber daya dalam "tahap awal." Hasil ini dapat disimpan dalam tabel pencarian yang cukup kecil. Pada …
1
Permanen dari
AAA3×33×33 \times 34×44×44 \times 4aijaija_{ij}BBBB per ( A ) = det ( B )per(A)=det(B)per⁡(A)=det(B)\operatorname{per}(A) = \det(B)BBBper(A)=det(B)per⁡(A)=det(B)\operatorname{per}(A) = \det(B) Beberapa batasan dapat berupa kasus-kasus berikut: Kasus (1)(1)(1) Hanya linear functionals diperbolehkan sebagai entri BBB . Kasus (2)(2)(2) Fungsional non-linier diizinkan asalkan setiap istilah memiliki tingkat paling tinggi O(log(n))O(log(n))O(log(n)) (derajat adalah jumlah …
1
Apakah peringkat tensor ada di VNP?
Apakah diketahui jika tensor rank tiga dimensi tensor terletak pada VNP (non-deterministic class valiant)? Jika ya, apa yang diketahui tentang peringkat tensor dimensi tinggi? Sebenarnya saya tertarik pada masalah yang jauh lebih sederhana. Saya ingin tahu apakah seseorang dapat membangun polinomial non-nol kelas yang terletak di VNP, dalam n 3 …
1
Hasil kondisional menyiratkan kesulitan meningkatkan batas atas / bawah untuk permanen
Biarkan menjadi matriks persegi yang diberikan. Apakah ada bukti bahwa mengalahkan batas bawah kuadratik untuk B sehingga det ( B ) = per ( A ) bisa sulit?AAABBBdet(B)=per(A)det(B)=per(A)\text{det}(B) = \text{per}(A) Adakah dugaan masuk akal yang menyiratkan bahwa membuktikan batas bawah itu sulit? Adakah bukti yang membuktikan bahwa baris (atau kolom) …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.