使用+、-、×和/运算符构造的非同构算术表达式的数量
The number of non-isomorphic arithmetic expressions that can be constructed using +,-,x and /
AI总结:
本文研究了使用+、-、×和/运算符构造的n个变量算术表达式的非同构数量,通过分类和计数方法确定其数量。
摘要:
本文的目标是计算在不考虑变量排列的情况下,使用每个变量恰好一次且不使用常数,仅使用加法、减法、乘法和除法运算符构造的n个变量的不同函数的数量。我们称这样的函数为算术表达式。根据这种定义,两个表达式相同当且仅当它们表示相同的有理函数;例如,x₁ - x₂ - x₃和x₁ - (x₂ + x₃)是相同的算术表达式,同样x₁(x₂ + x₃)和(x₂ + x₃)x₁也是相同的。两个算术表达式被称为同构的,如果一个可以通过变量的排列得到另一个。例如,(x₁ - x₂)/x₃和(x₂ - x₃)/x₁是同构的。非同构算术表达式数量的前几项值为:1,4,18,93,500,2844,16621,99674,608448,… 为了完成这种枚举,我们将所有算术表达式集合分为12个不相交的类别。统计每个类别中所有非同构表达式的数量,可以得到所需的总数量。
英文摘要:
The goal of this paper is to count the number of distinct functions of n variables, up to permutation of the variables, that can be constructed using each variable exactly once, without constants, using only the operations of addition, subtraction, multiplication, and division. We refer to such a function as an arithmetic expression. Under this definition, two expressions are identical if they represent the same rational function; for example, $x_1-x_2-x_3$ and $x_1-(x_2+x_3)$ are identical arithmetic expressions, as are $x_1(x_2+x_3)$ and $(x_2+x_3)x_1$. Two arithmetic expressions are said to be isomorphic if one can be obtained from the other by a permutation of the variables. For example, $(x_1-x_2)/x_3$ and $(x_2-x_3)/x_1$ are isomorphic. The first few values of the number of non-isomorphic arithmetic expressions with n variables are: $$1,4,18,93,500,2844,16621,99674,608448,...$$ In order to accomplish this enumeration, we classify the set of all arithmetic expressions into 12 disjoint categories. Counting all non-isomorphic expressions in each category allows us to obtain the total required quantity.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。