先把两个相邻的最大距离和最小距离求出来，然后转化在把所有的按照最大的从小到大排序，如果最大的相等按照最小的从小到大排序，为什么不按照最小值从小到大排序呢？我们可以想一想。我们需要的是能够满足条件的举个例子

1 20
3 8
4 9
5 9 9

如果我们按照最小值从小到大排序的话
应该把5给第一个，但是第二个就无法满足了，但是如果我们把9个第一个的话 5给第二个这样就可以了。所以我们把他们的最大值从小到大排序这样可以找到满足的并且最小的。

#include<bits/stdc++.h>
#define fo(i,a,b) for(int i=a;i<=b;i++)
using namespace std;

typedef long long ll;
typedef double dl;

const int N = 2e5+7;
const int M = 1e9+7;
const int INF = 0x7fffffff;

ll n,m;
ll a[N];
struct node{
    ll l,r;
}s[N],b[N];

bool cmp(node a,node b)
{
    if(a.r==b.r) return a.l<b.l; 
    return a.r<b.r;
}
multiset<ll> mst;
void solve()
{
    scanf("%lld%lld",&n,&m);
    for(int i=1;i<=n;i++)    scanf("%lld%lld",&s[i].l,&s[i].r);
    for(int i=1;i<=m;i++)    scanf("%lld",&a[i]),mst.insert(a[i]);
    sort(s+1,s+n+1,cmp);
    for(int i=1;i<n;i++)
    {
        b[i].l=s[i+1].l-s[i].r;
        b[i].r=s[i+1].r-s[i].l;
    }
    sort(b+1,b+n,cmp);
    if(m<n-1) 
    {
        printf("NO\n");
        return ;
    }
    int cnt=0;
    for(int i=1;i<n;i++)
    {
        ll x=b[i].l,y=b[i].r;
        auto it=mst.lower_bound(x);
        if(it==mst.end()||*it>y)    
        {
            break;
        }
        else if(*it<=y)    
        {
            cnt++,mst.erase(it);    
            //cout<<*it<<endl;
        }

    }     

    if(cnt<n-1) printf("NO\n");
    else printf("YES\n");
}

int main()
{
    solve();
}