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]]];
fasmax[y_]:=互补[y,并集@@(多数[Subsets[#]]和/@y)];
表[Length[fasmax[stableSets[Subsets[Range[n],{1,n}],SubsetQ]],{n,0,5}]
|