maze.py

   1 #!/usr/bin/env python
   2
   3 # Any copyright is dedicated to the Public Domain.
   4 # https://creativecommons.org/publicdomain/zero/1.0/
   5
   6 # Written by Francois Fleuret <francois@fleuret.org>
   7
   8 import torch, torchvision
   9
  10 ######################################################################
  11
  12 v_empty, v_wall, v_start, v_goal, v_path = 0, 1, 2, 3, 4
  13
  14
  15 def create_maze(h=11, w=17, nb_walls=8):
  16     a, k = 0, 0
  17
  18     while k < nb_walls:
  19         while True:
  20             if a == 0:
  21                 m = torch.zeros(h, w, dtype=torch.int64)
  22                 m[0, :] = 1
  23                 m[-1, :] = 1
  24                 m[:, 0] = 1
  25                 m[:, -1] = 1
  26
  27             r = torch.rand(4)
  28
  29             if r[0] <= 0.5:
  30                 i1, i2, j = (
  31                     int((r[1] * h).item()),
  32                     int((r[2] * h).item()),
  33                     int((r[3] * w).item()),
  34                 )
  35                 i1, i2, j = i1 - i1 % 2, i2 - i2 % 2, j - j % 2
  36                 i1, i2 = min(i1, i2), max(i1, i2)
  37                 if i2 - i1 > 1 and i2 - i1 <= h / 2 and m[i1 : i2 + 1, j].sum() <= 1:
  38                     m[i1 : i2 + 1, j] = 1
  39                     break
  40             else:
  41                 i, j1, j2 = (
  42                     int((r[1] * h).item()),
  43                     int((r[2] * w).item()),
  44                     int((r[3] * w).item()),
  45                 )
  46                 i, j1, j2 = i - i % 2, j1 - j1 % 2, j2 - j2 % 2
  47                 j1, j2 = min(j1, j2), max(j1, j2)
  48                 if j2 - j1 > 1 and j2 - j1 <= w / 2 and m[i, j1 : j2 + 1].sum() <= 1:
  49                     m[i, j1 : j2 + 1] = 1
  50                     break
  51             a += 1
  52
  53             if a > 10 * nb_walls:
  54                 a, k = 0, 0
  55
  56         k += 1
  57
  58     return m
  59
  60
  61 ######################################################################
  62
  63
  64 def compute_distance(walls, i, j):
  65     max_length = walls.numel()
  66     dist = torch.full_like(walls, max_length)
  67
  68     dist[i, j] = 0
  69     pred_dist = torch.empty_like(dist)
  70
  71     while True:
  72         pred_dist.copy_(dist)
  73         d = (
  74             torch.cat(
  75                 (
  76                     dist[None, 1:-1, 0:-2],
  77                     dist[None, 2:, 1:-1],
  78                     dist[None, 1:-1, 2:],
  79                     dist[None, 0:-2, 1:-1],
  80                 ),
  81                 0,
  82             ).min(dim=0)[0]
  83             + 1
  84         )
  85
  86         dist[1:-1, 1:-1] = torch.min(dist[1:-1, 1:-1], d)
  87         dist = walls * max_length + (1 - walls) * dist
  88
  89         if dist.equal(pred_dist):
  90             return dist * (1 - walls)
  91
  92
  93 ######################################################################
  94
  95
  96 def compute_policy(walls, i, j):
  97     distance = compute_distance(walls, i, j)
  98     distance = distance + walls.numel() * walls
  99
 100     value = distance.new_full((4,) + distance.size(), walls.numel())
 101     value[0, :, 1:] = distance[:, :-1]
 102     value[1, :, :-1] = distance[:, 1:]
 103     value[2, 1:, :] = distance[:-1, :]
 104     value[3, :-1, :] = distance[1:, :]
 105
 106     proba = (value.min(dim=0)[0][None] == value).float()
 107     proba = proba / proba.sum(dim=0)[None]
 108     proba = proba * (1 - walls) + walls.float() / 4
 109
 110     return proba
 111
 112
 113 ######################################################################
 114
 115
 116 def mark_path(walls, i, j, goal_i, goal_j, policy):
 117     action = torch.distributions.categorical.Categorical(
 118         policy.permute(1, 2, 0)
 119     ).sample()
 120     n, nmax = 0, walls.numel()
 121     while i != goal_i or j != goal_j:
 122         di, dj = [(0, -1), (0, 1), (-1, 0), (1, 0)][action[i, j]]
 123         i, j = i + di, j + dj
 124         assert walls[i, j] == 0
 125         walls[i, j] = v_path
 126         n += 1
 127         assert n < nmax
 128
 129
 130 def path_correctness(mazes, paths):
 131     still_ok = (mazes - (paths * (paths < 4))).view(mazes.size(0), -1).abs().sum(1) == 0
 132     reached = still_ok.new_zeros(still_ok.size())
 133     current, pred_current = paths.clone(), paths.new_zeros(paths.size())
 134     goal = (mazes == v_goal).long()
 135     while not pred_current.equal(current):
 136         pred_current.copy_(current)
 137         u = (current == v_start).long()
 138         possible_next = (
 139             u[:, 2:, 1:-1] + u[:, 0:-2, 1:-1] + u[:, 1:-1, 2:] + u[:, 1:-1, 0:-2] > 0
 140         ).long()
 141         u = u[:, 1:-1, 1:-1]
 142         reached += ((goal[:, 1:-1, 1:-1] * possible_next).sum((1, 2)) == 1) * (
 143             (current == v_path).sum((1, 2)) == 0
 144         )
 145         current[:, 1:-1, 1:-1] = (1 - u) * current[:, 1:-1, 1:-1] + (
 146             v_start - v_path
 147         ) * (possible_next * (current[:, 1:-1, 1:-1] == v_path))
 148         still_ok *= (current == v_start).sum((1, 2)) <= 1
 149
 150     return still_ok * reached
 151
 152
 153 ######################################################################
 154
 155
 156 def create_maze_data(
 157     nb, height=11, width=17, nb_walls=8, dist_min=10, progress_bar=lambda x: x
 158 ):
 159     mazes = torch.empty(nb, height, width, dtype=torch.int64)
 160     paths = torch.empty(nb, height, width, dtype=torch.int64)
 161     policies = torch.empty(nb, 4, height, width)
 162
 163     for n in progress_bar(range(nb)):
 164         maze = create_maze(height, width, nb_walls)
 165         i = (maze == v_empty).nonzero()
 166         while True:
 167             start, goal = i[torch.randperm(i.size(0))[:2]]
 168             if (start - goal).abs().sum() >= dist_min:
 169                 break
 170         start_i, start_j, goal_i, goal_j = start[0], start[1], goal[0], goal[1]
 171
 172         policy = compute_policy(maze, goal_i, goal_j)
 173         path = maze.clone()
 174         mark_path(path, start_i, start_j, goal_i, goal_j, policy)
 175         maze[start_i, start_j] = v_start
 176         maze[goal_i, goal_j] = v_goal
 177         path[start_i, start_j] = v_start
 178         path[goal_i, goal_j] = v_goal
 179
 180         mazes[n] = maze
 181         paths[n] = path
 182         policies[n] = policy
 183
 184     return mazes, paths, policies
 185
 186
 187 ######################################################################
 188
 189
 190 def save_image(
 191     name,
 192     mazes,
 193     target_paths=None,
 194     predicted_paths=None,
 195     score_paths=None,
 196     path_correct=None,
 197 ):
 198     colors = torch.tensor(
 199         [
 200             [255, 255, 255],  # empty
 201             [0, 0, 0],  # wall
 202             [0, 255, 0],  # start
 203             [0, 0, 255],  # goal
 204             [255, 0, 0],  # path
 205         ]
 206     )
 207
 208     mazes = mazes.cpu()
 209
 210     c_mazes = (
 211         colors[mazes.reshape(-1)].reshape(mazes.size() + (-1,)).permute(0, 3, 1, 2)
 212     )
 213
 214     imgs = c_mazes.unsqueeze(1)
 215
 216     if target_paths is not None:
 217         target_paths = target_paths.cpu()
 218
 219         c_target_paths = (
 220             colors[target_paths.reshape(-1)]
 221             .reshape(target_paths.size() + (-1,))
 222             .permute(0, 3, 1, 2)
 223         )
 224
 225         imgs = torch.cat((imgs, c_target_paths.unsqueeze(1)), 1)
 226
 227     if predicted_paths is not None:
 228         predicted_paths = predicted_paths.cpu()
 229         c_predicted_paths = (
 230             colors[predicted_paths.reshape(-1)]
 231             .reshape(predicted_paths.size() + (-1,))
 232             .permute(0, 3, 1, 2)
 233         )
 234         imgs = torch.cat((imgs, c_predicted_paths.unsqueeze(1)), 1)
 235
 236     if score_paths is not None:
 237         score_paths = score_paths.cpu()
 238         c_score_paths = score_paths.unsqueeze(1).expand(-1, 3, -1, -1)
 239         c_score_paths = (
 240             c_score_paths * colors[4].reshape(1, 3, 1, 1)
 241             + (1 - c_score_paths) * colors[3].reshape(1, 3, 1, 1)
 242         ).long()
 243         c_score_paths = c_score_paths * (mazes.unsqueeze(1) == v_empty) + c_mazes * (
 244             mazes.unsqueeze(1) != v_empty
 245         )
 246         imgs = torch.cat((imgs, c_score_paths.unsqueeze(1)), 1)
 247
 248     # NxKxCxHxW
 249     if path_correct is None:
 250         path_correct = torch.zeros(imgs.size(0)) <= 1
 251     path_correct = path_correct.cpu().long().view(-1, 1, 1, 1)
 252     img = torch.tensor([224, 224, 224]).view(1, -1, 1, 1) * path_correct + torch.tensor(
 253         [255, 0, 0]
 254     ).view(1, -1, 1, 1) * (1 - path_correct)
 255     img = img.expand(
 256         -1, -1, imgs.size(3) + 2, 1 + imgs.size(1) * (1 + imgs.size(4))
 257     ).clone()
 258     for k in range(imgs.size(1)):
 259         img[
 260             :,
 261             :,
 262             1 : 1 + imgs.size(3),
 263             1 + k * (1 + imgs.size(4)) : 1 + k * (1 + imgs.size(4)) + imgs.size(4),
 264         ] = imgs[:, k]
 265
 266     img = img.float() / 255.0
 267
 268     torchvision.utils.save_image(img, name, nrow=4, padding=1, pad_value=224.0 / 256)
 269
 270
 271 ######################################################################
 272
 273 if __name__ == "__main__":
 274     device = torch.device("cuda" if torch.cuda.is_available() else "cpu")
 275     mazes, paths = create_maze_data(8)
 276     mazes, paths = mazes.to(device), paths.to(device)
 277     save_image("test.png", mazes, paths, paths)
 278     print(path_correctness(mazes, paths))
 279
 280 ######################################################################