Saya (perlahan-lahan) menulis ulasan tentang Buku Pegangan Algoritma Chemoinformatika untuk SIGACT News. Satu bab membahas implementasi perangkat lunak saat ini, dan pencarian basis data (dan aplikasi lain) tampaknya tidak memanfaatkan sebanyak mungkin informasi tentang grafik. Di sisi lain,...
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 ,
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...
Sebagai tindak lanjut dari pertanyaan saya sebelumnya , yang diselesaikan oleh Hsien-Chih Chang, berikut adalah upaya lain untuk menemukan generalisasi yang sesuai dari teorema Ramsey. (Anda tidak perlu membaca pertanyaan sebelumnya; posting ini mandiri.) Parameter: bilangan bulat 1 ≪ d≪ k ≪...
Biarkan menjadi seperangkat bentuk persegi panjang dimensional. Untuk dan , menjelaskan panjang dalam dimensi . Notasi yang sama digunakan untuk wadah . Masalah pengemasan orthogonal dimensional (OPP- ) adalah memutuskan apakah cocok dengan wadah tanpa tumpang tindih. Secara formal, masalahnya...
Saya kesulitan menemukan algoritme atau menerbitkan makalah tentang triangulasi poligon bersilangan (juga poligon dengan struktur lubang). Bisakah ada yang memandu saya untuk menemukan makalah / algoritma yang dipublikasikan? PS: tolong beri tag pada seseorang pertanyaan ini dengan tepat, saya...
Saya ingin tahu di mana saya bisa berpaling untuk pengantar k-SAT yang bagus dan lembut (ini mungkin untuk ahli matematika yang mungkin tidak memiliki latar belakang ilmu komputer yang baik). Saya juga ingin tahu makalah yang mungkin mensurvei atau menjelaskan metode saat ini yang digunakan untuk...
Saya ingin tahu apakah masalah berikut memiliki nama, atau hasil apa pun yang terkait dengannya. Misalkan adalah grafik berbobot di mana menunjukkan bobot tepi antara dan , dan untuk semua , . Masalahnya adalah untuk menemukan subset dari simpul yang memaksimalkan jumlah dari bobot tepi yang...
Karena ini hari Jumat, saatnya untuk pertanyaan CW. Saya mencari heuristik yang banyak digunakan dalam masalah optimisasi. Untuk membatasi ruang lingkup ke heuristik yang lebih 'ramah teori', berikut adalah aturannya (ada yang arbitrer, ada yang tidak) Ini harus menjadi metode yang didefinisikan...
Saya menghargai petunjuk atau ketentuan yang dapat membantu saya memulai ke arah yang benar. Kami memiliki grafik berarah dan panjang untuk setiap tepi yang dapat dianggap positif. Ada adalah awal simpul khusus dan akhir simpul .G=(V,E)G=(V,E)G=(V,E)lijlijl_{ij}ijijijsssttt Untuk setiap tepi ,...
Saya menarik dalam mempelajari lebih lanjut tentang algoritma cache-lupa dan struktur data, tetapi ada begitu banyak makalah di luar sana yang sejujurnya saya tidak tahu harus mulai dari mana. Saya telah menemukan tesis asli Prokup tentang masalah ini, yang sepertinya merupakan titik awal yang...
Saya memiliki keluarga masalah pemrograman linier: memaksimalkan subjek A x ≤ b , x ≥ 0 . Elemen-elemen A , b , dan c adalah bilangan bulat tidak negatif, cc′xc′xc' xAx≤bAx≤bA x\le bx≥0x≥0x\ge0AAAbbbcccccc sangat positif. ( juga harus integral tetapi saya akan khawatir tentang itu...
Di mana-mana yang saya baca tentang masalah pemotongan paling jarang, hanya dikatakan bahwa masalahnya dikenal sebagai NP -hard. Di mana saya dapat menemukan bukti ini? Mana masalah NP-keras yang diketahui mengurangi ke masalah pemotongan paling jarang? Saya tidak dapat menemukan bukti dalam buku...
Untuk aplikasi pembelajaran mesin, kebutuhan kelompok saya untuk menghitung jarak Euclidean ke th tetangga terdekat di set X untuk setiap x ∈ ( X ∪ Y ) ⊂ R d (untuk d antara 5 dan sekitar 100, dan | X | ≈ | Y | beberapa ratus hingga beberapa juta). Kami saat ini menggunakan pendekatan brute force O...
Asumsikan kerangka kerja dalam kompleksitas komunikasi di mana kita memiliki dua pemain A (kutu) dan B (ob) dan R (eferee). A dan B tidak berkomunikasi secara langsung satu sama lain. Dalam setiap putaran komunikasi, masing-masing dari mereka mengirim pesan ( , ) ke R. R menghitung dua fungsi dan...
Dalam konteks beberapa karya terbaru , kami telah mendefinisikan bahasa berdasarkan logika bernilai tiga à la Kleene, di mana berarti benar, 0 untuk salah, dan ⊥ untuk kesalahan atau tidak tahu. Untuk menunjukkan bahwa bahasa kami ekspresif, kami ingin membuktikan bahwa kami dapat membangun satu...
Pertanyaan saya agak kabur. Saya bertanya-tanya apakah (dan bagaimana), kita dapat menerapkan gagasan treewidth untuk mengemas masalah dalam grafik. Saya akan senang dengan wawasan atau referensi dari penelitian sebelumnya tentang hal ini (dengan asumsi mereka ada hubungannya). Terima...
Penasaran dengan pertanyaan menarik Chris Pressey tentang fungsi dasar-rekursif , saya menjelajahi lebih banyak dan tidak dapat menemukan jawaban untuk pertanyaan ini di web. The fungsi rekursif dasar sesuai dengan baik untuk hirarki eksponensial,
Bagi saya, berikut ini sepertinya definisi alami dan saya ingin tahu apakah ini telah dipelajari di suatu tempat Pertimbangkan sekumpulan bahasa. Kemudian K ⊂ { 0 , 1 } ω disebut " informasi yang dapat diverifikasi X " ketika ada L ∈ X stX⊂2{0,1}∗X⊂2{0,1}∗\mathsf{X} \subset 2^{\lbrace 0, 1...
Saya tertarik pada kompiler terverifikasi yang diformalkan dalam teori tipe Martin-Löf, yaitu Coq / Agda. Saat ini saya sudah menulis contoh mainan kecil. Dengan demikian saya dapat membuktikan bahwa optimasi saya benar. Misalnya penambahan dengan nol dapat dihilangkan, yaitu ekspresi seperti "x +...