如何基于两组元素列表生成逐元素对应的变量替换规则

你给出的规则格式是典型的Wolfram/Mathematica语法，这里分常用场景给出实现方式：

Wolfram/Mathematica 实现 #

这是最贴合你给出的语法格式的实现方式，代码非常简洁：

• 先定义变量数组、值数组和待计算表达式：
  vars = {x, y, z}; vals = {1, 2, 3}; expr = x^2 + y^2 + z^3 + x*z;
• 调用Thread函数直接生成对应替换规则：
  replace_rule = Thread[vars -> vals]
  运行后直接输出你需要的{x -> 1, y -> 2, z -> 3}，代入计算的话直接执行：
  expr /. replace_rule
  即可得到替换后的计算结果。

Python 实现 #

如果用Python做符号计算，依赖sympy库即可实现同等效果：

• 先导入依赖、定义符号和对应数组：

from sympy import symbols
x, y, z = symbols('x y z')
vars_list = [x, y, z]
vals_list = [1, 2, 3]
expr = x**2 + y**2 + z**3 + x*z

• 生成替换用字典（功能等价于Wolfram的替换规则）：
  replace_dict = dict(zip(vars_list, vals_list))
• 代入表达式计算：
  res = expr.subs(replace_dict)
  如果需要生成和你示例完全一致的规则字符串，可执行：
  rule_str = "{" + ",".join([f"{var}->{val}" for var, val in zip(vars_list, vals_list)]) + "}"

通用实现逻辑 #

所有语言的核心实现逻辑都一致：

• 首先校验两个输入数组的长度完全相同，保证元素可以一一对应
• 按索引位置配对两个数组的同位置元素，拼接为变量->值的配对格式
• 最后将所有配对组合为你需要的列表/字典/字符串格式即可

内容的提问来源于stack exchange，提问作者Viktor Rzhaksinskii