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. …