小白求解

喜旧 2019-03-14 09:18:12
c语言不怎么会帮帮忙
...全文
39 回复 打赏 收藏 转发到动态 举报
写回复
用AI写文章
回复
切换为时间正序
请发表友善的回复…
发表回复
【资源说明】 基于C++实现的casadi优化求解NMPC源码(带详细注释).zip基于C++实现的casadi优化求解NMPC源码(带详细注释).zip基于C++实现的casadi优化求解NMPC源码(带详细注释).zip基于C++实现的casadi优化求解NMPC源码(带详细注释).zip基于C++实现的casadi优化求解NMPC源码(带详细注释).zip基于C++实现的casadi优化求解NMPC源码(带详细注释).zip基于C++实现的casadi优化求解NMPC源码(带详细注释).zip基于C++实现的casadi优化求解NMPC源码(带详细注释).zip基于C++实现的casadi优化求解NMPC源码(带详细注释).zip基于C++实现的casadi优化求解NMPC源码(带详细注释).zip基于C++实现的casadi优化求解NMPC源码(带详细注释).zip 基于C++实现的casadi优化求解NMPC源码(带详细注释).zip 基于C++实现的casadi优化求解NMPC源码(带详细注释).zip 基于C++实现的casadi优化求解NMPC源码(带详细注释).zip 【备注】 1、该资源内项目代码都经过测试运行成功,功能ok的情况下才上传的,请放心下载使用! 2、本项目适合计算机相关专业(如计科、人工智能、通信工程、自动化、电子信息等)的在校学生、老师或者企业员工下载使用,也适合小白学习进阶,当然也可作为毕设项目、课程设计、作业、项目初期立项演示等。 3、如果基础还行,也可在此代码基础上进行修改,以实现其他功能,也可直接用于毕设、课设、作业等。 欢迎下载,沟通交流,互相学习,共同进步!
【资源说明】 数据结构课设基于SAT的二进制数独游戏求解C++源码+课设报告+代码注释.zip 数据结构课设基于SAT的二进制数独游戏求解C++源码+课设报告+代码注释.zip 数据结构课设基于SAT的二进制数独游戏求解C++源码+课设报告+代码注释.zip 1、该资源内项目代码都是经过测试运行成功,功能ok的情况下才上传的,请放心下载使用! 2、本项目适合计算机相关专业(如计科、人工智能、通信工程、自动化、电子信息等)的在校学生、老师或者企业员工下载使用,也适合小白学习进阶,当然也可作为毕设项目、课程设计、作业、项目初期立项演示等。 3、如果基础还行,也可在此代码基础上进行修改,以实现其他功能。 #### 介绍 要求基于DPLL算法实现一个完备SAT求解器,对输入的CNF范式算例文件,解析并建立其内部表示;精心设计问题中变元、文字、子句、公式等有效的物理存储结构以及一定的分支变元处理策略,使求解器具有优化的执行性能;对一定规模的算例能有效求解,输出与文件保存求解结果,统计求解时间。 #### 软件架构 软件架构说明 #### 使用说明 ## 1. 读取cnf文件 输入对应的处理文件(以.cnf结尾)绝对路径,或者将其放在与程序相同的文件夹下打开。 ## 2. 遍历输出每个句子 输出“已经”读入的.cnf文件 ## 3. DPLL求解算例并保存 进行SAT求解,并将结果以同名+.res结尾的形式保存 ## 4. 二进制数独游戏 在有求解器的条件下,可以创建一个二进制的数独游戏,并求其解。

13,826

社区成员

发帖
与我相关
我的任务
社区描述
C++ Builder相关内容讨论区
社区管理员
  • 基础类社区
加入社区
  • 近7日
  • 近30日
  • 至今
社区公告
暂无公告

试试用AI创作助手写篇文章吧