Abstract:Finding the n-th positive square number is easy, as it is simply $n^2$. But how do we find the complementary sequence, i.e. the n-th positive nonsquare number? For this case there is an explicit formula. However, for general constraints on a number, this is harder to find. In this paper, we study how to compute the n-th integer that does (or does not) satisfy a certain condition. In particular, we consider it as a fixed point problem, relate it to the iterative method of Lambek and Moser, study a bisection approach to this problem and provide formulas for various complementary sequences such as the non-k-gonal numbers, non-k-gonal pyramidal numbers, non-k-simplex numbers, non-sum-of-k-th powers and non-k-th powers.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how to calculate the \(n\)th integer that satisfies or does not satisfy certain conditions. Specifically, the paper focuses on how to find the \(n\)th element in a sequence complementary to a given sequence. For example, for square numbers (i.e., perfect squares), it is easy to find the \(n\)th square number, which is \(n^2\). But how to find the \(n\)th non - square number? This problem becomes more complicated in general, especially when the conditions become more complex.
### Main problems and goals of the paper
1. **Explicit formulas**: For some specific conditions (such as non - square numbers, non - \(k\)-gonal numbers, etc.), there are explicit formulas to calculate the \(n\)th element in these complementary sequences. The paper explores the derivation and application of these formulas.
2. **Algorithm design**: For more general conditions, there may not be a simple explicit formula. Therefore, the paper proposes some algorithms to calculate the \(n\)th element in these complementary sequences. The main methods include:
- **Fixed - point problems**: Transform the problem into solving a fixed point of a function.
- **Iterative methods**: Gradually approximate the fixed point through iterative methods.
- **Binary search**: When the integers that satisfy the conditions are relatively sparse, using binary search can find the fixed point more efficiently.
- **Hybrid methods**: Combine iterative methods and binary search to improve efficiency.
3. **Efficiency optimization**: The paper also discusses how to optimize the efficiency of these algorithms, especially when dealing with sparse sequences. For example, through binary search, the fixed point can be found in logarithmic time instead of linear time.
4. **Application examples**: The paper provides several specific examples, showing how to apply these algorithms to calculate different types of complementary sequences, such as non - \(k\)-th power numbers, non - Mersenne numbers, non - central \(k\)-gonal numbers, etc.
### Formula examples
- **Non - square numbers**:
\[
a(n)=\begin{cases}
n + \lfloor\sqrt{n}\rfloor+ 1 & \text{if } n+\lfloor\sqrt{n}\rfloor\geq(\lfloor\sqrt{n}\rfloor + 1)^2\\
n+\lfloor\sqrt{n}\rfloor & \text{otherwise}
\end{cases}
\]
- **Non - \(k\)-th power numbers**:
\[
a(n)=\begin{cases}
n + \lfloor k\sqrt[n]{n}\rfloor+ 1 & \text{if } n+\lfloor k\sqrt[n]{n}\rfloor\geq(\lfloor k\sqrt[n]{n}\rfloor + 1)^k\\
n+\lfloor k\sqrt[n]{n}\rfloor & \text{otherwise}
\end{cases}
\]
### Summary
The main contribution of this paper is to provide a systematic method to calculate the \(n\)th integer that satisfies or does not satisfy certain conditions, especially for those complex conditions without simple explicit formulas. By introducing techniques such as fixed - point problems, iterative methods, and binary search, the paper not only improves the computational efficiency but also provides a general framework for solving this type of problem.