«heuristics» etiketlenmiş sorular

3
SAT örneklerinin zorluğunun ölçülmesi
Bir SAT örneği göz önüne alındığında, örneği çözmenin ne kadar zor olacağını tahmin edebilmek istiyorum. Bir yol var olan çözücüleri yönetmektir, ancak bu tür zorlukları tahmin etmenin amacını yitirir. İkinci bir yol, cümleciklerin değişkenlere oranını rasgele-SAT'daki faz geçişleri için olduğu gibi arıyor olabilir, ancak eminim ki daha iyi yöntemler var. …
1
SAT vs Constraint Satisfaction ne zaman kullanılır?
Zor bir sorunum varsa, standart bir yaklaşım bunu bir SAT örneği olarak ifade etmek ve üzerinde bir SAT çözücü çalıştırmayı denemektir. Başka bir standart yaklaşım, bunu bir kısıtlama memnuniyeti sorunu olarak ifade etmek ve bir CSP çözücüsü kullanmayı denemektir. İkisi, giriş formatlarında ne tür problemlerin doğal olarak ifade edilebileceği konusunda …
2
Kabul edilebilir bir buluşsal yöntem en uygun çözümü nasıl sağlar?
A * (veya başka herhangi bir en iyi yol bulma algoritması) kullanırken, kullanılan buluşsal yöntemin kabul edilebilir olması gerektiğini , yani gerçek çözüm yolunun uzunluğunu (veya hareketlerini) fazla abartmaması gerektiğini söylüyoruz . Kabul edilebilir bir buluşsal yöntem en uygun çözümü nasıl sağlar? Tercihen sezgisel bir açıklama arıyorum. İsterseniz 8 bulmacanın …
1
Tutarlılık, bir sezginin de kabul edilebilir olduğunu nasıl ima eder?
Buluşsal yöntem ...h(n)h(n)h (n) Tutarlı düğüm gelen tahmini maliyeti ise hedefe halefi adım maliyetinin daha büyük değildir n ' artı hedefe halefi tahmini maliyetine.nnnn′n′n' asla hedef duruma gerçek maliyeti fazla tahmin etmezse kabul edilebilir .h(n)h(n)h(n) Yapay Zeka dersimin ders kitabı, tutarlılığın kabul edilebilirlikten daha güçlü olduğunu ancak bunu kanıtlamadığını söylüyor …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.