【性能优化】 【回溯】 【字符串】1307. 口算难题

作者推荐

视频算法专题

本文涉及知识点

数学 回溯 字符串 性能优化

LeetCode1307. 口算难题

给你一个方程，左边用 words 表示，右边用 result 表示。
你需要根据以下规则检查方程是否可解：
每个字符都会被解码成一位数字（0 - 9）。
每对不同的字符必须映射到不同的数字。
每个 words[i] 和 result 都会被解码成一个没有前导零的数字。
左侧数字之和（words）等于右侧数字（result）。
如果方程可解，返回 True，否则返回 False。
示例 1：
输入：words = [“SEND”,“MORE”], result = “MONEY”
输出：true
解释：映射 ‘S’-> 9, ‘E’->5, ‘N’->6, ‘D’->7, ‘M’->1, ‘O’->0, ‘R’->8, ‘Y’->‘2’
所以 “SEND” + “MORE” = “MONEY” , 9567 + 1085 = 10652
示例 2：

输入：words = [“SIX”,“SEVEN”,“SEVEN”], result = “TWENTY”
输出：true
解释：映射 ‘S’-> 6, ‘I’->5, ‘X’->0, ‘E’->8, ‘V’->7, ‘N’->2, ‘T’->1, ‘W’->‘3’, ‘Y’->4
所以 “SIX” + “SEVEN” + “SEVEN” = “TWENTY” , 650 + 68782 + 68782 = 138214
示例 3：

输入：words = [“THIS”,“IS”,“TOO”], result = “FUNNY”
输出：true
示例 4：

输入：words = [“LEET”,“CODE”], result = “POINT”
输出：false

提示：

2 <= words.length <= 5
1 <= words[i].length, results.length <= 7
words[i], result 只含有大写英文字母
表达式中使用的不同字符数最大为 10

回溯

简单的例子
AB + AC = BCD
10A+B+10A+C = 100B+10C+D
20A-99B -9C-D = 0
系数20,-99,-9,-1 放到向量v中，并排序。如果直接回溯，时间复杂度1010超时。
将v排序，从后到前处理。处理v[i]，先估算v[0,i)的最小值iMin和最大值iMax，如果已有值x+iMin > 0或 x+iMax < 0，则剪枝忽略。
求最小值：
如果存在负数，最小的负数（绝对值最大）对应最大的未选择值。如果存在正数，最大的正数取最小的未选择数。
求最大值：
如果存在负数，最小的负数（绝对值最大）对应最小的未选择值。如果存在正数，最大的正数取最大的未选择数。

代码

核心代码（超时）

class Solution {
public:
	bool isSolvable(vector<string>& words, string result) {
		unordered_map<char, int> mCharCnt;	
		unordered_map<char, bool> mCharNot0;//开头不能为0
		auto Add = [&](int iMul, const string& s)
		{
			for (int i = s.length() - 1; i >= 0; i--, iMul*=10)
			{
				mCharCnt[s[i]] += iMul;
			}
			if (s.length() > 1)
			{
				mCharNot0[s[0]] = true;
			}
		};
		for (const auto& s : words)
		{
			Add(1, s);
		}
		Add(-1, result);
		vector<pair<int,int>> v;
		for (const auto& [tmp, cnt] : mCharCnt)
		{
			v.emplace_back(cnt,mCharNot0[tmp]);
		}
		sort(v.begin(), v.end());
		set<int> setSel;
		for (int i = 0; i < 10; i++)
		{
			setSel.emplace(i);
		}
		return DFS(v, setSel, 0, 0);
	}
	template<class Pr>
	int MinMax(const pair<int, int>*p, int n, set<int,Pr> setSel)
	{
		int result = 0;
		for (int i = 0; i != n;)
		{
			if (p[i].first < 0)
			{
				result += *setSel.begin()*p[i++].first;
				setSel.erase(setSel.begin());
			}
			else
			{
				result += *setSel.rbegin()*p[--n].first;
				setSel.erase(std::prev(setSel.end()));
			}
		}
		return result;
	}
	bool DFS(const vector<pair<int,int>> & v, set<int>& setSel, int leve, int result)
	{
		if (v.size() == leve)
		{
			return 0 == result;
		}
		const int iMin = MinMax(v.data()+leve, v.size()-leve, set<int, std::greater<int>>(setSel.begin(), setSel.end()));
		const int iMax = MinMax(v.data() + leve, v.size() - leve, setSel);
		if ((iMin + result > 0) || (iMax + result < 0))
		{
			return false;
		}
		for (int i = 9; i >= v[leve].second; i--)
		{
			if (!setSel.count(i))
			{
				continue;
			}
			setSel.erase(i);			
			if (DFS(v, setSel, leve + 1, result + v[leve].first * i))
			{
				return true;
			}
			setSel.emplace(i);
		}
		return false;
	}	
};
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20
  • 21
  • 22
  • 23
  • 24
  • 25
  • 26
  • 27
  • 28
  • 29
  • 30
  • 31
  • 32
  • 33
  • 34
  • 35
  • 36
  • 37
  • 38
  • 39
  • 40
  • 41
  • 42
  • 43
  • 44
  • 45
  • 46
  • 47
  • 48
  • 49
  • 50
  • 51
  • 52
  • 53
  • 54
  • 55
  • 56
  • 57
  • 58
  • 59
  • 60
  • 61
  • 62
  • 63
  • 64
  • 65
  • 66
  • 67
  • 68
  • 69
  • 70
  • 71
  • 72
  • 73
  • 74
  • 75
  • 76
  • 77
  • 78
  • 79
  • 80
  • 81

