Насколько я понимаю, после оценки B min2 увидит, что max не выберет ничего меньше 10, поэтому даже если будет найдено меньшее значение (x <= 10), это не будет иметь значения. </p>
Это правильно и может быть проверено с помощью онлайн-симулятора (например, http://homepage.ufp.pt/jtorres/ensino/ia/alfabeta.html или https://raphsilva.github.io/utilities/minimax_simulator/):
0,0,2,1,-1000,393.75,30,-1000,1000,-1,-1,undefined,1,1,1,3,1000,225,295,undefined,undefined,0,-1,undefined,2,1,2,4,1000,562.5,295,undefined,undefined,0,-1,undefined,3,2,0,-1,10,225,560,undefined,undefined,1,undefined,undefined,4,2,0,-1,10,450,560,undefined,undefined,2,undefined,undefined,5,2,0,-1,0,675,560,undefined,undefined,2,undefined,undefined,<">
min2 будет стимулировать смотреть на C, только если B больше 10.
Одинаково правильно:
0,0,2,1,-1000,393.75,30,-1000,1000,-1,-1,undefined,1,1,1,3,1000,225,295,undefined,undefined,0,-1,undefined,2,1,2,4,1000,562.5,295,undefined,undefined,0,-1,undefined,3,2,0,-1,10,225,560,undefined,undefined,1,undefined,undefined,4,2,0,-1,12,450,560,undefined,undefined,2,undefined,undefined,5,2,0,-1,0,675,560,undefined,undefined,2,undefined,undefined,<">
min2 должны проверить C
также, если A меньше 10
.
Может ли будет неправильный контрольный пример?