Yuvarlama, sayımlama ve bir çeşit sayımlama algoritması olan dal-sınır algoritması tamsayılı programlama problemlerinin çözümü için geliştirilen yöntemlerdendir, dolayısıyla doğru cevap B’dir. Simpleks Algoritması,  doğrusal karar problemlerinin çözümü için geliştirilmiş olup pek çok problemin çözümünde kullanılabilmektedir. Küme örtme ise verilen herhangi bir kümenin her üyesinin, diğer bir kümenin kabul edilebilir bir üyesince örtülmesi (kapsanması) problemidir.