2
SAT çözücüler için 1-out-of-kısıtlama kodlaması
Bir sorunu kodlamak için çözücü bir SAT kullanıyorum ve SAT örneğinin bir parçası olarak, ben boolean değişkenler var bu tam olarak bir gerçek olması gerektiğini amaçlanan ve nerede dinlenme gerektiği yanlış ol. (Bunu bazen "sıcak" bir kodlama olarak tanımlandığını gördüm.)x1,x2,…,xnx1,x2,…,xnx_1,x_2,\dots,x_n SAT'da "tam olarak doğru olması gerekir " kısıtlamasını kodlamak istiyorum …