Submission #1811967

---

Source Code Expand

///////////////////////////////////////////////////////////
///////////////////////////////////////////////////////////
//                       _oo0oo_                         //
//                      o8888888o                        //
//                      88" . "88      ------ hzt1       //
//                      (| -_- |)                        //
//                      0\  =  /0                        //
//                    ___/`---'\___                      //
//                  .' \|     |// '.                     //
//                 / \|||  :  |||// \                    //
//                / _||||| -:- |||||- \                  //
//               |   | \  -  /// |     |                 //
//               | \_|  ''\---/''  |_/ |                 //
//               \  .-\__  '-'  ___/-. /                 //
//             ___'. .'  /--.--\  `. .'___               //
//          ."" '<  `.___\_<|>_/___.' >' "".             //
//         | | :  `- \`.;`\ _ /`;.`/ - ` : | |           //
//         \  \ `_.   \_ __\ /__ _/   .-` /  /           //
//     =====`-.____`.___ \_____/___.-`___.-'=====        //
//                       `=---='                         //
//                                                       //
//                                                       //
//     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~       //
//                                                       //
//                 God-He Bless All.                     //
//           This Code Will Never Explode.               //
//                                                       //
//                                                       //
///////////////////////////////////////////////////////////
///////////////////////////////////////////////////////////
#include<cstdio>
#include<cstring>
#include<cctype>
#include<algorithm>
#include<vector>
#define pb push_back
#define mp make_pair
#define xx first
#define yy second
#define rep(i,a,b) for(int i=(a),i##_end_=(b);i<=i##_end_;i++)
#define dwn(i,a,b) for(int i=(a),i##_end_=(b);i>=i##_end_;i--)
using namespace std;
const int Size=1<<16;
char buffer[Size],*head,*tail;
inline char Getchar() {
    if(head==tail) {
        int l=fread(buffer,1,Size,stdin);
        tail=(head=buffer)+l;
    }
    if(head==tail) return -1;
    return *head++;
}
inline int read() {
    int x=0,f=1;char c=getchar();
    for(;!isdigit(c);c=getchar()) if(c=='-') f=-1;
    for(;isdigit(c);c=getchar()) x=x*10+c-'0';
    return x*f;
}
typedef long long ll;
typedef pair<int,int> pii;
const int maxn=100010;
const int mod=1000000007;
struct Matrix {
	int A[3][3];
	Matrix operator * (const Matrix& b) const {
		Matrix c;
		rep(i,0,2) rep(j,0,2) {
			int res=0;
			rep(k,0,2) (res+=(ll)A[i][k]*b.A[k][j]%mod)%=mod;
			c.A[i][j]=res;
		}
		return c;
	}
}I={1,0,0,0,1,0,0,0,1},A={1,0,1,2,1,2,1,1,2},B={1,0,0,2,1,0,1,1,1};
Matrix operator ^ (Matrix A,int n) {
	Matrix c;c=I;
	for(;n;n>>=1,A=A*A) if(n&1) c=c*A;
	return c;
}
int n,m,x[maxn];
int main() {
	n=read();m=read();
	Matrix ans;ans=I;
	x[0]=-1;x[m+1]=n;
	rep(i,1,m) x[i]=read();
	rep(i,1,m+1) {
		ans=(A^(x[i]-x[i-1]-1))*ans;
		if(i!=m+1) ans=B*ans;
	}
	int res=ans.A[2][0];
	printf("%d\n",res);
	return 0;
}

Submission Info

Judge Result