結果
問題 | No.1479 Matrix Eraser |
ユーザー | yuruhiya |
提出日時 | 2021-04-20 18:08:04 |
言語 | Crystal (1.11.2) |
結果 |
AC
|
実行時間 | 325 ms / 3,000 ms |
コード長 | 3,966 bytes |
コンパイル時間 | 17,777 ms |
コンパイル使用メモリ | 262,396 KB |
実行使用メモリ | 64,660 KB |
最終ジャッジ日時 | 2023-09-17 08:53:35 |
合計ジャッジ時間 | 25,231 ms |
ジャッジサーバーID (参考情報) |
judge14 / judge12 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
4,504 KB |
testcase_01 | AC | 2 ms
4,460 KB |
testcase_02 | AC | 3 ms
4,572 KB |
testcase_03 | AC | 3 ms
4,536 KB |
testcase_04 | AC | 3 ms
4,496 KB |
testcase_05 | AC | 3 ms
4,552 KB |
testcase_06 | AC | 3 ms
4,484 KB |
testcase_07 | AC | 28 ms
11,632 KB |
testcase_08 | AC | 50 ms
16,676 KB |
testcase_09 | AC | 113 ms
28,748 KB |
testcase_10 | AC | 232 ms
57,104 KB |
testcase_11 | AC | 150 ms
33,592 KB |
testcase_12 | AC | 35 ms
15,068 KB |
testcase_13 | AC | 49 ms
17,132 KB |
testcase_14 | AC | 38 ms
15,236 KB |
testcase_15 | AC | 10 ms
7,276 KB |
testcase_16 | AC | 43 ms
17,040 KB |
testcase_17 | AC | 304 ms
57,224 KB |
testcase_18 | AC | 301 ms
57,220 KB |
testcase_19 | AC | 298 ms
57,160 KB |
testcase_20 | AC | 315 ms
57,340 KB |
testcase_21 | AC | 325 ms
61,188 KB |
testcase_22 | AC | 287 ms
57,284 KB |
testcase_23 | AC | 297 ms
57,568 KB |
testcase_24 | AC | 301 ms
57,260 KB |
testcase_25 | AC | 292 ms
57,332 KB |
testcase_26 | AC | 289 ms
57,260 KB |
testcase_27 | AC | 180 ms
30,904 KB |
testcase_28 | AC | 169 ms
30,908 KB |
testcase_29 | AC | 170 ms
30,764 KB |
testcase_30 | AC | 166 ms
30,820 KB |
testcase_31 | AC | 173 ms
31,028 KB |
testcase_32 | AC | 67 ms
29,224 KB |
testcase_33 | AC | 66 ms
29,724 KB |
testcase_34 | AC | 67 ms
29,024 KB |
testcase_35 | AC | 68 ms
29,472 KB |
testcase_36 | AC | 68 ms
31,012 KB |
testcase_37 | AC | 49 ms
25,836 KB |
testcase_38 | AC | 166 ms
46,944 KB |
testcase_39 | AC | 245 ms
64,660 KB |
testcase_40 | AC | 2 ms
4,380 KB |
コンパイルメッセージ
In Main.cr:157:15 157 | edges = Array.product((0...h).to_a, (0...w).to_a).group_by { |(i, j)| ^------ Warning: Deprecated Array(T).product. Use `Indexable.cartesian_product(indexables : Indexable(Indexable))` instead A total of 1 warnings were found.
ソースコード
# require "template" lib C fun strtoll(s : UInt8*, p : UInt8**, b : Int32) : Int64 end class String def to_i64 C.strtoll(self, nil, 10) end end # require "graph/bipartite_matching" # require "./graph" struct Edge(T) property to : Int32 property cost : T def initialize(@to : Int32, @cost : T) end def to_s(io) : Nil io << {to, cost} end def inspect(io) : Nil io << "->#{to}(#{cost})" end end struct Edge2(T) property from : Int32 property to : Int32 property cost : T def initialize(@from : Int32, @to : Int32, @cost : T) end def reverse Edge2(T).new(to, from, cost) end def to_s(io) : Nil io << {from, to, cost} end def inspect(io) : Nil io << "#{from}->#{to}(#{cost})" end end class Graph(T) getter size : Int32 getter graph : Array(Array(Edge(T))) def initialize(@size : Int32) raise ArgumentError.new("Negative graph size: #{size}") unless size >= 0 @graph = Array.new(size) { Array(Edge(T)).new } end def initialize(@size, edges : Array(Edge2(T)), undirected : Bool) raise ArgumentError.new("Negative graph size: #{size}") unless size >= 0 @graph = Array.new(size) { Array(Edge(T)).new } edges.each do |edge| @graph[edge.from] << Edge.new(edge.to, edge.cost) @graph[edge.to] << Edge.new(edge.from, edge.cost) if undirected end end def add_edge(i : Int32, j : Int32, cost : T) raise IndexError.new unless 0 <= i < size raise IndexError.new unless 0 <= j < size graph[i] << Edge(T).new(j, cost) graph[j] << Edge(T).new(i, cost) end def add_edge_directed(i : Int32, j : Int32, cost : T) raise IndexError.new unless 0 <= i < size raise IndexError.new unless 0 <= j < size graph[i] << Edge(T).new(j, cost) end def [](i : Int32) graph[i] end def each_edge : Nil (0...size).each do |v| graph[v].each do |edge| yield Edge2(T).new(v, edge.to, edge.cost) end end end def edges : Array(Edge2(T)) result = [] of Edge2(T) each_edge do |edge| result << edge end result end end class BipartiteMatching getter left : Int32 getter right : Int32 getter graph : Graph(Nil) def initialize(@left, @right) raise ArgumentError.new "Negative left vertexes size: #{left}" unless left >= 0 raise ArgumentError.new "Negative right vertexes size: #{right}" unless right >= 0 @graph = Graph(Nil).new(left) @left_match = Array(Int32?).new(left, nil) @right_match = Array(Int32?).new(right, nil) @used = Array(Bool).new(left, false) end def add_edge(l : Int32, r : Int32) raise IndexError.new unless 0 <= l < left raise IndexError.new unless 0 <= r < right graph[l] << Edge.new(r, nil) self end def add_edge(edges : Array(Edge2(Nil))) edges.each do |edge| add_edge(edge.from, edge.to) end self end private def dfs(v : Int32) : Bool return false if @used[v] @used[v] = true graph[v].each do |edge| if @right_match[edge.to].nil? || dfs(@right_match[edge.to].not_nil!) @left_match[v], @right_match[edge.to] = edge.to, v return true end end return false end def solve : Int32 loop do break unless (0...left).reduce(false) { |update, i| update | (@left_match[i].nil? ? dfs(i) : false) } @used.fill(false) end left - @left_match.count(&.nil?) end end h, w = read_line.split.map(&.to_i) a = (1..h).map { read_line.split.map(&.to_i) } l, r = 0, 0 edges = Array.product((0...h).to_a, (0...w).to_a).group_by { |(i, j)| a[i][j] }.flat_map { |val, points| next [] of Edge2(Nil) if val == 0 row = {} of Int32 => Int32 column = {} of Int32 => Int32 points.map do |(y, x)| ll = row[y]? || (row[y] = (l += 1) - 1) rr = column[x]? || (column[x] = (r += 1) - 1) Edge2.new(ll, rr, nil) end } puts BipartiteMatching.new(l, r).add_edge(edges).solve