X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=blobdiff_plain;f=expr.py;h=7b31b8c976ffbd7f26ac0821b2d47bcce4fe5c79;hb=e244104e7b697b79e8500b5d648ec161c4ed9a63;hp=e539fcbb8ec58c17a33dd4686669546a17713df9;hpb=233f57347c9560aec2f3cbaf001a8efa56a0243b;p=picoclvr.git diff --git a/expr.py b/expr.py index e539fcb..7b31b8c 100755 --- a/expr.py +++ b/expr.py @@ -44,6 +44,7 @@ def random_expr(variables, budget): def generate_program(nb_variables, length): s = "" variables = set() + length = min(length, 1+torch.randint(length*2, (1,)).item()) while len(s) < length: v = random_var(nb_variables=nb_variables) s += v + "=" + random_expr(variables, budget=20) + ";" @@ -86,7 +87,7 @@ if __name__ == "__main__": import time start_time = time.perf_counter() - sequences = generate_sequences(1000, length=30) + sequences = generate_sequences(1000, length=40) end_time = time.perf_counter() for s in sequences[:10]: print(s)