随笔 - 260
文章 - 0
评论 - 0
阅读 -
52987
随笔分类 - 数据结构与算法
数据表示和数据操作的方法；大数据的排序、搜索算法；典型题目的思考方式和处理技巧等
快速排序在求解器中的应用
摘要：快速排序的标准代码 1 template <class T, class LessThan> 2 void sort(T* array, int size, LessThan lt) 3 { 4 if (size <= 15) 5 selectionSort(array, size, lt); 6
阅读全文
算法学习——The Compass Search Optimization Algorithm
摘要：该算法对应有各种语言版本：python、c++、MATLAB等 COMPASS_SEARCH, a Python library which seeks the minimizer of a scalar function of several variables using compass sea
阅读全文
代码解读——给定已知赋值文字序列交由求解函数solveLimited传播并处理冲突
摘要：在主函数main.cc中 在化简求解代码段之后： vec<Lit> dummy; lbool ret = S.solveLimited(dummy); 在Solver.h文件中 inline lbool Solver::solveLimited (const vec<Lit>& assumps){
阅读全文
蕴含图讲解1——传播的实际信息
摘要：基于一个实际的cnf例子讲解传播。 cnf文件： 数据文件：10.44.1667358355.cnf 1 p cnf 10 44 2 10 -1 5 0 3 -1 -4 -3 0 4 -5 -4 6 0 5 -2 -1 4 0 6 10 -8 -7 0 7 9 2 -6 0 8 -1 -2 -6 0
阅读全文
决策变元分支策略——文献学习：Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers_______sat求解器是一个大数据系统
摘要：Modern CDCL SAT solvers maintain lots of state features such as the partial assignment, trail, learnt clause database, saved phases, etc. 译文：现代CDCL SA
阅读全文
不断增长的海量数据的排序算法——桶排序
摘要：来源：百度百科https://baike.so.com/doc/6805698-7022638.html 桶排序 应用实例 一年的全国高考考生人数为500 万，分数使用标准分，最低100 ，最高900 ，没有小数，要求对这500 万元素的数组进行排序。 分析：对500W数据排序，如果基于比较的先进排
阅读全文
