Perbaiki . Untuk cukup besar , kami ingin memberi label semua subset ukuran persis dengan bilangan bulat positif dari . Kami ingin pelabelan ini memenuhi properti berikut: ada himpunan bilangan bulat, stn { 1 .. n } n / k { 1 ... T }
Saya tahu Gaussian Elimination membutuhkan operasi aritmatika , tetapi saya tidak yakin apakah ada algoritma yang lebih baik yang
Saya mencari referensi tentang kompleksitas masalah penyeimbangan rumus Boolean . Khususnya, Apakah diketahui bahwa rumus Boolean dapat diseimbangkan dalam ?AC0AC0\mathsf{AC^0} Apakah ada bukti sederhana keseimbangan Boolean yang menyeimbangkan berada di ?AC0AC0\mathsf{AC^0} Maksud "sederhana"...
Algoritma apa yang dapat kita gunakan untuk menemukan semua akar bilangan bulat dari polinomial dengan koefisien bilangan bulat?f( x )f(x)f(x) Saya mengamati bahwa Sage dapat menemukan akar dalam beberapa detik bahkan ketika semua koefisien sangat besar. Bagaimana itu bisa dilakukan?f( x...
Saya memiliki masalah berikut: Input: dua set interval dan T (semua titik akhir adalah bilangan bulat). Pertanyaan: adakah bijih monoton f : S → T ?SSSTTTf: S→ Tf:S→Tf:S \to T Bijection adalah monoton wrt set masuknya order pada dan T . ∀ X ⊆ Y ∈ S , f ( X ) ⊆ f ( Y )SSSTTT∀ X⊆ Y∈ S, f ( X) ⊆ f(...
Kita tahu bahwa beta-equality dari istilah lambda yang diketik adalah mudah untuk dipilih. Diberikan M, N: σ → τ, apakah dapat ditentukan apakah untuk semua X: σ, MX ≃β≃β≃_β
Slackness komplementer (CS) umumnya diajarkan ketika berbicara tentang dualitas. Ini membangun hubungan yang bagus antara primal dan kendala ganda / variabel dari sudut pandang matematika. Dua alasan utama untuk menerapkan CS (seperti yang diajarkan di kursus pascasarjana dan buku teks): Untuk...
Diberikan dua polyhedra dan Q , P dan Q sama-sama dapat dikomposisikan jika ada set polyhedra P 1 yang terbatas , ... , P n dan Q 1 , ... , Q n sedemikian rupa sehingga P i dan Q i kongruen untuk semua i , P = ∪ n i = 1 P i dan Q = ∪ n i = 1 QPPPQQQPPPQQQP1,…,PnP1,…,PnP_1, \ldots,...
Biarkan k>0k>0k>0 menjadi konstanta tetap. Diberikan bilangan bulat nnn , kami ingin membangun permutasi σ∈Snσ∈Sn\sigma \in S_n sedemikian rupa sehingga: Konstruksi menggunakan waktu dan ruang konstan (yaitu preprocessing membutuhkan waktu dan ruang konstan). Kita bisa menggunakan...
Transduser yang dipertimbangkan di sini adalah Wikipedia yang disebut transduser keadaan terbatas . Perilaku transduser , yaitu, hubungan yang dihitungnya, ditulis : kata adalah output untuk iff .TTT[ T][T][T]yyyxxxx [ T] yx[T]yx[T]y Pertanyaan: Apakah masalah berikut dapat diputuskan:...
Misalkan saya memiliki sirkuit boolean yang menghitung beberapa fungsi f : { 0 , 1 } n → { 0 , 1 } . Asumsikan sirkuit terdiri dari AND, OR, dan NOT gerbang dengan fan-in dan fan-out paling banyak 2.CCCf: { 0 , 1 }n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n \to \{0,1\} Biarkan menjadi input yang...
Motivasi : Ketika mengembangkan alat untuk versi data, kami akhirnya mencari ke dalam algoritma untuk "membedakan" dua set bilangan bulat, dengan menghasilkan serangkaian transformasi yang membawa satu set bilangan bulat ke yang lain. Kami dapat mengurangi masalah itu menjadi masalah sangat alami...
Apakah ada algoritma sorting berbasis perbandingan yang menggunakan rata-rata lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) perbandingan? Keberadaan terburuk lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) algoritma perbandingan merupakan masalah terbuka, tapi sudah cukup kasus rata-rata untuk algoritma...
Jadi saya punya masalah yang saya hadapi sehubungan dengan pengelompokan data langsung yang terus mengalir. Karena saya memiliki kumpulan data yang terus bertambah, saya tidak yakin apa cara terbaik untuk menjalankan pengelompokan yang efisien dan efektif. Saya telah menemukan beberapa solusi yang...
Diketahui bahwa NP-Complete Problem yang disebut Subset Sum memiliki FPTAS. Saya bertanya-tanya apakah ada masalah Lengkap PSPACE yang juga memiliki FPTAS? Terima kasih
Misalkan kita diberi grafik dan parameter k , ϵ . Apakah ada rentang nilai untuk k (atau itu bisa dilakukan untuk semua k ) yang dimungkinkan untuk menguji apakah G adalah ε -far dari memiliki set independen ukuran setidaknya k dalam waktu O ( n + poly ( 1 / ε ) ) ?GGGk ,
Ini adalah versi khusus dari pertanyaan sebelumnya: Kompleksitas Menemukan Komposisi Eigend dari Matriks . Untuk matriks simetris NxN, diketahui bahwa waktu O (N ^ 3) cukup untuk menghitung dekomposisi eigen. Pertanyaannya adalah: bisakah kita mencapai kompleksitas sub-kubik? Terima...
Kami biasanya menyebut algoritma "algoritma yang baik" jika waktu runnning adalah polinomial dalam kasus terburuk. Tetapi dalam beberapa kasus (misalnya algoritma Simplex), meskipun kasus terburuk dari algoritma adalah eksponensial, itu bisa bekerja dengan sangat baik dalam praktiknya. Adakah...
Pertama bertanya pada math.SE tanpa balasan. Misalkan saya memiliki grafik planar, dengan penanaman planar, bagaimana cara menemukan dekomposisi pohon? Apa dekomposisi pohon optimal dari -by- kotak persegi? Tidak sepenuhnya yakin bagaimana mendefinisikan "optimal", tetapi harus membedakan antara...
saya bertanya-tanya apakah mereka merupakan pendekatan merumuskan Kendaraan-Routing-Masalah dengan Time-Windows ( VRPTW ) (sebagai masalah keputusan) sebagai contoh SAT / SMT? (alternatif: TSP) Misalnya: "Apakah ada solusi yang valid mengunjungi semua pelanggan dalam jendela waktu mereka dengan n...