用numpy数组和SAT实现Python多处理

Question

我环顾了一下论坛，似乎找不到任何有用的东西。我正在尝试并行化一些进程，但似乎无法让它工作。你知道吗

from multiprocessing import *
from numpy import *

x=array([1,2,3,4,5])

def SATSolver(args):
    #many_calculations
    return result

def main(arg):
    new_args=append(x,arg)
    return SATSolver(new_args)

y=array([8,9,10,11])

if __name__ == '__main__':
    pool=Pool()
    results=pool.map(main,y)
    print(results)

SATSolver函数是大部分工作发生的地方。基本上，我有一个数组x和第二个数组y，我想把y中的每个值分别加到x上，然后通过SATSolver函数运行这个新的集合。我想使用多处理模块，这样可以并行运行。你知道吗

每当我尝试运行此程序时，都不会出现错误，但会弹出一个新的交互式窗口，并显示“无法从文件路径\-c加载文件。是否要创建新文件？”你知道吗

在没有多处理的情况下运行时，一切都能完美地工作。你知道吗

你有什么办法让它工作吗？你知道吗

谢谢！你知道吗