#540573 (Go) No.462 6日知らずのコンピュータ

提出ソース

結果

問題	No.462 6日知らずのコンピュータ
ユーザー	ccppjsrb
提出日時	2020-08-26 17:11:04
言語	Go (1.22.1)
結果	AC
実行時間	2 ms / 2,000 ms
コード長	2,767 bytes
コンパイル時間	16,993 ms
コンパイル使用メモリ	225,872 KB
実行使用メモリ	6,816 KB
最終ジャッジ日時	2024-11-07 13:12:21
合計ジャッジ時間	18,501 ms
ジャッジサーバーID （参考情報）	judge2 / judge3

このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	1 ms 6,816 KB
testcase_01	AC	1 ms 5,248 KB
testcase_02	AC	1 ms 5,248 KB
testcase_03	AC	1 ms 5,248 KB
testcase_04	AC	1 ms 5,248 KB
testcase_05	AC	1 ms 5,248 KB
testcase_06	AC	1 ms 5,248 KB
testcase_07	AC	1 ms 5,248 KB
testcase_08	AC	1 ms 5,248 KB
testcase_09	AC	1 ms 5,248 KB
testcase_10	AC	1 ms 5,248 KB
testcase_11	AC	1 ms 5,248 KB
testcase_12	AC	2 ms 5,248 KB
testcase_13	AC	1 ms 5,248 KB
testcase_14	AC	1 ms 5,248 KB
testcase_15	AC	1 ms 5,248 KB
testcase_16	AC	1 ms 5,248 KB
testcase_17	AC	1 ms 5,248 KB
testcase_18	AC	1 ms 5,248 KB
testcase_19	AC	1 ms 5,248 KB
testcase_20	AC	1 ms 5,248 KB
testcase_21	AC	1 ms 5,248 KB
testcase_22	AC	1 ms 5,248 KB
testcase_23	AC	1 ms 5,248 KB
testcase_24	AC	1 ms 5,248 KB
testcase_25	AC	1 ms 5,248 KB
testcase_26	AC	1 ms 5,248 KB
testcase_27	AC	1 ms 5,248 KB
testcase_28	AC	1 ms 5,248 KB
testcase_29	AC	1 ms 5,248 KB
testcase_30	AC	1 ms 5,248 KB
testcase_31	AC	1 ms 5,248 KB
testcase_32	AC	1 ms 5,248 KB
testcase_33	AC	1 ms 5,248 KB
testcase_34	AC	1 ms 5,248 KB
testcase_35	AC	1 ms 5,248 KB
testcase_36	AC	2 ms 5,248 KB
testcase_37	AC	1 ms 5,248 KB
testcase_38	AC	1 ms 5,248 KB
testcase_39	AC	1 ms 5,248 KB
testcase_40	AC	1 ms 5,248 KB
testcase_41	AC	1 ms 5,248 KB
testcase_42	AC	1 ms 5,248 KB
testcase_43	AC	1 ms 5,248 KB
testcase_44	AC	1 ms 5,248 KB
testcase_45	AC	1 ms 5,248 KB
testcase_46	AC	1 ms 5,248 KB
testcase_47	AC	1 ms 5,248 KB
testcase_48	AC	1 ms 5,248 KB
testcase_49	AC	1 ms 5,248 KB
testcase_50	AC	1 ms 5,248 KB
testcase_51	AC	1 ms 5,248 KB
testcase_52	AC	1 ms 5,248 KB
testcase_53	AC	1 ms 5,248 KB
testcase_54	AC	1 ms 5,248 KB
testcase_55	AC	1 ms 5,248 KB
testcase_56	AC	1 ms 5,248 KB
testcase_57	AC	1 ms 5,248 KB
testcase_58	AC	1 ms 5,248 KB
testcase_59	AC	1 ms 5,248 KB
testcase_60	AC	1 ms 5,248 KB
testcase_61	AC	1 ms 5,248 KB
testcase_62	AC	1 ms 5,248 KB
testcase_63	AC	1 ms 5,248 KB
testcase_64	AC	1 ms 5,248 KB
testcase_65	AC	2 ms 5,248 KB
testcase_66	AC	1 ms 5,248 KB
testcase_67	AC	1 ms 5,248 KB
testcase_68	AC	1 ms 5,248 KB
testcase_69	AC	1 ms 5,248 KB
testcase_70	AC	1 ms 5,248 KB
testcase_71	AC	1 ms 5,248 KB
testcase_72	AC	1 ms 5,248 KB
testcase_73	AC	1 ms 5,248 KB
testcase_74	AC	1 ms 5,248 KB
testcase_75	AC	1 ms 5,248 KB
testcase_76	AC	1 ms 5,248 KB
testcase_77	AC	1 ms 5,248 KB
testcase_78	AC	1 ms 5,248 KB
testcase_79	AC	2 ms 5,248 KB
testcase_80	AC	1 ms 5,248 KB
testcase_81	AC	1 ms 5,248 KB
testcase_82	AC	1 ms 5,248 KB
testcase_83	AC	1 ms 5,248 KB
testcase_84	AC	1 ms 5,248 KB
testcase_85	AC	1 ms 5,248 KB
testcase_86	AC	1 ms 5,248 KB

権限があれば一括ダウンロードができます

ソースコード

raw source code

package main

import (
	"bufio"
	"fmt"
	"math/bits"
	"os"
	"sort"
	"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([]int64, k)
	for i := 0; i < k; i++ {
		aa[i] = getNextInt64(scanner)
	}
	sort.SliceStable(aa, func(i, j int) bool {
		return aa[i] < aa[j]
	})
	for i := 0; i < k; i++ {
		for j := 0; j < i; j++ {
			if aa[j]&aa[i] != aa[j] {
				fmt.Fprintln(writer, 0)
				return
			}
		}
	}
	bb := make([]int, 0)
	bb = append(bb, 0)
	for i := 0; i < k; i++ {
		bb = append(bb, bits.OnesCount64(uint64(aa[i])))
	}
	bb = append(bb, n)
	var ans mint
	ff := make([]mint, n+1)
	ff[0] = 1
	for i := 0; i < n; i++ {
		ff[i+1] = ff[i].mul(mint(i + 1))
	}
	ans = 1
	for i := 0; i < len(bb)-1; i++ {
		ans.mulAs(ff[bb[i+1]-bb[i]])
	}
	fmt.Fprintln(writer, ans)
}

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&1 == 1 {
			p.mulAs(mt)
		}
		mt.mulAs(mt)
		n >>= 1
	}
	return p
}
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
}

yukicoder

結果

テストケース

ソースコード