Problem:
〜魔女からこの世界を守るためキュゥべえと共に戦う 5 人の魔法少女達の物語〜

問題 A

問題文

薔薇園の魔女 GERTRUD は幅 W メートル，高さ H メートルの長方形の庭でバラを育てている．庭は一辺 1 メートルの正方形で区切られており，W\times H のブロックに分けられている．各ブロックはバラが育てられているか育てられていないかのどちらかである．

ただ驚くべきことに，この庭で育てられているバラはブロックを越えて絡み合い 1 つの生命体となっている．この生命体は辺を共有しているブロック間を越えて絡み合うことができ，どこかある 1 点を共有していれば同じ生命体となる．

巴マミは庭の左下の角から直線に必殺技「ティロ・フィナーレ」で巨大な銃を撃ち，その弾丸が通る直線上でその生命体を分割した時，生命体が出来る限り多くの分割数に分断されるようにすることによりダメージを与えたい．ティロ・フィナーレは最大でこの生物を何分割できるか求めよ．

入力形式

入力は以下の形式で与えられる．

H\ W\\
f_{11} f_{12} ... f_{1W}\\
f_{21} f_{22} ... f_{2W}\\
...\\
f_{H1} f_{H2} ... f_{HW}\\

H は庭の高さ，W は庭の幅を表す．

f_{ij} は庭の各ブロックを表す文字であり，上から i 行目，左から j 列目のブロックの状態を表す．ブロックにバラが育てられている場合は f_{ij} は '#' となり，そうでない場合は '.' となる．

出力形式

生命体を直線で分割する時に，最大でいくつの部分に分割できるかを1行で出力せよ．

制約

1 ≤ H ≤ 600

1 ≤ W ≤ 600

f_{ij}は '#', '.'のいずれかである．

少なくとも 1 つはf_{ij} = '#' となるマス f_{ij} が存在する．

2 つのブロックが辺を共有するとき，それらは隣接していると呼ぶことにする．任意の 2 つの異なる '#' のブロック f_A, f_B に対して，f_A から隣接している '#' のブロックを辿っていって f_B に着くことができる．(すなわち，薔薇のブロックは連結である．)

入力中で 1 行目の行，H 行目の行，1 列目の列，または W 列目の列にあるブロックを盤面の端のブロックと呼ぶことにする．任意の '.' のブロック f_C に対して，f_C から隣接している '.' のブロックを辿っていって，ある '.' の盤面の端のブロックに着くことができる．(すなわち，入力に"空洞"のブロックは存在しない．)

入出力例

入力例 1

3 5
##..#
#..##
####.

出力例1

4

このとき以下のように 4 つの部分に分割することができる．

入力例 2

3 3
#.#
###
#.#

出力例 2

3

入力例 3

10 9
.........
.........
####.....
#..#.##..
#..#..#..
#..##.###
#..##...#
##..##.##
###.#..#.
###.####.

出力例 3

6

入力例 4

10 11
###########
#.#.#.#.#.#
#.#.#.#.#.#
#.#.#.#.#.#
#.#.#.#.#.#
#.#.#.#.#.#
#.#.#.#.#.#
#.#.#.#.#.#
#.#.#.#.#.#
#.#.#.#.#.#

出力例 4

7

入力例 5

25 38
...........#...............#..........
...........###..........####..........
...........#####.......####...........
............###############...........
............###############...........
............##############............
.............#############............
............###############...........
...........#################..........
.......#...#################...#......
.......##.##################..##......
........####################.##.......
..........####################........
.........#####..########..#####.......
.......######....#####....######......
......########...#####..########.#....
....#######..#...#####..#..########...
..#########.....#######......#######..
...#######......#######........###....
..####.........#########........###...
...............#########..............
..............##########..............
..............##########..............
...............########...............
...............########...............

出力例 5

8

Problem Setter: Flat35

Solution in Ruby (judge verdict: Time Limit Exceeded)

require 'set'

