program dyscretics_optimisation(input,output);

uses crt;

const

max=12;

r:byte=0;

type

k=^el;

El=record

S: string;

P: 1..Max-1;

Next: k

End;

Label met;

Var

Pot, f, l: k;

Str1: array[1..Max]of k;

Pow: 2..Max;

K1, i, j, ll: 1..Max;

Sum: 0..Max;

Fil: text;

Ki: string[2];

begin

Readln(POW); {вводим количество простых понятий}

Str(POW, ki);

Assign(fil, ki+'.mvp'); {получившиеся понятия будем записывать в файл, содержащий в своём имени количество элементов множества и с расширением «.mvp»}

Rewrite(fil);

New(f); {выделяем память под первое понятие}

Pot:=f;

F^. S:='*'; {и инициализируем его}

F^. P:=1;

New(f^.next); {выделяем память под второе понятие}

Pot:=f^.next;

Pot^.s:='(*)'; {и также его инициализируем}

Pot^.p:=1;

Pot^.next:=nil;

for i:=2 to POW do begin {основной цикл программы}

For j:=1 to i do str1[j]:=f; {устанавливаем начальные указатели понятия, размерности і, на первое понятие}

If i=POW then str1[1]:=f^.next; {если і равно количеству элементов множества, то необходимо изменить указатель на первое подпонятие нашего понятия, так как уже отмечалось выше, понятие, состоящее только из простых подпонятий выводить не надо. Но, такие понятия оставляем для подзадач меньшей размерности, так как в комбинации с решениями других подзадач, получим уже понятие, содержащее не только простые понятия}

While str1[1]<>nil do begin {пока указатель первого подпонятия не достигнет конца списка подпонятий выполнять}

New(pot^.next); { выделить память под очередное понятие}

Sum:=0; {эта переменная служит в качестве счётчика, который после следующего цикла будет содержать количество элементов в новом понятии}

K1:=1; {номер первого подпонятия. Первое подпонятие имеет всегда, если можно так выразиться, «более поздний адрес», или, точнее, все подпонятия, следующее за первым, получены раньше или одновременно с ним. Это также касается второго подпонятие относительно третьего, четвёртого и т. д., третьего относительно четвёртого, пятого и т. д., и т. д.}

If i=pow then pot^.next^.s:='' else pot^.next^.s:='('; { если і равно количеству элементов множества, то нам не нужны скобки в начале (их договорились опустить)}

While sum<i do begin {пока количество элементов в новом понятии меньше размерности подзадачи, выполнить}

Pot^.next^.s:=pot^.next^.s+str1[k1]^.s; {добавить в понятие подпонятие с номером k1}

Sum:=sum+str1[k1]^.p; {добавить размерность, добавленного подпонятия}

Inc(k1); {увеличить k1 на 1}

End;

If(sum>i)or(k1=2) then begin {если количество элементов полученного понятия больше размерности задачи или k1=2, то есть добавлено только одно понятие в подпонятие, то, чтобы избежать лишних скобок и неправильных решений выполнить}

Dispose(pot^.next); {освободить память, занимаемую этим «неправильным» понятием}

Pot^.next:=nil;{указать, что предыдущее понятие было последним}

If k1=2 then break {если k1=2, то выйти из основного цикла программы}

End

Else begin

If i=POW then begin {если размерность текущей подзадачи равна размерности основной задачи, то}

Writeln(fil, pot^.next^.s); {записать понятие в файл}

Writeln(pot^.next^.s); {и вывести на экран}

Dispose(pot^.next); {освободить память, занимаемую понятием, так как понятия размерности задачи нам більше не понадобятся}

Pot^.next:=nil

End

Else begin {иначе инициализируем понятие до конца}

Pot:=pot^.next;

Pot^.s:=pot^.s+')'; {закрываем скобку}

Pot^.next:=nil; {указываем, что это понятие последнее в списке}

Pot^.p:=I {указываем количество элементов, содержащихся в понятии}

End

End;

For j:=k1-1 downto 2 do begin {k1 сейчас показывает количество подпонятий последнего понятия плюс 1. Поэтому в этом цикле, который попытается определить следующую комбинацию понятий и используется переменная k1. Эта часть программы рассматривает случай, когда подпонятия будут ставать не следующими по списку подпонятиями (по крайней мере не все), а будут происходить другие переходы. То есть этот цикл рассчитан на то, чтобы не позволить подпонятию с большим номером по списку в понятии быть большим по абсолютному адресу (по времени создания)}

If (str1[j]^.next=str1[j-1]) and (str1[j+1]=str1[j]) or ((j=k1-1) and (str1[j]<>

Str1[j-1])) then begin {если за подпонятием с номером j по списку следует подпонятие с номером j-1 и подпонятия с номером j и j+1 совпадают, или j равно количеству подпонятий и последние два понятия совпадают (сравнение идет по абсолютным адресам расположения понятий в памяти), то}

str1[j]:=str1[j]^.next; {подпонятие с номером j переходит на следующее за списком подпонятие}

For j:=J+1 to k1-1 do str1[j]:=f; {а все следующие подпонятия, становятся равными первому (элементарному) подпонятию}

goto met {хотя применение оператора безусловного перехода считается плохим стилем программирования, но здесь он оправдан, дабы не запутывать программу новыми циклами}

End;

End;

For j:=k1-1 downto 2 do begin { новый цикл, который переключит соответствующие подпонятия. Мы выделяем это в новый цикл, так как нужно было проверить на наличие “граничных” переходов (см. предыдущий цикл)}

If str1[j]<>str1[j-1]then begin { если подпонятия с номерами j и (j-1) не совпадают, то}

Str1[j]:=str1[j]^.next; {подпонятие с номером j становится следующим по списку (времени создания подпонятием)}

For j:=j+1 to k1 do str1[j]:=f; {а все идущие за ним подпонятия в списке подпонятий, составляющих понятие становятся элементарными}

goto met {выходим из цикла}

End

End;

Str1[1]:=str1[1]^.next; {если не выполнились условия предыдущих двух циклов, то пора переключать первое подпонятие}

for j:=2 to i do str1[j]:=f; {и, соответствено, следующие подпонятия сделать элементарными}

Met: end

End;

Close(fil);{закрыть файл}

Repeat {и}

Pot:=f^.next;

Dispose(f); {освободить память, занимаемую списком всех возможных подпонятий}

F:=pot

Until f<>nil

end.

Страницы: 1, 2