src/AlgorithmPrimalOnly.jl

Sun, 21 Apr 2024 18:55:00 +0300

author
Neil Dizon <neil.dizon@helsinki.fi>
date
Sun, 21 Apr 2024 18:55:00 +0300
changeset 19
7c4dfeb48dd9
parent 5
843e7611b068
permissions
-rw-r--r--

clarified sino_sparsity

5
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
1 ####################################################################
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
2 # Predictive online PDPS for optical flow with known velocity field
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
3 ####################################################################
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
4
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
5 __precompile__()
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
6
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
7 module AlgorithmPrimalOnly
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
8
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
9 identifier = "pdps_known_primalonly"
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
10
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
11 using Printf
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
12
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
13 using AlgTools.Util
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
14 import AlgTools.Iterate
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
15 using ImageTools.Gradient
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
16
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
17 using ..OpticalFlow: ImageSize,
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
18 Image,
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
19 pdflow!
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
20
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
21 #########################
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
22 # Iterate initialisation
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
23 #########################
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
24
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
25 function init_rest(x::Image)
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
26 imdim=size(x)
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
27
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
28 y = zeros(2, imdim...)
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
29 Δx = copy(x)
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
30 Δy = copy(y)
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
31 x̄ = copy(x)
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
32
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
33 return x, y, Δx, Δy, x̄
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
34 end
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
35
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
36 function init_iterates(xinit::Image)
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
37 return init_rest(copy(xinit))
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
38 end
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
39
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
40 function init_iterates(dim::ImageSize)
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
41 return init_rest(zeros(dim...))
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
42 end
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
43
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
44 ############
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
45 # Algorithm
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
46 ############
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
47
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
48 function solve( :: Type{DisplacementT};
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
49 dim :: ImageSize,
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
50 iterate = AlgTools.simple_iterate,
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
51 params::NamedTuple) where DisplacementT
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
52
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
53 ################################
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
54 # Extract and set up parameters
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
55 ################################
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
56
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
57 α, ρ = params.α, params.ρ
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
58 R_K² = ∇₂_norm₂₂_est²
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
59 γ = 1.0
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
60 Λ = params.Λ
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
61 τ₀, σ₀ = params.τ₀, params.σ₀
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
62
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
63 τ = τ₀/γ
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
64 @assert(1+γ*τ ≥ Λ)
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
65 σ = σ₀*1/(τ*R_K²)
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
66
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
67 println("Step length parameters: τ=$(τ), σ=$(σ)")
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
68
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
69 ######################
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
70 # Initialise iterates
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
71 ######################
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
72
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
73 x, y, Δx, Δy, x̄ = init_iterates(dim)
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
74 init_data = (params.init == :data)
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
75
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
76 ####################
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
77 # Run the algorithm
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
78 ####################
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
79
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
80 v = iterate(params) do verbose :: Function,
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
81 b :: Image,
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
82 v_known :: DisplacementT,
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
83 🚫unused_b_next :: Image
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
84
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
85 ##################
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
86 # Prediction step
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
87 ##################
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
88 if init_data
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
89 x .= b
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
90 init_data = false
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
91 end
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
92
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
93 pdflow!(x, Δx, y, Δy, v_known, false)
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
94
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
95 ############
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
96 # PDPS step
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
97 ############
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
98
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
99 ∇₂ᵀ!(Δx, y) # primal step:
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
100 @. x̄ = x # | save old x for over-relax
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
101 @. x = (x-τ*(Δx-b))/(1+τ) # | prox
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
102 @. x̄ = 2x - x̄ # over-relax
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
103 ∇₂!(Δy, x̄) # dual step: y
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
104 @. y = (y + σ*Δy)/(1 + σ*ρ/α) # |
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
105 proj_norm₂₁ball!(y, α) # | prox
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
106
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
107 ################################
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
108 # Give function value if needed
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
109 ################################
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
110 v = verbose() do
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
111 ∇₂!(Δy, x)
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
112 value = norm₂²(b-x)/2 + params.α*γnorm₂₁(Δy, params.ρ)
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
113 value, x, [NaN, NaN], nothing
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
114 end
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
115
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
116 v
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
117 end
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
118
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
119 return x, y, v
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
120 end
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
121
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
122 end # Module
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
123
843e7611b068 added new predictors
Neil Dizon <neil.dizon@helsinki.fi>
parents:
diff changeset
124

mercurial