#include <bits/stdc++.h>
using namespace std;
bool isNonInc(int a[], int n) {
  int i;
  for (auto i = (1); i < (n); i++) {
    if (a[i - 1] > a[i]) return true;
  }
  return false;
}
int main() {
  int i, j, n, k, n0;
  vector<int> v;
  cin >> n >> k;
  int a[n], b[k];
  for (auto i = (0); i < (n); i++) {
    cin >> a[i];
    if (a[i] == 0) v.push_back(i);
  }
  for (auto i = (0); i < (k); i++) cin >> b[i];
  sort(b, b + k, greater<int>());
  for (auto i = (0); i < (v.size()); i++) a[v[i]] = b[i];
  if (isNonInc(a, n))
    cout << "Yes" << endl;
  else
    cout << "No" << endl;
  return 0;
}
