«reductions» etiketlenmiş sorular

Azalma, bir sorunun başka bir probleme dönüşmesidir. Bir indirgeme kullanımına örnek olarak P sorununun çözülemez olup olmadığını göstermek verilebilir. Bu, bir karar sorununun dönüştürülmesi veya azaltılmasıyla elde edilebilir. $P$ kararsız bir soruna dönüştü. Bu başarılabilirse, bu sorunun P'nin çözülemez olduğunu gösterdik.

Cook'un Clique to SAT için genel indirgemesini geliştirmek mi?

Örneği çok daha büyük hale getirmeden -Clique'i SAT'a düşürmekle ilgileniyorum .kkk Klips NP'de olduğundan logaritmik boşluk kullanılarak SAT'a indirgenebilir. Basit Garey / Johnson ders kitabı küçültme örneği kübik boyuta getirir . Bununla birlikte, -Clique her sabit k için P'dir, bu nedenle en azından sabit k için etkili bir azalma olmalıdır …

10 cc.complexity-theory sat reductions clique

Fiziksel modellere yönelik zor problemlerin azaltılması

Fiziksel süreç modellerine indirgenebilecek bilgisayar bilimlerindeki zor problemlere (NP veya daha zor) örnekler arıyorum. Örneğin, bir Ising modelinde max-2-sat enerji minimizasyonuna indirgenebilir. Bu tür indirgeme ile ilgili daha fazla örnek bulmak istiyorum.

10 cc.complexity-theory reductions physics formal-modeling

Kolmogorov karmaşıklığının kanıtı indirimler kullanılarak hesaplanamaz

Kolmogorov'un karmaşıklığının başka bir hesaplanamayan sorundan kaynaklanan bir azalma kullanılarak hesaplanamayacağına dair bir kanıt arıyorum. Ortak kanıt, Berry'nin paradoksunun bir indirimden ziyade resmileştirilmesidir, ancak Durma Sorunu veya Post'un Yazışma Sorunu gibi bir şeyden azalarak bir kanıt olmalıdır.

9 computability reductions kolmogorov-complexity

VRP / VRPTW'nin herhangi bir SAT / SMT formülasyonu (TSP, Job-Shop-Scheduling)?

acaba bir SAT / SMT örneği olarak Time-Windows ( VRPTW ) ile bir Araç-Yönlendirme-Sorunu (karar sorunu olarak) formüle herhangi bir yaklaşım olup olmadığını merak ? (alternatif: TSP) Örneğin: "Zaman pencerelerindeki tüm müşterileri n = 10 araçla ziyaret eden geçerli bir çözüm var mı?" Bu karar sorunu, kullanılan araç sayısını en …

9 ds.algorithms reference-request sat reductions tsp

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.