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...
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...
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...
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...
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...
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...
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...
Apa sumber daya terbaik untuk menemukan posting pekerjaan untuk posisi fakultas dalam teori CS? Apakah ada satu situs web atau milis yang cukup komprehensif? Saat ini saya memiliki kesan bahwa seseorang harus menggunakan berbagai sumber daya untuk mendapatkan daftar pekerjaan yang komprehensif di...
RnRn\mathbb{R}^n⟨⋅,⋅⟩⟨⋅,⋅⟩\langle \cdot, \cdot \ranglemmmv1,v2,…,vmv1,v2,…,vmv_1, v_2, \ldots, v_mx∈Rnx∈Rnx \in \mathbb{R}^nmini⟨x,vi⟩mini⟨x,vi⟩\min_i \langle x, v_i \rangleO(nm)O(nm)O(nm)O ( log 2 m )n=2n=2n = 2O(log2m)O(log2m)O(\log^2 m) Satu-satunya hal yang bisa saya pikirkan adalah sebagai...
Pertanyaannya sederhana dan langsung: Untuk tetap , berapa banyak (berbeda) bahasa diterima oleh DFA ukuran n (yaitu n negara)? Saya akan secara resmi menyatakan ini:nnnnnnnnn Tentukan DFA sebagai , di mana semuanya seperti biasa dan δ : Q × Σ → Q adalah fungsi (mungkin sebagian). Kita perlu...
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,...
Latar belakang: Chao Xu memposting pertanyaan berikut beberapa waktu lalu: " Apakah ada algoritma penyortiran perbandingan yang diketahui tidak mengurangi untuk menyortir jaringan, sehingga setiap elemen dibandingkan dengan kali?O ( logn )HAI(catatann)O(\log n) ". Tampaknya kita agak terjebak...
Saat ini saya tertarik untuk memperoleh (atau membangun) dan mempelajari formula 3-CNF yang tidak memuaskan, dan berukuran minimum. Artinya, mereka harus terdiri dari klausa sesedikit mungkin (m = 8 lebih disukai), dan sesedikit mungkin variabel yang berbeda (n = 4 atau lebih), sehingga menghapus...
Menghitung konstanta Cheeger dari sebuah grafik , juga dikenal sebagai konstanta isoperimetri (karena pada dasarnya rasio area / volume minimum), dikenal sebagai NP-complete. Umumnya diperkirakan. Saya tertarik untuk mengetahui apakah algoritma polinom persis dikenal untuk kelas grafik khusus....
Biarkan menjadi grafik tidak berarah tanpa bobot dengan simpul dan tepi . Apakah mungkin untuk preprocess dan menghasilkan struktur data ukuran sehingga dapat menjawab pertanyaan dari bentuk "jarak antara dan " dalam waktu O (n)?n m G m ⋅ p o l y l o g ( n ) u vGGGnnnmmmGGGm⋅polylog(n)m⋅polylog(n)m...
Saya tertarik pada kompleksitas penyelesaian persamaan linear modulo k , untuk arbitrary k (dan dengan minat khusus pada kekuatan utama), khususnya: Masalah. Untuk sistem tertentu mmm linear persamaan di nnn tidak diketahui modulo kkk , jangan terdapat solusi? Dalam abstrak untuk makalah...
Misalkan kita memiliki grafik tertimbang yang tidak diarahkan G = ( V, E, w )G=(V,E,w)G = (V, E, w) (dengan bobot non-negatif). Mari kita asumsikan bahwa semua jalur terpendek di GGG adalah unik. Misalkan kita memiliki jalur (urutan tepi yang tidak berbobot), tetapi tidak tahu G itu sendiri....
Saya baru-baru ini berdiskusi tentang Mesin Turing ketika saya ditanya, "Apakah Mesin Turing berasal dari automata, atau sebaliknya?" Tentu saja saya tidak tahu jawabannya, tetapi saya ingin tahu. Mesin Turing pada dasarnya adalah versi yang sedikit lebih canggih dari Automata Push-Down. Dari itu...
Anda diberi grafik dengan n simpul. Mungkin bipartit jika Anda mau. Ada m set tepi E 1 , … , E m ⊆ E (katakanlah disjoint). Saya tertarik pada masalah menemukan subset S ⊆ V , sekecil mungkin (atau bahkan lebih kecil), sehingga grafik yang diinduksi G S memiliki setidaknya satu sisi dari setiap...
Pertimbangkan model berikut: string n-bit r = r 1 ... r n dipilih secara seragam secara acak. Selanjutnya, setiap indeks i∈ {1, ..., n} dimasukkan ke dalam himpunan A dengan probabilitas independen 1/2. Akhirnya, musuh diperbolehkan, untuk setiap i∈A secara terpisah, untuk sandal r i jika...