Hourglass puzzle: Difference between revisions
Content added Content deleted
m (→{{header|Phix}}: added syntax colouring the hard way) |
|||
Line 166: | Line 166: | ||
=={{header|Phix}}== |
=={{header|Phix}}== |
||
<lang Phix>-- |
<!--<lang Phix>(phixonline)--> |
||
<span style="color: #000080;font-style:italic;">-- demo\rosetta\Hourglass_puzzle.exw</span> |
|||
procedure print_solution(sequence eggtimers, tries, integer target, pdx) |
|||
<span style="color: #008080;">with</span> <span style="color: #008080;">javascript_semantics</span> |
|||
sequence soln = {tries[$]}, remain |
|||
<span style="color: #008080;">procedure</span> <span style="color: #000000;">print_solution</span><span style="color: #0000FF;">(</span><span style="color: #004080;">sequence</span> <span style="color: #000000;">eggtimers</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">tries</span><span style="color: #0000FF;">,</span> <span style="color: #004080;">integer</span> <span style="color: #000000;">target</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">pdx</span><span style="color: #0000FF;">)</span> |
|||
integer n = length(eggtimers), tdx = tries[$][3], t, flipbits |
|||
<span style="color: #004080;">sequence</span> <span style="color: #000000;">soln</span> <span style="color: #0000FF;">=</span> <span style="color: #0000FF;">{</span><span style="color: #000000;">tries</span><span style="color: #0000FF;">[$]},</span> <span style="color: #000000;">remain</span> |
|||
string et = "" |
|||
<span style="color: #004080;">integer</span> <span style="color: #000000;">n</span> <span style="color: #0000FF;">=</span> <span style="color: #7060A8;">length</span><span style="color: #0000FF;">(</span><span style="color: #000000;">eggtimers</span><span style="color: #0000FF;">),</span> <span style="color: #000000;">tdx</span> <span style="color: #0000FF;">=</span> <span style="color: #000000;">tries</span><span style="color: #0000FF;">[$][</span><span style="color: #000000;">3</span><span style="color: #0000FF;">],</span> <span style="color: #000000;">t</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">flipbits</span> |
|||
for timer=1 to n do |
|||
<span style="color: #004080;">string</span> <span style="color: #000000;">et</span> <span style="color: #0000FF;">=</span> <span style="color: #008000;">""</span> |
|||
if timer=n then et &= " and " |
|||
<span style="color: #008080;">for</span> <span style="color: #000000;">timer</span><span style="color: #0000FF;">=</span><span style="color: #000000;">1</span> <span style="color: #008080;">to</span> <span style="color: #000000;">n</span> <span style="color: #008080;">do</span> |
|||
elsif timer>1 then et &= ", " end if |
|||
<span style="color: #008080;">if</span> <span style="color: #000000;">timer</span><span style="color: #0000FF;">=</span><span style="color: #000000;">n</span> <span style="color: #008080;">then</span> <span style="color: #000000;">et</span> <span style="color: #0000FF;">&=</span> <span style="color: #008000;">" and "</span> |
|||
et &= sprintf("%d",eggtimers[timer]) |
|||
<span style="color: #008080;">elsif</span> <span style="color: #000000;">timer</span><span style="color: #0000FF;">></span><span style="color: #000000;">1</span> <span style="color: #008080;">then</span> <span style="color: #000000;">et</span> <span style="color: #0000FF;">&=</span> <span style="color: #008000;">", "</span> <span style="color: #008080;">end</span> <span style="color: #008080;">if</span> |
|||
end for |
|||
<span style="color: #000000;">et</span> <span style="color: #0000FF;">&=</span> <span style="color: #7060A8;">sprintf</span><span style="color: #0000FF;">(</span><span style="color: #008000;">"%d"</span><span style="color: #0000FF;">,</span><span style="color: #000000;">eggtimers</span><span style="color: #0000FF;">[</span><span style="color: #000000;">timer</span><span style="color: #0000FF;">])</span> |
|||
printf(1,"\nSolution for %d minutes with %s minute eggtimers:\n",{target,et}) |
|||
<span style="color: #008080;">end</span> <span style="color: #008080;">for</span> |
|||
while tdx do |
|||
<span style="color: #7060A8;">printf</span><span style="color: #0000FF;">(</span><span style="color: #000000;">1</span><span style="color: #0000FF;">,</span><span style="color: #008000;">"\nSolution for %d minutes with %s minute eggtimers:\n"</span><span style="color: #0000FF;">,{</span><span style="color: #000000;">target</span><span style="color: #0000FF;">,</span><span style="color: #000000;">et</span><span style="color: #0000FF;">})</span> |
|||
if tdx=pdx then soln &= 0 end if |
|||
<span style="color: #008080;">while</span> <span style="color: #000000;">tdx</span> <span style="color: #008080;">do</span> |
|||
soln = append(soln,tries[tdx]) |
|||
<span style="color: #008080;">if</span> <span style="color: #000000;">tdx</span><span style="color: #0000FF;">=</span><span style="color: #000000;">pdx</span> <span style="color: #008080;">then</span> <span style="color: #000000;">soln</span> <span style="color: #0000FF;">&=</span> <span style="color: #000000;">0</span> <span style="color: #008080;">end</span> <span style="color: #008080;">if</span> |
|||
tdx = tries[tdx][3] |
|||
<span style="color: #000000;">soln</span> <span style="color: #0000FF;">=</span> <span style="color: #7060A8;">append</span><span style="color: #0000FF;">(</span><span style="color: #000000;">soln</span><span style="color: #0000FF;">,</span><span style="color: #000000;">tries</span><span style="color: #0000FF;">[</span><span style="color: #000000;">tdx</span><span style="color: #0000FF;">])</span> |
|||
end while |
|||
<span style="color: #000000;">tdx</span> <span style="color: #0000FF;">=</span> <span style="color: #000000;">tries</span><span style="color: #0000FF;">[</span><span style="color: #000000;">tdx</span><span style="color: #0000FF;">][</span><span style="color: #000000;">3</span><span style="color: #0000FF;">]</span> |
|||
soln = reverse(soln[1..$-1]) |
|||
<span style="color: #008080;">end</span> <span style="color: #008080;">while</span> |
|||
integer tp = 0, ro = 0 |
|||
<span style="color: #000000;">soln</span> <span style="color: #0000FF;">=</span> <span style="color: #7060A8;">reverse</span><span style="color: #0000FF;">(</span><span style="color: #000000;">soln</span><span style="color: #0000FF;">[</span><span style="color: #000000;">1</span><span style="color: #0000FF;">..$-</span><span style="color: #000000;">1</span><span style="color: #0000FF;">])</span> |
|||
sequence premain = repeat(0,n) |
|||
<span style="color: #004080;">integer</span> <span style="color: #000000;">tp</span> <span style="color: #0000FF;">=</span> <span style="color: #000000;">0</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">ro</span> <span style="color: #0000FF;">=</span> <span style="color: #000000;">0</span> |
|||
for i=1 to length(soln) do |
|||
<span style="color: #004080;">sequence</span> <span style="color: #000000;">premain</span> <span style="color: #0000FF;">=</span> <span style="color: #7060A8;">repeat</span><span style="color: #0000FF;">(</span><span style="color: #000000;">0</span><span style="color: #0000FF;">,</span><span style="color: #000000;">n</span><span style="color: #0000FF;">)</span> |
|||
if soln[i]=0 then |
|||
<span style="color: #008080;">for</span> <span style="color: #000000;">i</span><span style="color: #0000FF;">=</span><span style="color: #000000;">1</span> <span style="color: #008080;">to</span> <span style="color: #7060A8;">length</span><span style="color: #0000FF;">(</span><span style="color: #000000;">soln</span><span style="color: #0000FF;">)</span> <span style="color: #008080;">do</span> |
|||
puts(1,"start timer\n") |
|||
<span style="color: #008080;">if</span> <span style="color: #000000;">soln</span><span style="color: #0000FF;">[</span><span style="color: #000000;">i</span><span style="color: #0000FF;">]=</span><span style="color: #000000;">0</span> <span style="color: #008080;">then</span> |
|||
else |
|||
<span style="color: #7060A8;">puts</span><span style="color: #0000FF;">(</span><span style="color: #000000;">1</span><span style="color: #0000FF;">,</span><span style="color: #008000;">"start timer\n"</span><span style="color: #0000FF;">)</span> |
|||
{remain,t,?,flipbits} = soln[i] |
|||
<span style="color: #008080;">else</span> |
|||
sequence flip = int_to_bits(flipbits,n) |
|||
<span style="color: #0000FF;">{</span><span style="color: #000000;">remain</span><span style="color: #0000FF;">,</span><span style="color: #000000;">t</span><span style="color: #0000FF;">,?,</span><span style="color: #000000;">flipbits</span><span style="color: #0000FF;">}</span> <span style="color: #0000FF;">=</span> <span style="color: #000000;">soln</span><span style="color: #0000FF;">[</span><span style="color: #000000;">i</span><span style="color: #0000FF;">]</span> |
|||
string fs = "", lv = "" |
|||
<span style="color: #004080;">sequence</span> <span style="color: #000000;">flip</span> <span style="color: #0000FF;">=</span> <span style="color: #7060A8;">int_to_bits</span><span style="color: #0000FF;">(</span><span style="color: #000000;">flipbits</span><span style="color: #0000FF;">,</span><span style="color: #000000;">n</span><span style="color: #0000FF;">)</span> |
|||
for timer=1 to n do |
|||
<span style="color: #004080;">string</span> <span style="color: #000000;">fs</span> <span style="color: #0000FF;">=</span> <span style="color: #008000;">""</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">lv</span> <span style="color: #0000FF;">=</span> <span style="color: #008000;">""</span> |
|||
if flip[timer] then |
|||
<span style="color: #008080;">for</span> <span style="color: #000000;">timer</span><span style="color: #0000FF;">=</span><span style="color: #000000;">1</span> <span style="color: #008080;">to</span> <span style="color: #000000;">n</span> <span style="color: #008080;">do</span> |
|||
if length(fs) then fs &= " and " end if |
|||
<span style="color: #008080;">if</span> <span style="color: #000000;">flip</span><span style="color: #0000FF;">[</span><span style="color: #000000;">timer</span><span style="color: #0000FF;">]</span> <span style="color: #008080;">then</span> |
|||
fs &= sprintf("%d",eggtimers[timer]) |
|||
<span style="color: #008080;">if</span> <span style="color: #7060A8;">length</span><span style="color: #0000FF;">(</span><span style="color: #000000;">fs</span><span style="color: #0000FF;">)</span> <span style="color: #008080;">then</span> <span style="color: #000000;">fs</span> <span style="color: #0000FF;">&=</span> <span style="color: #008000;">" and "</span> <span style="color: #008080;">end</span> <span style="color: #008080;">if</span> |
|||
if premain[timer] then |
|||
<span style="color: #000000;">fs</span> <span style="color: #0000FF;">&=</span> <span style="color: #7060A8;">sprintf</span><span style="color: #0000FF;">(</span><span style="color: #008000;">"%d"</span><span style="color: #0000FF;">,</span><span style="color: #000000;">eggtimers</span><span style="color: #0000FF;">[</span><span style="color: #000000;">timer</span><span style="color: #0000FF;">])</span> |
|||
fs &= sprintf(" (leaving %d)",eggtimers[timer]-premain[timer]) |
|||
<span style="color: #008080;">if</span> <span style="color: #000000;">premain</span><span style="color: #0000FF;">[</span><span style="color: #000000;">timer</span><span style="color: #0000FF;">]</span> <span style="color: #008080;">then</span> |
|||
end if |
|||
<span style="color: #000000;">fs</span> <span style="color: #0000FF;">&=</span> <span style="color: #7060A8;">sprintf</span><span style="color: #0000FF;">(</span><span style="color: #008000;">" (leaving %d)"</span><span style="color: #0000FF;">,</span><span style="color: #000000;">eggtimers</span><span style="color: #0000FF;">[</span><span style="color: #000000;">timer</span><span style="color: #0000FF;">]-</span><span style="color: #000000;">premain</span><span style="color: #0000FF;">[</span><span style="color: #000000;">timer</span><span style="color: #0000FF;">])</span> |
|||
end if |
|||
<span style="color: #008080;">end</span> <span style="color: #008080;">if</span> |
|||
if remain[timer]=0 then |
|||
<span style="color: #008080;">end</span> <span style="color: #008080;">if</span> |
|||
if flip[timer] or premain[timer]!=0 then |
|||
<span style="color: #008080;">if</span> <span style="color: #000000;">remain</span><span style="color: #0000FF;">[</span><span style="color: #000000;">timer</span><span style="color: #0000FF;">]=</span><span style="color: #000000;">0</span> <span style="color: #008080;">then</span> |
|||
ro = eggtimers[timer] |
|||
<span style="color: #008080;">if</span> <span style="color: #000000;">flip</span><span style="color: #0000FF;">[</span><span style="color: #000000;">timer</span><span style="color: #0000FF;">]</span> <span style="color: #008080;">or</span> <span style="color: #000000;">premain</span><span style="color: #0000FF;">[</span><span style="color: #000000;">timer</span><span style="color: #0000FF;">]!=</span><span style="color: #000000;">0</span> <span style="color: #008080;">then</span> |
|||
end if |
|||
<span style="color: #000000;">ro</span> <span style="color: #0000FF;">=</span> <span style="color: #000000;">eggtimers</span><span style="color: #0000FF;">[</span><span style="color: #000000;">timer</span><span style="color: #0000FF;">]</span> |
|||
else |
|||
<span style="color: #008080;">end</span> <span style="color: #008080;">if</span> |
|||
<span style="color: #008080;">else</span> |
|||
<span style="color: #008080;">if</span> <span style="color: #7060A8;">length</span><span style="color: #0000FF;">(</span><span style="color: #000000;">lv</span><span style="color: #0000FF;">)</span> <span style="color: #008080;">then</span> <span style="color: #000000;">lv</span> <span style="color: #0000FF;">&=</span> <span style="color: #008000;">" and "</span> <span style="color: #008080;">end</span> <span style="color: #008080;">if</span> |
|||
end if |
|||
<span style="color: #000000;">lv</span> <span style="color: #0000FF;">&=</span> <span style="color: #7060A8;">sprintf</span><span style="color: #0000FF;">(</span><span style="color: #008000;">"%d in %d"</span><span style="color: #0000FF;">,{</span><span style="color: #000000;">remain</span><span style="color: #0000FF;">[</span><span style="color: #000000;">timer</span><span style="color: #0000FF;">],</span><span style="color: #000000;">eggtimers</span><span style="color: #0000FF;">[</span><span style="color: #000000;">timer</span><span style="color: #0000FF;">]})</span> |
|||
end for |
|||
<span style="color: #008080;">end</span> <span style="color: #008080;">if</span> |
|||
lv = iff(length(lv)?" (leaving "&lv&")":"") |
|||
<span style="color: #008080;">end</span> <span style="color: #008080;">for</span> |
|||
printf(1,"At t=%d, flip %s, then when %d runs out%s...\n",{tp,fs,ro,lv}) |
|||
<span style="color: #000000;">lv</span> <span style="color: #0000FF;">=</span> <span style="color: #008080;">iff</span><span style="color: #0000FF;">(</span><span style="color: #7060A8;">length</span><span style="color: #0000FF;">(</span><span style="color: #000000;">lv</span><span style="color: #0000FF;">)?</span><span style="color: #008000;">" (leaving "</span><span style="color: #0000FF;">&</span><span style="color: #000000;">lv</span><span style="color: #0000FF;">&</span><span style="color: #008000;">")"</span><span style="color: #0000FF;">:</span><span style="color: #008000;">""</span><span style="color: #0000FF;">)</span> |
|||
tp = t |
|||
<span style="color: #7060A8;">printf</span><span style="color: #0000FF;">(</span><span style="color: #000000;">1</span><span style="color: #0000FF;">,</span><span style="color: #008000;">"At t=%d, flip %s, then when %d runs out%s...\n"</span><span style="color: #0000FF;">,{</span><span style="color: #000000;">tp</span><span style="color: #0000FF;">,</span><span style="color: #000000;">fs</span><span style="color: #0000FF;">,</span><span style="color: #000000;">ro</span><span style="color: #0000FF;">,</span><span style="color: #000000;">lv</span><span style="color: #0000FF;">})</span> |
|||
premain = remain |
|||
<span style="color: #000000;">tp</span> <span style="color: #0000FF;">=</span> <span style="color: #000000;">t</span> |
|||
end if |
|||
<span style="color: #000000;">premain</span> <span style="color: #0000FF;">=</span> <span style="color: #000000;">remain</span> |
|||
end for |
|||
<span style="color: #008080;">end</span> <span style="color: #008080;">if</span> |
|||
printf(1,"At t=%d, stop timer\n",{tp}) |
|||
<span style="color: #008080;">end</span> <span style="color: #008080;">for</span> |
|||
end procedure |
|||
<span style="color: #7060A8;">printf</span><span style="color: #0000FF;">(</span><span style="color: #000000;">1</span><span style="color: #0000FF;">,</span><span style="color: #008000;">"At t=%d, stop timer\n"</span><span style="color: #0000FF;">,{</span><span style="color: #000000;">tp</span><span style="color: #0000FF;">})</span> |
|||
<span style="color: #008080;">end</span> <span style="color: #008080;">procedure</span> |
|||
procedure solve(sequence eggtimers, integer target) |
|||
integer n = length(eggtimers), tdx = 1, t, pdx |
|||
<span style="color: #008080;">procedure</span> <span style="color: #000000;">solve</span><span style="color: #0000FF;">(</span><span style="color: #004080;">sequence</span> <span style="color: #000000;">eggtimers</span><span style="color: #0000FF;">,</span> <span style="color: #004080;">integer</span> <span style="color: #000000;">target</span><span style="color: #0000FF;">)</span> |
|||
sequence remain = repeat(0,n), |
|||
<span style="color: #004080;">integer</span> <span style="color: #000000;">n</span> <span style="color: #0000FF;">=</span> <span style="color: #7060A8;">length</span><span style="color: #0000FF;">(</span><span style="color: #000000;">eggtimers</span><span style="color: #0000FF;">),</span> <span style="color: #000000;">tdx</span> <span style="color: #0000FF;">=</span> <span style="color: #000000;">1</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">t</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">pdx</span> |
|||
tries = {{remain,0,0,0}} -- {{remain,t,link,flip}} |
|||
<span style="color: #004080;">sequence</span> <span style="color: #000000;">remain</span> <span style="color: #0000FF;">=</span> <span style="color: #7060A8;">repeat</span><span style="color: #0000FF;">(</span><span style="color: #000000;">0</span><span style="color: #0000FF;">,</span><span style="color: #000000;">n</span><span style="color: #0000FF;">),</span> |
|||
while tdx<=length(tries) do |
|||
<span style="color: #000000;">tries</span> <span style="color: #0000FF;">=</span> <span style="color: #0000FF;">{{</span><span style="color: #000000;">remain</span><span style="color: #0000FF;">,</span><span style="color: #000000;">0</span><span style="color: #0000FF;">,</span><span style="color: #000000;">0</span><span style="color: #0000FF;">,</span><span style="color: #000000;">0</span><span style="color: #0000FF;">}}</span> <span style="color: #000080;font-style:italic;">-- {{remain,t,link,flip}}</span> |
|||
for flipbits=1 to power(2,n)-1 do |
|||
<span style="color: #008080;">while</span> <span style="color: #000000;">tdx</span><span style="color: #0000FF;"><=</span><span style="color: #7060A8;">length</span><span style="color: #0000FF;">(</span><span style="color: #000000;">tries</span><span style="color: #0000FF;">)</span> <span style="color: #008080;">do</span> |
|||
{remain,t} = tries[tdx] |
|||
<span style="color: #008080;">for</span> <span style="color: #000000;">flipbits</span><span style="color: #0000FF;">=</span><span style="color: #000000;">1</span> <span style="color: #008080;">to</span> <span style="color: #7060A8;">power</span><span style="color: #0000FF;">(</span><span style="color: #000000;">2</span><span style="color: #0000FF;">,</span><span style="color: #000000;">n</span><span style="color: #0000FF;">)-</span><span style="color: #000000;">1</span> <span style="color: #008080;">do</span> |
|||
sequence flip = int_to_bits(flipbits,n) |
|||
<span style="color: #0000FF;">{</span><span style="color: #000000;">remain</span><span style="color: #0000FF;">,</span><span style="color: #000000;">t</span><span style="color: #0000FF;">}</span> <span style="color: #0000FF;">=</span> <span style="color: #7060A8;">deep_copy</span><span style="color: #0000FF;">(</span><span style="color: #000000;">tries</span><span style="color: #0000FF;">[</span><span style="color: #000000;">tdx</span><span style="color: #0000FF;">])</span> |
|||
for timer=1 to n do |
|||
<span style="color: #004080;">sequence</span> <span style="color: #000000;">flip</span> <span style="color: #0000FF;">=</span> <span style="color: #7060A8;">int_to_bits</span><span style="color: #0000FF;">(</span><span style="color: #000000;">flipbits</span><span style="color: #0000FF;">,</span><span style="color: #000000;">n</span><span style="color: #0000FF;">)</span> |
|||
if flip[timer] then |
|||
<span style="color: #008080;">for</span> <span style="color: #000000;">timer</span><span style="color: #0000FF;">=</span><span style="color: #000000;">1</span> <span style="color: #008080;">to</span> <span style="color: #000000;">n</span> <span style="color: #008080;">do</span> |
|||
remain[timer] = eggtimers[timer]-remain[timer] |
|||
<span style="color: #008080;">if</span> <span style="color: #000000;">flip</span><span style="color: #0000FF;">[</span><span style="color: #000000;">timer</span><span style="color: #0000FF;">]</span> <span style="color: #008080;">then</span> |
|||
end if |
|||
<span style="color: #000000;">remain</span><span style="color: #0000FF;">[</span><span style="color: #000000;">timer</span><span style="color: #0000FF;">]</span> <span style="color: #0000FF;">=</span> <span style="color: #000000;">eggtimers</span><span style="color: #0000FF;">[</span><span style="color: #000000;">timer</span><span style="color: #0000FF;">]-</span><span style="color: #000000;">remain</span><span style="color: #0000FF;">[</span><span style="color: #000000;">timer</span><span style="color: #0000FF;">]</span> |
|||
end for |
|||
<span style="color: #008080;">end</span> <span style="color: #008080;">if</span> |
|||
integer mr = min(filter(remain,">",0)) |
|||
<span style="color: #008080;">end</span> <span style="color: #008080;">for</span> |
|||
remain = sq_max(sq_sub(remain,mr),0) |
|||
<span style="color: #004080;">integer</span> <span style="color: #000000;">mr</span> <span style="color: #0000FF;">=</span> <span style="color: #7060A8;">min</span><span style="color: #0000FF;">(</span><span style="color: #7060A8;">filter</span><span style="color: #0000FF;">(</span><span style="color: #000000;">remain</span><span style="color: #0000FF;">,</span><span style="color: #008000;">">"</span><span style="color: #0000FF;">,</span><span style="color: #000000;">0</span><span style="color: #0000FF;">))</span> |
|||
mr += t |
|||
<span style="color: #000000;">remain</span> <span style="color: #0000FF;">=</span> <span style="color: #7060A8;">sq_max</span><span style="color: #0000FF;">(</span><span style="color: #7060A8;">sq_sub</span><span style="color: #0000FF;">(</span><span style="color: #000000;">remain</span><span style="color: #0000FF;">,</span><span style="color: #000000;">mr</span><span style="color: #0000FF;">),</span><span style="color: #000000;">0</span><span style="color: #0000FF;">)</span> |
|||
tries = append(tries,{remain,mr,tdx,flipbits}) |
|||
<span style="color: #000000;">mr</span> <span style="color: #0000FF;">+=</span> <span style="color: #000000;">t</span> |
|||
pdx = tdx |
|||
<span style="color: #000000;">tries</span> <span style="color: #0000FF;">=</span> <span style="color: #7060A8;">append</span><span style="color: #0000FF;">(</span><span style="color: #000000;">tries</span><span style="color: #0000FF;">,{</span><span style="color: #000000;">remain</span><span style="color: #0000FF;">,</span><span style="color: #000000;">mr</span><span style="color: #0000FF;">,</span><span style="color: #000000;">tdx</span><span style="color: #0000FF;">,</span><span style="color: #000000;">flipbits</span><span style="color: #0000FF;">})</span> |
|||
while pdx do |
|||
<span style="color: #000000;">pdx</span> <span style="color: #0000FF;">=</span> <span style="color: #000000;">tdx</span> |
|||
mr -= tries[pdx][2] |
|||
<span style="color: #008080;">while</span> <span style="color: #000000;">pdx</span> <span style="color: #008080;">do</span> |
|||
if mr>=target then |
|||
<span style="color: #000000;">mr</span> <span style="color: #0000FF;">-=</span> <span style="color: #000000;">tries</span><span style="color: #0000FF;">[</span><span style="color: #000000;">pdx</span><span style="color: #0000FF;">][</span><span style="color: #000000;">2</span><span style="color: #0000FF;">]</span> |
|||
if mr>target then exit end if |
|||
<span style="color: #008080;">if</span> <span style="color: #000000;">mr</span><span style="color: #0000FF;">>=</span><span style="color: #000000;">target</span> <span style="color: #008080;">then</span> |
|||
print_solution(eggtimers, tries, target, pdx) |
|||
<span style="color: #008080;">if</span> <span style="color: #000000;">mr</span><span style="color: #0000FF;">></span><span style="color: #000000;">target</span> <span style="color: #008080;">then</span> <span style="color: #008080;">exit</span> <span style="color: #008080;">end</span> <span style="color: #008080;">if</span> |
|||
return |
|||
<span style="color: #000000;">print_solution</span><span style="color: #0000FF;">(</span><span style="color: #000000;">eggtimers</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">tries</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">target</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">pdx</span><span style="color: #0000FF;">)</span> |
|||
end if |
|||
<span style="color: #008080;">return</span> |
|||
<span style="color: #008080;">end</span> <span style="color: #008080;">if</span> |
|||
pdx = tries[pdx][3] |
|||
<span style="color: #000000;">mr</span> <span style="color: #0000FF;">+=</span> <span style="color: #000000;">tries</span><span style="color: #0000FF;">[</span><span style="color: #000000;">pdx</span><span style="color: #0000FF;">][</span><span style="color: #000000;">2</span><span style="color: #0000FF;">]</span> |
|||
end while |
|||
<span style="color: #000000;">pdx</span> <span style="color: #0000FF;">=</span> <span style="color: #000000;">tries</span><span style="color: #0000FF;">[</span><span style="color: #000000;">pdx</span><span style="color: #0000FF;">][</span><span style="color: #000000;">3</span><span style="color: #0000FF;">]</span> |
|||
end for |
|||
<span style="color: #008080;">end</span> <span style="color: #008080;">while</span> |
|||
tdx += 1 |
|||
<span style="color: #008080;">end</span> <span style="color: #008080;">for</span> |
|||
-- totally arbitrary sanity crash: |
|||
<span style="color: #000000;">tdx</span> <span style="color: #0000FF;">+=</span> <span style="color: #000000;">1</span> |
|||
if length(tries)>20000 then crash("no solution") end if |
|||
<span style="color: #000080;font-style:italic;">-- totally arbitrary sanity crash:</span> |
|||
end while |
|||
<span style="color: #008080;">if</span> <span style="color: #7060A8;">length</span><span style="color: #0000FF;">(</span><span style="color: #000000;">tries</span><span style="color: #0000FF;">)></span><span style="color: #000000;">20000</span> <span style="color: #008080;">then</span> <span style="color: #7060A8;">crash</span><span style="color: #0000FF;">(</span><span style="color: #008000;">"no solution"</span><span style="color: #0000FF;">)</span> <span style="color: #008080;">end</span> <span style="color: #008080;">if</span> |
|||
end procedure |
|||
<span style="color: #008080;">end</span> <span style="color: #008080;">while</span> |
|||
solve({4,7},9) |
|||
<span style="color: #008080;">end</span> <span style="color: #008080;">procedure</span> |
|||
solve({4,7},15) |
|||
<span style="color: #000000;">solve</span><span style="color: #0000FF;">({</span><span style="color: #000000;">4</span><span style="color: #0000FF;">,</span><span style="color: #000000;">7</span><span style="color: #0000FF;">},</span><span style="color: #000000;">9</span><span style="color: #0000FF;">)</span> |
|||
solve({5,7,31},36) -- (slightly better output than Julia, I think...) |
|||
<span style="color: #000000;">solve</span><span style="color: #0000FF;">({</span><span style="color: #000000;">4</span><span style="color: #0000FF;">,</span><span style="color: #000000;">7</span><span style="color: #0000FF;">},</span><span style="color: #000000;">15</span><span style="color: #0000FF;">)</span> |
|||
solve({4,5},7) -- (logo solution stops timer at t=12, this manages t=11) |
|||
<span style="color: #000000;">solve</span><span style="color: #0000FF;">({</span><span style="color: #000000;">5</span><span style="color: #0000FF;">,</span><span style="color: #000000;">7</span><span style="color: #0000FF;">,</span><span style="color: #000000;">31</span><span style="color: #0000FF;">},</span><span style="color: #000000;">36</span><span style="color: #0000FF;">)</span> <span style="color: #000080;font-style:italic;">-- (slightly better output than Julia, I think...)</span> |
|||
solve({7,11},15) -- (logo solution stops timer at t=22, this manages t=15) |
|||
<span style="color: #000000;">solve</span><span style="color: #0000FF;">({</span><span style="color: #000000;">4</span><span style="color: #0000FF;">,</span><span style="color: #000000;">5</span><span style="color: #0000FF;">},</span><span style="color: #000000;">7</span><span style="color: #0000FF;">)</span> <span style="color: #000080;font-style:italic;">-- (logo solution stops timer at t=12, this manages t=11)</span> |
|||
solve({5,8},14) -- (logo solution stops timer at t=24, this manages t=19)</lang> |
|||
<span style="color: #000000;">solve</span><span style="color: #0000FF;">({</span><span style="color: #000000;">7</span><span style="color: #0000FF;">,</span><span style="color: #000000;">11</span><span style="color: #0000FF;">},</span><span style="color: #000000;">15</span><span style="color: #0000FF;">)</span> <span style="color: #000080;font-style:italic;">-- (logo solution stops timer at t=22, this manages t=15)</span> |
|||
<span style="color: #000000;">solve</span><span style="color: #0000FF;">({</span><span style="color: #000000;">5</span><span style="color: #0000FF;">,</span><span style="color: #000000;">8</span><span style="color: #0000FF;">},</span><span style="color: #000000;">14</span><span style="color: #0000FF;">)</span> <span style="color: #000080;font-style:italic;">-- (logo solution stops timer at t=24, this manages t=19)</span> |
|||
<!--</lang>--> |
|||
{{out}} |
{{out}} |
||
<pre> |
<pre> |