angka c-chromatic didefinisikan dalam makalah Partisi grafik menjadi cographs . Ia meminta jumlah minimum warna yang digunakan untuk mewarnai simpul sedemikian rupa sehingga setiap kelas warna adalah cograph . Cograf adalah grafik bebas P4 , yaitu tidak ada lintasan panjang 3 yang diinduksi. The...
Baru-baru ini ada beberapa hasil baru pada studi eksperimental berbasis komputer dari Erdos Discrepancy Problem (EDP) (melalui solver SAT, dikutip di bawah). Masalah ini telah dikutip dan dipelajari oleh beberapa (T) peneliti CS. Namun (mungkin mendalam?) Tautan ke (T) CS tidak begitu jelas. Apa...
Saya menduga bahwa jika adalah grafik bebas segitiga sederhana, maka ada satu set paling banyak 2/25 edge yang penghapusannya menghancurkan setiap siklus aneh.n 2 / 25GG G n2/ 25n2/25 n^2/25 Untuk informasi lebih lanjut, lihat makalah 1988 oleh Erdös et al., How to Make a Bipartite Graph...
Menurut BGS teorema [1], ada oracle sehingga .SEBUAHSEBUAHAPSEBUAH≠ NPSEBUAHPSEBUAH≠NPSEBUAHP^A\neq NP^A Jika operasi relativiasi adalah fungsi yang terdefinisi dengan baik, orang akan berharap bahwa dari seseorang akan dapat menyimpulkan bahwa , misalnya akan mengikuti dari BGS. Namun, masih...
Kompleksitas ruang monoton bahasa dapat didefinisikan dalam hal jaringan switching monoton (lihat misalnya "Rata-rata Huruf Kecil Batas untuk Jaringan Switching Monoton" oleh Filmus et al.). Gagasan ini terkait dengan hierarki monoton dan mungkin memiliki aplikasi ke pengaturan non-monoton di mana...
Masalah subgraph terhubung maksimum-berat adalah sebagai berikut: Input: grafik dan berat (mungkin negatif) untuk setiap titik .w i i ∈ VG=(V,E)G=(V,E)G=(V,E)wiwsayaw_ii∈Vsaya∈Vi \in V Keluaran: subset maksimum-berat dari simpul sedemikian sehingga terhubung.G [ S ]SSSG[S]G[S]G[S] Masalah...
Saya telah mengalami banyak kesulitan menemukan referensi yang memberikan penjelasan sederhana dan langsung tentang hal berikut: Misalkan kita memiliki variabel acak , masing-masing dari bit. (Yaitu dengan nilai dalam ). Kami menginginkan ruang probabilitas di mana setiap tidak bias (mengambil...
Terkait dengan pertanyaan terbaru ( Batas pada ukuran NFA terkecil untuk L_k-berbeda ) Noam Nisan meminta metode untuk memberikan batas bawah yang lebih baik untuk ukuran NFA daripada apa yang kita dapatkan dari batas kompleksitas komunikasi. Berikut ini adalah versi khusus dari masalah...
Definisi: A "kkk -chain" adalah multi-grafik yang diperoleh dari lintasan panjangdengan menduplikasi setiap sisi.kkk Perhatikan bahwa jumlah jalur antara dua titik akhir dari rantai adalahkkk2k.2k.2^k. Pertanyaan: Misalkan adalah graf sederhana pada n node dan biarkan dan menjadi dua node dari...
Ada beberapa algoritme 2-aproksimasi untuk masalah set vertex umpan balik (FVS) TAK TERBATAS, yang dirangkum dalam [4]. Perhatikan bahwa pengurangan dari penutup simpul ke FVS adalah perkiraan-melestarikan. Dengan asumsi dugaan Game Unik, kami tidak dapat mengharapkan algoritma yang lebih baik....
Masalah: Pertimbangkan sejumlah kondisi kontrol terbatas (termasuk status "awal" dan "buruk"), sejumlah variabel integer, dan untuk masing-masing pasangan negara terurut hubungan transisi yang dinyatakan dalam aritmatika Presburger. Putuskan apakah ada invarian induktif (= stabil oleh post-state...
Untuk menunjukkan NP-hardness dari suatu masalah, seseorang perlu memilih masalah NP-hard yang diketahui dan menemukan pengurangan polinomial dari masalah yang diketahui ke masalahnya. Secara teoritis, setiap masalah NP-hard dapat digunakan untuk pengurangan, tetapi dalam praktiknya, beberapa...
Saya membacanya di sini bahwa ada keluarga fungsi yang memerlukan node pada jaringan saraf dengan paling banyak lapisan untuk mewakili fungsi sementara hanya perlu jika jaringan saraf memiliki setidaknya lapisan. Itu merujuk pada sebuah makalah oleh Hastad. Saya tidak menemukannya. Bisakah...
Jika berisi kelas masalah waktu superpolinomial, yaituNPNP\mathsf{NP} untuk beberapa fungsi , D T I M E ( t ) ⊆ N P ,t∈nω(1)t∈nω(1)t \in n^{\omega(1)}DTIME(t)⊆NPDTIME(t)⊆NP\mathsf{DTIME}(t) \subseteq \mathsf{NP} P⊊NPP⊊NP\mathsf{P} \subsetneq \mathsf{NP} Tetapi apakah ada konsekuensi menarik...
Untuk kelas permutasi, kita tidak bisa berharap untuk mengurutkan permutasi C dengan kurang dari O ( log | C n | ) perbandingan, di mana dengan konvensi C n : = C ∩ S n .CC\mathcal{C}CC\mathcal{C}HAI(log| Cn|)O(log|Cn|)O(\log |\mathcal{C}_n|)Cn:=C∩SnCn:=C∩Sn\mathcal{C}_n := \mathcal{C} \cap...
Untuk d⃗ ∈Nnd→∈Nn\vec{d} \in \mathbb{N}^n , misalkan Q(d⃗ )⊂NnQ(d→)⊂NnQ(\vec{d}) \subset \mathbb{N}^n adalah himpunan simpul dari kubus dimensi- nnn diskalakan ke arah koordinat ke- iii oleh didid_i , yaitu Q(d⃗ ={⟨±d1,…,±dn⟩}Q(d→={⟨±d1,…,±dn⟩}Q(\vec{d} = \{\langle \pm d_1, \ldots, \pm...
Dengan menggunakan homologi persisten, kita dapat menganalisis bentuk (topologi) dari awan titik menggunakan metode tiga langkah berikut: mengubah set titik menjadi kompleks sederhana (dan ada beberapa cara berbeda untuk melakukan ini) parameter dengan parameter "noise" Hitung kelompok homologi...
Kami memiliki program semidefinite (SDP) yang wilayah yang layak hanya memiliki sejumlah matriks peringkat- terbatas . Bisakah kita menyimpulkan bahwa wilayah yang layak untuk SDP ini adalah polyhedral?111 Kami percaya ini benar karena bagian 'bundar' dari kerucut matriks semidefinite adalah...
Pertanyaan ini diposting di CS.SE dua minggu lalu , tetapi tidak mendapatkan jawaban yang memuaskan. Misalkan Anda memiliki permainan berikut: Ada banyak sekali penghitung {c1,c2,…}{c1,c2,…}\{c_1,c_2,\ldots\} , semuanya diinisialisasi ke 0. Di setiap langkah, Anda memilih penghitung cicic_i dan...
Ketika dugaan atau P ≠ N P diatur (misalnya oleh Clay Mathematical Institute oleh S. Cook, lihat di sini ) sistem aksiomatik matematika apa yang diasumsikan?P=NPP=NP\mathbf{P} = \mathbf{NP}P≠NPP≠NP\mathbf{P} \neq \mathbf{NP} Untuk membuktikan atau menyangkal pernyataan seperti itu, Anda perlu...