結果

問題 No.801 エレベーター
ユーザー ccppjsrbccppjsrb
提出日時 2020-06-04 18:06:18
言語 Go
(1.22.1)
結果
AC  
実行時間 236 ms / 2,000 ms
コード長 2,838 bytes
コンパイル時間 15,988 ms
コンパイル使用メモリ 198,388 KB
実行使用メモリ 6,624 KB
最終ジャッジ日時 2023-08-19 21:11:59
合計ジャッジ時間 15,999 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge13
このコードへのチャレンジ（β）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
4,352 KB
testcase_01 AC 1 ms
4,352 KB
testcase_02 AC 1 ms
4,352 KB
testcase_03 AC 4 ms
4,356 KB
testcase_04 AC 4 ms
4,352 KB
testcase_05 AC 3 ms
4,360 KB
testcase_06 AC 3 ms
4,356 KB
testcase_07 AC 4 ms
4,356 KB
testcase_08 AC 4 ms
4,360 KB
testcase_09 AC 3 ms
4,356 KB
testcase_10 AC 3 ms
4,356 KB
testcase_11 AC 4 ms
4,356 KB
testcase_12 AC 4 ms
4,352 KB
testcase_13 AC 234 ms
6,592 KB
testcase_14 AC 234 ms
6,588 KB
testcase_15 AC 236 ms
6,568 KB
testcase_16 AC 234 ms
6,584 KB
testcase_17 AC 234 ms
6,572 KB
testcase_18 AC 233 ms
6,572 KB
testcase_19 AC 233 ms
6,596 KB
testcase_20 AC 233 ms
6,588 KB
testcase_21 AC 235 ms
6,620 KB
testcase_22 AC 234 ms
6,564 KB
testcase_23 AC 222 ms
6,568 KB
testcase_24 AC 221 ms
6,596 KB
testcase_25 AC 222 ms
6,572 KB
testcase_26 AC 221 ms
6,572 KB
testcase_27 AC 221 ms
6,588 KB
testcase_28 AC 222 ms
6,624 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

package main

import (
	"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.Stdin
	wfp := os.Stdout
	cnt := 0
	if 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) - 1
		rr[i] = getNextInt(scanner)
	}
	dp := make([]mint, n+2)
	dp[1] = 1
	for 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 int64

func (mt mint) mod() mint {
	m := mint(1e9 + 7)
	mt %= m
	if mt < 0 {
		return mt + m
	}
	return mt
}
func (mt mint) inv() mint {
	var m, y mint
	m.subAs(2)
	dbl := mt
	y = 1
	for i := 0; i < 31; i++ {
		if m%2 == 1 {
			y.mulAs(dbl)
		}
		m >>= 1
		dbl.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
}
0