結果

問題 No.679 不思議マーケット
ユーザー ccppjsrbccppjsrb
提出日時 2020-09-16 09:20:56
言語 Go
(1.22.1)
結果
AC  
実行時間 3 ms / 2,000 ms
コード長 2,632 bytes
コンパイル時間 13,873 ms
コンパイル使用メモリ 241,512 KB
実行使用メモリ 6,948 KB
最終ジャッジ日時 2024-06-22 03:04:24
合計ジャッジ時間 12,817 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
6,816 KB
testcase_01 AC 1 ms
6,816 KB
testcase_02 AC 1 ms
6,940 KB
testcase_03 AC 3 ms
6,940 KB
testcase_04 AC 2 ms
6,944 KB
testcase_05 AC 1 ms
6,940 KB
testcase_06 AC 2 ms
6,940 KB
testcase_07 AC 1 ms
6,944 KB
testcase_08 AC 2 ms
6,948 KB
testcase_09 AC 1 ms
6,944 KB
testcase_10 AC 2 ms
6,940 KB
testcase_11 AC 2 ms
6,940 KB
testcase_12 AC 2 ms
6,944 KB
testcase_13 AC 1 ms
6,940 KB
testcase_14 AC 2 ms
6,940 KB
testcase_15 AC 2 ms
6,944 KB
testcase_16 AC 0 ms
6,944 KB
testcase_17 AC 1 ms
6,940 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)
	m := getNextInt(scanner)
	g := newGraph(n)
	rr := make([]rule, m)
	pp := make([]*rule, n)
	for i := 0; i < m; i++ {
		rr[i].g = getNextInt(scanner) - 1
		rr[i].r = getNextInt(scanner)
		rr[i].hh = make([]int, rr[i].r)
		for j := 0; j < rr[i].r; j++ {
			rr[i].hh[j] = getNextInt(scanner) - 1
			g.AppendEdge(rr[i].hh[j], rr[i].g, 0)
		}
		pp[rr[i].g] = &rr[i]
	}
	tana := make([]int, n)
	for i := 0; i < n; i++ {
		mn := n
		mi := -1
		for j := 0; j < n; j++ {
			if mn > g.v[j].deg {
				mn = g.v[j].deg
				mi = j
			}
		}
		tana[i] = mi
		for _, e := range g.e[mi] {
			if g.v[e.to].deg < n {
				g.v[e.to].deg--
			}
		}
		g.v[mi].deg = n
	}
	var ans int
	taken := map[int]bool{}
	for i := 0; i < n; i++ {
		p := pp[tana[i]]
		if p == nil {
			ans++
			taken[tana[i]] = true
			continue
		}
		exists := func() bool {
			for _, h := range p.hh {
				if taken[h] == false {
					return false
				}
			}
			return true
		}
		if exists() {
			ans++
			taken[tana[i]] = true
		}
	}
	fmt.Fprintln(writer, ans)
}

type rule struct {
	g, r int
	hh   []int
}
type vertex struct {
	deg int
}
type edge struct {
	to, id int
}
type graph struct {
	v []vertex
	e [][]edge
}

func newGraph(n int) graph {
	return graph{
		v: make([]vertex, n),
		e: make([][]edge, n),
	}
}
func (g *graph) AppendEdge(from, to, id int) {
	g.e[from] = append(g.e[from], edge{
		to: to,
		id: id,
	})
	g.v[to].deg++
}
0