#include<stdio.h>

#include<stdlib.h>

int cmp(const void *a,const void *b) {

return *(int *)a-*(int *)b;

}

int main() {

  int n,m,i,a[3100],flag;

  while(scanf("%d%d",&n,&m)!=EOF) {

 for(i=0;i<m;i++)

 scanf("%d",&a[i]);

 qsort(a,m,sizeof(a[0]),cmp);

 flag=0;

 if(a[0]==1||a[m-1]==n) {

 printf("NO\n");

 continue;

 }

 for(i=2;i<m;i++) 

 if(a[i]-1==a[i-1]&&a[i-1]-1==a[i-2]) {

 flag=1;

 break;

 }

 if(flag==0) 

 printf("YES\n");

 else

 printf("NO\n");

 }

 return 0;

  }

最新文章

  1. Redis 的性能幻想与残酷现实
  2. FineUI Grid控件高度自适应
  3. 5G为何采纳华为力挺的Polar码?一个通信工程师的大实话
  4. 一个android参考网站,工具+源码
  5. dojo/request模块整体架构解析
  6. java 26 - 9 网络编程之 TCP协议多用户上传文件
  7. 碎片事物的提交 commitAllowingStateLoss()
  8. java 中的几种 &quot;通用方法“
  9. Kibana4学习&lt;二&gt;
  10. 高效的SQLSERVER分页查询(推荐)
  11. devexpress chartcontrol实现非连续点数据的显示
  12. 设计模式笔记——GoF设计模式汇总
  13. 201521123110 《Java程序设计》第9周学习总结
  14. js循环生成多个easyui datagrid数据网格时,初始化表格
  15. Asp.net core Identity + identity server + angular 学习笔记 (第一篇)
  16. TinkPHP框架学习-02控制器基本操作
  17. Python中的yield生成器的简单介绍
  18. 《C语言程序设计》编程总结汇总
  19. PHP导出Excel表
  20. 16. Spring boot 错误页面

热门文章

  1. Environment中有大量访问目录的函数
  2. SpringCloud开发学习总结(四)—— 客户端负载均衡Ribbon
  3. Radis
  4. poj3109 Inner Vertices
  5. 在SQLServer 2005附加SQLServer 2008数据库异常处理
  6. Node.js——body方式提交数据
  7. java将字段映射成另一个字段,关于 接口传参 字段不对应转换
  8. 「Python调试器」,快速定位各种疑难杂症!!
  9. python3安装opencv及电子书籍(百度云)
  10. 使用WinPcap编程