Submission #134787


Source Code Expand

MOD = 1e9.to_i+7
NUM = 1000
$combi = Array.new(NUM){Array.new(NUM,0)}
$combi[0][0] = 1
(NUM-1).times{|i|
  $combi[i][0] = $combi[i][i] = 1
  i.times{|j|
    $combi[i+1][j+1] = ($combi[i][j] + $combi[i][j+1]) % MOD
  }
}
R,C,X,Y,$D,$L = $<.map{|x|x.split}.flatten.map(&:to_i)

def f(x,y)
  # x*y choose D * x*y-D choose L
  return 0 if x<0 || y<0
  return 0 if $D+$L > x*y
  $combi[x*y][$D] * $combi[x*y-$D][$L] % MOD
end

ans = f(X,Y)
ans = ans*(R-X+1)*(C-Y+1)%MOD
ans = 0
(1 << 4).times{|s|
  next if s==0
  popcnt = 0
  x = X
  y = Y
  4.times{|i|
    if s>>i&1!=0
      i<2 ? x-=1 : y-=1
      popcnt += 1
    end
  }
  if popcnt.even?
    ans = (ans - f(x,y) + MOD) % MOD
  else
    ans = (ans + f(x,y)) % MOD
  end
}
ans = (f(X,Y) - ans + MOD) % MOD
ans = ans*(R-X+1)*(C-Y+1)%MOD

p ans

Submission Info

Submission Time
Task D - AtCoder社の冬
User sune2
Language Ruby (1.9.3)
Score 101
Code Size 835 Byte
Status AC
Exec Time 332 ms
Memory 11888 KB

Judge Result

Set Name sub All
Score / Max Score 100 / 100 1 / 1
Status
AC × 25
AC × 52
Set Name Test Cases
sub 00_sample_01E.txt, 00_sample_02E.txt, 00_sample_03E.txt, test_03E.txt, test_04E.txt, test_07E.txt, test_08E.txt, test_11E.txt, test_12E.txt, test_15E.txt, test_16E.txt, test_19E.txt, test_20E.txt, test_23E.txt, test_24E.txt, test_27E.txt, test_28E.txt, test_31E.txt, test_32E.txt, test_36E.txt, test_37E.txt, test_38E.txt, test_39E.txt, test_45E.txt, test_47E.txt
All 00_sample_01E.txt, 00_sample_02E.txt, 00_sample_03E.txt, 00_sample_04.txt, test_01.txt, test_02.txt, test_03E.txt, test_04E.txt, test_05.txt, test_06.txt, test_07E.txt, test_08E.txt, test_09.txt, test_10.txt, test_11E.txt, test_12E.txt, test_13.txt, test_14.txt, test_15E.txt, test_16E.txt, test_17.txt, test_18.txt, test_19E.txt, test_20E.txt, test_21.txt, test_22.txt, test_23E.txt, test_24E.txt, test_25.txt, test_26.txt, test_27E.txt, test_28E.txt, test_29.txt, test_30.txt, test_31E.txt, test_32E.txt, test_33.txt, test_34.txt, test_35.txt, test_36E.txt, test_37E.txt, test_38E.txt, test_39E.txt, test_40.txt, test_41.txt, test_42.txt, test_43.txt, test_44.txt, test_45E.txt, test_46.txt, test_47E.txt, test_48.txt
Case Name Status Exec Time Memory
00_sample_01E.txt AC 295 ms 11764 KB
00_sample_02E.txt AC 293 ms 11764 KB
00_sample_03E.txt AC 310 ms 11764 KB
00_sample_04.txt AC 295 ms 11816 KB
test_01.txt AC 294 ms 11764 KB
test_02.txt AC 293 ms 11764 KB
test_03E.txt AC 294 ms 11764 KB
test_04E.txt AC 295 ms 11764 KB
test_05.txt AC 303 ms 11764 KB
test_06.txt AC 299 ms 11760 KB
test_07E.txt AC 295 ms 11804 KB
test_08E.txt AC 296 ms 11764 KB
test_09.txt AC 298 ms 11760 KB
test_10.txt AC 294 ms 11764 KB
test_11E.txt AC 299 ms 11764 KB
test_12E.txt AC 296 ms 11764 KB
test_13.txt AC 292 ms 11764 KB
test_14.txt AC 295 ms 11764 KB
test_15E.txt AC 293 ms 11764 KB
test_16E.txt AC 307 ms 11760 KB
test_17.txt AC 325 ms 11848 KB
test_18.txt AC 332 ms 11756 KB
test_19E.txt AC 304 ms 11760 KB
test_20E.txt AC 297 ms 11760 KB
test_21.txt AC 302 ms 11760 KB
test_22.txt AC 295 ms 11764 KB
test_23E.txt AC 301 ms 11764 KB
test_24E.txt AC 297 ms 11888 KB
test_25.txt AC 299 ms 11756 KB
test_26.txt AC 299 ms 11756 KB
test_27E.txt AC 301 ms 11764 KB
test_28E.txt AC 296 ms 11764 KB
test_29.txt AC 297 ms 11764 KB
test_30.txt AC 299 ms 11764 KB
test_31E.txt AC 298 ms 11764 KB
test_32E.txt AC 296 ms 11764 KB
test_33.txt AC 295 ms 11764 KB
test_34.txt AC 297 ms 11764 KB
test_35.txt AC 298 ms 11760 KB
test_36E.txt AC 296 ms 11764 KB
test_37E.txt AC 293 ms 11764 KB
test_38E.txt AC 295 ms 11764 KB
test_39E.txt AC 296 ms 11760 KB
test_40.txt AC 294 ms 11764 KB
test_41.txt AC 296 ms 11864 KB
test_42.txt AC 297 ms 11764 KB
test_43.txt AC 297 ms 11764 KB
test_44.txt AC 298 ms 11756 KB
test_45E.txt AC 298 ms 11760 KB
test_46.txt AC 296 ms 11764 KB
test_47E.txt AC 294 ms 11764 KB
test_48.txt AC 297 ms 11756 KB