projects
/
picoclvr.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Update.
[picoclvr.git]
/
expr.py
diff --git
a/expr.py
b/expr.py
index
b453f23
..
baee502
100755
(executable)
--- a/
expr.py
+++ b/
expr.py
@@
-48,17
+48,20
@@
def generate_program(nb_variables, length):
variables = set()
while len(s) < length:
v = random_var(nb_variables=nb_variables)
variables = set()
while len(s) < length:
v = random_var(nb_variables=nb_variables)
- s += v + "=" + random_expr(variables, budget=
min(20, length - 3 - len(s))
) + ";"
+ s += v + "=" + random_expr(variables, budget=
20
) + ";"
variables.add(v)
return s, variables
variables.add(v)
return s, variables
-def generate_sequences(nb, nb_variables=5, length=20):
+def generate_sequences(nb, nb_variables=5, length=20
, randomize_length=False
):
sequences = []
for n in range(nb):
result = None
while result == None or max(result.values()) > 100:
sequences = []
for n in range(nb):
result = None
while result == None or max(result.values()) > 100:
- p, v = generate_program(nb_variables, length)
+ l = length
+ if l > 5 and randomize_length:
+ l = 5 + torch.randint(l-5, (1,)).item()
+ p, v = generate_program(nb_variables, l)
v = ", ".join(['"' + v + '": ' + v for v in v])
ldict = {}
exec(p + "result={" + v + "}", globals(), ldict)
v = ", ".join(['"' + v + '": ' + v for v in v])
ldict = {}
exec(p + "result={" + v + "}", globals(), ldict)
@@
-75,7
+78,7
@@
if __name__ == "__main__":
import time
start_time = time.perf_counter()
import time
start_time = time.perf_counter()
- sequences = generate_sequences(1000)
+ sequences = generate_sequences(1000
, randomize_length=True
)
end_time = time.perf_counter()
for s in sequences[:10]:
print(s)
end_time = time.perf_counter()
for s in sequences[:10]:
print(s)