Kadang-kadang diklaim bahwa Teori Kompleksitas Geometri Ketan Mulmuley adalah satu-satunya program yang masuk akal untuk menyelesaikan pertanyaan terbuka teori kompleksitas seperti pertanyaan P vs NP. Ada beberapa komentar positif dari ahli teori kompleksitas terkenal tentang program ini. Menurut...
Sejauh yang saya mengerti, upaya Program teori kompleksitas geometri untuk memisahkan dengan membuktikan bahwa permament dari matriks bernilai kompleks adalah jauh lebih sulit untuk menghitung dari determinan.VP≠VNPVP≠VNPVP \neq VNP Pertanyaan yang saya miliki setelah membaca sekilas tentang GCT...
Secara umum kita tahu bahwa kompleksitas pengujian apakah suatu fungsi mengambil nilai tertentu pada input yang diberikan lebih mudah daripada mengevaluasi fungsi pada input tersebut. Sebagai contoh: Mengevaluasi permanen dari matriks integer nonnegatif adalah # P-hard, namun mengatakan apakah...
Biarkan menjadi bilangan bulat positif tetap ukuran bit.AAAnnn Satu diizinkan untuk pra-proses integer ini sebagaimana mestinya. Diberikan bilangan bulat positif dari ukuran bit, apa kompleksitas dari perkalian ?BBBmmmABABAB Catatan kita sudah memiliki algoritma . Pertanyaannya di sini adalah...
Baru-baru ini saya telah melihat beberapa artikel tentang arxiv yang merujuk pada sistem bukti yang disebut sum-of-square. Dapatkah seseorang menjelaskan apa yang merupakan bukti jumlah kotak dan mengapa bukti semacam itu penting / menarik? Bagaimana mereka terkait dengan sistem bukti aljabar...
Kategori teori dan aljabar abstrak berhubungan dengan cara fungsi dapat dikombinasikan dengan fungsi lainnya. Teori kompleksitas berkaitan dengan seberapa sulit suatu fungsi dikomputasi. Aneh bagi saya bahwa saya belum pernah melihat orang yang menggabungkan bidang studi ini, karena mereka tampak...
Saat membaca makalah tentang menggunakan metode aljabar untuk mendeteksi beberapa subgraf yang diinduksi, tampak bahwa edge ideal adalah alat penting yang menghubungkan teori aljabar dan grafik komutatif. Karena saya tidak terbiasa dengan perhitungan objek aljabar, apakah ada referensi atau buku...
Pertanyaan ini dapat ditanyakan dalam kerangka kompleksitas sirkuit dari sirkuit Boolean, atau dalam kerangka teori kompleksitas aljabar, atau mungkin dalam banyak pengaturan lainnya. Mudah untuk menunjukkan, dengan menghitung argumen, bahwa ada fungsi Boolean pada input N yang membutuhkan banyak...
Banyak cryptosystem kunci publik memiliki beberapa jenis keamanan yang dapat dibuktikan. Sebagai contoh, cryptosystem Rabin terbukti sekeras pemfaktoran. Saya bertanya-tanya apakah jenis keamanan yang terbukti seperti itu ada untuk cryptosystem kunci-rahasia, seperti AES. Jika tidak, apa bukti...
Saya ingin belajar tentang algoritma aljabar dan kompleksitas. Secara khusus, saya tertarik pada PIT. Apakah ada satu set catatan kuliah, buku, makalah dan survei untuk siswa yang telah membaca buku teks standar tentang teori seperti buku Sipser atau buku teks kompleksitas Arora-Barak. Rangkaian...
Seperti dalam hal ini pertanyaan, saya tertarik dengan B P PBPP\mathbf{BPP} vs / masalah untuk tropis dan sirkuit. Pertanyaan ini mengurangi untuk menunjukkan batas atas untuk dimensi VC polinomial di atas semir tropis (lihat Teorema 2 di bawah). P\mathbf{P}poly\mathrm{poly} ( maks , + )...
Rumus terkecil yang diketahui untuk determinan memiliki ukuran menurut cerita rakyat (atau Ran Raz dalam makalahnya Formula Multi-Linier untuk Permanen dan Penentu memiliki Ukuran Super-Polinomial ).nO (logn )nHAI(catatann)n^{\mathcal O(\log n)} Apakah Anda punya referensi untuk ini? Secara...
Eliminasi gaussian menentukan determinan matrik polinomial-waktu. Pengurangan kompleksitas dalam menghitung determinan, yang merupakan penjumlahan dari istilah eksponensial, adalah karena adanya tanda-tanda negatif alternatif (kurangnya yang membuat komputasi permanen adalah mis. Lebih sulit...
Dalam makalah seminal mereka, algoritma Group-theoretic untuk perkalian matriks , Cohn, Kleinberg, Szegedy dan Umans memperkenalkan konsep puzzle yang dapat dipecahkan secara unik (didefinisikan di bawah) dan kapasitas USP. Mereka mengklaim bahwa Coppersmith dan Winograd, di sendiri kertas...
Salah satu masalah utama dalam TCS adalah masalah mengekspresikan permanen sebagai penentu. Saya sedang membaca makalah Agrawal Determinant Versus Permanent dan dalam satu paragraf dia mengklaim masalah sebaliknya itu mudah. Sangat mudah untuk melihat bahwa determinan matriks dapat dinyatakan...
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,
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...
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...
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...
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...