ACM对拍程序的写法(Linux和Windows)

Linux系统下

• 为了更好地展示对拍的过程，举个简单的例子，现在我用正确的快速排序来对拍写的归并排序，先写好两个文件，如下

//文件名：My.cpp
#include <bits/stdc++.h>

using namespace std;

int main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout.tie(0);
    int n;
    cin >> n;
    vector<int> a(n);
    vector<int> b(n);
    function<void(int, int)> solve = [&](int l, int r){
        if(r <= l) return;
        int mid = ((r - l) >> 1) + l;
        solve(l, mid);
        solve(mid + 1, r);
        int i = l;
        int j = mid + 1;
        int k = 0;
        while(i <= mid && j <= r){
            if(a[i] < a[j]){
                b[k++] = a[i++];
            }else{
                b[k++] = a[j++];
            }
        }
        while(i <= mid){
            b[k++] = a[i++];
        }
        while(j <= r){
            b[k++] = a[j++];
        }
        k = 0;
        for(i=l;i<=r;i++){
            a[i] = b[k++];
        }
    };
    for(int i=0;i<n;i++){
        cin >> a[i];
    }
    solve(0, n-1);
    for(int i=0;i<n;i++){
        cout << a[i] << ' ';
    }
    return 0;
}

//文件名：std.cpp
#include <iostream>
#include <cstring>
#include <algorithm>
#include <queue>
#include <stack>
#include <vector>
#include <cmath>
#include <cstdio>
#include <map>
using namespace std;
typedef long long ll;
const int MAXN = 2e5 + 100;
const int INF = 0x3f3f3f3f;
int Data[MAXN];
void quicksort(int l, int r){
    int mid = Data[(l + r) / 2];
    int i = l;
    int j = r;
    do{
        while(Data[i] < mid) i++;
        while(mid < Data[j]) j--;
        if(i <= j){
            swap(Data[i], Data[j]);
            i++;
            j--;
        }
    }while(i <= j);
    if(l < j) quicksort(l, j);
    if(r > i) quicksort(i, r);
}
int main(){
    ios::sync_with_stdio(false);
    int n;
    cin >> n;
    for(int i=1;i<=n;i++) cin >> Data[i];
    quicksort(1, n);
    for(int i=1;i<=n;i++) cout << Data[i] << ' ';
    return 0;
}

• 编译，生成可执行文件名字分别为My.out和std.out，现在写一个随机数生成程序

#include <bits/stdc++.h>

using namespace std;

int main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    int n;
    unsigned seed = chrono::system_clock::now().time_since_epoch().count();
    mt19937 rand_num(seed);
    uniform_int_distribution<int> dist(1, (int)1e5);
    n = dist(rand_num);
    uniform_int_distribution<int> dd((int)-1e9, (int)1e9);
    cout << n << '\n';
    for(int i=1;i<=n;i++){
        cout << dd(rand_num) << ' ';
    }
    return 0;
}

• 同样编译生成可执行程序rand.out，接下来写一个脚本，命名为solve.sh

#!/bin/bash
i=1
while true; do
    ./rand.out > input.txt
    ./std.out <input.txt >output.txt
    ./My.out <input.txt >output2.txt
	echo test $i
	i=$(($i+1))	
    if diff output.txt output2.txt; then
        printf "AC\n"
    else
        printf "Wa\n"
        exit 0
    fi
done

• 这里不解释了，大概都能看懂，想加什么东西自己查资料吧，现在在终端下运行sh solve.sh，会是下面的画面，当然终端可能颜色不一样
  
• 这里我放的是正确的程序，所以都是AC，接下来把程序改一下，在程序里面加一句

    if(n < 100){
        a[1] = 1;
    }

• 我们再次对拍，发现了错误
  
  可以看到拍到166组数据时候才发现这个错误，如果范围设置的再小一点基本就发现不了这个错误了，所以对拍的时候既要测大数据，也要测小数据，尤其是大数据怎么拍也拍不出来的时候，可能是一些细节问题

Windows下

• 编辑一个后缀名为.bat的文件如下

@echo off
:loop
    rand.exe > input.txt
    solve.exe < input.txt > output.txt
    std.exe < input.txt > output2.txt
    fc output.txt output2.txt
if not errorlevel 1 goto loop
pause
:end

• @echo off意思是关闭回显，不显示命令，剩下都好理解。这样我们执行这个可执行文件同样可以起到效果
  
• 这样就可以自己写程序对拍了，查错很舒服