测试用例

template<class T,class T2>
void Assert(const T& t1, const T2& t2)
{
	assert(t1 == t2);
}

template<class T>
void Assert(const vector<T>& v1, const vector<T>& v2)
{
	if (v1.size() != v2.size())
	{
		assert(false);
		return;
	}
	for (int i = 0; i < v1.size(); i++)
	{
		Assert(v1[i], v2[i]);
	}

}

int main()
{
	vector<string> words;
	string result;
	{
		Solution sln;
		words = { "A","B" }, result = "A";
		auto res = sln.isSolvable(words, result);
		Assert(true, res);
	}
	{
		Solution sln;
		words = { "CBA","CBA","CBA","CBA","CBA" }, result = "EDD";
		auto res = sln.isSolvable(words, result);
		Assert(false, res);
	}
	{
		Solution sln;
		words = { "SEND", "MORE" }, result = "MONEY";
		auto res = sln.isSolvable(words, result);
		Assert(true, res);
	}
	{
		Solution sln;
		words = { "SIX", "SEVEN", "SEVEN" }, result = "TWENTY";
		auto res = sln.isSolvable(words, result);
		Assert(true, res);
	}
	{
		Solution sln;
		words = { "THIS", "IS", "TOO" }, result = "FUNNY";
		auto res = sln.isSolvable(words, result);
		Assert(true, res);
	}
	{
		Solution sln;
		words = { "LEET", "CODE" }, result = "POINT";
		auto res = sln.isSolvable(words, result);
		Assert(false, res);
	}
}
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20
  • 21
  • 22
  • 23
  • 24
  • 25
  • 26
  • 27
  • 28
  • 29
  • 30
  • 31
  • 32
  • 33
  • 34
  • 35
  • 36
  • 37
  • 38
  • 39
  • 40
  • 41
  • 42
  • 43
  • 44
  • 45
  • 46
  • 47
  • 48
  • 49
  • 50
  • 51
  • 52
  • 53
  • 54
  • 55
  • 56
  • 57
  • 58
  • 59
  • 60
  • 61
  • 62

估算最小值最大值

pair MinMaxSingle(const pair* p, int n)
{
	int less0 = 0, more0 = 0;
	for (int i = 0; i < n ; i++ )
	{
		if (p[i].first < 0)
		{
			less0 += p[i].first;
		}
		else
		{
			more0 += p[i].first;
		}
	}
	return { less0 * 9,more0 * 9 };
}
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16

可以提升一倍，还是过不了。
一，for循环也可以省略。
二，向量变原生数组。
这两个方法效果很小。

class Solution {
public:
	bool isSolvable(vector<string>& words, string result) {
		unordered_map<char, int> mCharCnt;	
		unordered_map<char, bool> mCharNot0;//开头不能为0
		auto Add = [&](int iMul, const string& s)
		{
			for (int i = s.length() - 1; i >= 0; i--, iMul*=10)
			{
				mCharCnt[s[i]] += iMul;
			}
			if (s.length() > 1)
			{
				mCharNot0[s[0]] = true;
			}
		};
		for (const auto& s : words)
		{
			Add(1, s);
		}
		Add(-1, result);
		pair<int, int> v[10];
		int less0 = 0, more0 = 0;
		for (const auto& [tmp, cnt] : mCharCnt)
		{
			v[m_c++] = { cnt,mCharNot0[tmp] };			
			if (cnt < 0)
			{
				less0 += cnt;
			}
			else
			{
				more0 += cnt;
			}
		}
		sort(v, v+m_c);
		set<int> setSel;
		for (int i = 0; i < 10; i++)
		{
			setSel.emplace(i);
		}
		return DFS(v, setSel, 0, 0,more0,less0);
	}
	bool DFS(const pair<int, int>* p, set<int>& setSel, int leve, int result,int more0,int less0)
	{
		if (m_c == leve)
		{
			return 0 == result;
		}
		if ((less0*9 + result > 0) || (more0*9 + result < 0))
		{
			return false;
		}
		for (int i = 9; i >= p[leve].second; i--)
		{
			if (!setSel.count(i))
			{
				continue;
			}
			setSel.erase(i);		
			const int curLess0 = min(0, p[leve].first);
			const int curMore0 = max(0, p[leve].first);
			if (DFS(p, setSel, leve + 1, result + p[leve].first * i,more0+curMore0,less0+curLess0))
			{
				return true;
			}
			setSel.emplace(i);
		}
		return false;
	}	
	int m_c = 0;
};
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20
  • 21
  • 22
  • 23
  • 24
  • 25
  • 26
  • 27
  • 28
  • 29
  • 30
  • 31
  • 32
  • 33
  • 34
  • 35
  • 36
  • 37
  • 38
  • 39
  • 40
  • 41
  • 42
  • 43
  • 44
  • 45
  • 46
  • 47
  • 48
  • 49
  • 50
  • 51
  • 52
  • 53
  • 54
  • 55
  • 56
  • 57
  • 58
  • 59
  • 60
  • 61
  • 62
  • 63
  • 64
  • 65
  • 66
  • 67
  • 68
  • 69
  • 70
  • 71
  • 72

