Постановка задачи

Дано:

Память размера m.
Очередь с двумя приоритетами, реализованная в виде двух FIFO очередей.
Пусть первая очередь имеет высший приоритет.

Их вероятностные характеристики:
p1 - вероятность включения элемента в первую очередь
p2 - вероятность включения элемента во вторую очередь
q - вероятность исключения элемента (зависит ее приоритета: сначала из очереди с высшим приоритетом до тех пор, пока есть элементы, а затем из другой)
r - вероятность операции, не изменяющей длины очереди (возможно, чтение или отсутствие операции)
Возможно параллельное выполнение операций:
p1p2 - включение в первую и вторую очередь
p2q - включение во вторую, исключение из первой
p1q - включение в первую, исключение из второй

Условия:

p1+p2+q+r+p1p2+p2q+p1q=1
p1,p2,q,r,p1p2,p2q,p1q>=0