«heuristics» etiketlenmiş sorular

SAT çözücülerinin pratik başarısı için hangi teorik açıklamalar var ve birileri hepsini birleştiren bir "wikipedia tarzı" genel bakış ve açıklama verebilir mi? Analoji ile simpleks algoritması için yapılan düzgünleştirilmiş analiz ( arXiv sürümü )), en kötü durumda üssel olarak zaman almasına ve NP güçlü ( arXiv versiyonu ) olmasına rağmen …

43 cc.complexity-theory  ds.algorithms  sat  heuristics 

Kararlı Evlilik Sorunu: http://en.wikipedia.org/wiki/Stable_marriage_problem Bir SMP örneği için, Gale-Shapley algoritmasının geri döndürdüğünden başka birçok istikrarlı evlilik yapılabileceğini biliyorum. Ancak, eğer sadece , erkek / kadın sayısı verilirse , şu soruyu sorarız - Maksimum istikrarlı evlilik sayısını veren bir tercih listesi yapabilir miyiz? Böyle bir sayıya üst sınır nedir?nnn

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

Örneklerinin hiçbir sonsuz alt kümesi ile herhangi NP tam sorunları var mı üyelik şekilde polinom sürede karar edilebilir ve tüm , polinom zamanda çözülebilir? ( varsayıldığında )ΦΦ\PhiΦΦ\Phix ∈ Φx∈Φx \in \PhixxxP≠ NPP≠N-PP \neq NP

18 cc.complexity-theory  np-complete  heuristics 

Bir grafiğin üçlü genişliğini hesaplamak istiyorum . Altgraf izomorfizması için VF2 gibi diğer NP-sert grafik problemleri için gerçekten iyi sezgisel tarama var , örneğin igraph'ta kod mevcut . Onları grafiklerimde denedim ve verilerim için çok hızlı çalıştıklarını fark ettim. Benzer bir damarda trewidth hesaplaması için hızlı algoritmalar var mı?

18 ds.algorithms  graph-algorithms  treewidth  heuristics 

Optimizasyon için sezgisel tarama hakkında bazı ders materyalleri hazırlıyorum ve koordinat iniş yöntemlerine bakıyorum. Buradaki ayar, optimize etmek istediğiniz çok değişkenli bir işlevidir . f , herhangi bir tek değişkenle sınırlı özelliğe sahiptir, optimize edilmesi kolaydır. Böylece koordinat inişi, koordinatlar arasında dolaşarak, seçilen dışında hepsini sabitleyerek ve bu koordinat boyunca …

14 ds.algorithms  reference-request  optimization  heuristics 

Bu ise kağıt Kempe-Kleinberg-Tardos tarafından, Yazarlar belirlemek için Altmodüler fonksiyonlar dayalı bir açgözlü algoritmalar teklif sosyal ağlara uygulamaları ile bir grafikte en etkili düğümler.kkk Temel olarak algoritma aşağıdaki gibi gider: S= e m p t y s e t S=empty setS = {\rm empty~set} en yüksek bireysel etkiye sahip düğümü …

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

Dal ve sınır, arama sorunları için etkili bir buluşsal yöntemdir ve Wikipedia, dal ve sınırın kullanıldığı bazı zor sorunları listeler . Ancak, bu sorunları çözmek için sadece "bir yöntem" daha fazlası olduğunu önermek için referans bulamadık. Anekdot olarak, SAT ve tamsayı programlama için en iyi buluşsal yöntemlerin bazılarının daldan ve …

13 ds.algorithms  reference-request  optimization  heuristics 

Z3 veya Boolector gibi SMT çözücüleri, sorunları çözmek için karmaşık bir sezgisel tarama seti kullanır. Bununla birlikte, bu aynı zamanda belirli bir problem için böyle bir çözücünün performansını tahmin etmeyi çok zorlaştırır. Benim sorum şu: Soru Niceleyici içermeyen bitvektörler (QFBV) teorisindeki belirli bir kişi için bir SMT çözücüsünün performansını anlamak …

9 ds.algorithms  sat  heuristics 

Onları çözmek için pratik sezgisel araştırmada aktif araştırmaların olduğu ve insanların yenmeye çalıştığı ortak ölçütlerin olduğu NP-sert optimizasyon problemlerinin listesini arıyorum. Örnekler: Filogenetik ağaç rekonstrüksiyonu (örneğin burada sezgisel ) Gezgin satıcı (çok aktif değil, ancak LKH oldukça iyi biliniyor) Daha spesifik olarak, insanların ortaya çıkan maliyeti gerçekten önemsediği araştırma alanları …

9 heuristics 

Meta sezgisel tarama üzerine bir ders veriyorum ve proje terimi için klasik kombinatoryal problemlerin ilginç örneklerini üretmem gerekiyor . TSP'ye odaklanalım. ve daha büyük boyutlu grafiklerle mücadele ediyoruz . Tabii ki rastgele bir alınan değerlere sahip bir maliyet matrisi içeren bir grafik oluşturmaya çalıştım ve (beklendiği gibi) yol maliyeti için …

9 ds.algorithms  co.combinatorics  optimization  tsp  heuristics 

Cuma günü olduğu için bir CW sorusunun zamanı geldi. Optimizasyon problemlerinde geniş kullanım alanı olan buluşsal yöntemler arıyorum. Kapsamı daha 'teori dostu' sezgisel tarama ile sınırlamak için, kurallar şunlardır (bazıları keyfi, bazıları değil) Çok sayıda parametresiz ve somut bir çalışma süresi olan (belki de yineleme başına) iyi tanımlanmış bir yöntem …

9 ds.algorithms  reference-request  optimization  heuristics