csm[s_]:=With[{c=Select[Subsets[Range[Length[s]],{2}],Length[Cintersection@@s[[#]]>0&]},If[c=={},s,csm[Sort[Append[Delete[s,List/@c[[1]]],Union@@s[[c[[1]]];
stableSets[u_,Q_]:=如果[Length[u]==0,{{}},With[{w=First[u]},Join[stableSets[DeleteCases[u,w],Q],Prepend[#,w]&/@stableSets-[DeleteCases[u、r_/;r==w||Q[r,w]|Q[w,r]],Q]]];
vertConnSys[vts_,eds_]:=Min@@Length/@Select[Subsets[vts],Function[del,Length[del]==Length[vts]-1||csm[DeleteCases[DeleteCases[eds,Alternatives@@del,{2}],{}]]={补语[vts,del]}]];
表[Length[Select[stableSets[Subsets[Range[n],{1,n}],SubsetQ],vertConnSys[Range[n]、#]>=k&]],{n,0,4},{k,0,n}]
|