QzZq

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

摘要： 方法一： 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 阅读全文

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

摘要： 阅读全文

摘要： 阅读全文

摘要： 阅读全文

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

摘要： 阅读全文

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

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