The nonassociativity of the double minus operation

From MaRDI portal
Publication:4637109



Abstract: The sequence A000975 in OEIS can be defined by A1=1, An+1=2An if n is odd, and An+1=2An+1 if n is even. This sequence satisfies other recurrence relations, admits some closed formulas, and is known to enumerate several interesting families of objects. We provide a new interpretation of this sequence using a binary operation defined by aominusb:=−a−b. We show that the number of distinct results obtained by inserting parentheses in the expression x0ominusx1ominuscdotsominusxn equals An, by investigating the leaf depth in binary trees. Our result can be viewed as a quantitative measurement for the nonassociativity of the binary operation ominus.






Describes a project that uses

Uses Software






This page was built for publication: The nonassociativity of the double minus operation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4637109)