«reference-request» etiketlenmiş sorular

Benim bir devamı olarak önceki soruya Hsien-Chih Chang tarafından çözüldü, burada Ramsey teoreminin uygun bir genelleme bulmak için başka bir girişimdir. (Önceki soruyu okumanıza gerek yok; bu yazı müstakildir.) Parametreler: tamsayıları verilir ve sonra yeterince büyük olacak şekilde seçilir. Terminoloji: alt kümesi, boyutunun bir alt kümesidir .1≪d≪k≪n1≪d≪k≪n1 \ll d \ll …

9 reference-request  co.combinatorics  ramsey-theory 

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 

Bir grafik ve parametreleri verildiğini varsayalım . için olup olmadığını test etmek için (veya tüm için yapılabilir ) değer aralıkları var mı? ) zamanında en az bağımsız bir boyut kümesine sahip olmaktan uzak ?GGGk,ϵk,ϵk,\epsilonkkkkkkGGGϵϵ\epsilonkkkO(n+poly(1/ϵ))O(n+poly(1/ϵ))O(n + \text{poly}(1/\epsilon)) Eğer olağan -far (yani en fazla kenarlarının böyle bir set elde etmek için değiştirilmesi …

9 ds.algorithms  graph-theory  reference-request  property-testing 

(Yavaşça) SIGACT News için Kemoinformatik Algoritmaları El Kitabı'nı gözden geçiriyorum . Bir bölüm, mevcut yazılım uygulamalarını tartışır ve veritabanı aramaları (ve diğer uygulamalar) grafikler hakkında olabildiğince fazla bilgi kullanmıyor gibi görünmektedir. Öte yandan, belki daha teorik algoritmaların uygulanması çok zor olacaktır. Yine de potansiyel bir açık alan gibi görünüyor. İşte …

9 reference-request