编程序求出满足如下条件的四位正整数个数：个位数字与百位数字的和是十位数字与千位数字之和的两倍。
编程序求出满足如下条件的四位正整数个数：个位数字与百位数字的和是十位数字与千位数字之和的两倍。代码如下：#include<stdio.h>int main(){ int n; int a=0;//表示个位数的数字 int b=0;//表示十位数的数字 int c=0;//表示百位数的数字 int d=0;//表示千位数的数字 int count=0;//用于统计个数 for(n=1000;n<=9999;n++) { d=n/1000; c=n/100%1
四国军棋引擎开发（12）关键步加深搜索
调了很久终于能够更新一个版本了，这东西是越来越难调了，每一次输棋都要处理茫茫多的复杂逻辑，而且有些bug隐藏在递归的最深处很难定位，真希望软件可以像人一样自己学会想算法调代码做验证。这次更新大的框架没有什么改动，只是调了很多很多的bug，最主要添加的功能是在搜索时记录一些关键步，在关键步如威胁到军旗时，再加深2层，从而在残局中能调集一些子力防守。我不打算把这个软件的棋力做到顶尖，做到能稳赢...
抽象代数的代码实现（1） 置换群
前言之前做了一个四国军棋软件，做到最后我发现工作量已经爆炸了，我需要去寻找一个全新的算法，所谓深度学习的算法也许有效果但是对于没有计算资源的人来说并不适用。我其实是挺喜欢数学的，我总觉得数学上的一些思想方法可能对写代码有所帮助，但是我已经深深意识到自己的大脑不适合去处理数学问题。数学的语言是精确的，数学书籍的作者想表达的意思也是清晰的，对于高智商的人能很容易明白作者的意思，但是对于我这么一个智...
抽象代数的代码实现（2）域
域上一篇文章讲了群的概念，现在来介绍一下域的概念。群是一个集合和运算，集合中元素的运算满足群的4条性质。相比群来说，域增加了一个运算，假设有集合A，运算{+}，运算{•}，如果集合A对{+}运算做成一个群，称作加法群，加法群A中的单位元称为零元，A中去除零元后的集合对{•}运算也做成一个群,并且+和•满足分配律，即a•(b+c) = a•b+a•c那么我们把A叫做一个域，要注意+和•不一定是...
抽象代数的代码实现（3）向量空间
向量空间概念定义上篇文章介绍了域，域可以简单的理解为一个有理数集合，这个集合中有加法运算和乘法运算，运算后的结果是封闭的，还是有理数。接下来我们从这个元素中取出n个元素，这n个元素组成一个有顺序的子集，这个子集称为n维向量。设a、b、c是有理数，那么(a b c)是一个三维向量。所有三维向量组成的集合称为V，假设有理数集合为K，V中的元素为A、B、C……如果下面的运算成立，那么把V称为K上的...
抽象代数的代码实现（4）多项式与代数扩域
在实现多项式运算的代码时，突然觉得抽象急剧增加，感觉我的大脑要到极限了，写的代码完全就是调试出来的，对于代码的结构我自己都感到有点模糊，想表述清楚基本不可能了，凑活着记录一下吧。现在我对抽象的理解是，一个符号，一个概念，它不一定就指的是我们常见的概念，也可以代入另外的概念，代入后的新系统与原系统有着某种相似性（同构），但是新系统的运算很难被直观理解。在这一点上C语言还是挺有优势的，同一个指针可以...
抽象代数的代码实现（5）分裂域
不可约多项式先来纠正上篇文章一处不严谨的地方，给定一个多项式f(x),做出有理数域K的扩域K(α),使得f(α) = 0.,这里必须要规定f(x)是不可约多项式才保证能做出扩域，不可约多项式指的是f(x)不能表示成两个次数小于f(x)的多项式之积。如果f(x)是可约多项式，那么并不能按照之前讲的方法扩域，举个例子，假如f(x)=x ^3-1,那么f(x)可约，因为f(x)=x ^3-1 = (...
抽象代数的代码实现（6）自同构、正规子群、商群
到目前为止，这里面的复杂性已经超出了我的想象，我觉得最关键的还是表达力太欠缺了，怎么用代码来表示各种数学的表达式如多元函数等，数学上的各种变换和各种代换怎么表示，还有各种表达式间的混合运算，真的感觉这些已经不在我的认知范围内，就好像一个初中生去做微积分一样困难。最后打算先粗略的介绍一下自同构的概念，然后就先告一段落吧。同构对于域K到K’的一一映射σ，如果σ(a)σ(b)=σ(ab),那么就把σ...
关于存在性问题的本质思考
在做《抽象代数的代码实现》这一专题时，我碰到数学概念难以用代码表达的问题，而这又很大程度上是由于数学上各种杂七杂八的存在性问题引起的，所以我想探究一下存在性问题到底是什么。在存在性问题解决之前先把这个专题暂停掉，因为以我现在的能力基本上挖掘不出什么东西，我需要先学习编译器，程序设计语言原理，范畴论等很多相关知识。还是以最简单的存在性问题抽屉原理为例，把4个苹果放进3个抽屉，证明至少有一个抽屉里的...
ucc编译器分析与总结(1) 语法分析
编译器、操作系统、数据库是计算机领域中的三大基础软件，基本上所有应用软件都是建立在这三个基础软件之上，这些领域经过前辈们不断打磨现在已经变得非常成熟，很多涉及到的代码技术都是精华中的精华，所以把上面3个软件搞清楚对代码水平的提高会有很多帮助，而且能够对现代计算机的软件架构有更清晰的了解。我现在要研究一个逻辑推理系统，这个推理系统以C语言为基础，这里必然涉及到C语言的解析问题，所以C语言编译器是必...
ucc编译器分析与总结(2) 类型系统和符号管理
在语法分析的过程中，ucc按照C语言的文法构建了一颗语法树，接下来要根据语法树来进行语义检查，判断代码是否存在编译错误，譬如表达式中的变量有没有定义，定义数组的长度是否为常量，表达式中的类型是否合法等等。语义检查分为语句表达式检查和声明检查两部分，这次主要来分析声明的语义检查，在这个过程中为声明的变量构建了一个类型系统，同时对出现标识符进行管理。1 类型系统1.1 基本类型首先定义一些最基...
ucc编译器分析与总结(3) 声明检查
有了类型系统和符号管理的基础知识之后，接下来就可以分析声明检查部分的代码了。源代码经过预编译后生成.i文件，这时候代码主要分为函数语句和声明语句两部分，其实函数只不过是一种特殊的声明语句，比声明语句多了{}里面的内容。函数语句和非函数语句是分开检查的：if (p->kind == NK_Function){ CheckFunction((AstFunction)p);}el...
ucc编译器分析与总结(4)表达式和语句检查
1.基本框架之前在语法分析时建立了抽象语法树，在声明时为每个符号建立了类型系统，接下来就要遍历表达式和语句的每个结点，将这些声明的类型绑定在对应的结点，并相应的进行语义规范的检查。每个复合语句的检查都以一个大括号为单位，在这里面又分为局部变量声明的检查和执行语句的检查AstStatement CheckCompoundStatement(AstStatement stmt){ As...
makefile基本模板
编译时一直以来都是用eclispe自带的自动编译，由于需要对其他开源代码的makefile做一些修改，所以最近学了一下，其实还挺简单的，一些基本概念就不讲了，网上教程很多，下面来举一个基本的例子来记录一下makefile的基本用法。首先文件目录如下，编译的.o文件都放在Obj目录下然后编译时还需要一个库文件libreadline.dll.a,库所在目录为/mingw32/lib ，对应的头文...
词法分析器flex和语法分析器lemon的初步使用
自己手写词法分析器和语法分析器是很麻烦的一件事，而且这里面的逻辑非常复杂很容易出错。flex和lemon就是用来帮助生成词法分析器和语法分析器的，只需要写少量规则代码，就可以生成解析的c代码。现在先不关注实现原理，主要看一下这东西是怎么用的，等以后用熟了要实现深度定制的时候再来看实现源码。1.词法分析器首先得安装一个flex，至于怎么安装就不讲了。词法分析器的功能就是把一串字符串按照给定的规则...
ucc编译器分析与总结(5) 中间代码生成
1.基本框架经过语义检查后，现在已经有了包含符号和类型的完整语法树，现在要做的事情就是继续沿着语法树走一遍，对每条语句和表达式生成相应的中间代码。中间代码以三地址码的形式表示，由两个源操作数，一个目的操作数和一个运算符组成。然后uccc在生成中间代码时以基本块为单位，每个基本块包含若干条中间代码，基本块的开头都会有类似BB1：这样的标签。从静态上来看，所有基本块按顺序通过双向链表连接在一起，...
推理实验室(1) 命题证明
这里采用A.G.汉密尔顿《数理逻辑》中的记号。原子符号：~、->、p1、p2....公式集：pi是公式，如果A和B是公式，那么~A和A->B也是公式。有时公式太复杂，也可以用∧,∨，<->来简化表示，规定用A∧B表示~(A->~B),用A∨B代替~A->B,用A<->B代替(A->B)∧(B->A),注意这不是原子符号...
Eclipse CDT初步使用教程
我用过Source insight和VS，感觉不顺手就没用了，所以也没有深入研究过，其他的如Code::Blocks，vim，Clion, Emacs我也没用过，不好做评价，反正我用Eclipse用的很舒服，这里给大家分享一下，多提供一种选择，如果你是刚学C语言或者你当前的IDE用的不爽，可以尝试一Eclipse。1.外观主界面调试界面，子窗口都是可以拖动的，可以根据自己的喜好配置成合适的...
嵌入式linux入门笔记
学习的是韦东山的2440板子一开始假设是裸板，首先要用jtag把uboot烧到nor flash，完成后拔掉jtag，然后板子从nor flash，刚开始启动时马上按空格键进入uboot选择菜单，菜单中可以选择烧写普通bin文件到Nand Flash，也可以选择烧写内核或根文件系统到Nand Flash，选择好后，由PC端通过USB把程序文件传输给u-boot，再由u-boot把程序烧写到Nan...
嵌入式linux之nfs挂载及gdb调试环境的搭建
nfs即网络文件系统，要挂载nfs之前首先要让开发板和ubuntu可以相互ping通。一般在vmware上运行ubuntu，为了能够上网，启动时在网络适配器的选项中选择NAT模式，NAT模式的意思就是和主机共享网络，主机能上网则虚拟机也能上网主机不能上网虚拟机也不能上网。启动ubuntu后，此时是能联网状态，需要先安装NFS相关的两个软件：sudo apt-get install rpcbin...
今日推荐
周排行