English

Counting the number of inequivalent arithmetic expressions on $n$ variables

Discrete Mathematics 2026-01-26 v1 Combinatorics Number Theory

Abstract

An expression is any mathematical formula that contains certain formal variables and operations to be executed in a specified order. In computer science, it is usually convenient to represent each expression in the form of an expression tree. Here, we consider only arithmetic expressions, i.e., those that contain only the four standard arithmetic operations: addition, subtraction, multiplication and division, alongside additive inversion. We first provide certain theoretical results concerning the equivalence of such expressions and then disclose a Θ(n2)\Theta(n^2) algorithm that computes the number of inequivalent arithmetic expressions on nn distinct variables.

Keywords

Cite

@article{arxiv.2405.13928,
  title  = {Counting the number of inequivalent arithmetic expressions on $n$ variables},
  author = {Ivan Stošić and Ivan Damnjanović and Žarko Ranđelović},
  journal= {arXiv preprint arXiv:2405.13928},
  year   = {2026}
}