|
|
A367192
|
|
Number of discrete implications I:L_n^2-> L_n defined on the finite chain L_n={0,1,...n}, which satisfy the left neutrality principle, i.e., I(n,y)=y for all y in L_n.
|
|
0
|
|
|
|
OFFSET
|
1,2
|
|
COMMENTS
|
Number of discrete implications I:L_n^2-> L_n defined on the finite chain L_n={0,1,...n} satisfying the left neutrality principle, i.e., the number of binary functions I:L_n^2->L_n such that I is decreasing in the first argument, increasing in the second argument, I(0,0)=I(n,n)=n and I(n,0)=0 (discrete implication), and I(n,y)=y for all y in L_n (left neutrality principle).
The proposed formula is recursive and implemented using dynamic programming using Python. and only the first 10 terms could be obtained. See github link.
|
|
LINKS
|
|
|
FORMULA
|
a(n)=G((1,2,...,n)), where G(v) is defined recursively as:
·G(v)=det(A(v))-Sum_{x in V_n(v)\v} G(v), where:
· A(v)_{i,j}=binomial(n+v_j, n-i+j).
· V_n(v) is the set of decreasing vectors x of n components, whose entries are taken from L_n, and x_i<=v_i for all i in {1,...,n}.
·G(v)=Binomial(n+x-1,x), if v=(x,0,...,0), with v being a vector of n components and 1<=x<=n.
|
|
PROG
|
(Python) See Github link
|
|
CROSSREFS
|
Particular case of the enumeration of discrete implications in general, enumerated in A360612.
|
|
KEYWORD
|
nonn,hard,more
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|