結果

問題 No.260 世界のなんとか3
ユーザー fgwiebfaoishfgwiebfaoish
提出日時 2020-07-10 05:03:38
言語 C#(csc)
(csc 3.9.0)
結果
AC  
実行時間 477 ms / 2,000 ms
コード長 4,108 bytes
コンパイル時間 1,013 ms
コンパイル使用メモリ 108,928 KB
実行使用メモリ 32,384 KB
最終ジャッジ日時 2024-04-17 19:21:28
合計ジャッジ時間 9,238 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 27 ms
17,792 KB
testcase_01 AC 26 ms
17,920 KB
testcase_02 AC 26 ms
17,792 KB
testcase_03 AC 476 ms
32,256 KB
testcase_04 AC 475 ms
32,000 KB
testcase_05 AC 111 ms
19,968 KB
testcase_06 AC 82 ms
19,072 KB
testcase_07 AC 331 ms
27,392 KB
testcase_08 AC 235 ms
24,192 KB
testcase_09 AC 142 ms
20,864 KB
testcase_10 AC 368 ms
28,800 KB
testcase_11 AC 350 ms
28,032 KB
testcase_12 AC 218 ms
23,424 KB
testcase_13 AC 80 ms
18,944 KB
testcase_14 AC 317 ms
27,008 KB
testcase_15 AC 102 ms
19,712 KB
testcase_16 AC 281 ms
25,728 KB
testcase_17 AC 226 ms
23,936 KB
testcase_18 AC 221 ms
23,552 KB
testcase_19 AC 280 ms
25,600 KB
testcase_20 AC 209 ms
23,040 KB
testcase_21 AC 181 ms
22,400 KB
testcase_22 AC 317 ms
26,752 KB
testcase_23 AC 53 ms
18,048 KB
testcase_24 AC 253 ms
24,704 KB
testcase_25 AC 252 ms
24,704 KB
testcase_26 AC 247 ms
24,832 KB
testcase_27 AC 26 ms
17,792 KB
testcase_28 AC 469 ms
32,256 KB
testcase_29 AC 477 ms
32,384 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
Microsoft (R) Visual C# Compiler version 3.9.0-6.21124.20 (db94f4cc)
Copyright (C) Microsoft Corporation. All rights reserved.

ソースコード

diff # 

