Kompleksitas kelas PPAD (misalnya, menghitung berbagai kesetimbangan Nash) dapat didefinisikan sebagai sekumpulan masalah pencarian total yang dapat direduksi menjadi polytime menjadi END OF THE LINE : END OF THE LINE : Sirkuit yang diberikan S dan P dengan n bit input dan n bit output sedemikian...
Referensi-diri dari masalah P / NP kadang-kadang telah disorot sebagai penghalang untuk penyelesaiannya, lihat, misalnya, makalah Scott Aaronson, apakah P vs. NP independen secara formal ? Salah satu dari banyak resolusi yang dapat dipikirkan untuk P / NP akan menjadi sebuah demonstrasi bahwa...
[Catatan: Saya yakin pertanyaan ini sama sekali tidak bergantung pada benar atau tidaknya makalah Deolalikar.] Di blog Scott Aaronson, Shtetl Optimized , dalam diskusi tentang upaya Deolalikar baru-baru ini pada P vs NP, Leonid Gurvits membuat komentar berikut : Saya mencoba memahami /...
Ada literatur besar tentang "pengujian properti" - masalah membuat sejumlah kecil permintaan kotak hitam ke fungsi untuk membedakan antara dua kasus:f:{0,1}n→Rf:{0,1}n→Rf\colon\{0,1\}^n \to R fff adalah anggota dari beberapa kelas fungsiCC\mathcal{C} fff adalah -far dari setiap fungsi di kelas...
Dengan beberapa algoritma acak Anda dapat derandomisasi algoritma, menghilangkan (dengan biaya yang mungkin dalam waktu berjalan) penggunaan bit acak dan memaksimalkan beberapa batas bawah pada tujuan (biasanya dihitung menggunakan fakta bahwa teorema adalah tentang kinerja yang diharapkan dari...
Bahasa daun adalah cara yang indah untuk secara seragam mendefinisikan banyak kelas kompleksitas. Sebagian besar kelas kompleksitas biasanya ditentukan oleh model perhitungan (misalnya, deterministik / acak TM), dan sumber daya terikat (waktu log, ruang poli, dll.). Namun dalam formulasi bahasa...
Membaca beberapa utas baru-baru ini tentang komputasi kuantum (di sini , di sini , dan di sini ), membuat saya ingat pertanyaan menarik tentang kekuatan beberapa jenis mesin pelestarian .ℓhalℓp\ell_p Bagi orang yang bekerja dalam teori kompleksitas menuju kompleksitas kuantum, teks pengantar yang...
Sebuah rantai Selain merupakan urutan bilangan bulat positif di mana dan masing-masing indeks , kita memiliki untuk beberapa indeks . The panjang rantai Selain adalah ; yang sasaran dari rantai samping adalah .x 1 = 1 i ≥ 2 x i = x j + x k 1 ≤ j , k < i( x1, x2, ... , xn)(x1,x2,…,xn)(x_1, x_2,...
Dalam makalah "A Compendium of Problem Complete for P" oleh Greenlaw, Hoover dan Ruzzo (PS) (PDF) , ada daftar masalah dalam P yang tidak diketahui berada di NC dan tidak diketahui juga P-complete. . (Daftar ini merangkum semua masalah terbuka dalam survei yang sangat baik oleh Karp dan...
Misalkan kita memiliki matriks n oleh n. Apakah mungkin untuk menyusun ulang baris dan kolomnya sehingga kita mendapatkan matriks segitiga-atas? Pertanyaan ini dimotivasi oleh masalah ini: Urutan topologis positif Masalah keputusan awal setidaknya sekeras yang ini, jadi hasil NP-kelengkapan akan...
Biarkan menjadi fungsi. Kami ingin memperkirakan rata-rata ; yaitu: .f E [ f ( n ) ] = 2 - n ∑ x ∈ { 0 , 1 } n f ( x )f: { 0 , 1 }n→ ( 2- n, 1 ]f:{0,1}n→(2−n,1]f \colon \lbrace 0,1 \rbrace ^ n \to (2^{-n},1]fffE [f( n ) ] = 2- n∑x ∈ { 0 , 1 }nf( x
Immerman dan Szelepcsenyi independen membuktikan bahwa . Menggunakan teknik penghitungan induktif mereka, Borodin et al membuktikan bahwa S A C i ditutup dengan komplemen, untuk i > 0 . Sebelum teorema Reingold ( S L = L ), Nisan dan Ta-Shma membuktikan S L = c o S L , menggunakan pengurangan...
Saya menggunakan Jung ( http://jung.sourceforge.net/ ) untuk memvisualisasikan peringkat halaman dan merasa agak lambat dan sulit untuk menskalakannya melebihi 100 node. Saya ingin tahu alat apa yang digunakan orang untuk analisis dan visualisasi jaringan / jejaring
Masalah klasik dalam teori probabilitas adalah untuk menyatakan probabilitas suatu peristiwa dalam hal peristiwa yang lebih spesifik. Dalam kasus yang paling sederhana, orang dapat mengatakan P[A∪B]=P[A]+P[B]−P[A∩B]P[A∪B]=P[A]+P[B]−P[A∩B]P[A \cup B] = P[A] + P[B] - P[A \cap B] . Tulis Mari ABABAB...
Misalkan kita memiliki masalah yang diparameterisasi dengan p-parameter bernilai riil yang "mudah" untuk dipecahkan ketika dan "hard" ketika untuk beberapa nilai , . p = p 1 p 0 p 1p = p0p=p0p=p_0p = p1p=p1p=p_1hal0p0p_0hal1p1p_1 Salah satu contohnya adalah menghitung konfigurasi putaran pada...
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....
Sebagian besar makalah sekarang ditulis secara kolaboratif, dan kolaborator sering berada di tempat yang berbeda. Saya selalu menggunakan sistem kontrol versi untuk dokumen dan kode saya, dan juga menemukan kontrol versi penting untuk proyek perangkat lunak kolaboratif, tetapi tampaknya banyak...
Dalam kelas kompleksitas , ada beberapa masalah yang diduga TIDAK berada di kelas , yaitu masalah dengan algoritma paralel deterministik. Masalah Arus Maksimum adalah salah satu contohnya. Dan ada masalah PERCAYA berada di , tetapi bukti belum ditemukan.N C N
Telah diketahui secara umum bahwa eksponensial modular (bagian utama dari operasi RSA) mahal secara komputasi, dan sejauh yang saya mengerti hal-hal teknik eksponensial modular Montgomery adalah metode yang lebih disukai. Eksponen modular juga menonjol dalam algoritme anjak kuantum, dan juga mahal...
Judulnya kurang lebih menyebutkan semuanya, tapi saya rasa saya bisa menambahkan sedikit latar belakang dan beberapa contoh spesifik yang saya minati. Para ahli teori kompleksitas deskriptif, seperti Immerman dan Fagin, telah mengkarakterisasi banyak kelas kompleksitas yang paling terkenal...