Ilmu Komputer Teoritis

T&J untuk ilmuwan dan peneliti komputer teoretis di bidang terkait

1
Apakah ada batas bawah yang lebih baik untuk anjak piutang dan log diskrit?
Adakah referensi yang memberikan perincian tentang batas bawah sirkuit untuk masalah sulit tertentu yang muncul dalam kriptografi seperti bilangan bulat bilangan bulat, masalah logaritma diskrit utama / komposit dan variannya pada kelompok titik kurva eliptik (dan varietas abelian berdimensi tinggi) dan umum masalah subkelompok tersembunyi? Secara khusus apakah salah satu …
2
Adakah masalah NP-complete yang diketahui, baik NP-hard dalam arti kuat atau memiliki algoritma pseudopolinomial?
Dalam makalah mereka (hlm. 503) Garey dan Johnson berkomentar: ... mungkin ada masalah NP-complete yang bukan NP-complete dalam arti kuat atau tidak dapat dipecahkan oleh algoritma waktu pseudo-polinomial ... Adakah yang tahu beberapa masalah kandidat dengan properti yang disebutkan di atas? Saya pikir jawaban yang mungkin untuk pertanyaan ini dapat …
1
Apakah kriptografi memiliki biaya termodinamika yang melekat?
Komputasi reversibel adalah model komputasi yang hanya memungkinkan operasi termodinamik reversibel. Menurut prinsip Landauer, yang menyatakan bahwa menghapus sedikit informasi melepaskan joule panas, ini mengesampingkan fungsi transisi yang tidak satu-ke-satu (misalnya, operator Boolean DAN dan ATAU). Telah diketahui dengan baik bahwa perhitungan kuantum secara inheren dapat dibalik karena operasi yang …
4
Kompleksitas komputasi dalam keuangan kuantitatif
Memprediksi pasar saham itu sulit! Bisakah TCS menjadikan sentimen ini lebih formal? Baru-baru ini saya mulai berpikir sedikit tentang keuangan, dan bertanya-tanya bagaimana pengetahuan tentang TCS dapat membantu. Hedge fund dan perusahaan investasi tampaknya menggunakan perdagangan algoritmik, pembelajaran mesin, dan AI sepanjang waktu, tetapi hasil TCS tampaknya sedikit. Secara khusus, …
3
Apakah ada hubungan antara norma berlian dan jarak dari negara terkait?
Dalam teori informasi kuantum, jarak antara dua saluran kuantum sering diukur menggunakan norma intan. Ada juga sejumlah cara untuk mengukur jarak antara dua keadaan kuantum, seperti jarak jejak, kesetiaan, dll. Isomorfisma Jamiołkowski memberikan dualitas antara saluran kuantum dan keadaan kuantum. Ini menarik, setidaknya bagi saya, karena norma intan sangat sulit …
5
Mengapa database relasional bekerja sama sekali, mengingat kompleksitas eksponensial teoretis dari penemuan jawaban (dalam ukuran kueri)?
Tampaknya diketahui bahwa untuk menemukan jawaban atas kueri atas database relasional D , kita perlu waktu | D | | Q | , dan seseorang tidak dapat menyingkirkan eksponen | Q | .QQQDDD| D || Q ||D||Q||D|^{|Q|}| Q ||Q||Q| Karena bisa menjadi sangat besar, kami bertanya-tanya mengapa database bekerja sama …
2
Status dugaan Cerny?
DFA memiliki kata sinkronisasi jika ada string yang mengirim keadaan DFA ke satu keadaan. Dalam 'The Cerny Conjecture for Aperiodic Automata ”oleh AN Trahtman (Matematika Diskrit dan Ilmu Komputer Teoritis vol. 9: 2, 2007, hal.3-10), ia menulis, Cerny menduga pada tahun 1964 bahwa setiap N-state DFA yang dapat disinkronisasi memiliki …
4
Paritas dan
Paritas dan seperti kembar yang tidak terpisahkan. Atau begitulah tampaknya selama 30 tahun terakhir. Mengingat hasil Ryan, akan ada minat baru di kelas-kelas kecil.AC0AC0AC^0 Furst Saxe Sipser ke Yao ke Hastad semuanya adalah pembatasan paritas dan acak. Razborov / Smolensky adalah perkiraan polinomial dengan paritas (ok, gerbang mod). Aspnes et …
11
Model grafik acak, untuk jaringan komputer nyata
Saya tertarik pada model grafik acak yang mirip dengan grafik jaringan komputer nyata. Saya tidak yakin apakah model dipelajari dengan baik ( n simpul, setiap sisi yang mungkin dipilih dengan probabilitas p ) baik untuk mempelajari jaringan komputer nyata (bukan?).G(n,p)G(n,p)G(n,p)nnnppp model grafik acak apa yang berguna untuk memahami perubahan jaringan …
4
Apa definisi "benar" dari batas atas dan bawah?
Misalkan f(n)f(n)f(n) menjadi kasus terburuk saat menjalankan masalah pada input ukuran nnn . Mari kita buat masalahnya agak aneh dengan memperbaiki f(n)=n2f(n)=n2f(n) = n^2 untuk n=2kn=2kn=2k tetapi f(n)=nf(n)=nf(n) = n untuk n=2k+1n=2k+1n=2k+1 . Jadi, apa batas bawah masalahnya? Cara saya memahaminya hanyalah batas bawah f(n)f(n)f(n) . Tetapi kita tahu bahwa …
1
Konsekuensi dari UP sama dengan NP
EDIT di 2011/02/08: Setelah beberapa referensi menemukan dan membaca, saya memutuskan untuk memisahkan pertanyaan asli menjadi dua yang terpisah. Inilah bagian tentang UP vs NP, untuk bagian kelas sintaksis dan semantik silakan lihat Manfaat untuk kelas sintaksis dan semantik . U PUP\mathsf{UP} (waktu polinomial yang jelas, lihatwikidankebun binatanguntuk referensi) didefinisikan …
2
mempertahankan pohon rentang yang seimbang dari grafik yang tidak diarahkan yang tumbuh
Saya mencari cara untuk mempertahankan pohon rentang yang relatif seimbang dari grafik, karena saya menambahkan node / tepi baru ke grafik. Saya memiliki grafik tidak terarah yang dimulai sebagai satu simpul, "root". Pada setiap langkah, saya menambahkan grafik baik simpul baru dan tepi yang menghubungkannya ke grafik, atau hanya tepi …
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.