結果

問題 No.866 レベルKの正方形
ユーザー ccppjsrbccppjsrb
提出日時 2020-06-10 02:22:43
言語 Go
(1.22.1)
結果
AC  
実行時間 1,506 ms / 6,000 ms
コード長 3,568 bytes
コンパイル時間 11,400 ms
コンパイル使用メモリ 226,076 KB
実行使用メモリ 323,820 KB
最終ジャッジ日時 2024-06-11 16:40:02
合計ジャッジ時間 29,848 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
6,816 KB
testcase_01 AC 1 ms
6,812 KB
testcase_02 AC 1 ms
6,944 KB
testcase_03 AC 1 ms
6,940 KB
testcase_04 AC 1 ms
6,940 KB
testcase_05 AC 1 ms
6,944 KB
testcase_06 AC 1 ms
6,944 KB
testcase_07 AC 1 ms
6,944 KB
testcase_08 AC 1,313 ms
323,820 KB
testcase_09 AC 1,239 ms
323,820 KB
testcase_10 AC 1,288 ms
323,820 KB
testcase_11 AC 1,344 ms
323,816 KB
testcase_12 AC 1,506 ms
323,816 KB
testcase_13 AC 1,340 ms
323,816 KB
testcase_14 AC 1,391 ms
323,816 KB
testcase_15 AC 1,311 ms
323,820 KB
testcase_16 AC 1,372 ms
323,820 KB
testcase_17 AC 1,331 ms
323,820 KB
testcase_18 AC 1,344 ms
323,820 KB
testcase_19 AC 1,377 ms
323,820 KB
testcase_20 AC 1,314 ms
323,816 KB
testcase_21 AC 1,200 ms
323,816 KB
testcase_22 AC 1 ms
6,940 KB
testcase_23 AC 1 ms
6,940 KB
testcase_24 AC 1 ms
6,944 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

package main

import (
	"bufio"
	"fmt"
	"math/bits"
	"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) {
	h := getNextInt(scanner)
	w := getNextInt(scanner)
	k := getNextInt(scanner)
	sq := makeGrid(h, w)
	for y := 0; y < h; y++ {
		s := getNextString(scanner)
		for x := 0; x < w; x++ {
			sq[y][x].b[0] = sq[y][x].b[0] | uint32(1<<uint(s[x]-'a'))
		}
	}
	for i := 1; i < 16; i++ {
		for y := 0; y < h && y+1<<uint(i) <= h; y++ {
			for x := 0; x < w && x+1<<uint(i) <= w; x++ {
				sq[y][x].b[i] = sq[y][x].b[i] | sq[y][x].b[i-1]
				sq[y][x].b[i] = sq[y][x].b[i] | sq[y+1<<uint(i-1)][x].b[i-1]
				sq[y][x].b[i] = sq[y][x].b[i] | sq[y][x+1<<uint(i-1)].b[i-1]
				sq[y][x].b[i] = sq[y][x].b[i] | sq[y+1<<uint(i-1)][x+1<<uint(i-1)].b[i-1]
			}
		}
	}
	var ans int
	lowers := make([][][2]int, h)
	for i := 0; i < h; i++ {
		lowers[i] = make([][2]int, w)
	}
	for i := 0; i < w; i++ {
		for lw := 0; lw < 2; lw++ {
			ly := 0
			lx := i
			ry := 1
			rx := i + 1
			for ry <= h && rx <= w && ry-ly > 0 {
				lowers[ly][lx][lw] = w + 1
				c := types(ly, lx, ry-ly, sq)
				if c < k+lw {
					if ry == h || rx == w {
						lx++
						ly++
						continue
					}
					ry++
					rx++
					continue
				}
				lowers[ly][lx][lw] = rx
				lx++
				ly++
				if ry == ly {
					ry++
					rx++
				}
			}
		}
	}
	for i := 1; i < h; i++ {
		for lw := 0; lw < 2; lw++ {
			ly := i
			lx := 0
			ry := i + 1
			rx := 1
			for ry <= h && rx <= w && ry-ly > 0 {
				lowers[ly][lx][lw] = h + 1
				c := types(ly, lx, ry-ly, sq)
				if c < k+lw {
					if ry == h || rx == w {
						lx++
						ly++
						continue
					}
					ry++
					rx++
					continue
				}
				lowers[ly][lx][lw] = ry
				lx++
				ly++
				if ry == ly {
					ry++
					rx++
				}
			}
		}
	}
	for y := 0; y < h; y++ {
		for x := 0; x < w; x++ {
			ans += lowers[y][x][1] - lowers[y][x][0]
		}
	}
	fmt.Fprintln(writer, ans)
}

func types(y, x, m int, sq [][]square) int {
	z := 32 - bits.LeadingZeros32(uint32(m))
	b := sq[y][x].b[z-1]
	b = b | sq[y+m-1<<uint(z-1)][x].b[z-1]
	b = b | sq[y][x+m-1<<uint(z-1)].b[z-1]
	b = b | sq[y+m-1<<uint(z-1)][x+m-1<<uint(z-1)].b[z-1]
	c := bits.OnesCount32(b)
	return c
}
func min(a, b int) int {
	if a < b {
		return a
	}
	return b
}

type square struct {
	b [16]uint32
}

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