[语言月赛 202403] 2014

Luogu
IDLGB3946
Time1000ms
Memory512MB
DifficultyP2
2024O2优化数组字符串(入门)语言月赛
定义 2014 串为一个由若干个 `2014` 首尾相接连成的字符串,例如 `20142014` 和 `201420142014`是 2014 串,而 `2014201` 和 `572364` 不是 2014 串。 给定一个仅包含从 $0$ 到 $9$ 的数字的字符串 $S$,你每次操作可以交换 $S$ 中任意两个字符。判断是否能通过执行任意多次(可以为 $0$ 次)操作将 $S$ 变为 2014 串。 ## Input 第一行输入一个整数 $n$ 表示字符串 $S$ 的长度。 第二行输入一个长度为 $n$ 的字符串 $S$,保证 $S$ 仅包含从 $0$ 到 $9$ 的数字。 ## Output 如果可以将 $S$ 变为 2014 串,输出 `Yes`;否则输出 `No`。 [samples] ## Background 迷茫的 ScaredQiu 总是会想起 2014 年,如果你问他现在的年份,他可能也会告诉你是 2014 年。 ## Note 对于 $20\%$ 的数据,$1 \leq n\leq 8$。 对于 $40\%$ 的数据,$1\leq n \leq 18$。 对于另外 $20\%$ 的数据,保证 $S$ 仅包含 $0,1,2,4$ 四种数字。 对于 $100\%$ 的数据,$1 \leq n \leq 10^6$,字符串 $S$ 仅包含从 $0$ 到 $9$ 的数字。
Samples
Input #1
8
52510961
Output #1
No
Input #2
10
0573963380
Output #2
No
Input #3
12
140021214240
Output #3
Yes
API Response (JSON)
{
  "problem": {
    "name": "[语言月赛 202403] 2014",
    "description": {
      "content": "定义 2014 串为一个由若干个 `2014` 首尾相接连成的字符串,例如 `20142014` 和 `201420142014`是 2014 串,而 `2014201` 和 `572364` 不是 2014 串。 给定一个仅包含从 $0$ 到 $9$ 的数字的字符串 $S$,你每次操作可以交换 $S$ 中任意两个字符。判断是否能通过执行任意多次(可以为 $0$ 次)操作将 $S$ 变为 201",
      "description_type": "Markdown"
    },
    "platform": "Luogu",
    "limit": {
      "time_limit": 1000,
      "memory_limit": 524288
    },
    "difficulty": {
      "LuoguStyle": "P2"
    },
    "is_remote": true,
    "is_sync": true,
    "sync_url": null,
    "sign": "LGB3946"
  },
  "statements": [
    {
      "statement_type": "Markdown",
      "content": "定义 2014 串为一个由若干个 `2014` 首尾相接连成的字符串,例如 `20142014` 和 `201420142014`是 2014 串,而 `2014201` 和 `572364` 不是 2014 串。\n\n给定一个仅包含从 $0$ 到 $9$ 的数字的字符串 $S$,你每次操作可以交换 $S$ 中任意两个字符。判断是否能通过执行任意多次(可以为 $0$ 次)操作将 $S$ 变为 201...",
      "is_translate": false,
      "language": "English"
    }
  ]
}
Full JSON Raw Segments