{"problem":{"name":"BZOJ4361 isn","description":{"content":"给出一个长度为 $n$ 的序列 $a_1,a_2,\\dots a_n$。如果序列 $a$ 不是非降的，你必须从中删去一个数。 这一操作将被不断执行，直到 $A$ 非降为止。求有多少种不同的操作方案。操作方案不同当且仅当删除的顺序或次数不同。答案对 $10^9+7$ 取模。","description_type":"Markdown"},"platform":"Luogu","limit":{"time_limit":1000,"memory_limit":524288},"difficulty":{"LuoguStyle":"P6"},"is_remote":true,"is_sync":true,"sync_url":null,"sign":"LGP10592"},"statements":[{"statement_type":"Markdown","content":"给出一个长度为 $n$ 的序列 $a_1,a_2,\\dots a_n$。如果序列 $a$ 不是非降的，你必须从中删去一个数。\n\n这一操作将被不断执行，直到 $A$ 非降为止。求有多少种不同的操作方案。操作方案不同当且仅当删除的顺序或次数不同。答案对 $10^9+7$ 取模。\n\n## Input\n\n第一行输入一个正整数 $n$，表示序列长度。\n\n第二行输入 $n$ 个非负整数 $a_i$，表示序列。\n\n## Output\n\n一行一个整数，表示答案对 $10^9+7$ 取模的值。\n\n[samples]\n\n## Background\n\n题目来自原 BZOJ，我们承认题面及原数据的版权均属于原 BZOJ 或将题目授权给 BZOJ 使用的出题人。如果您是版权所有者且认为我们侵犯了您的权益，可联系我们。\n\n## Note\n\n对于 $100\\%$ 的数据，$1\\leq n\\leq 2\\times 10^3$，$0\\leq a_i \\leq 2^{31}-1$。","is_translate":false,"language":"English"}],"meta":{"iden":"LGP10592","tags":["动态规划 DP","树状数组","O2优化","容斥原理"],"sample_group":[["4\n1 7 5 3","18"]],"created_at":"2026-03-03 11:09:25"}}