{"id":120,"date":"2025-01-11T23:44:37","date_gmt":"2025-01-11T15:44:37","guid":{"rendered":"http:\/\/150.230.63.147\/blog\/?p=120"},"modified":"2025-01-11T23:44:37","modified_gmt":"2025-01-11T15:44:37","slug":"c-shaass-and-lights-%e8%a7%a3%e6%9e%90%e6%80%9d%e7%b6%ad%e3%80%81%e7%b5%84%e5%90%88","status":"publish","type":"post","link":"https:\/\/blog.seekrealthing.net\/blog\/?p=120","title":{"rendered":"C. Shaass and Lights \u89e3\u6790(\u601d\u7dad\u3001\u7d44\u5408)"},"content":{"rendered":"\n

Codeforce 294 C. Shaass and Lights \u89e3\u6790(\u601d\u7dad\u3001\u7d44\u5408)<\/h1>\n

\u4eca\u5929\u6211\u5011\u4f86\u770b\u770bCF294C
\n\u984c\u76ee\u9023\u7d50<\/a><\/p>\n

\n

\u984c\u76ee<\/strong>
\n\u7d66\u4f60$n$\u500b\u71c8\u6ce1\uff0c\u5176\u4e2d$m$\u500b\u5df2\u7d93\u9ede\u4eae\u3002\u6bcf\u6b21\u4f60\u53ef\u4ee5\u9ede\u4eae\u4e00\u500b\u65c1\u908a\u6709\u4eae\u71c8\u6ce1\u7684\u71c8\u6ce1\uff0c\u6c42\u6709\u591a\u5c11\u65b9\u6cd5\u53ef\u4ee5\u9ede\u4eae\u6240\u6709\u71c8\u6ce1\u3002<\/p>\n<\/blockquote>\n

\u524d\u8a00<\/h3>\n

\u9019\u984c\u7684\u60f3\u6cd5\u771f\u7684\u5f88\u9177\u70ab<\/p>\n

\u60f3\u6cd5<\/h3>\n

\u628a\u6bcf\u500b\u9023\u7e8c\u6c92\u4eae\u71c8\u6ce1\u7684\u5340\u57df\u7576\u6210\u4e00\u7a2e\u5143\u7d20(\u4e5f\u5c31\u662f\u8aaa:\u6697\u6697\u6697\u4eae\u6697\u6697\u6697\u4eae\u6697\u6697\u6697<\/strong>\uff0c\u9019\u7a2e\u60c5\u6cc1\u5c31\u770b\u6210$AAABBBCCC$)\uff0c\u5982\u6b64\u4e00\u4f86\u91cd\u8907\u6392\u5217\u7684\u53ef\u80fd\u6027\u662f$\\frac{9!}{3!3!3!}$\uff0c\u800c\u53ea\u8981\u5340\u6bb5\u4e0d\u662f\u63a5\u58e4\u982d\u6216\u63a5\u58e4\u5c3e\uff0c\u5176\u4e2d\u9577\u5ea6\u70ba$k$\u7684\u6c92\u4eae\u71c8\u6ce1\u5340\u6bb5\u5176\u4e2d\u6709$k-1$\u6b21\u90fd\u6709\u5169\u7a2e\u9078\u64c7\uff0c\u56e0\u6b64\u7b54\u6848\u53ea\u8981\u518d\u4e58\u4e0a$2$\u7684\u82e5\u5e72\u6b21\u65b9\u5373\u53ef\u3002<\/p>\n

\u7a0b\u5f0f\u78bc:<\/h3>\n
const int _n=1010;  \nint t,n,m,a[_n],fac[_n],inv[_n],c;  \nVI cnt;  \nmain(void) {ios_base::sync_with_stdio(0);cin.tie(0);cout.tie(0);  \n  cin>>n>>m;rep(i,0,m){cin>>t;a[t]=1;}  \n  a[n+1]=1;rep(i,1,n+2){  \n    if(a[i]==1 and c)cnt.pb(c),c=0;  \n    if(a[i]==0)c++;  \n  }c=0;if(a[1]==0)c+=cnt[0]-1;if(a[n]==0)c+=cnt.back()-1;  \n  fac[0]=1;rep(i,1,n+1)fac[i]=1ll*fac[i-1]*i%mod;  \n  inv[n]=powmod(fac[n],mod-2);per(i,0,n)inv[i]=1ll*inv[i+1]*(i+1)%mod;  \n  ll ans=fac[n-m];rep(i,0,SZ(cnt))ans=ans*inv[cnt[i]]%mod;  \n  ans=ans*powmod(2,n-m-SZ(cnt)-c)%mod;cout<<ans<<'\\n';  \n  return 0;  \n}  \n<\/code><\/pre>\n
\u6a19\u982d\u3001\u6a21\u677f\u8acb\u9edeSubmission\u770b
\nSubmission<\/a><\/p>\n<\/div>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":false,"jetpack_social_options":{"image_generator_settings":{"template":"highway","enabled":false},"version":2}},"categories":[3],"tags":[10,9,8,6],"class_list":["post-120","post","type-post","status-publish","format-standard","hentry","category-ojcode","tag-codeforce","tag-ojcode","tag-8","tag-6"],"jetpack_publicize_connections":[],"yoast_head":"\nC. Shaass and Lights \u89e3\u6790(\u601d\u7dad\u3001\u7d44\u5408) - Logic Formatting<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/blog.seekrealthing.net\/blog\/?p=120\" \/>\n<meta property=\"og:locale\" content=\"zh_TW\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"C. Shaass and Lights \u89e3\u6790(\u601d\u7dad\u3001\u7d44\u5408) - Logic Formatting\" \/>\n<meta property=\"og:url\" content=\"https:\/\/blog.seekrealthing.net\/blog\/?p=120\" \/>\n<meta property=\"og:site_name\" content=\"Logic Formatting\" \/>\n<meta property=\"article:published_time\" content=\"2025-01-11T15:44:37+00:00\" \/>\n<meta name=\"author\" content=\"jeff\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"\u4f5c\u8005:\" \/>\n\t<meta name=\"twitter:data1\" content=\"jeff\" \/>\n\t<meta name=\"twitter:label2\" content=\"\u9810\u4f30\u95b1\u8b80\u6642\u9593\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 \u5206\u9418\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/blog.seekrealthing.net\/blog\/?p=120#article\",\"isPartOf\":{\"@id\":\"https:\/\/blog.seekrealthing.net\/blog\/?p=120\"},\"author\":{\"name\":\"jeff\",\"@id\":\"https:\/\/blog.seekrealthing.net\/blog\/#\/schema\/person\/233e80a0fee3d4706f067f2e88c0b454\"},\"headline\":\"C. Shaass and Lights \u89e3\u6790(\u601d\u7dad\u3001\u7d44\u5408)\",\"datePublished\":\"2025-01-11T15:44:37+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/blog.seekrealthing.net\/blog\/?p=120\"},\"wordCount\":19,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/blog.seekrealthing.net\/blog\/#organization\"},\"keywords\":[\"codeforce\",\"ojcode\",\"\u601d\u7dad\",\"\u7d44\u5408\"],\"articleSection\":[\"ojcode\"],\"inLanguage\":\"zh-TW\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/blog.seekrealthing.net\/blog\/?p=120#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/blog.seekrealthing.net\/blog\/?p=120\",\"url\":\"https:\/\/blog.seekrealthing.net\/blog\/?p=120\",\"name\":\"C. Shaass and Lights \u89e3\u6790(\u601d\u7dad\u3001\u7d44\u5408) - Logic Formatting\",\"isPartOf\":{\"@id\":\"https:\/\/blog.seekrealthing.net\/blog\/#website\"},\"datePublished\":\"2025-01-11T15:44:37+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/blog.seekrealthing.net\/blog\/?p=120#breadcrumb\"},\"inLanguage\":\"zh-TW\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/blog.seekrealthing.net\/blog\/?p=120\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/blog.seekrealthing.net\/blog\/?p=120#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"\u9996\u9801\",\"item\":\"https:\/\/blog.seekrealthing.net\/blog\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"C. Shaass and Lights \u89e3\u6790(\u601d\u7dad\u3001\u7d44\u5408)\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/blog.seekrealthing.net\/blog\/#website\",\"url\":\"https:\/\/blog.seekrealthing.net\/blog\/\",\"name\":\"Logic Formatting\",\"description\":\"\",\"publisher\":{\"@id\":\"https:\/\/blog.seekrealthing.net\/blog\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/blog.seekrealthing.net\/blog\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"zh-TW\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/blog.seekrealthing.net\/blog\/#organization\",\"name\":\"Logic Formatting\",\"url\":\"https:\/\/blog.seekrealthing.net\/blog\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-TW\",\"@id\":\"https:\/\/blog.seekrealthing.net\/blog\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/blog.seekrealthing.net\/blog\/wp-content\/uploads\/2025\/02\/android-chrome-512x512-1.png\",\"contentUrl\":\"https:\/\/blog.seekrealthing.net\/blog\/wp-content\/uploads\/2025\/02\/android-chrome-512x512-1.png\",\"width\":512,\"height\":512,\"caption\":\"Logic Formatting\"},\"image\":{\"@id\":\"https:\/\/blog.seekrealthing.net\/blog\/#\/schema\/logo\/image\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\/\/blog.seekrealthing.net\/blog\/#\/schema\/person\/233e80a0fee3d4706f067f2e88c0b454\",\"name\":\"jeff\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-TW\",\"@id\":\"https:\/\/blog.seekrealthing.net\/blog\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/f9b571b28c252728386f0002b35d9cb9a9028f740b0f9ca5ad678e7eb21c4857?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/f9b571b28c252728386f0002b35d9cb9a9028f740b0f9ca5ad678e7eb21c4857?s=96&d=mm&r=g\",\"caption\":\"jeff\"},\"sameAs\":[\"http:\/\/150.230.63.147\/blog\"],\"url\":\"https:\/\/blog.seekrealthing.net\/blog\/?author=1\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"C. Shaass and Lights \u89e3\u6790(\u601d\u7dad\u3001\u7d44\u5408) - Logic Formatting","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/blog.seekrealthing.net\/blog\/?p=120","og_locale":"zh_TW","og_type":"article","og_title":"C. Shaass and Lights \u89e3\u6790(\u601d\u7dad\u3001\u7d44\u5408) - Logic Formatting","og_url":"https:\/\/blog.seekrealthing.net\/blog\/?p=120","og_site_name":"Logic Formatting","article_published_time":"2025-01-11T15:44:37+00:00","author":"jeff","twitter_card":"summary_large_image","twitter_misc":{"\u4f5c\u8005:":"jeff","\u9810\u4f30\u95b1\u8b80\u6642\u9593":"1 \u5206\u9418"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/blog.seekrealthing.net\/blog\/?p=120#article","isPartOf":{"@id":"https:\/\/blog.seekrealthing.net\/blog\/?p=120"},"author":{"name":"jeff","@id":"https:\/\/blog.seekrealthing.net\/blog\/#\/schema\/person\/233e80a0fee3d4706f067f2e88c0b454"},"headline":"C. Shaass and Lights \u89e3\u6790(\u601d\u7dad\u3001\u7d44\u5408)","datePublished":"2025-01-11T15:44:37+00:00","mainEntityOfPage":{"@id":"https:\/\/blog.seekrealthing.net\/blog\/?p=120"},"wordCount":19,"commentCount":0,"publisher":{"@id":"https:\/\/blog.seekrealthing.net\/blog\/#organization"},"keywords":["codeforce","ojcode","\u601d\u7dad","\u7d44\u5408"],"articleSection":["ojcode"],"inLanguage":"zh-TW","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/blog.seekrealthing.net\/blog\/?p=120#respond"]}]},{"@type":"WebPage","@id":"https:\/\/blog.seekrealthing.net\/blog\/?p=120","url":"https:\/\/blog.seekrealthing.net\/blog\/?p=120","name":"C. Shaass and Lights \u89e3\u6790(\u601d\u7dad\u3001\u7d44\u5408) - Logic Formatting","isPartOf":{"@id":"https:\/\/blog.seekrealthing.net\/blog\/#website"},"datePublished":"2025-01-11T15:44:37+00:00","breadcrumb":{"@id":"https:\/\/blog.seekrealthing.net\/blog\/?p=120#breadcrumb"},"inLanguage":"zh-TW","potentialAction":[{"@type":"ReadAction","target":["https:\/\/blog.seekrealthing.net\/blog\/?p=120"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/blog.seekrealthing.net\/blog\/?p=120#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"\u9996\u9801","item":"https:\/\/blog.seekrealthing.net\/blog"},{"@type":"ListItem","position":2,"name":"C. Shaass and Lights \u89e3\u6790(\u601d\u7dad\u3001\u7d44\u5408)"}]},{"@type":"WebSite","@id":"https:\/\/blog.seekrealthing.net\/blog\/#website","url":"https:\/\/blog.seekrealthing.net\/blog\/","name":"Logic Formatting","description":"","publisher":{"@id":"https:\/\/blog.seekrealthing.net\/blog\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/blog.seekrealthing.net\/blog\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"zh-TW"},{"@type":"Organization","@id":"https:\/\/blog.seekrealthing.net\/blog\/#organization","name":"Logic Formatting","url":"https:\/\/blog.seekrealthing.net\/blog\/","logo":{"@type":"ImageObject","inLanguage":"zh-TW","@id":"https:\/\/blog.seekrealthing.net\/blog\/#\/schema\/logo\/image\/","url":"https:\/\/blog.seekrealthing.net\/blog\/wp-content\/uploads\/2025\/02\/android-chrome-512x512-1.png","contentUrl":"https:\/\/blog.seekrealthing.net\/blog\/wp-content\/uploads\/2025\/02\/android-chrome-512x512-1.png","width":512,"height":512,"caption":"Logic Formatting"},"image":{"@id":"https:\/\/blog.seekrealthing.net\/blog\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/blog.seekrealthing.net\/blog\/#\/schema\/person\/233e80a0fee3d4706f067f2e88c0b454","name":"jeff","image":{"@type":"ImageObject","inLanguage":"zh-TW","@id":"https:\/\/blog.seekrealthing.net\/blog\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/f9b571b28c252728386f0002b35d9cb9a9028f740b0f9ca5ad678e7eb21c4857?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/f9b571b28c252728386f0002b35d9cb9a9028f740b0f9ca5ad678e7eb21c4857?s=96&d=mm&r=g","caption":"jeff"},"sameAs":["http:\/\/150.230.63.147\/blog"],"url":"https:\/\/blog.seekrealthing.net\/blog\/?author=1"}]}},"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/blog.seekrealthing.net\/blog\/index.php?rest_route=\/wp\/v2\/posts\/120","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog.seekrealthing.net\/blog\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.seekrealthing.net\/blog\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.seekrealthing.net\/blog\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.seekrealthing.net\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=120"}],"version-history":[{"count":1,"href":"https:\/\/blog.seekrealthing.net\/blog\/index.php?rest_route=\/wp\/v2\/posts\/120\/revisions"}],"predecessor-version":[{"id":121,"href":"https:\/\/blog.seekrealthing.net\/blog\/index.php?rest_route=\/wp\/v2\/posts\/120\/revisions\/121"}],"wp:attachment":[{"href":"https:\/\/blog.seekrealthing.net\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=120"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.seekrealthing.net\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=120"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.seekrealthing.net\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=120"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}