寒江雪里独钓着的蓑笠翁
寒江雪里独钓着的蓑笠翁

求命题公式的主范式

成绩 100 开启时间 2017年04月6日 星期四 08:00
折扣 0.8 折扣时间 2017年05月5日 星期五 08:00
允许迟交 否 关闭时间 2017年05月18日 星期四 23:55

实现功能：输入命题公式的合式公式，求出公式的真值表，并输出该公式的主合取范式和主析取范式。

输入：命题公式的合式公式

输出：公式的主析取范式和主析取范式，输出形式为：“ mi ∨ mj ; Mi ∧ Mj” ，极小项和 ∨ 符号之间有一个空格，极大项和 ∧ 符号之间有一个空格；主析取范式和主合取范式之间用“ ; ”隔开，“ ; ”前后各有一个空格。 永真式的主合取范式为 1 ，永假式的主析取范式为 0 。

输入公式的符号说明：

! 非，相当于书面符号中的 “ ¬ ”

& 与，相当于书面符号中的 “ ∧ ”

| 或，相当于书面符号中的 “ ∨ ”

- 蕴含联结词，相当于书面符号中的 “ → ”

+ 等价联结词，相当于书面符号中的 “ ↔ ”

( 前括号

) 后括号

  测试输入 期待的输出 时间限制 内存限制 额外进程
测试用例 1 以文本方式显示
  1. a&b↵
 以文本方式显示
  1. m3 ; M0 ∧ M1 ∧ M2↵
 无限制 64M 0
测试用例 2 以文本方式显示
  1. a|b↵
 以文本方式显示
  1. m1 ∨ m2 ∨ m3 ; M0↵
 无限制 64M 0
思路：栈模拟+暴力枚举  
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#define INF 0x3f3f3f3f
#define maxn 100100
#define N 1111
#define eps 1e-6
#define pi acos(-1.0)
#define e exp(1.0)
using namespace std;
const int mod = 1e9 + 7;
typedef long long ll;
int Value[N], ans[N];
char Exist[N];
int cnt;
class Stack
{
private:
	int topdata;
	char *data = new char[N];

public:
	void init()//初始化构造函数
	{
		topdata = 0;
	}
	int is_Empty()//判断栈空
	{
		if (!topdata)
		{
			return 1;
		}
		return 0;
	}
	void push(int n)//压栈
	{
		data[topdata++] = n;
	}
	char pop()
	{
		return data[--topdata];
	}
	char front()//查看栈顶
	{
		return data[topdata - 1];
	}
	void bye()
	{
		delete[] data;
	}
};
int get_Priority(char ch)//优先级处理
{
	switch (ch)
	{
	case '!':
		return 5;
	case '|':
		return 4;
	case '&':
		return 3;
	case '-':
		return 2;
	case '+':
		return 1;
	case ')':
		return 6;
	case '(':
		return 0;
	default:
		return -1;
	}
}
int get_Value(char ch)//获得变量ch数值
{
	if (ch <= 'z' && ch >= 'a')
	{
		return Value[ch];
	}
	if (ch == '0' || ch == '1')
	{
		return ch - '0';
	}
	return -1;
}
int get_Value(int n)//获得第n个变量数值(重载get_Value函数)
{
	if (n < cnt)
		return Value[Exist[n]];
	return -1;
}
bool is_Word(char ch)//判断是否是变量
{
	if (ch <= 'z' && ch >= 'a')
	{
		return 1;
	}
	return 0;
}
void set_Value(int ch_id, int i)//设置变量值
{
	if (ch_id < cnt)
		Value[Exist[ch_id]] = i;
}
int solve(char single, Stack &word)//计算不同运算符
{
	int b = word.pop();
	int a = word.pop();
	switch (single)
	{
	case '|':
		return a | b;
	case '&':
		return a & b;
	case '-':
		return (!a) | b;
	case '+':
		return a == b;
	case '!':
		word.push(a);
		return !b;
	default:
		return -3;
	}
}
int main()
{
#ifndef ONLINE_JUDGE
	freopen("in.txt", "r", stdin);
	freopen("out.txt", "w", stdout);
	long _begin_time = clock();
#endif
	char ch[maxn];
	while (~scanf("%s", ch))
	{
		bool flag = 0;
		memset(ans, 0, sizeof(ans));
		int one = 0, zero = 0;
		cnt = 0;
		int len = strlen(ch);
		for (int i = 0; i < len; i++)//遍历变量数量
			if (is_Word(ch[i]))
			{
				flag = 1;
				for (int j = 0; j < cnt; j++)
					if (Exist[j] == ch[i])
					{
						flag = 0;
						break;
					}
				if (flag)
				{
					Exist[cnt] = ch[i];
					cnt++;
				}
			}
		for (int i = 0; i < cnt; i++)//对变量排序
			for (int j = i + 1; j < cnt; j++)
				if (Exist[i] > Exist[j])
					swap(Exist[i], Exist[j]);
		Stack word, sign;
		for (int i = 0; i < (1 << cnt); i++)//对每一个真值表数值进行计算
		{
			word.init();
			sign.init();
			for (int j = 0; j < len; j++)
				if (is_Word(ch[j]) || ch[j] == '0' || ch[j] == '1')
					word.push(get_Value(ch[j]));
				else
				{
					if (get_Priority(ch[j]) == 6)//右括号
					{
						while (get_Priority(sign.front()))
							word.push(solve(sign.pop(), word));
						sign.pop();
					}
					else if (!get_Priority(ch[j]))//处理括号
						sign.push(ch[j]);
					else
					{
						while ((!sign.is_Empty()) && get_Priority(sign.front()) > get_Priority(ch[j]))//如果后面优先度小于前面则进行计算
							word.push(solve(sign.pop(), word));
						sign.push(ch[j]); //将符号压栈
					}
				}
			while (!sign.is_Empty())//读完后进行计算
				word.push(solve(sign.pop(), word));
			if (word.front() == 1)
			{
				one++;
				ans[i]++;
			}
			else if (word.front() == 0)
			{
				zero++;
				ans[i]--;
			}
			int j = cnt - 1;
			while (get_Value(j) > 0)//真值表加1
				j--;
			set_Value(j, 1);
			j++;
			while (j <= cnt - 1)
			{
				set_Value(j, 0);
				j++;
			}
		}
		word.bye();
		sign.bye();
		int j = 0;
		for (int i = 0; i < one; i++) //输出计算结果
		{
			while (ans[j] <= 0)
				j++;
			printf("m%d", j);
			if (i < one - 1)
				printf(" ∨ ");
			j++;
		}
		if (!one)
			putchar('0');
		printf(" ; ");
		j = 0;
		for (int i = 0; i < zero; i++) //输出计算结果
		{
			while (ans[j] >= 0)
				j++;
			printf("M%d", j);
			if (i < zero - 1)
				printf(" ∧ ");
			j++;
		}
		if (!zero || !cnt)
			putchar('1');
		puts("");
	}
#ifndef ONLINE_JUDGE
	long _end_time = clock();
	printf("time = %ld ms.", _end_time - _begin_time);
#endif
	return 0;
}



