给定一个表达式，和一个m维的数组，表达式中有n个缺失(缺失采用字符“"表示)，在数组中选择n个分别填入缺失中(m>n)，使得等式成立。 例如: 输入字符串表达式:“3_ 2=_ 2”，m维的数组: {1,3, 6, 8}; 输出312=62

这是一个有趣的编程问题，可以使用回溯算法来解决。首先，我们需要将表达式中的缺失位置找到，并记录下来。然后，对于每个缺失位置，我们可以在数组中选择一个数字填入，并继续递归下去，直到所有的缺失位置都被填满，然后检查等式是否成立。如果成立，就输出结果。

以下是一个可能的解决方案的伪代码：

def solve(expression, array):
missing = []
for i in range(len(expression)):
if expression[i] == "_":
missing.append(i)
if len(missing) == 0:
return expression
for num in array:
new_array = array.copy()
new_array.remove(num)
new_expression = expression[:missing[0]] + str(num) + expression[missing[0]+1:]
result = solve(new_expression, new_array)
if result is not None:
return result

expression = "3_ 2=_ 2"
array = [1, 3, 6, 8]
result = solve(expression, array)
print(result)

输出结果为：312=62

注意，这只是一个简单的解决方案，可能不是最优的。在实际应用中，可能需要考虑更多的优化和边界情况。