当前位置: 首页 > news >正文

利用DeepSeek辅助PuLP求解Advent of Code 2025第10题 电子工厂 第2部分

原题地址 。

前面,DeepSeek用numpy的线性规划没有解答完成。听张泽鹏先生说他用PuLP这个库整数规划解决了。今天也让DeepSeek编一个。

请用PuLP这个库整数规划解决电压按钮问题,不做别的

他给出了如下程序

importreimportpulpdefparse_line_part2(line):"""解析一行数据,返回电压要求和按钮列表(第二部分)"""# 匹配大括号部分match_brace=re.search(r'\{([^}]+)\}',line)ifnotmatch_brace:returnNone,None# 解析电压要求joltage_str=match_brace.group(1)target=[int(x.strip())forxinjoltage_str.split(',')]# 匹配所有圆括号部分buttons=[]pattern=r'\(([^)]+)\)'matches=re.findall(pattern,line)formatchinmatches:# 解析圆括号内的数字nums=[int(x.strip())forxinmatch.split(',')]buttons.append(nums)returntarget,buttonsdefsolve_machine_pulp(target,buttons):"""使用PuLP整数规划求解单个机器的电压配置问题"""n_counters=len(target)n_buttons=len(buttons)# 创建整数规划问题prob=pulp.LpProblem("ButtonPresses",pulp.LpMinimize)# 创建决策变量(每个按钮的按压次数,非负整数)x=pulp.LpVariable.dicts('x',range(n_buttons),lowBound=0,cat='Integer')# 目标函数:最小化总按压次数prob+=pulp.lpSum([x[i]foriinrange(n_buttons)])# 约束条件:每个计数器的总增加量必须等于目标值forcounterinrange(n_counters):# 计算影响该计数器的所有按钮的总贡献total_effect=pulp.lpSum([x[btn_idx]forbtn_idxinrange(n_buttons)ifcounterinbuttons[btn_idx]])prob+=total_effect==target[counter],f"Counter_{counter}_Constraint"# 求解问题prob.solve(pulp.PULP_CBC_CMD(msg=False))# 检查求解状态ifpulp.LpStatus[prob.status]=='Optimal':# 提取解presses_list=[int(pulp.value(x[i]))foriinrange(n_buttons)]total_presses=sum(presses_list)returntotal_presses,presses_list,"求解成功"elifpulp.LpStatus[prob.status]=='Infeasible':return-1,None,"无可行解"else:return-1,None,f"求解失败:{pulp.LpStatus[prob.status]}"defvalidate_solution(target,buttons,presses_list):"""验证解是否正确"""ifpresses_listisNone:returnFalse,Nonem=len(target)current=[0]*mforj,press_countinenumerate(presses_list):ifpress_count>0:foridxinbuttons[j]:current[idx]+=press_countreturncurrent==target,currentdefmain():total_presses=0success_count=0fail_count=0# 读取输入文件withopen('2510-input.txt','r')asf:lines=f.read().strip().splitlines()fori,lineinenumerate(lines):target,buttons=parse_line_part2(line)iftargetisNoneornotbuttons:continuemin_presses,presses_list,message=solve_machine_pulp(target,buttons)ifmin_presses>=0:# 验证解is_valid,calculated=validate_solution(target,buttons,presses_list)ifis_valid:print(f"机器{i+1}:{min_presses}次按压 ({message})")print(f" 按钮按压次数:{presses_list}")print(f" 验证通过:{calculated}=={target}")total_presses+=min_presses success_count+=1else:print(f"机器{i+1}: 验证失败! ({message})")print(f" 尝试解:{presses_list}")print(f" 计算值:{calculated}!= 目标值:{target}")fail_count+=1else:print(f"机器{i+1}: 求解失败 ({message})")fail_count+=1print(f"\n总结:")print(f"成功求解:{success_count}台机器")print(f"失败:{fail_count}台机器")print(f"总最少按压次数:{total_presses}")returntotal_pressesif__name__=="__main__":main()

安装pulp

python3 pip.pyz install pulp --break-system-packages -i https://pypi.tuna.tsinghua.edu.cn/simple

执行

time python3 2510pulp.txt >2510pulp-res.txt real 0m0.783s user 0m0.224s sys 0m0.056s cat 2510pulp-res.txt ... 机器 194: 69 次按压 (求解成功) 按钮按压次数: [0, 16, 25, 25, 1, 2] 验证通过: [41, 51, 41, 43] == [41, 51, 41, 43] 机器 195: 37 次按压 (求解成功) 按钮按压次数: [20, 8, 9] 验证通过: [29, 8, 37, 28, 37] == [29, 8, 37, 28, 37] 总结: 成功求解: 195 台机器 失败: 0 台机器

看来问DeepSeek问题不但要说清楚需求,还要说对工具。

http://www.cnnetsun.cn/news/13408.html

相关文章:

  • 43、优化邮件体验:Ximian Evolution定制与SpamAssassin反垃圾设置
  • GLM语言模型:为什么它能成为你的AI文本处理首选?
  • BlenderMCP像素艺术转换:从3D模型到复古游戏资产的终极指南
  • Live Charts:5大核心功能打造专业级数据可视化解决方案
  • Wan2.2-T2V-A14B如何理解‘风吹树叶’这类物理动词?
  • 快速上手Kickstarter Android开源项目的3个核心技巧
  • 48小时掌握SVM分类:Social_Network_Ads数据集实战精解
  • Wan2.2-T2V-A14B模型在高校招生宣传片定制中的竞争优势
  • Wan2.2-T2V-A14B是否支持按秒级精确控制动作发生时刻?
  • 告别烦人黑窗口:3分钟学会用RunHiddenConsole让Windows程序后台运行
  • Steamless终极指南:专业级SteamStub DRM移除工具完整解析
  • Venera漫画阅读器:5分钟快速上手完整指南
  • Python环境管理终极指南:实现多版本无缝切换
  • 【无人机多目标路径规划】(多目标路径规划)MOCOA多目标浣熊算法实现无人机多目标路径规划(Matlab代码实现)
  • 基于Wan2.2-T2V-A14B构建商用级视频生成系统的最佳实践
  • Open XML SDK深度解析:高效文档处理的终极解决方案
  • 4800亿参数重构开发范式:Qwen3-Coder如何重新定义企业级AI编程
  • adbutils Android调试工具安装与使用指南
  • 仅用1张图1小时,比肩FLUX.1和Qwen,推理狂飙5倍!Glance用“快慢哲学”颠覆扩散模型!
  • Android离线语音识别终极实践指南:3个真实场景完整方案
  • Wan2.2-T2V-A14B模型在跨境电商视频本地化中的优势体现
  • YgoMaster:打造你的专属离线游戏王王国
  • pymzML完全指南:Python质谱数据分析从入门到精通
  • DzzOffice开源协作平台:从零开始的企业办公解决方案
  • LocalAI本地AI部署实战:从零搭建企业级开源AI平台
  • GNU创始人斯托曼:ChatGPT是“胡扯生成器”
  • MultiHighlight代码高亮工具:重构编程阅读体验的终极指南
  • Wan2.2-T2V-A14B在天文现象模拟视频中的科学准确性验证
  • 5个必学的m3u8-downloader命令行技巧,提升下载效率300%
  • Fastboot Enhance:从命令行苦手到刷机高手的进化之路