296
ГЛАВА IS
P(Q, Q) давал бы нам все элементы множества Р(В, W), где В характери-
зует «орган» из Q, который содержит объем b, a w характеризует «смеж-
ный орган» из Q
9
который содержит объем и\ Проще говоря, алгоритм
должен давать способ нахождения всех граней на границе (или на ее части)
«органа», который содержит данную поверхность.
Предположим, что мы имеем метод, с помощью которого для любого
внутреннего множества у, любых «органов» В и «смежных «органов» и/,
принадлежащих Q, и для любой поверхности г, лежащей на границе Р(В,
W)
y
на ней образовывались бы две другие грани
/,(/■)
и
/
2
(г),
для которых
было бы справедливо следующее утверждение: для всех граней р и q, от-
личающихся друг от друга на границе
Р(В
9
W), на ней существует последо-
вательность граней г
1
, ... , /*, для которой г
1
= p
t
г" = q
t
и, кроме того,
при условии 1 ^ v < и существует либо грань г" +
1
=
/^г
17
),
либо грань
*"
+ !
=
f-$f}-
Подобный метод можно применить в качестве алгоритма
определения граничных поверхностей,
к
объяснению которого мы и перехо-
дим.
Данный алгоритм дает «перечень» L граней и использует «соединение»
Р граней. Предположим, что пара объемов (Ь,
и>)
— заданная на границе
грань P(Q, Q). Алгоритм включает в себя следующие операции:
а) подставить (b, w) в L и Я;
б) убрать элемент г из Р;
в) если поверхность/j(г) не содержится в «перечне» L, то необходимо
подставить /
2
(г) в £ иР;
г) если поверхность /
2
(г) не содержится в «перечне» L, то необходимо
подставить /
2
(г) в L и Р\
д) если множество Р пустое, то вычисления заканчивают; в противном
случае переходят к выполнению операции «6».
Теперь рассмотрим особенности предложенного алгоритма. Прежде
всего мы предполагаем существование метода, позволяющего получать
функции /j(r)
и
/
2
(г) для любой грани г на границе Р(В,
IV),
причем г, вы-
числяемое по «6», принадлежит границе
Р(В,
W), поскольку она принадле-
жит множеству Я. Легко показать, что на любом этапе выполнения алго-
ритма все элементы множества Р содержатся в Р(В, W). Аналогично все
элементы «перечня» L также содержатся в Р(В, W), и благодаря специфи-
ческим свойствам
функций
f
x
и
/
2
любой элемент, принадлежащий
Р(В,
W),
рано или поздно попадает в L. С этого момента множество Р исчерпыва-
ют повторением операции «б», не распространяя алгоритм на операции
«в» и «г». Таким образом, множество при определенных обстоятельствах
оказывается пустым, и с этого момента выполнение алгоритма прекраща-
ется на том «перечне» L, который содержит все элементы границы Р{В,
W) и не содержит никаких других.
Таким образом, алгоритм позволяет выполнить поставленную перед
ним задачу. Единственное, что было здесь опущено, — это объяснение то-
го,
как по грани г рассчитать /
{
{г)
и
/
2
(г).
Хотя этот вопрос и весьма су-
ществен, из-за технических трудностей его подробное изложение в настоя-
щей книге опущено. Здесь на примере «органа», состоящего из трех эле-