移动火柴棒判断等式是否成立

这个问题可以用递归或回溯的方式来解决。首先将等式转换为一个字符串，例如 "1+2=3" 就可以转换为 "1+2=3#"，其中 "#" 表示字符串的结束符。

然后可以定义一个函数，该函数的输入为一个字符串和两个整数 a 和 b，表示当前字符串中 a 和 b 之间的部分需要判断是否成立。函数的递归终止条件为当字符串中没有剩余的火柴棒时，判断 a+b 是否等于 c。如果等于，则返回 True，否则返回 False。

在函数中，可以使用一个循环来枚举当前字符串中 a 和 b 之间的火柴棒个数 i，然后分别计算 a 和 b 对应的数字。如果当前字符为 "+"，则将 a 和 b 对应的数字相加；如果当前字符为 "="，则判断 a+b 是否等于 c。如果等于，则返回 True；否则继续递归判断接下来的字符串部分。

下面是一个简单的 Python 代码实现：

def is_equation_valid(equation):
    equation += '#'  # 添加字符串结束符

    def helper(s, a, b):
        if not s:  # 火柴棒用完了，判断 a+b 是否等于 c
            return a + b == c

        for i in range(1, len(s)):
            if s[i] == '+':
                if helper(s[i+1:], a+count(s[:i]), b):
                    return True
                if helper(s[i+1:], a, b+count(s[:i])):
                    return True
            elif s[i] == '=':
                if helper(s[i+1:], a+count(s[:i]), b):
                    return a + b == c
        return False

    def count(s):
        return sum([sticks[c] for c in s])

    sticks = {'0': 6, '1': 2, '2': 5, '3': 5, '4': 4,
              '5': 5, '6': 6, '7': 3, '8': 7, '9': 6}
    a, b, c = [count(x) for x in equation.split('=')]
    return helper(equation, 0, 0)

其中，sticks 字典用于将数字字符映射到对应的火柴棒个数。