python Z3 工作分配问题

有三个工人十五个工作
第10 11 12个工作必须由一个工人承担
工人1做第x工作需要2*x的时间
工人2做第x工作需要x+10的时间
工人3做第x工作需要x+20的时间
计算工作时间最少的分配方法

求思路

这个涉及到工作能否并行及资源排斥问题吗？
比如明显 1 - 5 号工作 ， 工人1 工作耗时最少
另外2个工人就闲着，还是可以安排工人2去做15号工作？
不考虑资源排斥，而且工作可以并行，1-15号工作，耗时最少的时间如下

这是多线程吗?工人是按顺序工作,还是每个工人的时间分开计算?

您好，我是有问必答小助手，您的问题已经有小伙伴帮您解答，感谢您对有问必答的支持与关注！
PS：问答VIP年卡 【限时加赠：IT技术图书免费领】，了解详情>>> https://vip.csdn.net/askvip?utm_source=1146287632