消解算法总结

最新推荐文章于 2023-11-22 15:54:15 发布

wxz1120171495

最新推荐文章于 2023-11-22 15:54:15 发布

阅读量5.6k

点赞数 4

本文链接：https://blog.csdn.net/wxz1120171495/article/details/80385292

版权

本文主要探讨了消解算法的原理与实现过程，详细介绍了如何将所有集合加入到s数组的操作，特别是针对s2数组的处理技巧，揭示了算法在处理元素控制中的关键点。

摘要由CSDN通过智能技术生成

#include <stdio.h>
#include <string.h>
#include <math.h>
const int N = 1010;
int s[N][30];//用于存储简单析取式
int num0, num1, num2;//控制s0,s1,s2三个集合之间的转换，仍然利用s数组存储
char str[N];
int c[30];
void cunchu(char str[])//存储简单析取式，利用字母进行存储
{
	memset(s, 0, sizeof(s));
	int len = strlen(str);
	num0 = num1 = -1; num2 = 0;//num2控制总共简单析取式的数量
	int i = 0;
	while (i < len)
	{
		if (str[i] >= 'a'&&str[i] <= 'z')
		{
			s[num2][str[i] - 'a'] = 1;//正值记为1
		}
		else if (str[i] == '&')num2++;
		else if (str[i] == '!')
		{
			s[num2][str[++i] - 'a'] = 2;
		}
		i++;
	}
}
bool same(int s[],int c[])//判断是否相同，不相同则放入集合s2中
{
	for (int i = 0; i < 26; i++)
	{
		if (s[i] != c[i])
			return false;
	}
	return true;
}
bool judge(int c[])//循环进行检验是否有重复，无重复返回正值
{
	for (int i = 0; i < n