Diberikan dan , apakah mungkin untuk mendapatkan bit ke - (atau digit dari basis kecil apa pun) daridalam waktu / ruang , di mana adalah beberapa fungsi polinomial dalam dan ?NNNMMMMMMN!N!N!O(p(ln(N),ln(M)))O(p(ln(N),ln(M)))O( p( ln(N), ln(M) ) )p(x,y)p(x,y)p(x, y)xxxyyy yaitu Diberikan , (dengan...
Pertanyaan saya agak umum, jadi saya mengarang cerita yang bagus untuk membenarkannya. Bersabarlah jika tidak realistis ;-) Cerita Tn. X, kepala departemen keamanan komputer di sebuah perusahaan besar, agak paranoid: ia mengharuskan semua karyawan mengganti kata sandi sekali sebulan, untuk...
Pertanyaan ini mungkin memiliki jawaban yang jelas ... tetapi inilah pertanyaannya. Secara intuitif, ini adalah pernyataan masuk akal berikut - "mesin dengan subrutin A yang pada gilirannya memiliki subrutin B sama dengan mesin dengan subrutin A yang memiliki akses ke subrutin B". Untuk...
Pertimbangkan grafik dengan simpul dan tepi m . Verteks diberi label dengan variabel nyata x i , di mana x 1 = 0 adalah tetap. Setiap tepi mewakili "pengukuran": untuk tepi ( u , v ) , saya mendapatkan pengukuran z ≈ x u - x v . Lebih tepatnya, z adalah jumlah yang benar-benar acak dalam ( x u - x...
Apakah ada yang tahu referensi bagus untuk arti simulabilitas garis lurus? Saat ini saya jauh ke dalam kerangka kerja Universal Composability (UC) dari Canetti, tetapi saya tidak dapat menemukan referensi yang baik untuk arti simulabilitas garis lurus. Bantuan apa pun
Data dunia nyata kadang-kadang memiliki jumlah kluster alami (mencoba mengelompokkannya ke dalam jumlah klaster yang lebih rendah daripada beberapa k ajaib akan menyebabkan peningkatan dramatis pada biaya pengelompokan). Hari ini saya menghadiri kuliah oleh Dr. Adam Meyerson dan dia menyebut jenis...
Pernahkah ada penelitian untuk menentukan apakah kecerdasan manusia dapat mengungguli algoritma (yaitu menguji apakah Teorema No Free Lunch berlaku untuk kecerdasan manusia)? Sejalan dengan itu, adakah yang mengembangkan metode teknis untuk memanfaatkan setiap sifat unik dan supra-komputasional...
Asumsikan NP = co-NP dan polinomial membatasi panjang bukti ketidakpuasan untuk instance 3-CNF . Lalu apakah ada hasil pada bentuk apa bukti tidak memuaskan untuk panjang dapat mengambil? Yaitu secara umum, akankah bukti semacam itu harus, misalnya, menggunakan kekuatan penuh dari logika orde dua...
Berikut ini mungkin tampak bodoh (dan itu mungkin mencerminkan pemahaman saya yang buruk - jadi tolong tahan dengan saya) Saya punya pertanyaan tentang teorema PCP. Kita tahu bahwa setelah tiga langkah pertama yaitu. Pengurangan Gelar, Ekspanderisasi dan Penguatan Gap, kami memiliki grafik kendala...
Saya telah belajar tentang bukti interaktif akhir-akhir ini dan saya bertanya-tanya apakah semuanya itu tidak lebih dari rasa ingin tahu teoretis, atau apakah itu memiliki aplikasi praktis. Saya pikir saya akan memulai dengan sebuah contoh yang terpikir oleh saya di kamar mandi: Belakangan ini...
Maaf jika saya salah dengan tempat untuk mengajukan pertanyaan (mungkin saya harus pergi ke stackoverflow.com/mathoverflow.net?). Saya ingin tahu apakah ada bukti bahwa ketika mengevaluasi algoritma Euclidean yang diperluas, koefisien Bézout (yaitu s dan t dalam identitas sebagai + bt = gcd ( a ,...
Ini adalah kelanjutan dari pertanyaan saya sebelumnya tentang komunikasi batas bawah untuk fungsi boolean parsial . Dapatkah seseorang menyarankan referensi tentang batas bawah untuk komunikasi multi pihak non-deterministik? Saya telah mensurvei makalah di lapangan, tetapi semua orang tampaknya...
Gim dua babak proverver (2P1R) adalah alat yang penting untuk kekerasan perkiraan. Secara khusus, pengulangan paralel game dua putaran satu-prover memberikan cara untuk meningkatkan ukuran celah dalam versi keputusan dari masalah perkiraan. Lihat ceramah survei Ran Raz di CCC 2010 untuk ikhtisar...
Dalam kompleksitas parametrized orang menggunakan reduksi fixed-parameter-tractable (FPT) untuk membuktikan W [t] -kekerasan. Secara teoritis pengurangan FPT bukan pengurangan waktu polinomial, karena dapat dijalankan secara eksponensial pada parameter k. Tetapi dalam praktiknya semua pengurangan...
Saya sedang membaca makalah berjudul Random Oracles with (out) Programmability . Paragraf terakhir dari bagian 2.3 berbunyi: [Menggunakan pendekatan baru kami] tidak perlu menerapkan teknik derandomisasi asimtotik (dan seragam) klasik yang terkenal berdasarkan lemma Borel-Cantelli . Sejauh...
Karena 2 masalah NP-lengkap secara definisi dapat direduksi satu sama lain, sehingga solusi untuk salah satunya dapat diperoleh dengan menggunakan kotak hitam untuk menyelesaikan yang lain, mengapa mereka tidak memiliki rasio pendekatan yang sama (merujuk pada mitra pengoptimalannya) )? Saya kira...
Misalkan menjadi grafik berarah asiklik, sedemikian sehingga derajat dari titik mana pun adalah . Untuk setiap simpul kita dapat menghitung jumlah simpul yang bisa dijangkau, hanya dengan menjalankan dfs dari setiap simpul dan ini akan membutuhkan waktu . Apakah ada cara yang lebih baik untuk...
Apa kendala untuk membuat pemecah SAT kompetitif dengan algoritma grafik khusus? Dengan kata lain, apakah layak untuk mengharapkan pemecah SAT yang dapat menggantikan peran perancang algoritma - yaitu, dapat secara otomatis mengenali struktur masalah dan kemudian menyelesaikannya secepat algoritma...
Apakah ada kelas algoritma hash, apakah teoretis atau praktis, sehingga suatu algoritma di kelas dapat dianggap 'refleksif' sesuai dengan definisi yang diberikan di bawah ini: hash1 = algo1 ("input teks 1") hash1 = algo1 ("input teks 1" + hash1) Operator + mungkin merupakan gabungan atau...
Angluin dan Laird ('88) memformalkan pembelajaran dengan data yang rusak secara acak dalam model "PAC dengan noise klasifikasi acak" (atau PAC berisik). Model ini mirip dengan pembelajaran PAC , kecuali untuk label contoh yang diberikan kepada pelajar rusak (terbalik), secara independen secara...