#此GAP代码针对给定图形gamma计算psi_c(gamma)装货包装(“葡萄”);psi:=功能(n,c)局部A,i,j,sz,set_of_sizes,gamma,aut,colors,distinguishing_colorings,color,au,size_dist_colrs,psi_set,b,set_off_sizes_for_color,col,col_as_set_of_sets,alpha,set_oft_images_for_cloor;####构造路径P_nA: =NullMat(n,n);对于[1..n]do中的i对于[1..n]do中的j如果j=i+1或j=i-1,则A[i][j]:=1;fi;od;od;#########################所需功能sz:=单元格->大小(单元格);set_of_sizes:=partn->集合(列表(partn,sz));##############################################################gamma:=图形(组()),[1..n],OnPoints,函数(x,y)返回A[x][y]=1;end,true);aut:=AutGroupGraph(gamma);#######################################颜色:=分区集([1..n],c);如果c>=n/2+1,则distinguishing_colorings:=颜色;其他的distinguishing_colorings:=[];颜色中的颜色doau:=aut;[1..c-1]do中的jau:=稳定剂(au,颜色[j],OnSets);如果尺寸(au)=1,则断裂;fi;od;如果大小(au)=1,则添加(distinguishing_colorings,color);fi;od;fi;如果Size(distinguishing_colorings)=0,则返回0;其他的size_dist_colrs:=大小(distinguishing_colorings);psi_set:=[区分颜色[1]];对于[2..size_dist_colrs]do中的i颜色:=区分颜色[i];b: =真;set_of_sizes_for_color:=设置大小(颜色);对于psi_set do中的col如果setof_sizes(col)=设置of_sizes_for_color,则col_as_set_of_sets:=集合([]);对于[1..c]do中的jcol_as_set_of_sets:=并集(col_as_set_of_set,[集合(col[j])]);od;对于aut-do中的alphaset_of_images_for_color:=设置([]);对于[1..c]do中的jset_of_images_for_color:=并集(set_of_images_for_ccolor,[集(OnSets(color[j],alpha))]);od;如果set_of_images_for_color=col_as_set_of_sets,则b:=false;断裂;fi;od;fi;od;如果b,则添加(psi_set,color);fi;od;返回大小(psi_set);fi;结束;