Pertanyaan yang diberi tag «heuristics»

Penjelasan teoretis apa yang ada untuk keberhasilan praktis pemecah SAT, dan dapatkah seseorang memberikan ikhtisar dan penjelasan "gaya-wikipedia" yang mengikat semuanya? Secara analogi, analisis yang dihaluskan ( versi arXiv )) untuk algoritme simpleks melakukan pekerjaan yang hebat menjelaskan mengapa ia bekerja dengan sangat baik dalam praktiknya, terlepas dari kenyataan bahwa …

43 cc.complexity-theory  ds.algorithms  sat  heuristics 

Masalah Pernikahan yang Stabil: http://en.wikipedia.org/wiki/Stable_marriage_problem Saya sadar bahwa untuk instance SMP, banyak pernikahan stabil lainnya dimungkinkan selain dari yang dikembalikan oleh algoritma Gale-Shapley. Namun, jika kita hanya diberikan , jumlah pria / wanita, kita mengajukan pertanyaan berikut - Bisakah kita membuat daftar preferensi yang memberikan jumlah maksimum pernikahan stabil? Apa …

24 ds.algorithms  co.combinatorics  graph-algorithms  heuristics  matching 

Apakah ada masalah lengkap NP tanpa subset instance sedemikian sehingga keanggotaan dalam dapat diputuskan dalam waktu polinomial, dan untuk semua , dapat diselesaikan dalam waktu polinomial? (Dengan asumsi )Φ x ∈ Φ x P ≠ N P.ΦΦ\PhiΦΦ\Phix ∈ Φx∈Φx \in \PhixxxP≠ NPP≠NPP \neq NP

18 cc.complexity-theory  np-complete  heuristics 

Saya ingin menghitung treewidth grafik. Ada heuristik yang benar-benar bagus untuk masalah grafik NP-hard lainnya seperti VF2 untuk subgraph isomorphism, dengan kode yang tersedia dalam igraph misalnya. Saya telah mencobanya pada grafik saya dan saya menemukan mereka berjalan sangat cepat untuk data saya. Apakah ada algoritma cepat untuk perhitungan treewidth …

18 ds.algorithms  graph-algorithms  treewidth  heuristics 

Saya sedang menyiapkan beberapa materi kursus tentang heuristik untuk optimisasi, dan telah mencari metode penurunan koordinat. Pengaturan di sini adalah fungsi multivarian yang ingin Anda optimalkan. memiliki properti yang terbatas pada variabel tunggal mana pun, mudah dioptimalkan. Jadi mengoordinasikan keturunan hasil dengan bersepeda melalui koordinat, memperbaiki semua kecuali yang dipilih …

14 ds.algorithms  reference-request  optimization  heuristics 

Dalam makalah oleh Kempe-Kleinberg-Tardos, Penulis mengusulkan algoritma rakus berdasarkan fungsi submodular untuk menentukan paling berpengaruh node dalam grafik, dengan aplikasi untuk jaringan sosial.kkk Pada dasarnya algoritma berjalan sebagai berikut: S= e m p t y s e t S=emhalty setS = {\rm empty~set} pilih node dengan pengaruh individu tertinggi, sebut …

13 ds.algorithms  graph-theory  dc.distributed-comp  social-sciences  heuristics 

Branch and bound adalah heuristik yang efektif untuk masalah pencarian, dan Wikipedia mencantumkan sejumlah masalah sulit di mana branch-and-bound telah digunakan. Namun, saya belum dapat menemukan referensi untuk menyarankan bahwa itu lebih dari sekedar "satu metode" untuk menyelesaikan masalah ini. Secara anekdot, saya pernah mendengar bahwa beberapa heuristik terbaik untuk …

13 ds.algorithms  reference-request  optimization  heuristics 

Pemecah SMT seperti Z3 atau Boolector menggunakan serangkaian heuristik yang kompleks untuk menyelesaikan masalah. Namun, ini juga membuat memprediksi kinerja pemecah masalah seperti itu sangat sulit. Pertanyaan saya adalah: Pertanyaan Apakah ada cara untuk memahami atau mendapatkan wawasan tentang kinerja pemecah SMT untuk spesifik dalam teori bitvektor bebas-kuantifier (QFBV)? Ini …

9 ds.algorithms  sat  heuristics 

Saya mencari daftar masalah optimasi NP-hard, di mana ada penelitian aktif dalam heuristik praktis untuk menyelesaikannya dan ada tolok ukur umum, yang coba dikalahkan orang. Contohnya termasuk: Rekonstruksi pohon filogenetik (heuristik misalnya di sini ) Penjual keliling (tidak begitu aktif, tetapi LKH cukup terkenal) Lebih khusus lagi, saya mencari bidang …

9 heuristics 

Saya mengajar kursus tentang meta-heuristik dan perlu membuat contoh menarik dari masalah kombinatorial klasik untuk proyek jangka. Mari kita fokus pada TSP. Kami menangani grafik dimensi dan lebih besar. Saya mencoba tentu saja untuk menghasilkan grafik dengan matriks biaya dengan nilai yang diambil dari U acak ( 0 , 1 …

9 ds.algorithms  co.combinatorics  optimization  tsp  heuristics 

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 dengan baik tanpa banyak parameter, dan dengan waktu …

9 ds.algorithms  reference-request  optimization  heuristics 

Bagaimana seseorang dapat menemukan sudut dari unit cube di terdekat dengan titik di dalam kubus? Gunakan metrik L1, sehingga dalam 4d | - 0000 | = , | - 0001 | = ( di sebelah kanan) dan seterusnya.d + 1 R d x x ∑ x i x x 3 …

8 ds.algorithms  approximation-algorithms  heuristics