Задача про 3 буфера

[Vaarallinen]

svv в сообщении #1092269 писал(а):

Осознайте, что единственно правильного варианта для поверхностных узлов нет, так как он зависит от дополнительных условий задачи: надо дополнительно оговаривать, что происходит, когда диспетчер пытается положить заявку в полный буфер или забрать из пустого. Вы говорили, что в этом случае происходит блокировка по одному диспетчеру, но нужно четко сформулировать, что происходит с буферами, продолжается ли «игра» и т.д. Возможно, Вы это уже говорили, тогда, пожалуйста, повторите.

Во - первых, это:

Цитата:

пусть на одном из следующих шагов за $n+1 $ шагом в одном из буферов ровно $n$ заявок. Тогда, если Д1 пытается поместить в этот буфер заявку, то он получит блокировку, а число заявок в буфере останется n. Тем временем, Д2 может на том же шагу забрать заявку из этого буфера, и заявок станет $n-1$.

Во - вторых, как я понял, Вы спрашиваете, продолжится ли работа в прежднем режиме в случае блокировки только по одному диспетчеру. Да, продолжится в том же ключе.

[svv]

В таком случае последнюю формулу можно сохранить, но с такой оговоркой: если какой-то нижний индекс в правой части равен $-1$, понимать его как $0$. Если какой-то индекс равен $n+1$, понимать его как $n$. В компьютерной программе это сделать совсем легко, а в формуле не хочется нагромождать дополнительные обозначения, лучше принять такое соглашение. (Но в программе его обязательно надо отразить!)

Заметьте, пожалуйста. То, что я сейчас сказал, не эквивалентно выбрасыванию соответствующих слагаемых. Оно эквивалентно сдвигу точек-источников (откуда можно попасть в данную точку). Скажем, пусть $n=10$. Работают оба диспетчера. Вопрос: можно ли попасть в точку $(i, j, k)$ за один ход из $(i, j-1, k)$?
Ответ: если узел внутренний (т.е. буферы не полны и не пусты), скажем, $(2,7,4)$, то нельзя. А если поверхностный, то можно. Например, в узел $(2,7,10)$ можно попасть из $(2,8,10)$. Д1 кладёт заявку в буфер 3, это не даёт эффекта, а Д2 берёт из буфера 2, здесь эффект есть.

[Lia]

gevaraweb Предупреждение за неуместную лексику и оффтоп в учебном разделе.

Оффтоп удален.