读书笔记
自由自在梦在何方
我追求完美,不奢求完美。
展开
-
vim 使用submatch
在vim中交换两个单词::%s/\(\<man\>\|\<god\>\)/\={"man":"god","god":"man"}[submatch(1)]/g替换数字加一::%s/\d/\=submatch(0)+1/g参考Pricatical Vim.原创 2019-11-29 09:31:49 · 1301 阅读 · 0 评论 -
正则表达式与正则语言
正则表达式和正则语言是一致的。但能不能用正则表达式识别,是需要分析的。比如0与1一样多的01串,是否可以识别?根据泵引理是不可以的,所以如果想通过正则表达式来处理,那将是歧途。01与10一样多的,是可以识别的。因为通过分析后,可以知道01与10无论如何他们的个数不会差别超过1.所以可以据此构造有限状态机。从而构造正则表达式。状态机分别有以下状态:个数相同的以0结尾,个数相同以1结尾...原创 2019-11-23 11:23:44 · 1137 阅读 · 0 评论 -
python z3处理命题逻辑
>>> solver.reset()>>> solver.add(Not(Implies(And(Implies(p,q),Implies(q,r)),Implies(p,r))))>>> solver.check()unsat>>> solver.reset()>>> solver.add(No...原创 2019-11-22 17:44:59 · 1267 阅读 · 0 评论 -
从排序算法看起
本文拟分析各排序算法的优劣性。主要分析冒泡排序,堆排序的操作与熵的变化。也许涉及机器学习在排序算法研究中的应用。也稍微聊聊人生与合理社区发展的一些想法。算了下冒泡排序的熵变化情况。效率低的原因是信息没有复用。如果改为分组归并,那么第一轮的信息都是独立的,熵减少平均是常数:ln2。对于冒泡,第一轮平均是(ln2+ln3/2+...+lnn/(n-1))/(n-1)=lnn/...原创 2019-11-06 11:32:25 · 132 阅读 · 0 评论 -
PRECONDITIONING TECHNIQUES 预条件子技术
寻找一个好的预条件子来解决给定的稀疏线性系统通常被认为是艺术与科学的结合。预条件子基本上可以简单认为是通过变换求解一些条件数比较小的线性方程组来求原始问题。1 Jacobi, SOR, SSOR预条件子Ax=b 可视为其中A=M-N则:...原创 2019-10-13 16:20:04 · 1396 阅读 · 0 评论 -
无约束正项式几何规划
对于优化问题:min y=sum{ci*xi^ai}s.t. x>0写成标准形式:sum{cj*prd{xi^aij}}将相应的系数和置零,加上和为1,解之即可。例:y=60x1^(-3)x2^(-2)+50x1^3x2+20x1^(-3)x2^3即:p1+p2+p3=1-3p1+3p2-3p3=0-2p1+p2+3p3=0有唯一解,说明原问题有最...原创 2019-07-05 16:50:12 · 500 阅读 · 0 评论 -
Vim 实用技巧
. 模式一键移动,一键执行。1 重复操作.命令x.dd.>G j. j.2 末尾加;A;<Esc> j. j.3 +前后添加空格f+s + <Esc>;. ;.4 执行,回退uCtrl+r5 手动替换*cwxxx<Esc>n. nn....原创 2019-09-12 11:57:44 · 89 阅读 · 0 评论 -
Iterative Methods for linear sparse systems读书笔记
Iterative Methods for linear sparse systems一本好书。试着读读吧。原创 2019-09-18 16:38:03 · 891 阅读 · 0 评论 -
Ito引理
因只连续但处处不可微的维纳过程等,需要扩充积分定义。黎曼积分的表述给予很大启发。但在涉及不可微时,需要对很多东西做修改。Ito引理非常有用。例如:...原创 2019-10-08 12:01:36 · 1092 阅读 · 0 评论 -
概率图的应用
利用概率图做变量消除The junction tree algorithm1 画出有向图,连接父节点2 有向图化无向图3 三角剖分4 团算法原创 2019-07-05 16:28:24 · 553 阅读 · 0 评论 -
费曼的话
科学发现事物的具体方法,从所发现的事物中产生出来的知识。发现一事物后可以做的新东西或创新事物的过程。50%的内容为发现了什么东西,50%还有什么可以做/正在做通俗的科学也含有技术。特点:应用。做事能力本身是有价值的。不断尝试新的解决方案就是解决一切问题的途径。科学活动就是一次巨大的探险。...原创 2019-07-05 16:20:40 · 165 阅读 · 0 评论 -
d-seperation 条件独立性
PRML书中及概率图模型中的条件独立性,d-seperation考虑A经C到B的几种可能性:有向图{(C,A),(C,B)},{(A,C),(C,B)},{(A,C),(B,C))}易知:情形1和2条件独立,3直接独立,加了条件反而不独立了。因此要把条件独立性推广到d-seperation,就需要变成:集合S要满足:1 头尾或尾尾交汇的点都在集合S中2 头头交汇的点及其原创 2017-09-18 14:25:25 · 1452 阅读 · 0 评论 -
PostgreSQL技术内幕 读书简记
数据库的架构,本书是查询优化模块 src/backend/optimizer查询优化的优势(优化器对人):信息不对称(内部更多:统计数据)时效性(数据时刻在变,查询计划不是恒定的)算力不同(人弱爆了)查询优化分两个层次:基于规则的(RBO);基于代价的(CBO)逻辑优化:等价变换;物理优化:变成最优的查询执行器的语言逻辑优化的可能性:例子:笛卡尔积的带条件的...原创 2018-12-12 15:45:46 · 340 阅读 · 0 评论 -
龙书读书简记
今年主要任务是读两本书。龙书是其中之一。希望能有所收获。希望能坚持读完。https://item.jd.com/10058776.html?dist=jd时间是有限的,生命是宝贵的。但是想象力是无限的。...原创 2019-01-21 10:05:16 · 159 阅读 · 0 评论 -
pumping lemma 泵引理
正则语言的泵引理上下文无关的泵引理区别在于正则简单:w为足够长的串时,w=xyz的形式,则xy^kz仍属于L上下文无关:w为足够长的串时,w=uvxyz的形式,则uv^kxy^kz仍属于L可以看到上下文无关比正则语言稍微复杂些。都是有限个状态可以描述的。当然,引理可以给出不为某种语言的判断,也可以给出为某种语言的判断。比如判断自然数值域的非线性多项式不为上下文无关的:“...原创 2019-01-23 10:34:59 · 6977 阅读 · 0 评论 -
棋盘多项式
https://arxiv.org/pdf/math/0407004.pdf棋盘多项式,对于给定的棋盘,可以放多个不交车的数目。性质:1 R(空)=12 R(AVB)=R(A)*R(B) 其中AVB表示A与B是不交并。行与列互不相交。3 按某个格子分割: R(A)=R(B)+x*R(C) 其中B表示移去某个格子,C表示移去某个格子所在的行与列。4 根据上述性质:可...原创 2019-03-07 17:51:54 · 3690 阅读 · 0 评论 -
tex使用
处理pdf文档,用tex比较方便。例如:\documentclass[UTF8]{ctexart}\usepackage{xeCJK}\title{《 哈哈 》\\ [2ex] \begin{large} 作者 \end{large}} %———总标题 \begin{document} \maketitle % —— 显示标题\tableofconten...原创 2019-03-11 11:24:16 · 785 阅读 · 0 评论 -
Numerical Python 不错的书
偶尔看到一本书,感觉还不错。记下阅读笔记,非常粗略。未完待续。。。。。。。《Numerical Python :Scientific Computing and DataScience Applications with Numpy, SciPy and Matplotlib》second Edition第一章工具的使用:ipython,jupyter(qtconsole,noteb...原创 2019-07-05 16:07:47 · 731 阅读 · 0 评论 -
皮尔逊卡方检验简记
皮尔逊卡方检验简单应用:1 分布服从某有限已知离散分布自由度df=m-1,p-score分值越接近0表服从分布;接近1表不接受。2 独立性检验自由度df=(r-1)(c-1)p-score分值越接近0表拒绝独立。3 分布服从某有限未知离散分布自由度df=m-r-1大概原理与应用:构造统计量服从卡方分布,计算统计量的分值,解释结果。...原创 2019-07-05 16:15:46 · 11695 阅读 · 0 评论