Untuk banyak masalah, algoritma dengan kompleksitas asimptotik terbaik memiliki faktor konstan yang sangat besar yang disembunyikan oleh notasi O besar. Ini terjadi dalam perkalian matriks, perkalian integer (khususnya, algoritma multiplikasi integer O (n log n) baru-baru ini dari Harvey dan van...
Dalam [1], Garey et al. mengidentifikasi apa yang kemudian dikenal sebagai Jumlah Masalah Roots Square dalam rangka menyelesaikan NP-Euclidean TSP. Mengingat bilangan bulat a1,a2,…,ana1,a2,…,ana_1, a_2, \ldots, a_n dan LLL , menentukan apakah a1−−√+a2−−√+⋯+an−−√<La1+a2+⋯+an<L\sqrt{a_1} +...
Saya bertanya-tanya apakah tugas mencari planar 3-warna diketahui sebagai kompleksitas atau lebih rendah? Ini terasa seperti itu akan menjadi konsekuensi intuitif berdasarkan hasil pemisah planar, namun di wikipedia , itu hanya menyebutkan set independen, pohon Steiner, siklus Hamilton, dan TSP. Di...
Biarkan menjadi grafik acak pada tepi. Dengan probabilitas sangat tinggi, memiliki banyak sepeda. Tujuan kami adalah untuk menghasilkan salah satu dari - sepeda ini secepat mungkin.G∼G(n,n−1/2)G∼G(n,n−1/2)G \sim G(n, n^{-1/2})≈n3/2≈n3/2\approx n^{3/2}GGG444444 Andaikata kita memiliki akses ke...
Ketika memperkenalkan grafik dekomposisi modular , kebanyakan penulis menggunakan grafik 11-simpul, yang saya salin dari wikipedia. Pertanyaannya adalah siapa desainer asli dari itu. (Saya tidak bertanya siapa yang menggambar grafik ini untuk wikipedia, tetapi sumber aslinya). Halaman wikipedia...
Ini akan menjadi pertama kalinya bagi saya untuk belajar teori grafik. Apa jenis latar belakang matematika yang saya butuhkan untuk mempersiapkan tesis master tentang subjek ini di tahun-tahun berikutnya? Subjek mana yang harus ditinjau dan apakah ada buku yang membahas
Saya ingin mempartisi angka yang diberikan N (mungkin atau mungkin tidak sama) menjadi 2 himpunan bagian sehingga 2 himpunan bagian memiliki jumlah sedekat mungkin dan juga kardinalitas set sama (jika n genap) atau hanya berbeda dengan 1 ( jika n aneh). Saya pikir kita bisa melakukan ini dalam...
Saat menulis program Petri Net, saya dihadapkan dengan pilihan tentang struktur data untuk mewakili grafik. Daftar adjacency (yaitu daftar yang menyebutkan busur masuk dan keluar dari masing-masing tempat atau transisi) mudah diimplementasikan, tetapi ketika saya sedang mempelajari teori petri...
Masalah berikut baru-baru ini muncul dari penelitian saya dan saya ingin bertanya apakah ada yang tahu apakah masalah ini dipertimbangkan sebelumnya atau telah mendengar apa pun yang mungkin terkait. Pengaturan umum adalah sebagai berikut. Kita diberi FFF , keluarga ttt -subsets dari { 1 , 2 , ....
Diberikan grafik asiklik terarah dengan simpul bagaimana kita dapat menentukan apakah ada jalur antara n pasangan simpul berikut ( 1 → n + 1 ) , … , ( n → n + n ) ? Ada algoritma sederhana dalam O ( n ⋅ ( n + m ) ) (di mana m adalah jumlah tepi) dengan melakukan pencarian dari setiap node 1 ... n ,...
Dalam konteks perkolasi ikatan pada mana adalah bilangan bulat positif, pertimbangkan masalah perhitungan a -pendekatan dari perkolasi kritis diberi dimensi kisi dan parameter presisi sebagai input. Adakah hasil yang diketahui tentang kerumitan masalah seperti itu? d 2 - k p c d∈ N k∈...
Dimensi VC adalah ukuran kompleksitas kelas fungsi yang terkait erat dengan kompleksitas sampel. Dimensi penghancuran lemak adalah generalisasi yang cocok untuk domain yang lebih kaya: yaitu . Apakah ada generalisasi standar dimensi-VC yang cocok untuk fungsi dengan domain diskrit dan tidak...
Saya sedang melihat halaman 28 Lovasz "Program semidefinit dan optimasi kombinatorial" dan ini memberikan perkiraan berikut tentang angka kemandirian grafik maxu′Zumaxu′Zu\max u' Z uZ≻0Z≻0Z\succ 0 Zij=0 ∀ij∈E(G)Zij=0 ∀ij∈E(G)Z_{ij}=0 \ \forall ij\in E(G) tr(Z)=1tr(Z)=1tr(Z)=1 Bisakah saya...
Terinspirasi oleh pertanyaan ini , saya ingin tahu apakah ada strategi pengurangan untuk kombinator SKI yang tidak dikenal yang dikenal sebagai normalisasi atau abadi. Seperti dijelaskan di sini (Twelfed here ), aturan nondeterminstic dari kalkulus combinator adalah sebagai berikut: sayax →...
Lemma berikut tidak sulit untuk dibuktikan. Lemma : Biarkan c1≠c2≠⋯≠cr∈[n]c1≠c2≠⋯≠cr∈[n]c_1 \neq c_2 \neq \dots \neq c_r \in [n] dan k∈[n]k∈[n]k \in [n] . Jika adalah bilangan bulat (beberapa di antaranya mungkin negatif) sedemikian sehingga , maka bilangan bulat memuaskan sedemikian sehingga . Di...
The konektivitas aljabar dari graf G adalah nilai eigen kedua terkecil dari matriks Laplacian dari G. eigenvalue ini lebih besar dari 0 jika dan hanya jika G adalah graf terhubung. Besarnya nilai ini mencerminkan seberapa baik grafik keseluruhan terhubung. misalnya, " menambahkan loop otomatis "...
Pertanyaannya adalah: Apakah skema perkiraan waktu-poli selalu ada untuk masalah NP-complete yang memiliki algoritma waktu pseudo-polinomial (seperti misalnya
Apa referensi terbaik untuk belajar mandiri di DATALOG? Saya terutama tertarik pada kekuatan ekspresif, hasil kompleksitas, metode evaluasi, ekstensi DATALOG dengan negasi dll. Apakah ada buku atau makalah yang mencakup semua
Saya mencari kerja pada sistem yang mirip dengan urutan urutan tinggi K. Dosen ("Sistem Urutan untuk Modal Logika", JSL 50 ). Satu-satunya karya yang saya sadari adalah karya terbaru oleh Iemhoff dan Metcalfe ("Teori bukti aturan yang dapat diterima", Annals of Pure and Applied Logic 159 (1-2),...
Saya memahami konsistensi yang ketat dan berurutan secara mandiri dengan cukup baik. Strict C pada dasarnya menegakkan urutan aktual di mana instruksi dijalankan pada jam global. Sequential Consistency pada dasarnya memberlakukan pesanan hanya pada satu prosesor. Saya mengalami kesulitan...