Classic recursive backtracking problem and solution

Another one from LeetCode: https://leetcode.com/problems/beautiful-arrangement/?tab=Description, or with the description here:

Suppose you have N integers from 1 to N. We define a beautiful arrangement as an array that is constructed by these N numbers successfully if one of the following is true for the ith position (1 ≤ i ≤ N) in this array:
  1. The number at the ith position is divisible by i.
  2. i is divisible by the number at the ith position.
Now given N, how many beautiful arrangements can you construct?
Example 1:
Input: 2
Output: 2
Explanation: 
The first beautiful arrangement is [1, 2]:
Number at the 1st position (i=1) is 1, and 1 is divisible by i (i=1).
Number at the 2nd position (i=2) is 2, and 2 is divisible by i (i=2).
The second beautiful arrangement is [2, 1]:
Number at the 1st position (i=1) is 2, and 2 is divisible by i (i=1).
Number at the 2nd position (i=2) is 1, and i (i=2) is divisible by 1.
Note:
  1. N is a positive integer and will not exceed 15.
Given the small N (15), it is relatively straightforward to come up with a recursive backtracking solution for this. To remind the fundamentals:
  • Recursive backtracking is expensive since it will generate all the solutions
  • Usually such problems (especially the ones asking for the number of solutions only) can be further optimized into non-recursive dynamic programming (DP). The challenge is to derive the proper DP function based on solutions to subsets of the problem
  • The recursive backtracking goes as follows:
    • Have a base case where you increment the solution at that point
    • Keep track of solutions already used (Hash table is your friend here)
    • The induction calls recursively whenever you're able to fit a partial solution candidate for the current position
Here is the code, cheers, Marcelo.

public class Solution
{
public int CountArrangement(int N)
{
int retVal = 0;
CountArrangementInternal(1, N, new Hashtable(), ref retVal);
return retVal;
}

private void CountArrangementInternal(int currentPosition,
int maxValue,
Hashtable numbersAlreadyUsed,
ref int solutions)
{
if (currentPosition > maxValue)
{
solutions++;
return;
}

//Find all the posible unused numbers that fit current position
for (int i = 1; i <= maxValue; i++)
{
if (!numbersAlreadyUsed.ContainsKey(i) &&
(i % currentPosition == 0 || currentPosition % i == 0))
{
numbersAlreadyUsed.Add(i, true);
CountArrangementInternal(currentPosition + 1,
maxValue,
numbersAlreadyUsed,
ref solutions);
numbersAlreadyUsed.Remove(i);
}
}
}
}

Comments

  1. Nice solution, Marcelo! You could have also used a boolean array to track used numbers instead of hashtable to speed things up, but otherwise it's totally legit :) Since I also wanted to see arrangements I used a vector for an arrangement representation and it's still very performant (beats more than 60% of other c++ submissions):

    class Solution {
    private:
    int countArrangement(vector& arrangement, int idx) {
    if (arrangement.size() == idx) return 1;
    int count = 0;
    for (int i = idx; i < arrangement.size(); ++i) {
    if (arrangement[i] % idx && idx % arrangement[i]) continue;
    swap(arrangement[idx], arrangement[i]);
    count += countArrangement(arrangement, idx+1);
    swap(arrangement[idx], arrangement[i]);
    }
    return count;
    }
    public:
    int countArrangement(int N) {
    vector arrangement(N+1);
    iota(arrangement.begin(), arrangement.end(), 0);
    return countArrangement(arrangement, 1);
    }
    };

    Reply Delete

Post a Comment

[フレーム]

Popular posts from this blog

Quasi FSM (Finite State Machine) problem + Vibe

Not really an FSM problem since the state isn't changing, it is just defined by the current input. Simply following the instructions should do it. Using VSCode IDE you can also engage the help of Cline or Copilot for a combo of coding and vibe coding, see below screenshot. Cheers, ACC. Process String with Special Operations I - LeetCode You are given a string  s  consisting of lowercase English letters and the special characters:  * ,  # , and  % . Build a new string  result  by processing  s  according to the following rules from left to right: If the letter is a  lowercase  English letter append it to  result . A  '*'   removes  the last character from  result , if it exists. A  '#'   duplicates  the current  result  and  appends  it to itself. A  '%'   reverses  the current  result . Return the final string  result  after processing all char...

Shortest Bridge – A BFS Story (with a Twist)

Here's another one from the Google 30 Days challenge on LeetCode — 934. Shortest Bridge . The goal? Given a 2D binary grid where two islands (groups of 1s) are separated by water (0s), flip the fewest number of 0s to 1s to connect them. Easy to describe. Sneaky to implement well. 🧭 My Approach My solution follows a two-phase Breadth-First Search (BFS) strategy: Find and mark one island : I start by scanning the grid until I find the first 1 , then use BFS to mark all connected land cells as 2 . I store their positions for later use. Bridge-building BFS : For each cell in the marked island, I run a BFS looking for the second island. Each BFS stops as soon as it hits a cell with value 1 . The minimum distance across all these searches gives the shortest bridge. πŸ” Code Snippet Here's the core logic simplified: public int ShortestBridge(int[][] grid) { // 1. Mark one island as '2' and gather its coordinates List<int> island = FindAndMark...

Classic Dynamic Programming IX

A bit of vibe code together with OpenAI O3. I asked O3 to just generate the sieve due to laziness. Sieve is used to calculate the first M primes (when I was using Miller-Rabin, was giving me TLE). The DP follows from that in a straightforward way: calculate the numbers from i..n-1, then n follows by calculating the min over all M primes. Notice that I made use of Goldbach's Conjecture as a way to optimize the code too. Goldbach's Conjecture estates that any even number greater than 2 is the sum of 2 primes. The conjecture is applied in the highlighted line. Cheers, ACC. PS: the prompt for the sieve was the following, again using Open AI O3 Advanced Reasoning: " give me a sieve to find the first M prime numbers in C#. The code should produce a List<int> with the first M primes " Minimum Number of Primes to Sum to Target - LeetCode You are given two integers  n  and  m . You have to select a multiset of  prime numbers  from the  first   m  pri...