从CNF到DPLL算法

从三个问题出发: 什么是CNF? 如何将逻辑表达式转化为CNF? 什么是DPLL算法? 合取范式(CNF,conjunctive normal form) CNF是指一系列逻辑表达式的合取,每一个子逻辑表达式都为下列类型之一: 为原子表达式(例如:$ p $,$ \lnot p$) 为原子表达… ...more

March 12, 2022 [算法] #CNF #DPLL

Rust框架Yew支持CSS

Yew主框架并未开始支持CSS,但在这里统计了关于CSS支持的一些建议。 为了支持CSS,最直接的方法是在html!宏中直接添加class和id属性,然后在静态的index.html导入一个实现的CSS文件。其次可以使用一些其它的库来支持CSS。目前有5个库实现了Yew的CSS支持。 yew st… ...more

March 06, 2022 [编程] #rust #webassembly #Yew

联想小新pro 13 windows11 bug记录(2022)

人脸识别无法正常工作 具体现象:windows Hello 无法录入人脸,一直卡在请确保你的面孔剧中。 解决方法:在设备管理器中卸载IR Camera(勾选删除此设备的驱动程序)和Camera,重启之后就可以录入人脸了。 Window+X导致资源管理器重启 微软 Win11 预览版 22563 出现… ...more

March 05, 2022 [系统] #windows

Rust框架Yew的使用

环境搭建 Yew框架也是将rust代码编译成WebAssembly,添加target rustup target add wasm32-unknown-unknown 安装trunk,他与wasm-pack类似,是将rust编译成wasm的重要工具。 cargo install trunk 实现… ...more

February 26, 2022 [编程] #rust #webassembly

将Rust程序编译成WebAssembly

环境搭建 从这里安装Rust工具链,rustup(Rust版本管理),rustc(Rust编译器),cargo(Rust包管理) 安装wasm-pack,用于构建、测试发布Rust生成的WebAssembly 安装cargo-generate,用于从模板快速启动一个Rsut项目,cargo ins… ...more

February 19, 2022 [编程] #rust #webassembly

struct timespec转化为struct tm

C语言中遇到了三种时间类型: time_t struct timespec struct tm 这里总结一下它们之间的相互转化 time_t 和 struct timespec time_t 只存储秒而struct timespec存储了纳秒,直接将秒转化即可: time_t time = (t… ...more

February 12, 2022 [编程] #C语言 #linux

C语言红黑树实现

红黑树的结构 类型定义包括两个部分:一个root节点和多个树节点 root节点 root节点保存红黑树的树根节点 typedef struct rb_tree() { Node* node; } RBRoot; 树节点 树节点用于保存红黑树节点中的信息包括 节点的颜色~ ~color~ … ...more

February 05, 2022 [算法] #C语言 #linux #红黑树