Ответьте одним словом: решение чего Алекс Вильям и Грэм Оклэнд свели к нахождению основного состояния для системы с девятью значениями переменных на конечной периодической решетке с двадцатью соседями?