你可能感兴趣的:(离散数学)

  • 【Rust】——使用消息在线程之间传递数据 Y小夜 Rust（官方文档重点总结）rust开发语言后端
    博主现有专栏：C51单片机（STC89C516），c语言，c++，离散数学，算法设计与分析，数据结构，Python，Java基础，MySQL，linux，基于HTML5的网页设计及应用，Rust（官方文档重点总结），jQuery，前端vue.js，Javaweb开发，Python机器学习等主页链接：Y小夜-CSDN博客目录信道与所有权转移发送多个值并观察接收者的等待通过克隆发送者来创建多个生产者学
  • 离散数学实验——真值表生成 ZufUss 数据结构c++vscode
    目录一、实验背景二、实验目的三、实验内容四、相关知识五、实验代码一、实验背景离散数学前几课时课时便是关于命题逻辑的学习，谈到命题逻辑的各种指派与对应值，比较详细且直观的便是真值表表示，那如果现在给出一个命题公式，我们该如何通过编程的方式实现一个能够自动生成给出命题公式所对应的真值表呢？离散数学课便设计了实验让我们探索如何实现此功能，在加深对命题公式理解的同时提高编程能力，培养编程思维。二、实验目的
  • 【AI中的数学-人工智能的数学基石】数学：构建AI大厦的基石 云博士的AI课堂 AI中的数学人工智能AI数学AI中的数学AI数学大模型
    第一章人工智能的数学基石第四节数学：构建AI大厦的基石数学是人工智能（AI）的核心基石，贯穿于AI算法的设计、模型的构建以及系统的优化过程中。正如建筑大厦需要坚实的地基，AI的发展依赖于深厚的数学理论和方法。理解和掌握这些数学原理，不仅能够提升对AI技术的理解，还能为创新和解决复杂问题提供强有力的工具。本节将系统性地探讨支撑AI的主要数学领域，包括线性代数、微积分、概率与统计、优化理论以及离散数学
  • 离散数学篇-关系性质总结
    关系性质总结表1.基本关系性质性质名称箭头描述形式化描述复合关系描述函数(Function)“≤1出”∀a∈A,∃≤1b∈B.aRb\foralla\inA,\exists\leq1b\inB.aRb∀a∈A,∃≤1b∈B.aRbR−1∘R⊆IdAR^{-1}\circR\subseteqId_AR−1∘R⊆IdA全的(Total)“≥1出”∀a∈A,∃≥1b∈B.aRb\foralla\inA,
  • 离散数学篇-数学证明书写规范 haoly1989 计算机科学的数学基础学习
    归纳法描述归纳法证明规范证明结构如下：采用xx数学归纳法证明命题。定义一个关于自然数nnn的谓词P(n)P(n)P(n)。目标是证明P(n)P(n)P(n)对所有n∈Nn\in\mathbb{N}n∈N都成立。基础情形：证明P(0)P(0)P(0)成立。归纳步骤：假设P(n)P(n)P(n)成立（归纳假设），证明P(n+1)P(n+1)P(n+1)也成立。根据xx归纳法原理，P(n)P(n)P(n
  • 离散数学_数理逻辑(三):一阶逻辑概念及一阶逻辑命题符号化 jllws1 离散数学离散数学数理逻辑
    前言每一件事都存在现象和本质.现象是表面,本质是内在.数学可以说是自然科学之母,是一切自然现象的本质.对于编程,表面上是在写代码,实际上是在用离散数学理解问题和解决问题.学习是为了应用并不是做学术研究,所以笔者感觉没必要太深入了,因此调整学习方法---根据概念在程序中迅速找到对应的应用.注意这样做的后果必然不严谨,为提高效率做出牺牲准确性的选择参考书:离散数学(第4版)---以下称"本书"引入命题
  • Python实例题：Python计算离散数学
    目录Python实例题题目代码实现实现原理集合运算：逻辑运算：关系运算：图论：组合数学：关键代码解析1.集合运算2.逻辑运算3.关系运算4.图论使用说明安装依赖：基本用法：示例输出：扩展建议增强功能：用户界面：性能优化：教学辅助：Python实例题题目Python计算离散数学代码实现importnumpyasnpimportmatplotlib.pyplotaspltimportnetworkxa
  • 【计算机科学】CCF-C特刊征稿合集，见刊快，期刊质量高，速投！ 计算机科研之友（Friend） 数据库开发语言计算机视觉计算机网络网络安全网络人工智能
    期刊推荐期刊名称：ACTAINFORMATICA主题包括以下项目的理论方面。算法及其分析自动机和形式语言可计算性和复杂性数据处理离散数学逻辑学（计算机科学）人工智能的数学基础编程语言理论安全系统理论验证中科院四区期刊ISSN：0001-5903E-ISSN：1432-0525影响因子：0.4官方网站：https://www.springer.com/236期刊投稿网址：https://submis
  • 【Rust】——项目实例：——命令行实例（一） Y小夜 Rust（官方文档重点总结）rust开发语言后端
    博主现有专栏：C51单片机（STC89C516），c语言，c++，离散数学，算法设计与分析，数据结构，Python，Java基础，MySQL，linux，基于HTML5的网页设计及应用，Rust（官方文档重点总结），jQuery，前端vue.js，Javaweb开发，Python机器学习等主页链接：Y小夜-CSDN博客目录接收命令行程序读取参数将参数值保存进变量读取文件重构二进制项目的关注分离提取
  • 攻击溯源技术体系：从理论架构到工程化实践的深度剖析 玉笥寻珍 安全系列安全威胁分析网络web安全网络协议
    一、攻击溯源的理论基石与模型构建1.1形式化理论框架攻击溯源本质上是基于离散数学与图论的演绎推理过程。通过构建攻击事件有向图（AEDG,AttackEventDirectedGraph），将网络空间中的每个事件抽象为节点，事件间的因果关系表示为有向边。其数学定义如下：G=(V,E)其中V=\{v_1,v_2,...,v_n\}为事件节点集合，E=\{(v_i,v_j)\}表示节点间的依赖关系，满足
  • 数据结构与算法书籍推荐 wukunlsy 发展方向性数据结构算法CC++C#
    如果计算机系只开三门课，那么这三门课就一定是：离散数学，数据结构与算法，编译原理。如果只开一门课，那剩下的就一定是：数据结构与算法。NiklausWirth说：算法＋数据结构＝程序，不说废话了，下面列出一份数据结构算法书目，先从最著名的说起A原书名：TheArtofComputerProgramming中文名：计算机程序设计艺术作者：DonaldE.Knuth难度：*****个人评价：******
  • 数据结构与算法方面的经典书籍 专注_日拱一卒 00数据结构与算法数据结构与算法经典书籍推荐
    如果计算机系只开三门课，那么这三门课就一定是：离散数学，数据结构与算法，编译原理。如果只开一门课，那剩下的就一定是：数据结构与算法。下面列出一份数据结构算法书目，先从最著名的说起A原书名：TheArtofComputerProgramming中文名：计算机程序设计艺术作者：DonaldE.Knuth难度：*****个人评价：*******推荐程度：****本书是算法分析的经典名作（用经典不太恰当，
  • 像素画板：从离散数学到交互系统的艺术工程 闲人编程 python交互抗锯齿洪水填充调色板进化游戏像素画板
    目录像素画板：从离散数学到交互系统的艺术工程引言第一章画布数学模型1.1离散画布存储1.2笔触运动方程第二章核心绘图算法2.1洪水填充算法2.2抗锯齿处理第三章事件处理引擎3.1输入事件流水线3.2手势识别系统第四章高级功能设计4.1历史记录系统4.2对称绘图模式第五章性能优化体系5.1脏矩形更新算法5.2内存分级策略第六章用户行为分析6.1笔触模式识别6.2调色板进化算法结语附录：部分代码像素画
  • 图的遍历。 Bt年 《啊哈！算法》学习笔记深度优先算法
    图的遍历这一部分，离不开广度优先和深度优先，如果大家已经学过搜索算法的话，这部分将是易如反掌。万能搜索算法-CSDN博客文章中不会提太多离散数学中图的专有名词，因为本篇博客只涉及最简单的图的遍历，故以练习题为主，可以理解为深度搜索和广度搜索的另一个方向。首先如果我要从寝室到教学楼有多条路径，怎么才能找到最短的那个呢？这个问题就可以通过图来解决。这是一个无向图，图由边和点来组成，如果我们要想从1开始
  • 【人工智能】AI大模型开发数学基础指南 GIS程序媛—椰子 人工智能人工智能
    目录学习内容**1.线性代数****2.概率与统计****3.微积分****4.优化理论****5.信息论****6.数值计算****7.离散数学****8.统计学进阶****如何学习？****总结**如何学习**1.明确学习目标****2.分阶段学习计划****阶段1：夯实基础****阶段2：掌握核心工具****阶段3：进阶应用****3.结合代码实践****4.从论文和模型中学习****5.避
  • 青少年编程与数学 02-015 大学数学知识点 09课题、专业相关性分析 明月看潮生 编程与数学第02阶段青少年编程编程与数学大学数学数据科学人工智能
    青少年编程与数学02-015大学数学知识点09课题、专业相关性分析1.计算机科学与数学1.1离散数学1.2线性代数1.3概率与统计1.4微积分2.数据科学与数学2.1线性代数2.2概率与统计2.3微积分2.4优化理论3.人工智能与数学3.1线性代数3.2概率与统计3.3微积分3.4优化理论3.5信息论4.其他数学知识点总结计算机科学、数据科学和人工智能是现代技术领域的核心学科，它们与大学数学有着密
  • NO.65十六届蓝桥杯备战|基础算法-贪心推公式排序|哈夫曼编码|拼数|奶牛玩杂技|哈夫曼编码|合并果子(C++) ChoSeitaku 蓝桥杯备考蓝桥杯算法c++
    推公式排序推公式如果细说的话，这个专题应该叫推公式+排序。其中推公式就是寻找排序规则，排序就是在该排序规则下对整个对象排序。在解决某些问题的时，当我们发现最终结果需要调整每个对象的先后顺序，也就是对整个对象排序时，那么我们就可以⽤推公式的⽅式，得出我们的排序规则，进⽽对整个对象排序。正确性证明：利⽤排序解决问题，最重要的就是需要证明"在新的排序规则下，整个集合可以排序"。这需要⽤到离散数学中"全序
  • 青少年编程与数学 02-015 大学数学知识点 06课题、离散数学 明月看潮生 编程与数学第02阶段青少年编程编程与数学大学数学离散数学
    青少年编程与数学02-015大学数学知识点06课题、离散数学一、数理逻辑二、集合论三、代数系统四、图论五、初等数论六、组合数学总结离散数学是研究离散对象及其结构的数学学科，它在计算机科学、信息论、密码学等领域有着广泛的应用。这里是离散数学核心知识点的详细汇总。一、数理逻辑命题逻辑基本概念：命题、命题常项、命题变项、联结词（如“非”、“或”、“与”等）、命题公式。悖论与非命题：悖论指自相矛盾的命题，
  • 青少年编程与数学 02-014 高中数学知识点 07课题、专业相关性分析 明月看潮生 编程与数学第02阶段青少年编程编程与数学高中数学
    青少年编程与数学02-014高中数学知识点07课题、专业相关性分析一、函数与微积分1.函数与初等函数2.导数与优化二、概率与统计1.概率基础2.统计推断3.随机变量与分布三、几何与代数1.向量与矩阵运算2.复数与坐标变换四、数学建模与算法思维1.数学建模2.算法逻辑五、离散数学基础六、核心数学工具在AI/数据科学中的层级关系七、学习建议总结高中数学中的许多知识点与计算机科学、数据科学及人工智能（A
  • 数据结构与算法-图（绪论 图论基本概念） 可爱的野指针 数据结构图论算法数据结构有向图欧拉回路
    昨天我的的树就分享完了，树的概念很多吧，二叉树，满二叉树，完全二叉树，赫夫曼树，孩子，双亲……多不？哈哈哈，这算不了什么，我们接下来要看到的图的概念才叫多，没关系，勤奋和时间会让你记住他们，内心只需要告诉自己，加油，我能行，就一定能学会图。不知道有没有看过或者学过离散数学，如果学过，那么恭喜啦，离散数学里的图论就是这一章的基础，图论学的还不错的话，压力就小了。先介绍的是图的定义，图-V个顶点和E条
  • 离散数学-万字课堂笔记-期末考试-考研复习-北航离散数学1 桃木山人 考研数学离散数学期末
    第一章逻辑语言1.1逻辑运算1.2命题逻辑合式公式1.3谓词逻辑合式公式1.4自然语言命题第二章命题逻辑语义2.1命题合式公式语义2.2推论式与等价式的语义2.3变换合式公式的语义2.4命题公式范式2.5等式演算2.6完全集第三章谓词逻辑语义3.1谓词合式公式语义3.2推论关系和相等关系3.3前束范式与斯科伦范式3.4一阶理论语言3.5论域、结构与模型第四章逻辑公理系统4.1形式系统4.2命题逻辑
  • 专业 英语 程序员爱德华 英语专业英语
    文章目录一、计算机1.计算机基础(1)计算机组成原理(2)计算机网络(3)数据库(4)编译原理(5)离散数学2.软件开发(1)编程词汇(2)开发术语(3)Linux(4)软件3.就业领域(1)职场(2)芯片(3)自动驾驶(4)嵌入式硬件4.深度学习(1)论文(2)深度学习DL(3)计算机视觉CV(4)自然语言处理NLP(5)推荐系统(6)计算机图形学二、数学三、机械、材料四、医药五、英美计量单位一
  • 【Rust】——使用Drop Trait 运行清理代码和Rc＜T＞ 引用计数智能指针 Y小夜 Rust（官方文档重点总结）rust开发语言后端
    博主现有专栏：C51单片机（STC89C516），c语言，c++，离散数学，算法设计与分析，数据结构，Python，Java基础，MySQL，linux，基于HTML5的网页设计及应用，Rust（官方文档重点总结），jQuery，前端vue.js，Javaweb开发，Python机器学习等主页链接：Y小夜-CSDN博客目录使用DropTrait运行清理代码通过std::mem::drop提早丢弃值
  • 【离散数学上机】T235，T236 咒法师无翅鱼 Xdoj大作业算法深度优先图论
    T235题目：输入集合A和B，输出A到B上的所有单射函数。问题描述给定非空数字集合A和B，求出集合A到集合B上的所有单射函数。输入格式第一行输入m和n（空格间隔），分别为集合A和集合B中的元素个数；第二行输入非空数字集合A，每个元素之间用空格间隔；第三行输入非空数字集合B，每个元素之间用空格间隔；输出格式输出每一行为集合A到集合B的一个构成单射函数的二元关系，按二元关系的基数大小从小到大输出所有二
  • python怎么安装sympy库_SymPy库常用函数 weixin_39528559
    简介SymPy是一个符号计算的Python库。它的目标是成为一个全功能的计算机代数系统，同时保持代码简洁、易于理解和扩展。它完全由Python写成，不依赖于外部库。SymPy支持符号计算、高精度计算、模式匹配、绘图、解方程、微积分、组合数学、离散数学、几何学、概率与统计、物理学等方面的功能。(来自维基百科的描述)Sympy安装方法安装命令：pipinstallsympy基本数值类型实数，有理数和整
  • 人工智能的本质解构：从二进制桎梏到造物主悖论 Somnolence.·.·.·. 人工智能人工智能ai
    一、数学牢笼中的困兽：人工智能的0-1本质人工智能的底层逻辑是数学暴力的具象化演绎。晶体管开关的物理震荡被抽象为布尔代数的0-1序列，冯·诺依曼架构将思维简化为存储器与运算器的机械对话。即使深度神经网络看似模拟人脑突触，其本质仍是矩阵乘法的迭代游戏——波士顿动力机器人的空翻动作不过是微分方程求解的物理引擎呈现，AlphaGo的围棋神话只是蒙特卡洛树搜索的概率统计。这种基于有限离散数学的架构，注定人
  • 叶子结点 heyuchang666 计算机基础知识算法数据结构数据结构和算法排序算法
    叶子结点叶子结点是离散数学当中的概念。一棵树当中没有子结点（即度为0）的结点，称为叶子结点，简称“叶子”。叶子是指度为0的结点，又称为终端结点。叶子结点就是度为0的结点就是没有子结点的结点n0：度为0的结点数，n1:度为1的结点n2：度为2的结点数。N是总结点在二叉树中：n0=n2+1；N=n0+n1+n2例题一棵树度为4，其中度为1，2，3，4的结点个数分别为4，2，1，1，则这棵树的叶子节点个
  • 广工Anyview离散数学第七章 墨染夜雨笺 离散数学算法广东工业大学离散数学学习
    注：网络资源整理，并非本人代码，离散数学对初学者比较抽象，希望对你有所帮助。请注意对应题目，每年题目可能有小变动。目录试设计一算法，对某集合A上的一个二元关系R，判断R是否为等价关系试设计一算法，对某集合A上的一个二元关系R，求商集A/R试设计一算法，求某集合A上的模n同余关系试设计一算法，对某集合A上的一个二元关系R，判断R是否为偏序关系试设计一算法，对某集合A上的一个二元关系R，判断R是否为等
  • 广工Anyview离散数学第八章 墨染夜雨笺 离散数学学习算法离散数学广东工业大学
    注：网络资源整理，并非本人代码，离散数学对初学者比较抽象，希望对你有所帮助。请注意对应题目，每年题目可能有小变动。目录试设计一算法，对于一个从集合A到集合B的二元关系R，判断R是否为函数判断一个关系是否为函数，如果是函数，则是什么类型：单射、满射、双射、变换、非单射非满射。判断一个关系是否为函数，如果是函数并且该函数存在逆函数，则求出其逆函数试设计一算法，对于一个从集合A到集合B的二元关系R，判断
  • 【Springboot】——响应与分层解耦架构 Y小夜 架构springboot后端javaspring
    博主现有专栏：C51单片机（STC89C516），c语言，c++，离散数学，算法设计与分析，数据结构，Python，Java基础，MySQL，linux，基于HTML5的网页设计及应用，Rust（官方文档重点总结），jQuery，前端vue.js，Javaweb开发，设计模式、Python机器学习、Springboot等主页链接：Y小夜-CSDN博客目录响应响应数据✨@ResponseBody✨G
  • Nginx负载均衡 510888780 nginx应用服务器
    Nginx负载均衡一些基础知识: nginx 的 upstream目前支持 4 种方式的分配 1)、轮询（默认）       每个请求按时间顺序逐一分配到不同的后端服务器，如果后端服务器down掉，能自动剔除。 2)、weight       指定轮询几率，weight和访问比率成正比
  • RedHat 6.4 安装 rabbitmq bylijinnan erlangrabbitmqredhat
    在 linux 下安装软件就是折腾，首先是测试机不能上外网要找运维开通，开通后发现测试机的 yum 不能使用于是又要配置 yum 源，最后安装 rabbitmq 时也尝试了两种方法最后才安装成功 机器版本： [root@redhat1 rabbitmq]# lsb_release LSB Version: :base-4.0-amd64:base-4.0-noarch:core
  • FilenameUtils工具类 eksliang FilenameUtilscommon-io
    转载请出自出处：http://eksliang.iteye.com/blog/2217081 一、概述 这是一个Java操作文件的常用库，是Apache对java的IO包的封装，这里面有两个非常核心的类FilenameUtils跟FileUtils，其中FilenameUtils是对文件名操作的封装;FileUtils是文件封装，开发中对文件的操作，几乎都可以在这个框架里面找到。 非常的好用。
  • xml文件解析SAX 不懂事的小屁孩 xml
    xml文件解析:xml文件解析有四种方式， 1.DOM生成和解析XML文档(SAX是基于事件流的解析) 2.SAX生成和解析XML文档(基于XML文档树结构的解析) 3.DOM4J生成和解析XML文档 4.JDOM生成和解析XML 本文章用第一种方法进行解析，使用android常用的DefaultHandler import org.xml.sax.Attributes;
  • 通过定时任务执行mysql的定期删除和新建分区，此处是按日分区 酷的飞上天空 mysql
    使用python脚本作为命令脚本，linux的定时任务来每天定时执行 #!/usr/bin/python # -*- coding: utf8 -*- import pymysql import datetime import calendar #要分区的表 table_name = 'my_table' #连接数据库的信息 host,user,passwd,db =
  • 如何搭建数据湖架构？听听专家的意见 蓝儿唯美 架构
    Edo Interactive在几年前遇到一个大问题：公司使用交易数据来帮助零售商和餐馆进行个性化促销，但其数据仓库没有足够时间去处理所有的信用卡和借记卡交易数据  “我们要花费27小时来处理每日的数据量，”Edo主管基础设施和信息系统的高级副总裁Tim Garnto说道：“所以在2013年，我们放弃了现有的基于PostgreSQL的关系型数据库系统，使用了Hadoop集群作为公司的数
  • spring学习——控制反转与依赖注入 a-john spring
           控制反转（Inversion of Control，英文缩写为IoC）是一个重要的面向对象编程的法则来削减计算机程序的耦合问题，也是轻量级的Spring框架的核心。 控制反转一般分为两种类型，依赖注入（Dependency Injection，简称DI）和依赖查找（Dependency Lookup）。依赖注入应用比较广泛。  
  • 用spool+unixshell生成文本文件的方法 aijuans xshell
    例如我们把scott.dept表生成文本文件的语句写成dept.sql,内容如下: 　　set pages 50000; 　　set lines 200; 　　set trims on; 　　set heading off; 　　spool /oracle_backup/log/test/dept.lst; 　　select deptno||','||dname||','||loc
  • 1、基础--名词解析(OOA/OOD/OOP) asia007 学习基础知识
    OOA:Object-Oriented Analysis（面向对象分析方法） 是在一个系统的开发过程中进行了系统业务调查以后，按照面向对象的思想来分析问题。OOA与结构化分析有较大的区别。OOA所强调的是在系统调查资料的基础上，针对OO方法所需要的素材进行的归类分析和整理，而不是对管理业务现状和方法的分析。 　　OOA（面向对象的分析）模型由5个层次（主题层、对象类层、结构层、属性层和服务层）
  • 浅谈java转成json编码格式技术 百合不是茶 json编码java转成json编码
    json编码;是一个轻量级的数据存储和传输的语言       在java中需要引入json相关的包,引包方式在工程的lib下就可以了   JSON与JAVA数据的转换（JSON 即 JavaScript Object Natation，它是一种轻量级的数据交换格式，非   常适合于服务器与 JavaScript 之间的数据的交
  • web.xml之Spring配置(基于Spring+Struts+Ibatis) bijian1013 javaweb.xmlSSIspring配置
    指定Spring配置文件位置 <context-param> <param-name>contextConfigLocation</param-name> <param-value> /WEB-INF/spring-dao-bean.xml,/WEB-INF/spring-resources.xml, /WEB-INF/
  • Installing SonarQube（Fail to download libraries from server） sunjing InstallSonar
    1.  Download and unzip the SonarQube distribution 2.  Starting the Web Server The default port is "9000" and the context path is "/". These values can be changed in &l
  • 【MongoDB学习笔记十一】Mongo副本集基本的增删查 bit1129 mongodb
    一、创建复本集   假设mongod,mongo已经配置在系统路径变量上，启动三个命令行窗口，分别执行如下命令：   mongod --port 27017 --dbpath data1 --replSet rs0 mongod --port 27018 --dbpath data2 --replSet rs0 mongod --port 27019 -
  • Anychart图表系列二之执行Flash和HTML5渲染 白糖_ Flash
    今天介绍Anychart的Flash和HTML5渲染功能   HTML5 Anychart从6.0第一个版本起，已经逐渐开始支持各种图的HTML5渲染效果了，也就是说即使你没有安装Flash插件，只要浏览器支持HTML5，也能看到Anychart的图形（不过这些是需要做一些配置的）。 这里要提醒下大家，Anychart6.0版本对HTML5的支持还不算很成熟，目前还处于
  • Laravel版本更新异常4.2.8-> 4.2.9 Declaration of ... CompilerEngine ... should be compa bozch laravel
    昨天在为了把laravel升级到最新的版本，突然之间就出现了如下错误： ErrorException thrown with message "Declaration of Illuminate\View\Engines\CompilerEngine::handleViewException() should be compatible with Illuminate\View\Eng
  • 编程之美-NIM游戏分析-石头总数为奇数时如何保证先动手者必胜 bylijinnan 编程之美
    import java.util.Arrays; import java.util.Random; public class Nim { /**编程之美 NIM游戏分析 问题： 有N块石头和两个玩家A和B，玩家A先将石头随机分成若干堆，然后按照BABA...的顺序不断轮流取石头， 能将剩下的石头一次取光的玩家获胜，每次取石头时，每个玩家只能从若干堆石头中任选一堆，
  • lunce创建索引及简单查询 chengxuyuancsdn 查询创建索引lunce
    import java.io.File; import java.io.IOException; import org.apache.lucene.analysis.Analyzer; import org.apache.lucene.analysis.standard.StandardAnalyzer; import org.apache.lucene.document.Docume
  • [IT与投资]坚持独立自主的研究核心技术 comsci it
           和别人合作开发某项产品....如果互相之间的技术水平不同,那么这种合作很难进行,一般都会成为强者控制弱者的方法和手段.....        所以弱者,在遇到技术难题的时候,最好不要一开始就去寻求强者的帮助,因为在我们这颗星球上,生物都有一种控制其
  • flashback transaction闪回事务查询 daizj oraclesql闪回事务
       闪回事务查询有别于闪回查询的特点有以下3个： （1）其正常工作不但需要利用撤销数据，还需要事先启用最小补充日志。 （2）返回的结果不是以前的“旧”数据，而是能够将当前数据修改为以前的样子的撤销SQL（Undo SQL）语句。 （3）集中地在名为flashback_transaction_query表上查询，而不是在各个表上通过“as of”或“vers
  • Java I/O之FilenameFilter类列举出指定路径下某个扩展名的文件 游其是你 FilenameFilter
    这是一个FilenameFilter类用法的例子，实现的列举出“c:\\folder“路径下所有以“.jpg”扩展名的文件。 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28
  • C语言学习五函数，函数的前置声明以及如何在软件开发中合理的设计函数来解决实际问题 dcj3sjt126com c
    # include <stdio.h> int f(void) //括号中的void表示该函数不能接受数据，int表示返回的类型为int类型 { return 10; //向主调函数返回10 } void g(void) //函数名前面的void表示该函数没有返回值 { //return 10; //error 与第8行行首的void相矛盾 } in
  • 今天在测试环境使用yum安装，遇到一个问题： Error: Cannot retrieve metalink for repository: epel. Pl dcj3sjt126com centos
    今天在测试环境使用yum安装，遇到一个问题： Error: Cannot retrieve metalink for repository: epel. Please verify its path and try again   处理很简单，修改文件“/etc/yum.repos.d/epel.repo”， 将baseurl的注释取消， mirrorlist注释掉。即可。 &n
  • 单例模式 shuizhaosi888 单例模式
    单例模式      懒汉式 public class RunMain { /** * 私有构造 */ private RunMain() { } /** * 内部类，用于占位，只有 */ private static class SingletonRunMain { priv
  • Spring Security（09）——Filter 234390216 Spring Security
    Filter 目录 1.1     Filter顺序 1.2     添加Filter到FilterChain 1.3     DelegatingFilterProxy 1.4     FilterChainProxy 1.5
  • 公司项目NODEJS实践0.1 逐行分析JS源代码 mongodbnginxubuntunodejs
      一、前言         前端如何独立用nodeJs实现一个简单的注册、登录功能，是不是只用nodejs+sql就可以了？其实是可以实现，但离实际应用还有距离，那要怎么做才是实际可用的。         网上有很多nod
  • java.lang.Math liuhaibo_ljf javaMathlang
    System.out.println(Math.PI); System.out.println(Math.abs(1.2)); System.out.println(Math.abs(1.2)); System.out.println(Math.abs(1)); System.out.println(Math.abs(111111111)); System.out.println(Mat
  • linux下时间同步 nonobaba ntp
    今天在linux下做hbase集群的时候，发现hmaster启动成功了，但是用hbase命令进入shell的时候报了一个错误  PleaseHoldException: Master is initializing，查看了日志，大致意思是说master和slave时间不同步，没办法，只好找一种手动同步一下，后来发现一共部署了10来台机器，手动同步偏差又比较大，所以还是从网上找现成的解决方
  • ZooKeeper3.4.6的集群部署 roadrunners zookeeper集群部署
    ZooKeeper是Apache的一个开源项目，在分布式服务中应用比较广泛。它主要用来解决分布式应用中经常遇到的一些数据管理问题，如：统一命名服务、状态同步、集群管理、配置文件管理、同步锁、队列等。这里主要讲集群中ZooKeeper的部署。   1、准备工作 我们准备3台机器做ZooKeeper集群，分别在3台机器上创建ZooKeeper需要的目录。   数据存储目录
  • Java高效读取大文件 tomcat_oracle java
    　　读取文件行的标准方式是在内存中读取，Guava 和Apache Commons IO都提供了如下所示快速读取文件行的方法： 　　Files.readLines(new File(path), Charsets.UTF_8); 　　FileUtils.readLines(new File(path)); 　　这种方法带来的问题是文件的所有行都被存放在内存中，当文件足够大时很快就会导致
  • 微信支付api返回的xml转换为Map的方法 xu3508620 xmlmap微信api
    举例如下： <xml>    <return_code><![CDATA[SUCCESS]]></return_code>    <return_msg><![CDATA[OK]]></return_msg>    <appid><
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他