В математике деревом называется совокупность вершин, соединенных между собой в определенном порядке ребрами. Вершина, в которую входит ребро, является дочерней, но отношению к вершине, из которой ребро выходит. Корне­вая вершина имеет несколько дочерних вершин, которые, в свою очередь, также имеют дочерние вершины, но для других вершин корневая дочерней быть не мо­жет. Вершины, не имеющие дочерних вершин, называют концевыми.

Для выбора лучшего хода в текущей позиции используется так называемая минимаксная процедура: вводится оценочная функция, при помощи которой присваиваются оценки концевым вершинам и устанавливается правило определения оценки вер­шины любого уровня по оценкам ее дочерних вершин. Чем вы­годнее позиция для программы, тем выше должна быть ее оценка.