随笔 - 260
文章 - 0
评论 - 0
阅读 -
52987
03 2020 档案
第一章贝叶斯推断的哲学 1.4使用计算机执行贝叶斯推断
摘要：描述变量的最佳方法之一是列出该变量的数据集中至，以及每个值出现的次数，这种描述称为变量的分布。每个值出现的次数占总出现次数的比例称为该值出现的概率。通过这种正态化的处理，对变量各种出现情形的描述可以转化为各种出现情形（随机变量Z）的概率分布。 对于离散型随机变量Z，存在一个与之相关的概率分布函数，描
阅读全文
类内部定义函数指针及其用法
摘要：发生如下错误 以为是命名空间与函数指针的问题。查询得到有价值的信息如下： 实际解决问题参考的帖子如下： 最终问题解决了。明天详述。
阅读全文
SLS求解器学习walkSAT3
摘要：walksat2013版本的函数 重点函数之一 1 //cpick means computing break values and pick, this function is adopted for random 4-SAT 2 int cpick_bbreak_gmake() 3 { 4 in
阅读全文
SLS求解器学习walkSAT2
摘要：WalkSATlm2013是一个随机局部搜索的典型求解器，包含了主要的求解框架和技术实现方法。下面就代码组成做解读。 第一部分：库、宏、函数指针、全局变量 //1.1 头文件 #include <iostream>#include <fstream>#include <cstdlib>#includ
阅读全文
定期关注文献——查询关键字
摘要：跟踪最新文献需要查询的关键词 sat implication graph Community Structure SAT Problems SAT solver Structure SAT Reduction 可以搜素到很多形式化与sat的文章
阅读全文
SLS求解器学习walkSAT1
摘要：蔡少伟老师于2011年提出了配置检查策略，简称CC（Configuration Checking）配置检查策略。变元配置是指该变元的邻居的赋值情况，将变元的邻居变元真值变化纳入对该变元的考量。在每次挑选变元时，首先检查该变元自上次被翻转后配置是否发生改变，若该配置未发生为发生变化，那么本次应该避免再
阅读全文
复杂程序编译1
摘要：现在一般的程序，代码编写、文件编译及连接等都会在既有的集成编程环境IDE中进行。如vs2018等。如果在Unix环境或cydriver命令行方式编译程序，需要认真学习make命令方式。 以SLS编译器WalkSAT为例讲解程序编译。 1.首先在文件夹WalkSATlm2013内准备程序文件：wsat
阅读全文
复杂程序编译5
摘要：复杂的sat求解器改进程序，采用多种编程语言结合的方式编写。这样既保留了原来求解库（通常c++/c编写）的高效性，由能发挥便于调试编程语言（如MATLAB、python）的易用性。通常这种情形，编译程序会提供cmake文档，调用指定版本的CMake软件，帮助实现复杂程序的编译过程。 neurocor
阅读全文
luby序列的生成函数及其使用
摘要：SAT求解器中search函数的实参是求解发生冲突的限量值。luby函数可以作为序列生成器，序列元素反映一定规律，这样可以使得重启按照指定冲突序列有计划的进行。 先看一下luby函数： /* Finite subsequences of the Luby-sequence: 0: 1 1: 1 1
阅读全文
第一章贝叶斯推断的哲学 1.1引言
摘要：我手头的这本《贝叶斯方法——概率编程与贝叶斯推断》是2017年由中国工信出版集团和人民邮电出版社出版的，适合机器学习、贝叶斯推断、概率编程等相关领域从业者和爱好者阅读学习。因为工作需要概率知识，急需补充相关知识，所以决定以这本书的内容做主要脉络认真学习一下。 1.1引言 1. 先验概率与后验概率（条
阅读全文
