結果

問題 No.616 へんなソート
ユーザー ccppjsrbccppjsrb
提出日時 2020-06-08 10:16:24
言語 Go
(1.22.1)
結果
AC  
実行時間 179 ms / 2,000 ms
コード長 2,977 bytes
コンパイル時間 13,497 ms
コンパイル使用メモリ 200,952 KB
実行使用メモリ 111,920 KB
最終ジャッジ日時 2023-08-26 03:16:22
合計ジャッジ時間 15,930 ms
ジャッジサーバーID
（参考情報） 		judge11 / judge13
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,380 KB
testcase_01 AC 2 ms
4,376 KB
testcase_02 AC 2 ms
4,376 KB
testcase_03 AC 2 ms
4,376 KB
testcase_04 AC 2 ms
4,376 KB
testcase_05 AC 1 ms
4,380 KB
testcase_06 AC 2 ms
4,376 KB
testcase_07 AC 1 ms
4,376 KB
testcase_08 AC 2 ms
4,380 KB
testcase_09 AC 2 ms
4,376 KB
testcase_10 AC 2 ms
4,376 KB
testcase_11 AC 2 ms
4,380 KB
testcase_12 AC 3 ms
5,480 KB
testcase_13 AC 63 ms
41,104 KB
testcase_14 AC 3 ms
5,476 KB
testcase_15 AC 1 ms
4,380 KB
testcase_16 AC 1 ms
4,376 KB
testcase_17 AC 31 ms
22,364 KB
testcase_18 AC 5 ms
5,504 KB
testcase_19 AC 7 ms
7,564 KB
testcase_20 AC 1 ms
4,380 KB
testcase_21 AC 2 ms
4,376 KB
testcase_22 AC 3 ms
5,476 KB
testcase_23 AC 1 ms
4,380 KB
testcase_24 AC 1 ms
4,376 KB
testcase_25 AC 1 ms
4,376 KB
testcase_26 AC 1 ms
4,380 KB
testcase_27 AC 1 ms
4,380 KB
testcase_28 AC 179 ms
111,920 KB
testcase_29 AC 179 ms
111,920 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

package main

import (
	"bufio"
	"fmt"
	"os"
	"strconv"
)

func configure(scanner *bufio.Scanner) {
	scanner.Split(bufio.ScanWords)
	scanner.Buffer(make([]byte, 1000005), 1000005)
}
func getNextString(scanner *bufio.Scanner) string {
	scanned := scanner.Scan()
	if !scanned {
		panic("scan failed")
	}
	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 getNextFloat64(scanner *bufio.Scanner) float64 {
	i, _ := strconv.ParseFloat(getNextString(scanner), 64)
	return i
}
func main() {
	fp := os.Stdin
	wfp := os.Stdout
	extra := 0
	if os.Getenv("I") == "IronMan" {
		fp, _ = os.Open(os.Getenv("END_GAME"))
		extra = 100
	}
	scanner := bufio.NewScanner(fp)
	configure(scanner)
	writer := bufio.NewWriter(wfp)
	defer func() {
		r := recover()
		if r != nil {
			fmt.Fprintln(writer, r)
		}
		writer.Flush()
	}()
	solve(scanner, writer)
	for i := 0; i < extra; i++ {
		fmt.Fprintln(writer, "-----------------------------------")
		solve(scanner, writer)
	}
}
func solve(scanner *bufio.Scanner, writer *bufio.Writer) {
	n := getNextInt(scanner)
	k := getNextInt(scanner)
	aa := make([]int, n)
	for i := 0; i < n; i++ {
		aa[i] = getNextInt(scanner)
	}
	dp := makeGrid(n+1, k+1)
	dp[0][0] = 1
	for i := 0; i < n; i++ {
		for j := 0; j < k; j++ {
			dp[i][j+1].addAs(dp[i][j])
		}
		for j := 0; j <= k; j++ {
			dp[i+1][j] = dp[i][j]
			if j-i-1 >= 0 {
				dp[i+1][j].subAs(dp[i][j-i-1])
			}
		}
	}
	var ans mint
	for i := 0; i < k+1; i++ {
		ans.addAs(dp[n][i])
	}
	fmt.Fprintln(writer, ans)
}

func makeGrid(h, w int) [][]mint {
	index := make([][]mint, h, h)
	data := make([]mint, h*w, h*w)
	for i := 0; i < h; i++ {
		index[i] = data[i*w : (i+1)*w]
	}
	return index
}

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 {
	return mt.pow(mint(0).sub(2))
}
func (mt mint) pow(n mint) mint {
	p := mint(1)
	for n > 0 {
		if n%2 == 1 {
			p.mulAs(mt)
		}
		mt.mulAs(mt)
		n >>= 1
	}
	return p
}
func (mt mint) mintize(x interface{}) mint {
	if y, isMint := x.(mint); isMint {
		return y
	}
	if y, isInt64 := x.(int64); isInt64 {
		return mint(y)
	}
	return mint(x.(int))
}
func (mt mint) add(x interface{}) mint {
	return (mt + mt.mintize(x)).mod()
}
func (mt mint) sub(x interface{}) mint {
	return (mt - mt.mintize(x)).mod()
}
func (mt mint) mul(x interface{}) mint {
	return (mt * mt.mintize(x)).mod()
}
func (mt mint) div(x interface{}) mint {
	return mt.mul(mt.mintize(x).inv())
}
func (mt *mint) addAs(x interface{}) *mint {
	*mt = mt.add(x)
	return mt
}
func (mt *mint) subAs(x interface{}) *mint {
	*mt = mt.sub(x)
	return mt
}
func (mt *mint) mulAs(x interface{}) *mint {
	*mt = mt.mul(x)
	return mt
}
func (mt *mint) divAs(x interface{}) *mint {
	*mt = mt.div(x)
	return mt
}
0