using System;
using System.Collections.Generic;
using System.Collections;
using System.Collections.Specialized;
using System.Linq;
using System.Text;
using System.IO;
using System.Reflection;
using static System.Math;
using System.Numerics;
static class Program{
	const int mod=(int)1e9+7;
	const double eps=1e-11;
	static void Main(){
		Sc sc=new Sc();
		var s=sc.Sa;
		Console.WriteLine("{0}",Fu(s[1],true)-Fu(s[0],false));
	}
	static Mint Fu(string t,bool bo){
		int n=t.Length;
		var dp=new Mint[n+1,2,2,3,8];
		dp[0,0,0,0,0]=1;
		for(int i=0;i<n;i++){
			for(int j=0;j<2;j++){
				for(int k=0;k<2;k++){
					for(int l=0;l<3;l++){
						for(int m=0;m<8;m++){
							if((int)dp[i,j,k,l,m]==0){continue;}
							int lm=j==0?t[i]-'0':9;
							for(int d=0;d<=lm;d++){dp[i+1,(j==1||d<lm)?1:0,(k==1||d==3)?1:0,(l*10+d)%3,(m*10+d)%8]+=dp[i,j,k,l,m];}
						}
					}
				}
			}
		}
		Mint ans=0;
		for(int i = 1;i<8;i++) {
			ans+=dp[n,1,0,0,i]+dp[n,1,1,1,i]+dp[n,1,1,2,i]+dp[n,1,1,0,i];
			if(bo){ans+=dp[n,0,0,0,i]+dp[n,0,1,1,i]+dp[n,0,1,2,i]+dp[n,0,1,0,i];}
		}
		return ans;
	}
}
public struct Mint{
	const int mod=(int)1e9+7;
	private long d;
	public Mint(long d){this.d=d;}
	public static implicit operator Mint(long d){return new Mint(d%mod);}
	public static explicit operator long(Mint d){return d.d;}
	public override string ToString(){return d.ToString();}
	public static Mint operator+(Mint a,long b){a.d=(a.d+b)%mod;return a;}
	public static Mint operator+(Mint a,Mint b){a.d=(a.d+b.d)%mod;return a;}
	public static Mint operator-(Mint a,long b){a.d=(mod+a.d-b)%mod;return a;}
	public static Mint operator-(Mint a,Mint b){a.d=(mod+a.d-b.d)%mod;return a;}
	public static Mint operator*(Mint a,long b){a.d=(a.d*b)%mod;return a;}
	public static Mint operator*(Mint a,Mint b){a.d=(a.d*b.d)%mod;return a;}
	public static Mint operator/(Mint a,long b){a.d=(a.d*Mi(b))%mod;return a;}
	public static Mint operator/(Mint a,Mint b){a.d=(a.d*Mi(b.d))%mod;return a;}
	private static long Mi(long a){
		a=(a+mod)%mod;
		long b=mod,u=1,v=0;
		while(b>0){
			long t=a/b;
			a-=t*b;(a,b)=(b,a);
			u-=t*v;(u,v)=(v,u);
		}
		u%=mod;
		if(u<0){u+=mod;}
		return u%mod;
	}
}
public class Sc{
	public int I{get{return int.Parse(Console.ReadLine());}}
	public long L{get{return long.Parse(Console.ReadLine());}}
	public double D{get{return double.Parse(Console.ReadLine());}}
	public string S{get{return Console.ReadLine();}}
	public int[] Ia{get{return Array.ConvertAll(Console.ReadLine().Split(),int.Parse);}}
	public long[] La{get{return Array.ConvertAll(Console.ReadLine().Split(),long.Parse);}}
	public double[] Da{get{return Array.ConvertAll(Console.ReadLine().Split(),double.Parse);}}
	public string[] Sa{get{return Console.ReadLine().Split();}}
	public object[] Oa{get{return Console.ReadLine().Split();}}
	public int[] Ia2{get{return Array.ConvertAll(("0 "+Console.ReadLine()+" 0").Split(),int.Parse);}}
	public int[] Ia3(string a,string b){return Array.ConvertAll((a+Console.ReadLine()+b).Split(),int.Parse);}
	public int[] Ia3(int a){return Array.ConvertAll((Console.ReadLine()+" "+a.ToString()).Split(),int.Parse);}
	public long[] La2{get{return Array.ConvertAll(("0 "+Console.ReadLine()+" 0").Split(),long.Parse);}}
	public long[] La3(string a,string b){return Array.ConvertAll((a+Console.ReadLine()+b).Split(),long.Parse);}
	public long[] La3(int a){return Array.ConvertAll((Console.ReadLine()+" "+a.ToString()).Split(),long.Parse);}
	public double[] Da2{get{return Array.ConvertAll(("0 "+Console.ReadLine()+" 0").Split(),double.Parse);}}
	public double[] Da3(string a,string b){return Array.ConvertAll((a+Console.ReadLine()+b).Split(),double.Parse);}
	public T[] Arr<T>(int n,Func<T> f){var a=new T[n];for(int i=0;i<n;i++){a[i]=f();}return a;}
	public T[] Arr<T>(int n,Func<int,T> f){var a=new T[n];for(int i=0;i<n;i++){a[i]=f(i);}return a;}
	public T[] Arr<T>(int n,Func<string[],T> f){var a=new T[n];for(int i=0;i<n;i++){a[i]=f(Console.ReadLine().Split());}return a;}
	public T[] Arr<T>(int n,Func<int,string[],T> f){var a=new T[n];for(int i=0;i<n;i++){a[i]=f(i,Console.ReadLine().Split());}return a;}
}
0