- 博客(5)
- 收藏
- 关注
RSS订阅原创 北理工离散数学上级实验：求偏序集中的极大元与极小元
输入输入偏序集<A,£>，A中的元素数不超过20个，分别用单个小写的英文字母表示。输入的第一行给出A中的各个元素，两个相邻的元素之间用逗号隔开。输入的第二行给出偏序关系£，用有序对的形式给出(只给出哈斯图中的满足覆盖的两个元素形成的有序对)，如<a,b>,<c,a>等等，两个相邻的有序对之间用逗号隔开。输出输出A的极小元与极大元。输出的第一行给出各个极小元，两个相邻元素之间用逗号隔开，输出的元素要求按...
2022-05-07 15:21:12
828
原创 北理工离散数学上机实验：求关系的传递闭包
输入一次输入一个关系矩阵，每一行两个相邻元素之间用一个空格隔开，输入元素的行与列分别对应关系矩阵的行与列。关系的基数小于12。输出输出该关系的传递闭包所对应的关系矩阵。友情提示：可以使用while(scanf("%d",&a)!=EOF)#include<iostream>#include<string>#include<math.h>using namespace std;void get_matrix(int *b...
2022-05-07 15:19:28
643
原创 北理工离散数学上机实验：消解算法
实现功能：消解算法输入：合式公式 A 的合取范式输出：当 A 是可满足时，回答“YES ”；否则回答“NO”。输入公式的符号说明：! 非，相当于书面符号中的 “ ¬ ”& 与，相当于书面符号中的 “ ∧ ”| 或，相当于书面符号中的 “ ∨ ”- 蕴含联结词，相当于书面符号中的 “ → ”+ 等价联结词，相当于书面符号中的 “ ↔ ”( 前括号) 后括号整体思路：笔者在这道题上偷懒了，直接拿第一个题求主范式的代码直接改了改，就过了。具体思路欢迎..
2022-04-28 10:26:49
2061
原创 北理工离散数学上机实验：求命题公式的主范式
题目要求：实现功能：输入命题公式的合式公式，求出公式的真值表，并输出该公式的主合取范式和主析取范式。输入：命题公式的合式公式输出：公式的主析取范式和主析取范式，输出形式为：“ mi ∨ mj ; Mi ∧ Mj” ，极小项和 ∨ 符号之间有一个空格，极大项和 ∧ 符号之间有一个空格；主析取范式和主合取范式之间用“ ; ”隔开，“ ; ”前后各有一个空格。 永真式的主合取范式为 1 ，永假式的主析取范式为 0 。输入公式的符号说明：! 非，相当于书面符号中的 “ ¬ ”&a...
2022-04-28 10:15:56
2035
原创 关于VScode C/C++ cmd配置问题及不能出现中文路径和中文终端输出乱码的解决办法
最开始接触c/c++时，老师给推荐的软件是dev-c++，这个比较方便，但功能性较弱，所以接触到VS，又发现VS太过臃肿，用于一般的小编程文件不太合适，而vscode则是比较适合大学生的一款编程软件。当初第一次接触到vscode，只会在上面写程序，但不知道怎么运行，查了很多资料，发现好多都是不起作用，最终终于弄好，也是不容易，然后最近发现不需要配置环境，只需用自带的code runner就可以在终端输出，但这种输出对C/C++的中文输出...
2021-08-01 19:24:12
5677
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人