求判断代码是否正确

#include<iostream>
#include<algorithm>
using namespace std;
const int N = 1e5+5;
struct node
{
	int st;
	int end;
}a[N];
int n;
int m;
int cnt;
int pos[N];
int last_pos;

bool cmp(node x,node y)
{
	return x.end<y.end;
}

int main()
{
	cin>>n>>m;
	for(int i=1;i<=n;i++)
	{
		cin>>a[i].st>>a[i].end;
	}
	for(int i=1;i<=m;i++)
	{
		cin>>pos[i];
	}
	sort(a+1,a+1+n,cmp);
	sort(pos+1,pos+1+m);
	
	int l = 0;
	last_pos = -0x3f3f3f;
	for(int i=1;i<=n;i++)
	{
		if(a[i].st<=last_pos&&last_pos<=a[i].end&&i!=1) continue;	
		
		cnt++;
		l++;//不重复选，虽然不加也不会重复选（因为排序），但可以节省几乎没有的时间复杂度 
		int r = m+1;
		while(r-l>1)
		{
			int mid = (l+r)>>1;
			if(pos[mid]<=a[i].end) l = mid;
			else r = mid;	
		}
		
		last_pos = pos[l];
	} 
	
	cout<<cnt;
	return 0;
}