Исключение лишних плоскостей.

После заполнения таблицы знаков машина переходит ко второй части алгоритма. В начале из таблицы знаков «выбрасывается» столбец, соответствующий плоскости /. Затем производится поиск противоречий, т.е. поочередное сравнение каждой строки со всеми остальными. «Выбрасывание» столбца означает, что его цифры при этом не учитываются. Если противоречий не обнаруживается, т. е. не находится одинаковых строк, относящихся к разным образам, столбец исключается из памяти машины. В противном случае столбец «восстанавливается», т. е. его цифры учитываются в последующих операциях. Машина переходит к столбцу //, затем к III и далее до последнего столбца. В нашем случае после выбрасывания лишних столбцов /, /// и V таблица знаков принимает вид таблицы VII.

В этой таблице есть полностью совпадающие строки. Это означает, что в пространстве рецепторов есть многогранники, содержащие более чем одну точку (см. рис. 11). Такие многогранники могли появиться уже в первой части алгоритма, а после выбрасывания

*) Мы называем многогранниками как замкнутые, так и незамкнутые области пространства, границы которых состоят из кусков плоскостей.

Таблица VII

плоскостей число их могло еще более возрасти. Между тем для обозначения каждого многогранника вполне достаточно одной точки. «Лишние» точки (т. е. «лишние» строки таблицы знаков) можно исключить из памяти машины. Поэтому после проверки возможности исключить последний столбец машина переходит к исключению лишних строк. Для этого все строки таблиц, начиная со второй, сравниваются с первой строкой, и совпадающие с ней строки исключаются из таблицы. Затем производится сравнение со следующей строкой и так до тех пор, пока в таблице не останутся только несовпадающие строки. После выбрасывания лишних строк приходим к таблице VIII.

Таблица VIII

На рис. 11 точки, оставшиеся после исключения лишних строк, зачернены.