Sebuah homomorfisma dari grafik untuk grafik G ' = ( V ' , E ' ) adalah pemetaan f dari V ke V ' sehingga jika x dan y yang berdekatan di E maka f ( x ) dan f ( y ) berbatasan dengan E ′ . Sebuah endomorfisma dari grafik GG = ( V, E)G=(V,E)G = (V, E)G′=(V′,E′)G′=(V′,E′)G' = (V',...
Apa hasil terbaik untuk jumlah gerbang dalam rangkaian yang mengalikan dua bilangan bulat n-bit? Metode yang jelas menghasilkan gerbang . Ada pendekatan yang lebih baik dengan gerbang θ ( n log n log log n ) dan θ ( n log n 2 log ∗ ( n ) ) .θ ( n2)θ(n2)\theta(n^2)θ ( n logn logcatatann...
Katakanlah kita memiliki fungsi Boolean f: { - 1 , 1 }n→ { - 1 , 1 }f:{−1,1}n→{−1,1}f:\{-1,1\}^n\rightarrow \{-1,1\} dan kami menerapkan pembatasan δδ\delta -random pada fff . Selain itu, katakan bahwa pohon keputusan TTT yang menghitung fff menyusut ke ukuran O ( 1 )HAI(1)O(1) sebagai akibat dari...
Biarkan f∈Q[x1,x2,…,xn]f∈Q[x1,x2,…,xn]f\in\mathbb{Q}[x_{1},x_{2},\ldots,x_{n}] menjadi polinomial yang diberikan oleh sirkuit aritmatika CCC ukuran . Diberikan sebagai input, apakah ada algoritma deterministik untuk memeriksa apakah semua faktor irreducible dari di adalah bentuk linear? Pada...
Apa rasio CFG ambigu dengan semua CFG ? Karena kedua himpunan ini tak terhingga tak terhingga rasionya tidak terdefinisi dengan baik. Tapi bagaimana dengan kepadatan asimptotik : limn ↦ ∞# CFG ambigu ukuran < n# CFG ukuran < nlimn↦∞# ambiguous CFG of size<n# CFG of size<n\lim_{n...
Saya minta maaf, ini sedikit pertanyaan "lunak". Teori informasi tidak memiliki konsep kompleksitas komputasi. Sebagai contoh, sebuah instance dari SAT, atau sebuah instance dari SAT ditambah sedikit yang menunjukkan kepuasan membawa jumlah informasi yang sama. Apakah ada cara untuk memformalkan...
Apa yang diketahui tentang kompleksitas penyelesaian sistem persamaan linear atas beberapa bidang hingga? Saya tahu bahwa ada algoritma (Gauss) yang menghitung solusi dan bahwa untuk sistem jarang ada bahkan algoritma yang lebih baik. Namun, saya bertanya-tanya apakah ada karakterisasi...
Misalkan menjadi fungsi yang kita sebut sebagai fungsi kesamaan . Contoh fungsi kesamaan adalah jarak cosinus, norma , jarak Hamming, kesamaan Jaccard, dll.l 2d: { 0 , 1 }k× { 0 , 1 }k→ Rd:{0,1}k×{0,1}k→Rd:\{0,1\}^k\times \{0,1\}^k \to \mathbb{R}l2l2l_2 Pertimbangkan vektor biner dengan panjang :...
Apa algoritma isomorfisma tanpa arah grafik tercepat yang
Ini merupakan perpanjangan dari masalah sekretaris klasik . Dalam permainan perekrutan, Anda memiliki satu set kandidat , dan memesan keterampilan masing-masing pekerja.C= { c1, ... , cN}C={c1,…,cN}\mathcal C=\{c_1,\ldots,c_N\} Wlog, kami menganggap bahwa adalah yang paling terampil, diikuti oleh...
Saya sedang mempelajari Konjektur Game Unik dan pengurangan terkenal untuk Max-Cut dari Khot et al. Dari makalah mereka dan di tempat lain di internet, sebagian besar penulis menggunakan (apa yang bagi saya adalah) kesetaraan implisit antara pengurangan MAX-CUT dan membangun tes khusus untuk kode...
Grafik berwarna dapat digambarkan sebagai tuple mana adalah grafik dan adalah pewarnaannya. Dua grafik berwarna dan dikatakan isomorfis jika ada isomorfisma sedemikian rupa sehingga pewarnaannya dipatuhi, yaitu untuk semua .(G,c)(G,c)(G,c)GGGc:V(G)→Nc:V(G)→Nc : V(G) \rightarrow...
Pertimbangkan tata bahasa bebas konteks sembarang atas alfabet { 0 , 1 , ¯ 0 , ¯ 1 } . Untuk produksi tata bahasa ini, tambahkan dua produksi tetap non-konteks-bebas P : ¯ 0 0 → ϵ dan ¯ 1 1 → ϵ . Panggil dihasilkan tata bahasa G P berdiri untuk " G ditambah dengan produksi P ".GGG{ 0 , 1 , 0¯¯¯,...
Kita tahu dari teorema Gereja bahwa menentukan tingkat kepuasan pertama tidak dapat diputuskan secara umum, tetapi ada beberapa teknik yang dapat kita gunakan untuk menentukan tingkat kepuasan pertama. Yang paling jelas adalah mencari model yang terbatas. Namun, ada sejumlah pernyataan dalam logika...
Misalkan adalah -variate polinomial yang diberikan sebagai rangkaian aritmatika dengan ukuran poli , dan misalkan menjadi bilangan prima.n ( n ) p = 2 Ω ( n )fffnnn( n )(n)(n)p = 2Ω ( n )p=2Ω(n)p = 2^{\Omega(n)} Bisakah Anda menguji apakah identik nol lebih dari , dengan waktu dan probabilitas...
Reynolds awalnya mengusulkan semantik relasional untuk kalkulus lambda polimorfik orde kedua [1]. Namun ia kemudian menunjukkan [2] bahwa pendekatan ini tidak konsisten dengan teori himpunan klasik. Pitts menggambarkan kerangka model hyperdoctrine dan model topos [3] yang konsisten dengan logika...
Hutan acak memiliki reputasi di antara para praktisi sebagai salah satu teknik klasifikasi yang paling efektif. Namun kita tidak banyak bertemu dengan mereka dalam literatur teori-pembelajaran, dari mana saya menduga tidak adanya hasil teoritis yang mendalam. Jika seseorang ingin mempelajari teori...
Sebagian besar metode kriptografi saat ini bergantung pada kesulitan nomor faktor yang merupakan produk dari dua bilangan prima besar. Seperti yang saya pahami, itu sulit hanya selama metode yang digunakan untuk menghasilkan bilangan prima besar tidak dapat digunakan sebagai jalan pintas untuk...
Mari kita perbaiki penyandian mesin-Turing dan mesin-Turing universal, U, yang pada input (T, x) menghasilkan output T apa pun pada input x (mungkin keduanya berjalan selamanya). Tentukan kompleksitas Kolmogorov dari x, K (x), sebagai panjang dari program terpendek, p, sehingga U (p) = x. Apakah...
Saya mencari referensi untuk masalah berikut: diberikan bilangan bulat dan , sebutkan semua grafik planar non-isomorfik pada simpul dan treewidth . Saya tertarik pada hasil teoritis dan praktis, tetapi sebagian besar algoritma praktis yang memungkinkan untuk kode dan berjalan untuk nilai dan...