Codeforces Round 557 (Div. 2) [based on Forethought Future Cup - Final Round]
C
Hide and Seek
Codeforces
未评级
原题
← BD →
翻译中…

Alice and Bob are playing a game on a line with $n$ cells. There are $n$ cells labeled from $1$ through $n$. For each $i$ from $1$ to $n-1$, cells $i$ and $i+1$ are adjacent.

翻译中…

Alice initially has a token on some cell on the line, and Bob tries to guess where it is.

翻译中…

Bob guesses a sequence of line cell numbers $x_1, x_2, \ldots, x_k$ in order. In the $i$-th question, Bob asks Alice if her token is currently on cell $x_i$. That is, Alice can answer either "YES" or "NO" to each Bob's question.

翻译中…

At most one time in this process, before or after answering a question, Alice is allowed to move her token from her current cell to some adjacent cell. Alice acted in such a way that she was able to answer "NO" to all of Bob's questions.

翻译中…

Note that Alice can even move her token before answering the first question or after answering the last question. Alice can also choose to not move at all.

翻译中…

You are given $n$ and Bob's questions $x_1, \ldots, x_k$. You would like to count the number of scenarios that let Alice answer "NO" to all of Bob's questions.

翻译中…

Let $(a,b)$ denote a scenario where Alice starts at cell $a$ and ends at cell $b$. Two scenarios $(a_i, b_i)$ and $(a_j, b_j)$ are different if $a_i \neq a_j$ or $b_i \neq b_j$.

翻译中…

Input

翻译中…

The first line contains two integers $n$ and $k$ ($1 \leq n,k \leq 10^5$) — the number of cells and the number of questions Bob asked.

翻译中…

The second line contains $k$ integers $x_1, x_2, \ldots, x_k$ ($1 \leq x_i \leq n$) — Bob's questions.

翻译中…

Output

翻译中…

Print a single integer, the number of scenarios that let Alice answer "NO" to all of Bob's questions.

翻译中…

Note

翻译中…

The notation $(i,j)$ denotes a scenario where Alice starts at cell $i$ and ends at cell $j$.

翻译中…

In the first example, the valid scenarios are $(1, 2), (2, 1), (2, 2), (2, 3), (3, 2), (3, 3), (3, 4), (4, 3), (4, 5)$. For example, $(3,4)$ is valid since Alice can start at cell $3$, stay there for the first three questions, then move to cell $4$ after the last question.

翻译中…

$(4,5)$ is valid since Alice can start at cell $4$, stay there for the first question, the move to cell $5$ for the next two questions. Note that $(4,5)$ is only counted once, even though there are different questions that Alice can choose to do the move, but remember, we only count each pair of starting and ending positions once.

翻译中…

In the second example, Alice has no valid scenarios.

翻译中…

In the last example, all $(i,j)$ where $|i-j| \leq 1$ except for $(42, 42)$ are valid scenarios.

翻译中…

样例

Input #1
5 3
5 1 4
Output #1
9
InputCopy OutputCopy
Input #2
4 8
1 2 3 4 4 3 2 1
Output #2
0
InputCopy OutputCopy
Input #3
100000 1
42
Output #3
299997
InputCopy OutputCopy
题目信息
题号
1162C
时间限制
1 s
内存限制
256 MB

题面与样例版权归 Codeforces 及出题人所有;中文翻译由 AI 生成(CI 管线),如有出入请以原文为准。