【算法设计与分析】集合相等问题——设计一个拉斯维加斯算法，对于给定的集合S和T，判定其是否相等。

一、问题描述

  给定两个集合S和T，试设计一个判定S和T是否相等的蒙特卡洛算法。
数据输入： 由文件input.txt给出输入数据。第1行有1个正整数n，表示集合的大小。接下来的2行，每行有n个正整数，分别表示集合S和T中的元素。
结果输出： 将计算结果输出到文件output.txt。若集合S和T相等则输出“YES”，否则输出”NO”。

二、问题分析

  f1()函数从集合 S 中随机选择的数组元素x,测试集合T中是否有与之相等的元素，若有，则算法返回true，否则返回 false，表明集合S和T不相等。f2()函数重复调用函数f1()，调用过程中若f1()返回 true则继续调用，否则可以判定集合S和T不相等，直接退出测试。其中time函数是获得系统时间的。
  打开input.txt文本，在第1行输入集合的大小，接下来的2行输入两个集合中的元素。

三、运行结果

  打开output.txt，若两个集合相等则输出“YES”，否则输出”NO”。由于输入的两个集合元素相同，所以输出“YES”。

四、源代码

#include<iostream>
#include<algorithm>
#include<fstream>
#include<time.h>
#include<math.h>
#define N 1000
using namespace std;
int S[N], T[N];
int n;
double e = 0.00001;

bool f1() {//单独一次 
	srand((unsigned)time(NULL));//用随机函数rand求0~n-1的随机数index 
	int index = rand() % n - 1;//数组索引 
	for (int j = 0; j < n; j++) {//找寻数组 T 中是否含有S[index] 
		if (T[j] == S[index])
			return true;
	}
	return false;
}
bool f2() {
	int x = (int)ceil(log(1 / e));
	for (int i = 1; i <= x; i++) {//找很多次
		if (!f1())//只要找到一个不相符的结果，说明Ｓ和T就是不想等的
			return false;
	}
	return true;
}

int main() {
	ifstream cin;
	cin.open("input.txt", ios::in);
	cin >> n;//集合长度 
	for (int i = 0; i < n; i++)
		cin >> S[i];
	for (int i = 0; i < n; i++)
		cin >> T[i];
	ofstream out;
	out.open("output.txt", ios::out);
	if (f2())
		out << "YES" << "\n";
	else
		out << "NO" << endl;
	cin.close();
	out.close();
}