上一页 1 ··· 5 6 7 8 9 10 11 12 下一页

2021年1月25日

CaDiCaL2017->CaDiCaL2018->CaDiCaL2019->Kissat

摘要: LingeLing SPLATZ 2016年比赛用例; 1、简化LingeLing 2、块状句分解 CaDiCaL2017 2017年新提出,思想与SPLATZ相同; 对SAT例子效果不好,循环交织了inprocessing和CDCL,效果得到改善。 inprocessing 这是一种全新得求解方法 阅读全文

posted @ 2021-01-25 20:52 QzZq 阅读(264) 评论(0) 推荐(0)

2021年1月21日

排序算法

摘要: 方法一: template <class T, class LessThan> void selectionSort(T* array, int size, LessThan lt) { int i, j, best_i; T tmp; for (i = 0; i < size-1; i++){ b 阅读全文

posted @ 2021-01-21 17:13 QzZq 阅读(54) 评论(0) 推荐(0)

static

摘要: Q1:为什么使用static? A1:一方面,对函数内部定义的变量,在程序执行到它的定义时,编译器会在栈上为他分配内存空间,等该函数执行完后,会将栈上的空间释放掉。那么,如果我想把这次函数的值保存到下一次使用呢?一种做法是将变量设置为全局变量,但是这样做的会改变变量的访问范围,也就说不仅仅在函数内该 阅读全文

posted @ 2021-01-21 14:41 QzZq 阅读(283) 评论(0) 推荐(0)

2021年1月15日

内存泄漏

摘要: 阅读全文

posted @ 2021-01-15 18:38 QzZq 阅读(74) 评论(0) 推荐(0)

全局静态存储区和常量存储区的变量对比

摘要: 阅读全文

posted @ 2021-01-15 18:29 QzZq 阅读(101) 评论(0) 推荐(0)

栈和堆中变量的对比

摘要: 阅读全文

posted @ 2021-01-15 18:25 QzZq 阅读(85) 评论(0) 推荐(0)

linux make c99

摘要: make CFLAGS="-std=c99" 阅读全文

posted @ 2021-01-15 17:17 QzZq 阅读(366) 评论(0) 推荐(1)

2021年1月14日

malloc()

摘要: 阅读全文

posted @ 2021-01-14 18:01 QzZq 阅读(67) 评论(0) 推荐(0)

2020年12月8日

位运算整理(1)

摘要: 关于操作计算方法 在这里计算算法的总运算次数时,将任何C运算符都算作一次运算。不需要写到RAM中的中间作业不计算在内。当然,这种操作计算方法只能作为实际机器指令数和CPU时间的近似值。所有的操作都被假定为需要相同的时间,实际情况并非如此,但随着时间的推移,CPU越来越朝着这个方向发展。有许多细微的差 阅读全文

posted @ 2020-12-08 14:49 QzZq 阅读(95) 评论(0) 推荐(0)

位运算整理(2)

摘要: 从一个固定的位宽延伸出来的符号 对于内置类型,如chars和ints,符号扩展是自动的。但是,假设你有一个有符号的二补数x,只用b位存储。此外,假设你想将x转换为一个int,它的位数超过b位。如果x是正数,简单的复制就可以了,但如果是负数,则必须扩展符号。例如,如果我们只有4位来存储一个数字,那么- 阅读全文

posted @ 2020-12-08 14:47 QzZq 阅读(300) 评论(0) 推荐(0)

上一页 1 ··· 5 6 7 8 9 10 11 12 下一页

导航