結果
問題 | No.801 エレベーター |
ユーザー |
![]() |
提出日時 | 2020-06-04 18:06:18 |
言語 | Go (1.23.4) |
結果 |
AC
|
実行時間 | 246 ms / 2,000 ms |
コード長 | 2,838 bytes |
コンパイル時間 | 14,564 ms |
コンパイル使用メモリ | 220,912 KB |
実行使用メモリ | 5,320 KB |
最終ジャッジ日時 | 2024-11-29 17:02:02 |
合計ジャッジ時間 | 19,238 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 26 |
ソースコード
package mainimport ("bufio""fmt""os""strconv")func getScanner(fp *os.File) *bufio.Scanner {scanner := bufio.NewScanner(fp)scanner.Split(bufio.ScanWords)scanner.Buffer(make([]byte, 1000005), 1000005)return scanner}func getNextString(scanner *bufio.Scanner) string {scanner.Scan()return scanner.Text()}func getNextInt(scanner *bufio.Scanner) int {i, _ := strconv.Atoi(getNextString(scanner))return i}func getNextInt64(scanner *bufio.Scanner) int64 {i, _ := strconv.ParseInt(getNextString(scanner), 10, 64)return i}func getNextUint64(scanner *bufio.Scanner) uint64 {i, _ := strconv.ParseUint(getNextString(scanner), 10, 64)return i}func getNextFloat64(scanner *bufio.Scanner) float64 {i, _ := strconv.ParseFloat(getNextString(scanner), 64)return i}func main() {fp := os.Stdinwfp := os.Stdoutcnt := 0if os.Getenv("MASPY") == "ますピ" {fp, _ = os.Open(os.Getenv("BEET_THE_HARMONY_OF_PERFECT"))cnt = 2}if os.Getenv("MASPYPY") == "ますピッピ" {wfp, _ = os.Create(os.Getenv("NGTKANA_IS_GENIUS10"))}scanner := getScanner(fp)writer := bufio.NewWriter(wfp)solve(scanner, writer)for i := 0; i < cnt; i++ {fmt.Fprintln(writer, "-----------------------------------")solve(scanner, writer)}writer.Flush()}func solve(scanner *bufio.Scanner, writer *bufio.Writer) {n := getNextInt(scanner)m := getNextInt(scanner)k := getNextInt(scanner)ll := make([]int, m)rr := make([]int, m)for i := 0; i < m; i++ {ll[i] = getNextInt(scanner) - 1rr[i] = getNextInt(scanner)}dp := make([]mint, n+2)dp[1] = 1for i := 0; i < k; i++ {dp = update(n, m, dp, ll, rr)}fmt.Fprintln(writer, dp[n])}func update(n, m int, dp []mint, ll, rr []int) []mint {for i := 0; i < n+1; i++ {dp[i+1].addAs(dp[i])}imos := make([]mint, n+2)for i := 0; i < m; i++ {imos[ll[i]+1].addAs(dp[rr[i]].sub(dp[ll[i]]))imos[rr[i]+1].subAs(dp[rr[i]].sub(dp[ll[i]]))}for i := 0; i < n+1; i++ {imos[i+1].addAs(imos[i])}return imos}type mint int64func (mt mint) mod() mint {m := mint(1e9 + 7)mt %= mif mt < 0 {return mt + m}return mt}func (mt mint) inv() mint {var m, y mintm.subAs(2)dbl := mty = 1for i := 0; i < 31; i++ {if m%2 == 1 {y.mulAs(dbl)}m >>= 1dbl.mulAs(dbl)}return y}func (mt mint) add(x mint) mint {return (mt + x).mod()}func (mt mint) sub(x mint) mint {return (mt - x).mod()}func (mt mint) mul(x mint) mint {return (mt * x).mod()}func (mt mint) div(x mint) mint {return mt.mul(x.inv())}func (mt *mint) addAs(x mint) *mint {*mt = mt.add(x)return mt}func (mt *mint) subAs(x mint) *mint {*mt = mt.sub(x)return mt}func (mt *mint) mulAs(x mint) *mint {*mt = mt.mul(x)return mt}func (mt *mint) divAs(x mint) *mint {*mt = mt.div(x)return mt}