Problem:
We have an H \times W grid whose squares are painted black or white. The square at the i-th row from the top and the j-th column from the left is denoted as (i, j).   Snuke would like to play the following game on this grid. At the beginning of the game, there is a character called Kenus at square (1, 1). The player repeatedly moves Kenus up, down, left or right by one square. The game is completed when Kenus reaches square (H, W) passing only white squares.   Before Snuke starts the game, he can change the color of some of the white squares to black. However, he cannot change the color of square (1, 1) and (H, W). Also, changes of color must all be carried out before the beginning of the game.   When the game is completed, Snuke's score will be the number of times he changed the color of a square before the beginning of the game. Find the maximum possible score that Snuke can achieve, or print -1 if the game cannot be completed, that is, Kenus can never reach square (H, W) regardless of how Snuke changes the color of the squares.  The color of the squares are given to you as characters s_{i, j}. If square (i, j) is initially painted by white, s_{i, j} is `.`; if square (i, j) is initially painted by black, s_{i, j} is `#`.

Incorrect submission (verdict: Wrong Answer):
import math
import string
import collections
from collections import Counter
from collections import deque


def readints():
    return list(map(int, input().split()))


def nCr(n, r):
    return math.factorial(n)//(math.factorial(n-r)*math.factorial(r))


def has_duplicates2(seq):
    seen = []
    for item in seq:
        if not(item in seen):
            seen.append(item)
    return len(seq) != len(seen)


def divisor(n):
    divisor = []
    for i in range(1, n+1):
        if n % i == 0:
            divisor.append(i)
    return divisor


# coordinates
dx = [-1, -1, -1, 0, 0, 1, 1, 1]
dy = [-1, 0, 1, -1, 1, -1, 0, 1]

H, W = map(int, input().split())
white = 0
w = [None]*H
for i in range(H):
    w[i] = input()
    # print(w[i])
for i in range(H):
    for j in range(W):
        if w[i][j] == '.':
            white += 1
#print("white", white)
d = deque()
d.append((0, 0))
dist = [None]*H
for i in range(H):
    dist[i] = [None]*W
dist[0][0] = 0
cost = -1
while(len(d) != 0):
    g, r = d.popleft()
    
    cost = max(cost, dist[g][r])
    if w[g][r] == '.':
        if g != 0 and dist[g-1][r] == None:
            dist[g-1][r] = dist[g][r]+1
            d.append((g-1, r))
        if g != H-1 and dist[g+1][r] == None:
            dist[g+1][r] = dist[g][r]+1
            d.append((g+1, r))
        if r != 0 and dist[g][r-1] == None:
            dist[g][r-1] = dist[g][r]+1
            d.append((g, r-1))
        if r != W-1 and dist[g][r+1] == None:
            dist[g][r+1] = dist[g][r]+1
            d.append((g, r+1))
print(white-(cost-1))
# print(cost)


Fixed, accepted submission:
import math
import string
import collections
from collections import Counter
from collections import deque


def readints():
    return list(map(int, input().split()))


def nCr(n, r):
    return math.factorial(n)//(math.factorial(n-r)*math.factorial(r))


def has_duplicates2(seq):
    seen = []
    for item in seq:
        if not(item in seen):
            seen.append(item)
    return len(seq) != len(seen)


def divisor(n):
    divisor = []
    for i in range(1, n+1):
        if n % i == 0:
            divisor.append(i)
    return divisor


# coordinates
dx = [-1, -1, -1, 0, 0, 1, 1, 1]
dy = [-1, 0, 1, -1, 1, -1, 0, 1]

H, W = map(int, input().split())
white = 0
w = [None]*H
for i in range(H):
    w[i] = input()
    # print(w[i])
for i in range(H):
    for j in range(W):
        if w[i][j] == '.':
            white += 1
#print("white", white)
d = deque()
d.append((0, 0))
dist = [None]*H
for i in range(H):
    dist[i] = [None]*W
dist[0][0] = 0
cost = 100
while(len(d) != 0):
    g, r = d.popleft()
    
    if w[g][r] == '.':
        if g != 0 and dist[g-1][r] == None:
            dist[g-1][r] = dist[g][r]+1
            d.append((g-1, r))
        if g != H-1 and dist[g+1][r] == None:
            dist[g+1][r] = dist[g][r]+1
            d.append((g+1, r))
        if r != 0 and dist[g][r-1] == None:
            dist[g][r-1] = dist[g][r]+1
            d.append((g, r-1))
        if r != W-1 and dist[g][r+1] == None:
            dist[g][r+1] = dist[g][r]+1
            d.append((g, r+1))
    if H-1 == g and W-1 == r:
        cost = min(cost, dist[g][r])
        print(white-(cost+1))
        exit()
if dist[H-1][W-1] == None:
    print(-1)