def Rational(y, x)
    y / x.to_f
end

class Array
	def accum
		inject([0]){|a, x| a + [a[-1] + x]}
	end

	def accum!
		(1..size-1).each{|i|
			self[i] += self[i-1]
		}
		self.unshift(0)
	end

	def accum_2d
		ac = map{|r| r.accum}
		(1..size-1).each{|i|
			(1..ac[0].size-1).each{|j|
				ac[i][j] += ac[i-1][j]
			}
		}
		ac.unshift([0] * ac[0].size)
		ac
	end

	def accum_2d!
		each{|r| r.accum!}
		(1..size-1).each{|i|
			(1..self[0].size-1).each{|j|
				self[i][j] += self[i-1][j]
			}
		}
		unshift([0] * self[0].size)
	end
		
	def bsearch_first_index(l = 0, r = size - 1, &pred)
		return nil if l > r
		c = (l + r) / 2 
		if pred[self[c]]
			bsearch_first_index(l, c-1, &pred) || c
		else
			bsearch_first_index(c+1, r, &pred)
		end
	end

	def bsearch_first_item(l = 0, r = size - 1, &pred)
		i = bsearch_first_index(l, r, &pred)
		i ? self[i] : nil
	end

	def bsearch_last_index(l = 0, r = size - 1, &pred)
		return nil if l > r
		c = (l + r) / 2 
		if pred[self[c]]
			bsearch_last_index(c+1, r, &pred) || c
		else
			bsearch_last_index(l, c-1, &pred)
		end
	end

	def bsearch_last_item(l = 0, r = size - 1, &pred)
		i = bsearch_last_index(l, r, &pred)
		i ? self[i] : nil
	end
end

def compress(used_x)
	x_map = {}
	used_x.to_a.uniq.sort.each_with_index{|x, i| x_map[x] = i}
	x_map
end

h, w = gets.split.map &:to_i
f = []

h.times do
	f.unshift gets.chomp.split("")
end

as = Set.new

h_lines = (0..h).map { [] }
(0..h).each do |y|
	x = 0
	len = 0
	loop do
		if (y != 0 && f[y-1][x] == ?#) ^ (y != h && f[y][x] == ?#)
			len += 1
		else
			if len > 0
				h_lines[y] << [x - len, x]
				as << Rational(y, x)
				as << Rational(y, x - len) unless x - len == 0
			end
			len = 0
		end
		x += 1

		if x == w
			if len > 0
				h_lines[y] << [x - len, x]
				as << Rational(y, x)
				as << Rational(y, x - len) unless x - len == 0
			end
			break
		end
	end
end

v_lines = (0..w).map { [] }
(0..w).each do |x|
	y = 0
	len = 0
	loop do
		if (x != 0 && f[y][x-1] == ?#) ^ (x != w && f[y][x] == ?#)
			len += 1
		else
			if len > 0
				v_lines[x] << [y - len, y]
				as << Rational(y, x) unless x == 0
				as << Rational(y - len, x) unless x == 0
			end
			len = 0
		end
		y += 1

		if y == h
			if len > 0
				v_lines[x] << [y - len, y]
				as << Rational(y, x) unless x == 0
				as << Rational(y - len, x) unless x == 0
			end
			break
		end
	end
end 

as << Float::INFINITY
a_map = compress(as)

pile = [0] * a_map.size

(1..h).each do |y|
	h_lines[y].each do |x1, x2|
		i = a_map[x1 == 0 ? Float::INFINITY : Rational(y, x1)]
		j = a_map[Rational(y, x2)]
		pile[j] += 1
		pile[i] -= 1
	end
end

(1..w).each do |x|
	v_lines[x].each do |y1, y2|
		i = a_map[Rational(y1, x)]
		j = a_map[Rational(y2, x)]
		pile[i] += 1
		pile[j] -= 1
	end
end

k = pile.accum.max
k += 1 if f[0][0] == ?#
p k / 2 + 1