login
Number of non-isomorphic simple games with n players and one minimal winning vector.
0

%I #23 Jul 25 2025 09:00:53

%S 1,3,7,15,29,55,99,176,305,522,877,1461,2399,3905,6291,10055,15929,

%T 25063,39139,60742,93665,143619,218967,332157,501303,753079,1126155,

%U 1676908,2486641,3673000,5404711,7924206,11577465,16858381,24468317,35402812,51068703

%N Number of non-isomorphic simple games with n players and one minimal winning vector.

%C a(n) is also the number of non-isomorphic monotonic boolean functions with one minimal model.

%H Sascha Kurz and Dani Samaniego, <a href="https://arxiv.org/abs/2501.18966">Simple games with minimum</a>, arXiv:2501.18966 [math.CO], 2025.

%t sgnvnn[0,0] = 1; sgnvnn[_,0] = 0;

%t sgnvnn[n_,t_] := sgnvnn[n,t] = (1/t) Sum[If[Mod[k,l]==0, (k/l-1)sgnvnn[n-k,t-l], 0], {l,t},{k,n}];

%t sg[n_,1] := sgnvnn[n,1] + 1;

%t sg[n_,2] := sgnvnn[n,2] + 2 Sum[sgnvnn[n-i,1],{i,n-2}] + n - 1;

%t sg[n_,t_] := sgnvnn[n,t] + 2 Sum[sgnvnn[n-i,t-1],{i,n-2}] + Sum[(i-1) sgnvnn[n-i,t-2],{i,2,n-2}];

%t a[n_] := Sum[sg[n,t], {t,Quotient[n,2]+1}];

%t Table[a[n], {n,50}] (* _Andrei Zabolotskii_, Jul 24 2025 *)

%Y Second differences appear to be A052847.

%K nonn

%O 1,2

%A _Dani Samaniego Vidal_, Jun 16 2025

%E Edited and extended by _Andrei Zabolotskii_, Jul 24 2025