先处理绝对值大的

速度提升大约1000倍。

class Solution {
public:
	bool isSolvable(vector<string>& words, string result) {
		unordered_map<char, int> mCharCnt;	
		unordered_map<char, bool> mCharNot0;//开头不能为0
		auto Add = [&](int iMul, const string& s)
		{
			for (int i = s.length() - 1; i >= 0; i--, iMul*=10)
			{
				mCharCnt[s[i]] += iMul;
			}
			if (s.length() > 1)
			{
				mCharNot0[s[0]] = true;
			}
		};
		for (const auto& s : words)
		{
			Add(1, s);
		}
		Add(-1, result);
		pair<int, int> v[10];
		int less0 = 0, more0 = 0;
		for (const auto& [tmp, cnt] : mCharCnt)
		{
			v[m_c++] = { cnt,mCharNot0[tmp] };			
			if (cnt < 0)
			{
				less0 += cnt;
			}
			else
			{
				more0 += cnt;
			}
		}
		sort(v, v + m_c, [&](const auto& pr1, const auto& pr2) {return abs(pr1.first) > abs(pr2.first); });
		set<int> setSel;
		for (int i = 0; i < 10; i++)
		{
			setSel.emplace(i);
		}
		return DFS(v, setSel, 0, 0,more0,less0);
	}
	bool DFS(const pair<int, int>* p, set<int>& setSel, int leve, int result,int more0,int less0)
	{
		if (m_c == leve)
		{
			return 0 == result;
		}
		if ((less0*9 + result > 0) || (more0*9 + result < 0))
		{
			return false;
		}
		for (int i = 9; i >= p[leve].second; i--)
		{
			if (!setSel.count(i))
			{
				continue;
			}
			setSel.erase(i);		
			const int curLess0 = min(0, p[leve].first);
			const int curMore0 = max(0, p[leve].first);
			if (DFS(p, setSel, leve + 1, result + p[leve].first * i,more0-curMore0,less0-curLess0))
			{
				return true;
			}
			setSel.emplace(i);
		}
		return false;
	}	
	int m_c = 0;
};
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20
  • 21
  • 22
  • 23
  • 24
  • 25
  • 26
  • 27
  • 28
  • 29
  • 30
  • 31
  • 32
  • 33
  • 34
  • 35
  • 36
  • 37
  • 38
  • 39
  • 40
  • 41
  • 42
  • 43
  • 44
  • 45
  • 46
  • 47
  • 48
  • 49
  • 50
  • 51
  • 52
  • 53
  • 54
  • 55
  • 56
  • 57
  • 58
  • 59
  • 60
  • 61
  • 62
  • 63
  • 64
  • 65
  • 66
  • 67
  • 68
  • 69
  • 70
  • 71
  • 72

扩展阅读

视频课程

有效学习：明确的目标 及时的反馈 拉伸区（难度合适），可以先学简单的课程，请移步CSDN学院，听白银讲师（也就是鄙人）的讲解。
https://edu.csdn.net/course/detail/38771

如何你想快

速形成战斗了，为老板分忧，请学习C#入职培训、C++入职培训等课程
https://edu.csdn.net/lecturer/6176

相关

下载

想高屋建瓴的学习算法，请下载《喜缺全书算法册》doc版
https://download.csdn.net/download/he_zhidan/88348653

我想对大家说的话
闻缺陷则喜是一个美好的愿望，早发现问题，早修改问题，给老板节约钱。
子墨子言之：事无终始，无务多业。也就是我们常说的专业的人做专业的事。
如果程序是一条龙，那算法就是他的是睛

测试环境

操作系统：win7 开发环境： VS2019 C++17
或者 操作系统：win10 开发环境： VS2022 C++17
如无特殊说明，本算法用**C++**实现。

文章知识点与官方知识档案匹配，可进一步学习相关知识
算法技能树首页概览61211 人正在系统学习中
群中有博文配套源码
QQ群名片
注：本文转载自blog.csdn.net的闻缺陷则喜何志丹的文章"https://blog.csdn.net/he_zhidan/article/details/136420248"。版权归原作者所有，此博客不拥有其著作权，亦不承担相应法律责任。如有侵权，请联系我们删除。
复制链接
相关推荐
发表评论

评论记录：

未查询到任何数据！