maxval.py

   1 #!/usr/bin/env python
   2
   3 import torch
   4
   5 ######################################################################
   6
   7
   8 def baseline(X, V):
   9     Y = X.new(X.size())
  10     W = V.new(V.size())
  11     for t in range(X.size(1)):
  12         if t == 0:
  13             Y[:, t] = X[:, t]
  14             W[:, t] = V[:, t]
  15         else:
  16             m = (V[:, t] >= W[:, t - 1] - 1).long()
  17             Y[:, t] = m * X[:, t] + (1 - m) * Y[:, t - 1]
  18             W[:, t] = m * V[:, t] + (1 - m) * (W[:, t - 1] - 1)
  19
  20     return Y, W
  21
  22
  23 ######################################################################
  24
  25
  26 def pscan(X, V, s=1):
  27     if X.size(1) == 1:
  28         return
  29
  30     T = 2 * (X.size(1) // 2)
  31
  32     Xf = X[:, :T].view(X.size(0), X.size(1) // 2, 2, X.size(2))
  33     Vf = V[:, :T].view(V.size(0), V.size(1) // 2, 2)
  34
  35     # [:, :, 0] < [:, :, 1]
  36     m = (Vf[:, :, 0] - s >= Vf[:, :, 1]).long()
  37     Vf[:, :, 1] = m * (Vf[:, :, 0] - s) + (1 - m) * Vf[:, :, 1]
  38     m = m[:, :, None]
  39     Xf[:, :, 1] = m * Xf[:, :, 0] + (1 - m) * Xf[:, :, 1]
  40
  41     pscan(Xf[:, :, 1], Vf[:, :, 1], s * 2)
  42
  43     # [:, :-1, 1] < [:, 1:, 0]
  44     m = (Vf[:, :-1, 1] - s >= Vf[:, 1:, 0]).long()
  45     Vf[:, 1:, 0] = m * (Vf[:, :-1, 1] - s) + (1 - m) * Vf[:, 1:, 0]
  46     m = m[:, :, None]
  47     Xf[:, 1:, 0] = m * Xf[:, :-1, 1] + (1 - m) * Xf[:, 1:, 0]
  48
  49     if T < X.size(1):
  50         # [:, -2] < [:, -1]
  51         m = (V[:, -2] - s >= V[:, -1]).long()
  52         V[:, -1] = m * (V[:, -2] - s) + (1 - m) * V[:, -1]
  53         m = m[:, None]
  54         X[:, -1] = m * X[:, -2] + (1 - m) * X[:, -1]
  55
  56
  57 ######################################################################
  58
  59
  60 def pscan_diff(X, V, s=1):
  61     if X.size(1) == 1:
  62         return X, V
  63
  64     T = 2 * (X.size(1) // 2)
  65
  66     Xf = X[:, :T].view(X.size(0), X.size(1) // 2, 2, X.size(2))
  67     Vf = V[:, :T].view(V.size(0), V.size(1) // 2, 2)
  68
  69     Xr = X.new(X.size())
  70     Vr = V.new(V.size())
  71     Xrf = Xr[:, :T].view(Xr.size(0), Xr.size(1) // 2, 2, Xr.size(2))
  72     Vrf = Vr[:, :T].view(Vr.size(0), Vr.size(1) // 2, 2)
  73
  74     # [:, :, 0] < [:, :, 1]
  75     m = (Vf[:, :, 0] - s >= Vf[:, :, 1]).long()
  76     Vv = m * (Vf[:, :, 0] - s) + (1 - m) * Vf[:, :, 1]
  77     m = m[:, :, None]
  78     Xx = m * Xf[:, :, 0] + (1 - m) * Xf[:, :, 1]
  79
  80     Xrf[:, :, 1], Vrf[:, :, 1] = pscan_diff(Xx, Vv, s * 2)
  81
  82     Xr[:, 0] = X[:, 0]
  83     Vr[:, 0] = V[:, 0]
  84
  85     # [:, :-1, 1] < [:, 1:, 0]
  86     m = (Vrf[:, :-1, 1] - s >= Vf[:, 1:, 0]).long()
  87     Vrf[:, 1:, 0] = m * (Vrf[:, :-1, 1] - s) + (1 - m) * Vf[:, 1:, 0]
  88     m = m[:, :, None]
  89     Xrf[:, 1:, 0] = m * Xrf[:, :-1, 1] + (1 - m) * Xf[:, 1:, 0]
  90
  91     if T < X.size(1):
  92         # [:, -2] < [:, -1]
  93         m = (V[:, -2] - s >= V[:, -1]).long()
  94         Vr[:, -1] = m * (V[:, -2] - s) + (1 - m) * V[:, -1]
  95         m = m[:, None]
  96         Xr[:, -1] = m * X[:, -2] + (1 - m) * X[:, -1]
  97
  98     return Xr, Vr
  99
 100
 101 ######################################################################
 102
 103 if __name__ == "__main__":
 104     N = 1
 105     T = 513
 106     D = 2
 107
 108     X = torch.randn(N, T, D, dtype=torch.float64).requires_grad_()
 109     V = torch.rand(N, T, dtype=torch.float64) * 10
 110
 111     X0, V0 = baseline(X, V)
 112
 113     # print("########### X0 V0 ###########################################")
 114     # print(V0)
 115     # print(X0)
 116
 117     X1, V1 = pscan_diff(X, V)
 118
 119     # print("########### X V ############################################")
 120     # print(V)
 121     # print(X)
 122
 123     print("ERROR", ((X0 - X1).abs().max() + (V0 - V1).abs().max()).item())
 124
 125     exit(0)
 126
 127     # s = X1.sum()
 128     # print(torch.autograd.grad(s, X))
 129
 130     # with open("/tmp/v.dat", "w") as f:
 131     # for t in range(T):
 132     # f.write(f"{V1[0,t].item()}\n")
 133
 134     Y = torch.randn(1, 1, D)
 135     X = torch.randn(
 136         N, T, D
 137     )  # * 0.1 + (torch.rand(N,T,1).sort(dim=1).indices==0).float() * Y
 138     V = torch.rand(N, T).requires_grad_()
 139
 140     optimizer = torch.optim.SGD([V], lr=1e-2)
 141
 142     for k in range(1000):
 143         X1, V1 = X.clone(), V.clone()
 144         pscan(X, V, X1, V1)
 145         # X1=X1*(1+V1-V1.detach())[:,:,None]
 146         loss = (X1[:, -1:] - Y).pow(2).mean()
 147         print(k, loss.item())
 148         optimizer.zero_grad()
 149         loss.backward()
 150         optimizer.step()