- 博客(3)
- 资源 (1)
- 收藏
- 关注
RSS订阅原创 CSP:约束可满足问题（多皇后问题）
一个CSP（Constraint Satisfaction Problem）通常看作是一个三元组<V,D,C>,其中：V是变量的集合；D是每个变量的值域：C是一组约束。CSP问题的目标是求一个对变量的赋值，该赋值满足C中所有的约束。CSP的描述方式：Extensional方式以及Intensional方式•Extensional方式：一个约束本质上是一些变量的值域的笛卡尔集的子集， Extensional方式是将这些子集的元素详细地写出来。例如变量x、y，他们的值域均为{1、2、3},.
2022-01-28 11:58:07
3232
原创 在ios系统上配置安装ruby的辛酸历程
ruby语言是一种面向对象的脚本语言，很多人喜欢把它拿来跟python来做对比，在我看来吧，其实各有好处吧，但是由于python的语法更简单，拓展性更强，因此python要比ruby更加受欢迎一些。而我学习ruby的动因主要是学校里的课程要求，这里多说一句github是个好东西，里面有大量的ruby教程，这里推荐一个好用的ruby教程：猜词应用的自动测试环境，网址如下：GitHub - saasbook/hw-sinatra-saas-wordguesser: Wordguess: a s...
2021-10-28 16:21:57
2411
基于Verilog HDL的多功能数字时钟系统
基于Verilog HDL的多功能数字时钟系统，在Quartus II集成环境中开发，主要包含数字时钟(年月日时分秒)，万年历，闹钟，整点报时等功能。
2022-03-15
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人