Pertanyaan yang diberi tag «cc.complexity-theory»

P versus NP dan perhitungan terbatas sumber daya lainnya.

3
Batas untuk Komputasi Paralel
Saya ingin tahu dalam arti luas tentang apa yang diketahui tentang memparalelkan algoritma dalam P. Saya menemukan artikel wikipedia berikut tentang subjek: http://en.wikipedia.org/wiki/NC_%28complexity%29 Artikel tersebut berisi kalimat berikut: Tidak diketahui apakah NC = P, tetapi sebagian besar peneliti menduga ini salah, yang berarti bahwa mungkin ada beberapa masalah yang bisa …
4
Algoritma DNA dan kelengkapan NP
Apa hubungan antara DNA-algoritma dan kelas kompleksitas yang didefinisikan menggunakan mesin Turing? Apa yang diukur oleh kompleksitas seperti waktu dan ruang sesuai dengan algoritma-DNA? Dapatkah mereka digunakan untuk memecahkan contoh masalah NP-lengkap seperti TSP yang tidak dapat diselesaikan oleh mesin von Neumann secara praktis?
6
Referensi tentang Batas Bawah Sirkuit
Pembukaan Sistem bukti interaktif dan protokol Arthur-Merlin diperkenalkan oleh Goldwasser, Micali dan Rackoff dan Babai pada tahun 1985. Pada awalnya, diperkirakan bahwa yang pertama lebih kuat dari yang terakhir, tetapi Goldwasser dan Sipser menunjukkan bahwa mereka memiliki kekuatan yang sama ( sehubungan dengan pengenalan bahasa). Oleh karena itu, dalam posting …
6
Apa cara terbaik untuk mendapatkan lemparan koin yang hampir adil dari koin bias yang identik?
(Von Neumann memberikan algoritma yang mensimulasikan koin yang adil diberikan akses ke koin bias identik. Algoritma ini berpotensi membutuhkan jumlah koin yang tak terbatas (meskipun dalam harapan, cukup banyak saja). Pertanyaan ini menyangkut kasus ketika jumlah lemparan koin yang diizinkan adalah dibatasi.) Misalkan kita memiliki koin identik dengan bias . …
2
Batas bawah untuk rumus kedalaman konstan?
Kita tahu banyak tentang batasan-batasan (kedalaman polinomial) sirkuit-konstan. Karena (kedalaman polinomial) rumus kedalaman konstan adalah model perhitungan yang bahkan lebih terbatas, semua masalah yang diketahui tidak ada dalam AC 0 juga tidak dapat dihitung dengan rumus kedalaman konstan. Namun, karena ini model yang lebih mudah, saya menduga ada lebih banyak …
4
Manakah yang menghasilkan teori kompleksitas yang menggunakan keseragaman secara esensial?
Bukti pemisahan kelas kompleksitas menggunakan keseragaman kelas kompleksitas pada dasarnya jika bukti tidak membuktikan hasil untuk versi tidak seragam, misalnya bukti yang didasarkan pada diagonalisasi (seperti teorema hierarki ruang dan waktu) membuat penggunaan penting keseragaman karena mereka perlu mensimulasikan program dalam kelas yang lebih kecil. Yang menghasilkan teori kompleksitas (selain …
3
Menggunakan kompleksitas Kolmogorov sebagai input “ukuran”
Katakanlah kita memiliki masalah komputasi, misalnya 3-SAT, yang memiliki seperangkat contoh masalah (mungkin input) . Biasanya dalam analisis algoritma atau teori kompleksitas komputasi, kami memiliki beberapa set dari semua input dengan panjang , dan fungsi yang memberikan waktu berjalan beberapa algoritma solusi pada input . Urutan waktu berjalan terburuk untuk …
6
Apakah ada masalah alami dalam waktu kuasi-polinomial, tetapi tidak dalam waktu polinomial?
László Babai baru-baru ini membuktikan bahwa masalah Graph Isomorphism berada dalam masa quasipolynomial . Lihat juga ceramahnya di University of Chicago, catatan dari pembicaraan oleh Jeremy Kun GLL pos 1 , GLL pos 2 , GLL pos 3 . Menurut teorema Ladner, jika , maka tidak kosong, yaitu berisi masalah …
1
Apakah fungsi penghitungan prime # P-selesai?
Ingat jumlah bilangan prima adalah fungsi penghitungan utama . Dengan "PRIMES dalam P", komputasi ada di #P. Apakah masalahnya # P-selesai? Atau, mungkin, ada alasan kerumitan untuk percaya bahwa masalah ini bukan # P-complete? π(n)π(n)\pi(n)≤n≤n\le nπ(n)π(n)\pi(n) PS Saya menyadari ini agak naif karena seseorang pasti telah mempelajari masalahnya dan membuktikan …
2
Dapatkah tantangan komputasi ditransformasikan menjadi proof-of-work?
Tampaknya tidak ada gunanya penambangan cryptocurrency mengangkat pertanyaan tentang alternatif yang berguna, lihat pertanyaan ini tentang Bitcoin , CST , MO . Saya bertanya-tanya apakah ada algoritma yang dapat mengubah hampir semua tantangan komputasi (yang solusinya dapat diverifikasi secara efisien) menjadi tantangan lain seperti (yang digunakan untuk pembuktian kerja) sehinggaCC\mathcal …
3
Berapa banyak waktu untuk mengenali palindrom di ruang logaritmik?
Sudah diketahui bahwa palindrom dapat dikenali dalam waktu linier pada mesin Turing pita, tetapi tidak pada mesin Turing pita tunggal (dalam hal ini waktu yang dibutuhkan adalah kuadratik). Algoritma linear-waktu menggunakan salinan input, dan dengan demikian juga menggunakan ruang linier.222 Bisakah kita mengenali palindrom dalam waktu linier dari mesin Turing …
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.