Abstract:We present a new O(k log n) algorithm of the Josephus problem. The time complexity of our algorithm is O(k log n), and this time complexity is on a par with the existing O(k log n) algorithm. We do not have any recursion overhead or stack overflow because we do not use any recursion. Therefore, the space complexity of our algorithm is O(1), and ours is better than the existing O(k log n) algorithm in this respect. When k is small and n is large, our algorithm is better than the existing O(k log n) algorithm. This new algorithm is based on a relation between the Josephus problem and a maximum Nim of combinatorial game theory.

What problem does this paper attempt to address?

This paper attempts to solve the problem of efficient algorithms for determining the last remaining number in the Josephus Problem. Specifically, the paper proposes a new algorithm with a time complexity of \(O(k \log n)\) to solve the problem of removing the \(k\)-th number each time in a circle composed of \(n\) numbers. ### Background of the Josephus Problem The Josephus Problem is described as follows: Given \(n\) numbers numbered from 1 to \(n\) arranged in a circle, starting from the number numbered 1, remove the \(k\)-th number each time until only one number remains. The goal of the problem is to determine the last remaining number. ### Main Contributions of the Paper 1. **Propose a New Algorithm**: - The paper proposes a new algorithm based on the Maximum Nim game. - The time complexity of this algorithm is \(O(k \log n)\), which is comparable to existing algorithms. - The space complexity of this algorithm is \(O(1)\), which is better than the existing \(O(k \log n)\) algorithms because it does not use recursion, avoiding the problems of recursive overhead and stack overflow. 2. **Specific Steps of the Algorithm**: - Initialize \(x = 0\). - Update \(x\) using the formula \(h_k(x)=x + \left\lfloor\frac{x}{k - 1}\right\rfloor+ 1\) until \(nk - n\leq x\) is satisfied. - The last remaining number is \(nk - x\). 3. **Performance Comparison**: - Compared with the existing \(O(n)\) and \(O(k \log n)\) algorithms, the new algorithm performs better when dealing with large - scale data. - When \(n\) is large and \(k\) is small, the performance of the new algorithm is particularly outstanding. ### Formula Summary - \(h_k(x)=x + \left\lfloor\frac{x}{k - 1}\right\rfloor+ 1\) - When \(h_{p - 1}^k(0)<n(k - 1)\leq h_p^k(0)\), the last remaining number is \(nk - h_p^k(0)\). Through these improvements, the paper provides a more efficient solution with lower space complexity, especially suitable for solving the Josephus Problem with large - scale data.

A New 0(klog n) Algorithm for Josephus Problem

Maximum Nim and Josephus Problem algorithm

Maximum Nim and Josephus Problem

Josephus Nim

Randomisation in the Josephus Problem

A More Efficient Computationally Sound Non-Interactive Zero-Knowledge Shuffle Argument

A quantum algorithm for solving 0-1 Knapsack problems

Revisiting Deutsch-Jozsa algorithm

0-1 Knapsack in Nearly Quadratic Time

A Quadratic Speedup in Finding Nash Equilibria of Quantum Zero-Sum Games

Solving Log-Determinant Optimization Problems by a Newton-CG Primal Proximal Point Algorithm

Maximum k-Plex Computation: Theory and Practice

An algorithm for the optimal solution of variable knockout problems

A Computational Comparison of Optimization Methods for the Golomb Ruler Problem

An exact quantum logarithmic time algorithm for the 3-junta problem

Simple and tight complexity lower bounds for solving Rabin games

A Variant on the Feline Josephus Problem

Quantum Algorithms for One-Sided Crossing Minimization

The Joseph ideal for $\mathfrak{sl}(m|n)$

Improved Approximation Algorithm for the Number of Queries Necessary to Identify a Permutation

Uniform-Circuit and Logarithmic-Space Approximations of Refined Combinatorial Optimization Problems