Saya melihat ke dalam ML untuk menghasilkan kode yang lebih efisien (yaitu mengkompilasi waktu dan menjalankan heuristik waktu). Saya memiliki phd (compiler, hpc), tetapi sangat sedikit pengalaman ML. Saya akan sangat menghargai referensi untuk pekerjaan yang ada. Lebih penting lagi, teknik...
Algoritme / teknik matematika apa yang tersedia untuk persis / kira-kira menghitung jumlah set independen? Apakah / Apakah ada referensi yang baik / referensi yang baik tentang topik ini? Saya tertarik pada grafik
Ada algoritma yang mudah untuk menghitung amplop atas dari susunan garis di pesawat. Lihat misalnya bagian 2.3 dalam survei, urutan Davenport-Schinzel dan aplikasi geometriknya . Adakah algoritma / struktur data yang diketahui untuk versi dinamis dari masalah yang sama? Artinya, kami ingin...
Saya tertarik pada pointer ke algoritme (algoritme aproksimasi baik-baik saja) yang berupaya mempartisi grafik menjadi dua himpunan bagian sehingga jumlah bobot tepi dalam setiap subset sama (kurang-lebih) sama, dan jumlah bobot tepi antara keduanya himpunan bagian adalah (kurang-lebih)...
Penyortiran menggunakan perbandingan 2-elemen memiliki kompleksitas kasus terburuk asimptotik dari (dicapai oleh mergesort, heapsort, penyisipan biner, setidaknya ford-johnson), yang optimal.nlog2(n)nlog2(n)n \log_2(n) Jika kita mengurutkan menggunakan perbandingan yang mengurutkan elemen k...
Apakah ada batas bawah non-sepele pada waktu berjalan algoritma grafik dalam RAM / PRAM / model perhitungan? Saya tidak mencari hasil NP-Hardness di sini. Berikut ini adalah hasil yang bisa saya temukan [lihat ref L92]: 3-Pewarnaan dari n-cycle membutuhkan waktu .Ω ( log∗n
Saya tahu varian masalah SUBSETSUM berikut: ( Elberfeld at., 2010 ), NP-complete , dan NEXP-complete ( tautan ).S U B S E T S U M S U C C I N C T - S U B S E T S U MUN A R Y - S UB S E T S UM ∈ LUNARY-SUBSETSUM∈L \mathtt{UNARY\mbox{-}SUBSETSUM} \in \mathsf{L} S UB S E T S UM.SUBSETSUM....
Misalkan kita ingin menemukan elemen terkecil dari himpunan , yang elemennya diindeks dari ke . Kami tidak memiliki akses ke nilai-nilai elemen ini, tetapi kami dapat membandingkan dua elemen untuk melihat mana yang lebih kecil. Untuk setiap indeks dan , ada terkait biaya untuk membandingkan th dan...
Saya mencari kertas asli tempat Hoare (atau orang lain saya kira) membahas pemutusan hubungan kerja (Total Correctness). Atau karya awal lainnya tentang terminasi untuk logika "vanilla" Hoare (saya kira maksud saya HL untuk bahasa mainan mirip-C). Saya telah melihat dasar Aksiomatik untuk Program...
Mari menjadi satu set ukuran k dan B menjadi satu set ukuran ℓ , untuk tetap k dan ℓ , dan sehingga A ∩ B = ∅ . Berapakah (atau a) keluarga Sperner F pada A ∪ B yang F B = { C ∩ B : C ∈ F } dimaksimalkan?AAAkkkBBBℓℓ\ellkkkℓℓ\ellA∩B=∅A∩B=∅A\cap B=\emptysetFF\mathcal{F}A∪BA∪BA\cup...
Thor Johnson, et al, dalam makalah mereka: Sutradara Pohon Lebar , memperkenalkan definisi untuk diarahkan jaringan , dan mereka menduga:JkJkJ_k Untuk setiap bilangan bulat k terdapat bilangan bulat N sehingga setiap digraph dengan pohon-lebar N atau lebih memiliki minor isomorfik ke J k...
Net (dikenal juga sebagai FreeNet, atau NetWalk) adalah permainan puzzle yang dimainkan di kotak dengan objek-objek berikut:n × nn×nn \times n ada komputer ; setiap komputer menempati satu sel dan memiliki satu kabel tautan;mmm setiap komputer harus terhubung ke unit pusat yang menempati satu...
Saya telah bermain-main dengan resumptions akhir-akhir ini, sebagian besar dari karya klasik Abramsky Retracing Some Paths in Process Algebra . Mereka cukup licin (pada dasarnya solusi untuk persamaan domain ), dan sangat mengingatkan pada jaringan Kahn.R=I→(O×R)R=I→(O×R)R = I \to (O \times...
Apa yang ada beberapa aplikasi dekomposisi grafik modular dalam teori kompleksitas / TCS? Saya terutama tertarik pada penggunaannya dalam bukti atau batas atas / bawah jika itu terjadi. [1] Dekomposisi grafik modular , Wikipedia. [2] Referensi untuk Dekomposisi Modular ,
Saya membaca buku terkenal Alon and Spencer tentang metode probabilistik dalam kombinatorik. Apakah ada survei atau catatan kuliah tentang kemajuan dan hubungan terkini dengan topik teoretis kompleksitas metode berikut di luar buku teks ini? generator pseudorandom membodohi model perhitungan...
Teori kompleksitas tampaknya dibangun di sekitar masalah keputusan daripada fungsi. Siapa yang memperkenalkan ini terlebih dahulu dan apa alasan pilihan ini? Misalnya, kertas "Jalur, pohon, dan bunga" Edmond umumnya dikreditkan sebagai sumber gagasan mewakili sekumpulan masalah "yang dapat...
Mari tentukan masalah SAT: Diberikan , rumus 3-CNF yang memuaskan, dan , rumus 2-CNF ( dan didefinisikan pada variabel yang sama). Apakah memuaskan?( 3 , 2 )s(3,2)s(3,2)_sF3F3F_3F2F2F_2F3F3F_3F2F2F_2F3∧ F2F3∧F2F_3 \wedge F_2 Apa kompleksitas masalah ini? (Apakah sudah dipelajari...
Misalkan adalah subgraph interval maksimum yang diinduksi dari grafik . Jika， Lalu berapakah jumlah terkecil ?G = ( V , E ) n = | V | V ( H )HHHG = ( V, E)G=(V,E)G=(V,E)n = | V|n=|V|n=|V|V( H)V(H)V(H) Jumlahnya paling banyak： pertimbangkan seperangkat lubang terpisah.43 n / 43n/43n/4444 Bisakah...
Apa saja aplikasi Kompleksitas Kolmogorov dalam Teori Angka dan pada bidang terkait bukti? (Monograf oleh Li & Vitanyi tidak memiliki banyak aplikasi yang terkait dengan Teori Angka.) Salah satu bukti bagus yang saya temui adalah bukti keberadaan bilangan prima tak terbatas, menggunakan...
Saya tertarik pada bagaimana seseorang membuktikan bahwa kalimat itu relativis. Tentu saja, membuktikan bahwa sebuah kalimat tidak terelatifkan adalah sederhana, seperti yang terlihat dalam hasil Baker-Gill-Solovay; tetapi bagaimana seseorang membuktikan bahwa suatu kalimat memang relatif, yaitu,...