关于LD＊设计的一个递归定理

本文给出了三D~*设计的一个递归构造,证明了如下结论:X为n元集,I_v=[0,v],且存在LD~*[X]={L_1~1,L_1~2,L_x;x∈X}和LD~*[I_v]={L_2~1,L_2~2,L_i;i∈I_v},若满足条件:(i_0,i_1,i_2,i_3)∈L_2~1当且仅当(i_1,i_0,i_2,i_3)∈L_2~2,则存在LD~*[X×I_v]。