結果
| 問題 | No.801 エレベーター |
| ユーザー |
 fgwiebfaoish
|
| 提出日時 | 2020-03-19 15:31:12 |
| 言語 | C#(csc) (csc 3.9.0) |
| 結果 |
TLE
|
| 実行時間 | - |
| コード長 | 6,817 bytes |
| コンパイル時間 | 1,049 ms |
| コンパイル使用メモリ | 113,516 KB |
| 実行使用メモリ | 119,628 KB |
| 最終ジャッジ日時 | 2024-12-14 03:15:53 |
| 合計ジャッジ時間 | 80,582 ms |
|
ジャッジサーバーID （参考情報） |
judge3 / judge4 |
（要ログイン）
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | TLE * 26 |
コンパイルメッセージ
Microsoft (R) Visual C# Compiler version 3.9.0-6.21124.20 (db94f4cc) Copyright (C) Microsoft Corporation. All rights reserved.
ソースコード
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.Ia;Fc fc=new Fc(s[0]);for(int i = 0;i<s[1];i++) {var e=sc.Ia;fc.Ud(e[0]-1,e[1]-1);}var g=new long[s[0]][];var b=new long[s[0]][];for(int i = 0;i<s[0];i++) {g[i]=new long[s[0]];b[i]=new long[1];for(int j = 0;j<s[0];j++) {if(i>j){g[i][j]=g[j][i];}else{g[i][j]=fc.Get(0,i,j,s[0]-1);}}}b[0][0]=1;var c=Mp(b,g,s[2]);Console.WriteLine("{0}",c[s[0]-1][0]);}static long[][] Mp(long[][] r,long[][] x,long e){while(e>0){if((e&1)>0){r=Mm(x,r);}x=Mm(x,x);e>>=1;}return r;}static long[][] Mm(long[][] a,long[][] b){var q=new long[a.Length][];for(int j=0;j<a.Length;j++){q[j]=new long[b[0].Length];for(int i=0;i<b[0].Length;i++){for(int k=0;k<a.Length;k++){q[j][i]=(q[j][i]+a[j][k]*b[k][i])%mod;}}}return q;}}public class Fc{private List<int>[] li;private int[][] dat1,dat2,dat3;private int m=1,cnt;private bool bo=false;public Fc(int n){while(m<n){m<<=1;}cnt=n;li=new List<int>[n];dat1=new int[m-1][];dat2=new int[m-1][];dat3=new int[m-1][];for(int i = 0;i<n;i++) {li[i]=new List<int>();}}public void Ud(int x,int y){li[x].Add(y);}private void Dn(){for(int i = 0;i<cnt;i++) {li[i].Sort();}for(int i = 0;i<cnt;i+=2) {int l=(i>>1)+(m>>1)-1;if(i+1<cnt){dat1[l]=new int[li[i].Count+li[i+1].Count+1];dat2[l]=new int[li[i].Count+li[i+1].Count+1];dat3[l]=new int[li[i].Count+li[i+1].Count+1];int j=0,k=0;while(j<li[i].Count&&k<li[i+1].Count){if(li[i][j]<li[i+1][k]){dat1[l][j+k]=li[i][j];j++;}else{dat1[l][j+k]=li[i+1][k];k++;}dat2[l][j+k]=j;dat3[l][j+k]=k;}while(j<li[i].Count){dat1[l][j+k]=li[i][j];dat2[l][j+k]=j;dat3[l][j+k]=k;j++;}while(k<li[i+1].Count){dat1[l][j+k]=li[i+1][k];dat2[l][j+k]=j;dat3[l][j+k]=k;k++;}dat1[l][j+k]=int.MaxValue;dat2[l][j+k]=j;dat3[l][j+k]=k;}else{dat1[l]=new int[li[i].Count+1];dat2[l]=new int[li[i].Count+1];dat3[l]=new int[li[i].Count+1];for(int j = 0;j<li[i].Count;j++) {dat1[l][j]=li[i][j];dat2[l][j]=j;}dat1[l][li[i].Count]=int.MaxValue;dat2[l][li[i].Count]=li[i].Count;}}for(int i = (m>>1)-2;i>=0;i--) {if(dat1[(i<<1)+2]!=null){dat1[i]=new int[dat1[(i<<1)+1].Length+dat1[(i<<1)+2].Length-1];dat2[i]=new int[dat1[(i<<1)+1].Length+dat1[(i<<1)+2].Length-1];dat3[i]=new int[dat1[(i<<1)+1].Length+dat1[(i<<1)+2].Length-1];int j=0,k=0;while(j<dat1[(i<<1)+1].Length-1&&k<dat1[(i<<1)+2].Length-1){if(dat1[(i<<1)+1][j]<dat1[(i<<1)+2][k]){dat1[i][j+k]=dat1[(i<<1)+1][j];j++;}else{dat1[i][j+k]=dat1[(i<<1)+2][k];k++;}dat2[i][j+k]=j;dat3[i][j+k]=k;}while(j<dat1[(i<<1)+1].Length-1){dat1[i][j+k]=dat1[(i<<1)+1][j];dat2[i][j+k]=j;dat3[i][j+k]=k;j++;}while(k<dat1[(i<<1)+2].Length-1){dat1[i][j+k]=dat1[(i<<1)+2][k];dat2[i][j+k]=j;dat3[i][j+k]=k;k++;}dat1[i][j+k]=int.MaxValue;dat2[i][j+k]=j;dat3[i][j+k]=k;}else if(dat1[(i<<1)+1]!=null){dat1[i]=new int[dat1[(i<<1)+1].Length];dat2[i]=new int[dat1[(i<<1)+1].Length];dat3[i]=new int[dat1[(i<<1)+1].Length];Array.Copy(dat1[(i<<1)+1],dat1[i],dat1[i].Length-1);Array.Copy(dat2[(i<<1)+1],dat2[i],dat2[i].Length-1);Array.Copy(dat3[(i<<1)+1],dat3[i],dat3[i].Length-1);dat1[i][dat1[i].Length-1]=int.MaxValue;dat2[i][dat1[i].Length-1]=dat1[i].Length-1;}else{dat1[i]=new int[]{int.MaxValue};}}bo=true;}public int Get(int x1,int x2,int y1,int y2){if(!bo){Dn();}int lb=-1,ub=dat1[0].Length,mid=0;while(ub-lb>1){mid=(ub+lb)>>1;if(dat1[0][mid]>y2){ub=mid;}else{lb=mid;}}int p=ub;lb=-1;ub=dat1[0].Length;while(ub-lb>1){mid=(ub+lb)>>1;if(dat1[0][mid]>=y1){ub=mid;}else{lb=mid;}}return Fdg(x1,x2,0,0,m-1,ub,p);}private int Fdg(int a,int b,int k,int l,int r,int la,int ra){if(r<a||b<l||ra==la){return 0;}if(a<=l&&r<=b){return ra-la;}else{return Fdg(a,b,k*2+1,l,(l+r)>>1,dat2[k][la],dat2[k][ra])+Fdg(a,b,k*2+2,(l+r+1)>>1,r,dat3[k][la],dat3[k][ra]);}}}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(int a){return Array.ConvertAll((a.ToString()+" "+Console.ReadLine()).Split(),int.Parse);}public int[] Ia3(bool a,int b,bool c,int d){return Array.ConvertAll(((a?b.ToString()+" ":"")+Console.ReadLine()+(c?" "+d.ToString():"")).Split(),int.Parse);}public long[] La2{get{return Array.ConvertAll(("0 "+Console.ReadLine()+" 0").Split(),long.Parse);}}public long[] La3(int a){return Array.ConvertAll((a.ToString()+" "+Console.ReadLine()).Split(),long.Parse);}public long[] La3(bool a,int b,bool c,int d){return Array.ConvertAll(((a?b.ToString()+" ":"")+Console.ReadLine()+(c?" "+d.ToString():"")).Split(),long.Parse);}public double[] Da2{get{return Array.ConvertAll(("0 "+Console.ReadLine()+" 0").Split(),double.Parse);}}public double[] Da3(int a){return Array.ConvertAll((a.ToString()+" "+Console.ReadLine()).Split(),double.Parse);}public double[] Da3(bool a,int b,bool c,int d){return Array.ConvertAll(((a?b.ToString()+" ":"")+Console.ReadLine()+(c?" "+d.ToString():"")).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;}}