結果

問題 No.1227 I hate ThREE
ユーザー 37zigen37zigen
提出日時 2020-07-28 21:49:01
言語 Java21
(openjdk 21)
結果
AC  
実行時間 561 ms / 2,000 ms
コード長 4,367 bytes
コンパイル時間 2,587 ms
コンパイル使用メモリ 80,936 KB
実行使用メモリ 264,788 KB
最終ジャッジ日時 2024-06-10 14:21:46
合計ジャッジ時間 19,228 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 267 ms
263,892 KB
testcase_01 AC 265 ms
263,784 KB
testcase_02 AC 269 ms
263,352 KB
testcase_03 AC 437 ms
264,348 KB
testcase_04 AC 417 ms
264,456 KB
testcase_05 AC 391 ms
264,096 KB
testcase_06 AC 218 ms
259,568 KB
testcase_07 AC 223 ms
259,512 KB
testcase_08 AC 341 ms
264,056 KB
testcase_09 AC 338 ms
264,068 KB
testcase_10 AC 342 ms
264,080 KB
testcase_11 AC 442 ms
264,240 KB
testcase_12 AC 442 ms
264,740 KB
testcase_13 AC 314 ms
263,372 KB
testcase_14 AC 389 ms
264,476 KB
testcase_15 AC 482 ms
264,004 KB
testcase_16 AC 521 ms
264,044 KB
testcase_17 AC 393 ms
263,900 KB
testcase_18 AC 442 ms
264,424 KB
testcase_19 AC 411 ms
264,536 KB
testcase_20 AC 561 ms
264,192 KB
testcase_21 AC 306 ms
263,904 KB
testcase_22 AC 414 ms
264,460 KB
testcase_23 AC 482 ms
264,580 KB
testcase_24 AC 464 ms
264,300 KB
testcase_25 AC 484 ms
264,464 KB
testcase_26 AC 470 ms
264,416 KB
testcase_27 AC 470 ms
264,788 KB
testcase_28 AC 464 ms
264,440 KB
testcase_29 AC 465 ms
264,464 KB
testcase_30 AC 469 ms
264,400 KB
testcase_31 AC 476 ms
264,676 KB
testcase_32 AC 469 ms
264,508 KB
testcase_33 AC 440 ms
264,448 KB
testcase_34 AC 467 ms
264,448 KB
testcase_35 AC 471 ms
264,456 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import java.io.IOException;
import java.io.InputStream;
import java.util.ArrayList;
import java.util.Arrays;
import java.util.NoSuchElementException;

class DJSet {
	int n;
	int[] upper;
	
	public DJSet(int n_) {
		n=n_;
		upper=new int[n];
		Arrays.fill(upper, -1);
	}
	
	int root(int x) {
		return upper[x]<0?x:(upper[x]=root(upper[x]));
	}
	
	boolean equiv(int x,int y) {
		return root(x)==root(y);
	}
	
	void setUnion(int x,int y) {
		x=root(x);
		y=root(y);
		if (x==y) return;
		if (upper[x]<upper[y]) {
			x^=y;y^=x;x^=y;
		}
		upper[y]+=upper[x];
		upper[x]=y;
	}
}

public class Main {

	public static void main(String[] args) {
		new Main().run();
	}
	
	long pow(long a,long n) {
		long ret=1;
		for (;n>0;n>>=1,a=a*a%MOD) if (n%2==1) ret=ret*a%MOD;
		return ret;
	}
	
	void dfs(int cur,int par,ArrayList<Integer>[] g,long C) {
		for (int curc=1;curc<dp[cur].length;++curc) {
			dp[cur][curc]=1;
		}
		for (int dst:g[cur]) {
			if (dst==par) continue;
			dfs(dst,cur,g,C);
			for (int curc=1;curc<dp[cur].length;++curc) {
				long sum=0;
				for (int d=-3;d<=3;d+=6) {
					int nextc=curc+d;
					if (nextc<1||nextc>C||nextc>=dp[dst].length) continue;
					sum+=dp[dst][nextc];
					sum%=MOD;
				}
				dp[cur][curc]*=sum;
				dp[cur][curc]%=MOD;
			}
		}
	}
	
