Integer complexity: representing numbers of bounded defect

From MaRDI portal
Publication:338388

DOI10.1016/J.TCS.2016.09.005zbMATH Open1371.11015arXiv1603.06122OpenAlexW2964114665MaRDI QIDQ338388FDOQ338388


Authors: Harry Altman Edit this on Wikidata


Publication date: 4 November 2016

Published in: Theoretical Computer Science (Search for Journal in Brave)

Abstract: Define |n| to be the complexity of n, the smallest number of ones needed to write n using an arbitrary combination of addition and multiplication. John Selfridge showed that |n|ge3log3n for all n. Based on this, this author and Zelinsky defined the "defect" of n, delta(n):=|n|3log3n, and this author showed that the set of all defects is a well-ordered subset of the real numbers. This was accomplished by showing that for a fixed real number r, there is a finite set S of polynomials called "low-defect polynomials" such that for any n with delta(n)<r, n has the form f(3k1,ldots,3kr)3kr+1 for some finS. However, using the polynomials produced by this method, many extraneous n with delta(n)ger would also be represented. In this paper we show how to remedy this and modify S so as to represent precisely the n with delta(n)<r and remove anything extraneous. Since the same polynomial can represent both n with delta(n)<r and n with delta(n)ger, this is not a matter of simply excising the appropriate polynomials, but requires "truncating" the polynomials to form new ones.


Full work available at URL: https://arxiv.org/abs/1603.06122




Recommendations




Cites Work


Cited In (7)





This page was built for publication: Integer complexity: representing numbers of bounded defect

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