1866. Number of Ways to Rearrange Sticks With K Sticks Visible
Problem Description
In this problem, we are given an array of uniquely-sized sticks, with lengths as integers from 1
to n
inclusive. We need to determine the total number of ways we can arrange these sticks so that exactly k
sticks are visible from the left. A stick is considered visible from the left if there are no longer sticks to the left of it.
For instance, let's consider n = 5
and k = 3
. If the sticks are arranged as [1, 3, 2, 5, 4]
, the sticks with lengths 1
, 3
, and 5
are visible from the left because every stick to the left is shorter.
Our task is to calculate the number of such possible arrangements. Since the answer can be very large, we are asked to return it modulo 10^9 + 7
.
Intuition
Let's develop the intuition behind the solution. The core of the problem is combinational, determining the number of ways we can arrange the n
sticks such that only k
sticks are visible from the left. It helps to approach this task by thinking about dynamic programming - that is, solving smaller subproblems and using their solutions to build up to the solution of our larger problem.
We can define a state f(i, j)
which represents the number of arrangements of i
sticks such that j
sticks are visible from the left. We can initialize f(0, 0) = 1
as the base case, representing the number of ways to arrange zero sticks with zero visible sticks.
Now consider incrementally adding the (i+1)
th stick. The new stick can be placed in any position from 1
to i+1
without affecting the visibility of the already visible sticks.
-
If the
(i+1)
th stick is the tallest among the ones placed so far, then it must be visible, and hence it can only be placed in one position (at the beginning), contributing tof(i+1, j+1)
arrangements based onf(i, j)
. -
On the other hand, if the
(i+1)
th stick is not the tallest (hence, not visible from the left), it hasi
positions to be placed in, and it contributes tof(i+1, j)
arrangements based onf(i, j)
arrangements withi
times the possibility.
The solution involves iterating through all n
sticks and k
visible sticks, updating our dynamic array f
in a bottom-up manner. Finally, the answer to the original problem will be the value of f(n, k)
.
The code provided initializes a list f
with k+1
elements, where f[j]
represents the current state for exactly j
sticks visible from the left. Each iteration of the two nested loops updates f
based on the two cases above, using modulo 10^9 + 7
to keep track of the answer in the bounds of the acceptable result.
This bottom-up tabulation approach makes sure that we build up the solution to our problem without redundant calculations, effectively covering the solution space in O(n*k)
time complexity.
Learn more about Math, Dynamic Programming and Combinatorics patterns.
Solution Approach
The implementation of the solution applies a dynamic programming approach utilizing a one-dimensional array f
, where f[j]
keeps track of the number of ways to arrange i
sticks with exactly j
of them visible from the left, incrementally built up for each stick added. The approach utilizes the concept of tabulation (bottom-up dynamic programming).
Let's breakdown the algorithm:
-
Initialization: The array
f
is initialized with the sizek+1
, wheref[0] = 1
and the rest of the elements are 0. This represents the fact that we have one way to arrange zero sticks with zero visible sticks which is the base case. -
Outer Loop - Sticks Iteration: The first loop iterates through
i
which represents the stick number being considered, ranging from1
ton
inclusive. -
Inner Loop - Visibility Iteration: For each stick
i
, the second loop iterates backwards throughj
fromk
down to1
, which represents the visibility count (the number of visible sticks). -
DP State Transition:
- The DP state transition is based on two cases:
a) When a new stick is placed as the leftmost stick. In this scenario, it is guaranteed to be visible (since it would be the tallest so far), so we move from state
f[j-1]
tof[j]
. b) When a new stick is placed in any of the other positions, it is not visible, so we transition between states without changing the visibility count, simply addingf[j]
multiplied by(i - 1)
– that is, the previous number of arrangements times the number of positions the new stick can be placed without being visible.
- The DP state transition is based on two cases:
a) When a new stick is placed as the leftmost stick. In this scenario, it is guaranteed to be visible (since it would be the tallest so far), so we move from state
-
Modulo Operation: After considering both cases, we perform a modulo operation to ensure the result remains within the range specified by the problem (
10^9 + 7
). -
Setting
f[0]
:f[0]
is reset to0
at each iteration since there's no way to arrange more than zero sticks without having at least one visible.
By iteratively updating the array f
using the transition rules described, the algorithm builds up the number of possible arrangements with the desired number of visible sticks. The complexity of this algorithm is O(n*k)
because it iterates through n
sticks and for each one, it calculates k
visibility counts.
Here's a visualization of the state transition:
1for i from 1 to n: 2 for j from k to 1: 3 f[j] = (f[j] * (i - 1) + f[j - 1]) % mod 4 f[0] = 0
In the end, after n
iterations, f[k]
will hold the final answer, which is the number of ways we can arrange n
sticks so that exactly k
of them are visible from the left.
Understanding this implementation requires recognizing the dynamic programming pattern where the current state depends on the previous state in a very specific way, as defined by our state transition rules. It uses iteration rather than recursion and memoization, which is often more efficient and is particularly suited for this kind of problem where we have to work through a two-dimensional problem space with dependant states.
Ready to land your dream job?
Unlock your dream job with a 2-minute evaluator for a personalized learning plan!
Start EvaluatorExample Walkthrough
Let's illustrate the solution approach with a small example. Consider n = 3
(we have sticks of lengths 1
, 2
, and 3
) and k = 2
(we want to find the number of ways to arrange these sticks so that exactly 2
of them are visible from the left).
- Initialize the array
f
withk+1 = 3
elements:f[0]
,f[1]
,f[2]
, withf[0] = 1
and the rest as0
. Nowf
looks like this:[1, 0, 0]
. - Begin the outer loop (
i
from1
ton
):- For
i = 1
, there's only one stick, so it's always visible. Updatef[1]
to1
(sincef[j-1]
wherej
is1
isf[0]
, which is1
). Nowf
is[0, 1, 0]
. - For
i = 2
, we have two sticks (1
, and2
).- Stick
2
can go in position1
makingf[2] = f[1]
, which adds1
way. - Stick
2
can also go in the second position, behind stick1
, keeping it invisible and preserving the previous visibility count (f[1]
gets multiplied by1
, the number of sticks before it). Nowf
is[0, 1, 1]
.
- Stick
- For
i = 3
, we have three sticks (1
,2
, and3
).- Stick
3
can be the leftmost which makes it visible. This updatesf[2]
to now bef[2] + f[1]
becausef[1]
is the number of ways with1
visible which now move to2
visible. Alsof[2]
gets multiplied by2
because stick3
can also be one of the two non-visible positions in any arrangement where two sticks are already visible. After this operation,f
becomes[0, 2, 3]
.
- Stick
- For
After these iterations are done, f
contains the number of arrangements with j
visible sticks, where j
ranges from 0
to k
.
For our example, when i = n
, the final array f
looks like this: [0, 2, 3]
. Therefore, the number of ways we can arrange 3
sticks so that exactly 2
are visible from the left is 3
, which is the value of f[2]
.
The dynamic programming approach successfully breaks this problem down into a series of overlapping subproblems that build upon one another to find the final solution in an efficient manner.
Solution Implementation
1class Solution:
2 def rearrangeSticks(self, n: int, k: int) -> int:
3 # Define the modulus for large number handling according to the problem statement
4 MOD = 10**9 + 7
5
6 # dp array to store the intermediate results, dp[j] represents the number of ways
7 # to arrange j sticks out of a certain amount such that k sticks are visible
8 dp = [1] + [0] * k
9
10 # Iterate over each stick
11 for i in range(1, n + 1):
12 # Iterate over the number of visible sticks in reverse
13 # so that we do not overwrite the data we need to access
14 for j in range(k, 0, -1):
15 # Update the dp array with the formula:
16 # dp[j] = dp[j] * (i - 1) + dp[j - 1]
17 # The dp[j] * (i - 1) part counts the placements where the new stick is not visible
18 # The dp[j - 1] part counts the placements where the new stick is visible
19 dp[j] = (dp[j] * (i - 1) + dp[j - 1]) % MOD
20
21 # The first position in dp should always stay 0 because we cannot have
22 # 0 visible sticks if we have at least one stick.
23 dp[0] = 0
24
25 # Return the number of ways to arrange n sticks so that exactly k sticks are visible
26 return dp[k]
27
1class Solution {
2
3 public int rearrangeSticks(int n, int k) {
4 // Define the modulus value for the large numbers as per the problem statement
5 final int MOD = 1000000007;
6
7 // Create an array to keep track of the subproblems
8 int[] dp = new int[k + 1];
9
10 // Base case, when there's no stick visible (k=0), there's one way to arrange
11 dp[0] = 1;
12
13 // Iterate through all sticks
14 for (int i = 1; i <= n; ++i) {
15 // Iterate through the number of visible sticks from k to 1
16 for (int j = k; j > 0; --j) {
17 // Recurrence relation:
18 // The number of ways to arrange i sticks with j visible is the sum of:
19 // 1. The ways to arrange (i-1) sticks with j visible, since the new stick is not visible when added.
20 // However, every configuration is multiplied by (i-1) as the new stick can be placed
21 // in any of (i-1) positions for each configuration without increasing the number of visible sticks.
22 // 2. The ways to arrange (i-1) sticks with (j-1) visible, since the new stick will be the tallest and visible.
23 dp[j] = (int) ((dp[j] * (long) (i - 1) + dp[j - 1]) % MOD);
24 }
25 // When there are more sticks than the visible count, the base case is always 0
26 dp[0] = 0;
27 }
28
29 // Return the number of ways to arrange n sticks such that k are visible
30 return dp[k];
31 }
32}
33
1class Solution {
2public:
3 int rearrangeSticks(int n, int k) {
4 const int MOD = 1000000007; // Define the modulus as a constant for easy reference
5 int dp[k + 1]; // Initialize a dynamic programming array to store the number of ways
6 memset(dp, 0, sizeof(dp)); // Set all the elements of dp array to 0 initially
7 dp[0] = 1; // Base case: one way to arrange 0 sticks with 0 visible sticks
8
9 // Loop over each stick
10 for (int i = 1; i <= n; ++i) {
11 // Loop over the number of visible sticks in reverse
12 // so that we do not overwrite the values that we still need
13 for (int j = k; j > 0; --j) {
14 // The recurrence relation:
15 // dp[j] represents the number of ways to arrange i sticks with j visible
16 // Update dp[j] using the number of ways to arrange i-1 sticks with
17 // (j-1) visible (by placing the tallest stick at the end) and i-1 sticks
18 // with j visible sticks (by placing any of the other i-1 sticks at the end).
19 dp[j] = (dp[j - 1] + dp[j] * static_cast<long long>(i - 1)) % MOD;
20 }
21 // There is no way to arrange i sticks with 0 visible
22 dp[0] = 0;
23 }
24
25 // Return the number of ways to arrange n sticks with k visible
26 return dp[k];
27 }
28};
29
1const MOD = 1000000007; // Define the modulus as a constant for easy reference
2
3function rearrangeSticks(n: number, k: number): number {
4 let dp: number[] = new Array(k + 1).fill(0); // Initialize a dynamic programming array with k+1 elements set to 0
5 dp[0] = 1; // Base case: one way to arrange 0 sticks with 0 visible
6
7 // Loop over each stick
8 for (let i = 1; i <= n; ++i) {
9 // Loop over the number of visible sticks in reverse
10 // so that we do not overwrite the values that we still need
11 for (let j = k; j > 0; --j) {
12 // The recurrence relation:
13 // dp[j] represents the number of ways to arrange i sticks with j visible
14 // Update dp[j] using the number of ways to arrange (i-1) sticks with (j-1) visible
15 // (by placing the tallest stick at the end) and the number of ways to arrange i-1 sticks
16 // with j visible sticks (by placing any of the other i-1 sticks at the end).
17 dp[j] = (dp[j - 1] + BigInt(dp[j]) * BigInt(i - 1)) % BigInt(MOD);
18 }
19 // There is no way to arrange i sticks with 0 visible
20 dp[0] = 0;
21 }
22
23 // Return the number of ways to arrange n sticks with k visible
24 // Convert BigInt back to number for the result, ensuring it fits into the JavaScript number precision
25 return Number(dp[k]);
26}
27
28// The `rearrangeSticks` function can now be used globally
29
Time and Space Complexity
The algorithm has a nested for loop where the outer loop runs for n
times corresponding to the number of sticks, and the inner loop runs for k
times corresponding to the number of visible sticks from the left. Inside the inner loop, there are constant time operations performed, including multiplication, addition, and modulo operation. Therefore, the overall time complexity can be represented as O(n * k)
.
As for the space complexity, there is a one-dimensional list f
of size k + 1
that is used for dynamic programming to store intermediate results. The space complexity is determined by the size of this list, which does not grow with n
, hence the space complexity is O(k)
.
Learn more about how to find time and space complexity quickly using problem constraints.
What is the best way of checking if an element exists in a sorted array once in terms of time complexity? Select the best that applies.
Recommended Readings
Math for Technical Interviews How much math do I need to know for technical interviews The short answer is about high school level math Computer science is often associated with math and some universities even place their computer science department under the math faculty However the reality is that you
What is Dynamic Programming Prerequisite DFS problems dfs_intro Backtracking problems backtracking Memoization problems memoization_intro Pruning problems backtracking_pruning Dynamic programming is an algorithmic optimization technique that breaks down a complicated problem into smaller overlapping sub problems in a recursive manner and uses solutions to the sub problems to construct a solution
Backtracking Template Prereq DFS with States problems dfs_with_states Combinatorial search problems Combinatorial search problems involve finding groupings and assignments of objects that satisfy certain conditions Finding all permutations combinations subsets and solving Sudoku are classic combinatorial problems The time complexity of combinatorial problems often grows rapidly with the size of