X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=blobdiff_plain;f=rpl.py;h=7c1c96e2cd1f567f2c830c1d6040b79aaa436f47;hb=5d46a9bd7d032d90ef4c4b38ac3c9b5b66526527;hp=7f7dcfc247e72d5e5592e4933e6b9febb77bb61b;hpb=5703df4c32a0856c8fa4b1ff97810cdc1fb76253;p=picoclvr.git diff --git a/rpl.py b/rpl.py index 7f7dcfc..7c1c96e 100755 --- a/rpl.py +++ b/rpl.py @@ -1,5 +1,10 @@ #!/usr/bin/env python +# Any copyright is dedicated to the Public Domain. +# https://creativecommons.org/publicdomain/zero/1.0/ + +# Written by Francois Fleuret + import math import torch, torchvision @@ -55,16 +60,26 @@ rpl_ops = ["add", "min", "max", "swp", "rep", "dup", "del"] def generate(nb_starting_values=3, max_input=9, prog_len=6, nb_runs=5): prog_len = (1 + torch.randint(2 * prog_len, (1,))).clamp(max=prog_len).item() - prog = [rpl_ops[k] for k in torch.randint(len(rpl_ops), (prog_len,))] - result = [] - for _ in range(nb_runs): - stack = [x.item() for x in torch.randint(max_input + 1, (nb_starting_values,))] - result_stack = rpl_exec(prog, stack) - result = result + [""] + stack + [""] + result_stack + while True: + no_empty_stack = True + prog = [rpl_ops[k] for k in torch.randint(len(rpl_ops), (prog_len,))] + + result = [] + for _ in range(nb_runs): + stack = [ + x.item() for x in torch.randint(max_input + 1, (nb_starting_values,)) + ] + result_stack = rpl_exec(prog, stack) + if len(result_stack) == 0: + no_empty_stack = False + result = result + [""] + stack + [""] + result_stack + + result = result + [""] + prog + result = result + [""] + if no_empty_stack: + break - result = result + [""] + prog - result = result + [""] return result @@ -116,7 +131,7 @@ def compute_nb_errors(seq): if len(set(prog) - set(rpl_ops)) > 0: # Program is not valid, we count 100% error for start_stack, target_stack in io: - stacks.append((start_stack, target_stack, "N/A", False)) + stacks.append((start_stack, target_stack, ["N/A"], False)) nb_total += len(target_stack) nb_errors += len(target_stack)