Pertanyaan yang diberi tag «gct»

Dapatkah seseorang memberikan penjelasan singkat tentang pendekatan GCT Mulmuley yang dapat dimengerti oleh non-pakar? Penjelasan yang cocok untuk halaman Wikipedia tentang topik tersebut (yang saat ini belum selesai). Motivasi: Saya "membaca bersama" buku Scott Aaronson Quantum Computing sejak Democritus dengan seorang teman saya yang adalah seorang peneliti dalam teori string. …

43 cc.complexity-theory  gct 

Tampaknya Teori Kompleksitas Geometrik membutuhkan banyak pengetahuan tentang matematika murni seperti geometri aljabar, teori representasi. Walaupun saya seorang siswa CS dan TIDAK memiliki kelas matematika yang sangat abstrak dan murni, saya tertarik dengan program ini. Apakah ada daftar "pengetahuan minimum" untuk mempelajari teori ini? Daftar ini mencakup catatan kuliah departemen …

38 reference-request  big-list  survey  gct 

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 Mulmuley akan butuh waktu lama untuk mencapai hasil yang diinginkan. Memasuki daerah …

38 cc.complexity-theory  big-picture  algebraic-complexity  p-vs-np  gct 

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 Papers: Apakah ini segera menyiratkan , atau apakah itu hanya langkah besar …

37 cc.complexity-theory  complexity-classes  algebraic-complexity  conditional-results  gct 

Dalam posting tamu ini oleh Josh Grochow di weblog kompleksitas dia melaporkan pada lokakarya baru-baru ini yang didedikasikan untuk GCT yang diadakan di Princeton pada bulan Juli. Beberapa peserta berpendapat bahwa kita harus menggunakan GCT untuk menyerang masalah yang lebih mudah daripada vs. NPP\mathsf{P} untuk membangun intuisi dan melihat apakah …

31 cc.complexity-theory  gct 

Baru-baru ini, Ryan Willams membuktikan bahwa Konstruktivitas dalam Bukti Alami tidak dapat dihindari untuk memperoleh pemisahan kelas kompleksitas: dan T C 0 . NEXPNEXP\mathsf{NEXP}TC0TC0\mathsf{TC}^{0} Constructivity di Bukti Alam adalah suatu kondisi bahwa semua bukti kombinatorial di memenuhi kompleksitas rangkaian dan bahwa kita dapat memutuskan apakah fungsi target di (atau yang …

25 cc.complexity-theory  complexity-classes  circuit-complexity  gct  barriers 

Saya ingin tahu makalah apa yang harus saya baca untuk memahami pertanyaan ini Koneksi tak terduga ke bidang matematika lain seperti geometri aljabar atau kohomologi yang lebih tinggi. Mungkin bahkan bidang matematika belum berkembang. Mungkin seseorang akan mengembangkan arah yang sama sekali baru untuk matematika untuk menangani pertanyaan P versus …

22 cc.complexity-theory  reference-request  gct  algebraic-topology 

Ungkapan tepat dari judul adalah karena Anand Kulkarni (yang mengusulkan situs ini dibuat). Pertanyaan ini diajukan sebagai contoh pertanyaan, tetapi saya sangat ingin tahu. Saya tahu sedikit tentang geometri aljabar, dan pada kenyataannya juga hanya memiliki sepintas, pemahaman sarjana tentang hambatan yang dimainkan dalam pertanyaan P / poly versus NP …

22 cc.complexity-theory  np-hardness  lower-bounds  gct  barriers 

Kompleksitas rangkaian bounded depth adalah salah satu bidang penelitian utama dalam teori kompleksitas sirkuit. Topik ini memiliki asal dalam hasil seperti "fungsi paritas tidak dalam " dan "fungsi mod tidak dihitung oleh ", di mana adalah kelas bahasa yang dapat ditentukan oleh non-seragam, kedalaman konstan, ukuran polinomial, kipas-dalam tanpa batas …

17 cc.complexity-theory  circuit-complexity  lower-bounds  dc.parallel-comp  gct 

Pertanyaan saya adalah tentang teorema 4.1 dan 4.2 dalam "Teori Kompleksitas Geometris V" . Teorema pertama menyatakan bahwa ada algoritma EXPSPACE untuk membangun hsop untuk (lihat definisi dalam makalah) pada (pada bidang aljabar tertutup yang tertutup dari karakteristik nol ).Δ[det,m]Δ[det,m]\Delta[\text{det},m]CC\mathbb{C} Yang kedua menyediakan algoritma Monte-Carlo poli-waktu probabilistik untuk masalah yang …

9 gct 

Konteks: Seperti yang saya pahami, dalam teori kompleksitas geometris, keberadaan penghalang berfungsi sebagai sertifikat bukti, sehingga dapat dikatakan, untuk tidak adanya sirkuit komputasi yang efisien untuk fungsi keras eksplisit dalam masalah batas bawah yang sedang dipertimbangkan. Sekarang ada beberapa asumsi lain untuk penghalang bahwa mereka harus pendek, mudah diverifikasi dan …

8 application-of-theory  proof-complexity  gct