	final long MOD=(long)1e9+7;
	int MAXN=3000;
	long[][] dp=new long[MAXN][3*MAXN+1];
	
	void run() {
		FastScanner sc=new FastScanner();
		int N=sc.nextInt();
		DJSet ds=new DJSet(N);
		assert(2<=N&&N<=1000);
		
		long C=sc.nextInt();
		
		assert(4<=C&&C<=1e9);
		
		int[] a=new int[N-1];
		int[] b=new int[N-1];
		ArrayList<Integer>[] g=new ArrayList[N];
		for (int i=0;i<N;++i) g[i]=new ArrayList<>();
		for (int i=0;i<N-1;++i) {
			a[i]=sc.nextInt()-1;
			b[i]=sc.nextInt()-1;
			g[a[i]].add(b[i]);
			g[b[i]].add(a[i]);
			assert(0<=a[i]&&a[i]<=N-1);
			assert(0<=b[i]&&b[i]<=N-1);
			assert(!ds.equiv(a[i], b[i]));
			ds.setUnion(a[i], b[i]);
		}
		
		if (C<=6000) {
			dfs(0,-1,g,C);
			long ans=0;
			for (int c=1;c<=C;++c) {
				ans=(ans+dp[0][c])%MOD;
			}
			System.out.println(ans);
		} else {
			dfs(0,-1,g,C);
			long s=0;
			for (int c=1;c<=3000;++c) {
				s=(s+dp[0][c])%MOD;
			}
			long ans=2*s+(C-6000)%MOD*pow(2,N-1)%MOD;
			ans=(ans%MOD+MOD)%MOD;
			System.out.println(ans);
		}
	}
	
	void tr(Object...objects) {System.out.println(Arrays.deepToString(objects));}
	
	
	class FastScanner {
	    private final InputStream in = System.in;
	    private final byte[] buffer = new byte[1024];
	    private int ptr = 0;
	    private int buflen = 0;
	    private boolean hasNextByte() {
	        if (ptr < buflen) {
	            return true;
	        }else{
	            ptr = 0;
	            try {
	                buflen = in.read(buffer);
	            } catch (IOException e) {
	                e.printStackTrace();
	            }
	            if (buflen <= 0) {
	                return false;
	            }
	        }
	        return true;
	    }
	    private int readByte() { if (hasNextByte()) return buffer[ptr++]; else return -1;}
	    private boolean isPrintableChar(int c) { return 33 <= c && c <= 126;}
	    private void skipUnprintable() { while(hasNextByte() && !isPrintableChar(buffer[ptr])) ptr++;}
	    public boolean hasNext() { skipUnprintable(); return hasNextByte();}
	    public String next() {
	        if (!hasNext()) throw new NoSuchElementException();
	        StringBuilder sb = new StringBuilder();
	        int b = readByte();
	        while(isPrintableChar(b)) {
	            sb.appendCodePoint(b);
	            b = readByte();
	        }
	        return sb.toString();
	    }
	    public long nextLong() {
	        if (!hasNext()) throw new NoSuchElementException();
	        long n = 0;
	        boolean minus = false;
	        int b = readByte();
	        if (b == '-') {
	            minus = true;
	            b = readByte();
	        }
	        if (b < '0' || '9' < b) {
	            throw new NumberFormatException();
	        }
	        while(true){
	            if ('0' <= b && b <= '9') {
	                n *= 10;
	                n += b - '0';
	            }else if(b == -1 || !isPrintableChar(b)){
	                return minus ? -n : n;
	            }else{
	                throw new NumberFormatException();
	            }
	            b = readByte();
	        }
	    }
	    public int nextInt() {
	    	return (int)nextLong();
	    }
	}
}
0