K-SAT'a iyi ve nazik bir giriş yapmak için nereye başvurabileceğimi bilmek istiyorum (bu, iyi bir bilgisayar bilimi geçmişine sahip olmayan matematikçiler için olabilir). Ayrıca, k-SAT'ı çözmek için kullanılan mevcut yöntemleri araştıran veya açıklayan makaleler bilmek istiyorum. Son olarak, k-SAT'ı çözmek için en iyi bilinen yöntemlerle ilgileniyorum. En iyi ortalama durum ve en kötü durum davranışı hakkında bir fikir edinmek istiyorum.
Kısacası, matematikte (bilgisayar bilimi değil) birisinin k-SAT konusunda daha fazla uzman olmasına yardımcı olacak makaleler arıyorum.
1
Sitede k-SAT hakkında bazı iyi cevaplar var: ders notları , üst ve alt sınırlar, içinde birçok bağlantı var. Sat etiketini de aramayı deneyin .
—
Hsien-Chih Chang 張顯 之