Remember the story of Little Match Girl? By now, you know exactly what matchsticks the little match girl has, please find out a way you can make one square by using up all those matchsticks. You should not break any stick, but you can link them up, and each matchstick must be used exactly one time.
Your input will be several matchsticks the girl has, represented with their stick length. Your output will either be true or false, to represent whether you could make one square using all the matchsticks the little match girl has.
Example 1:
Input: [1,1,2,2,2] Output: trueExplanation: You can form a square with length 2, one side of the square came two sticks with length 1.
Example 2:
Input: [3,3,3,3,4] Output: falseExplanation: You cannot find a way to form a square with all the matchsticks.
Note:
- The length sum of the given matchsticks is in the range of
0
to10^9
. - The length of the given matchstick array will not exceed
15
.
Related Topics:
Depth-first Search
// OJ: https://leetcode.com/problems/matchsticks-to-square/
// Author: github.com/lzl124631x
// Time: O(N * 2^N)
// Space: O(2^N)
class Solution {
public:
bool makesquare(vector<int>& A) {
int sum = accumulate(begin(A), end(A), 0), N = A.size();
if (sum % 4 || *max_element(begin(A), end(A)) > sum / 4) return false;
sum /= 4;
sort(begin(A), end(A), greater<>()); // Try rocks before sands
vector<int> dp(1 << N, -1); // -1 unvisited, 0 invalid, 1 valid
dp[(1 << N) - 1] = 1;
function<bool(int, int)> dfs = [&](int mask, int target) {
if (dp[mask] != -1) return dp[mask];
dp[mask] = 0;
if (target == 0) target = sum;
for (int i = 0; i < N && !dp[mask]; ++i) {
if ((mask >> i & 1) || A[i] > target) continue;
dp[mask] = dfs(mask | (1 << i), target - A[i]);
}
return dp[mask];
};
return dfs(0, sum);
}
};
Let target = sum(A) / 4
, which is the target length of each edge.
We use DFS to try to fill each A[i]
into different edges.
Two optimizations here:
- The
unordered_set<int> seen
is used to prevent handling the same edge value again. For example, assumeedge = [1, 1, 1, 1]
, and now we are trying to add a stick of length2
to it. Adding2
to either1
will yield the same result. So we just need to add to a edge with length1
once. - Sorting the sticks in descending order will make it converge faster because it's easy to fill in sands but hard to fill in peddles; filling peddles first will fail faster.
// OJ: https://leetcode.com/problems/matchsticks-to-square/
// Author: github.com/lzl124631x
// Time: O(4^N)
// Space: O(N * SUM(A))
class Solution {
public:
bool makesquare(vector<int>& A) {
vector<int> v(4);
int sum = accumulate(begin(A), end(A), 0);
if (sum % 4 || *max_element(begin(A), end(A)) > sum / 4) return false;
sum /= 4;
sort(begin(A), end(A), greater<>()); // Try rocks before sands
function<bool(int)> dfs = [&](int i) {
if (i == A.size()) return true;
unordered_set<int> seen;
for (int j = 0; j < 4; ++j) {
if (A[i] + v[j] > sum || seen.count(v[j])) continue;
seen.insert(v[j]);
v[j] += A[i];
if (dfs(i + 1)) return true;
v[j] -= A[i];
}
return false;
};
return dfs(0);
}
};
Or
// OJ: https://leetcode.com/problems/matchsticks-to-square/
// Author: github.com/lzl124631x
// Time: O(4^N)
// Space: O(N * SUM(A))
class Solution {
public:
bool makesquare(vector<int>& A) {
vector<int> v(4);
int sum = accumulate(begin(A), end(A), 0);
if (sum % 4 || *max_element(begin(A), end(A)) > sum / 4) return false;
sum /= 4;
sort(begin(A), end(A), greater<>()); // Try rocks before sands
function<bool(int)> dfs = [&](int i) {
if (i == A.size()) return true;
for (int j = 0; j < 4; ++j) {
if (A[i] + v[j] > sum) continue;
v[j] += A[i];
if (dfs(i + 1)) return true;
v[j] -= A[i];
if (v[j] == 0) continue; // Simply don't visit empty bucket again. This takes less space but longer time.
}
return false;
};
return dfs(0);
}
};