This repo refers to the article "Counter-examples in first-order optimization: a constructive approach"
Running main.py
generates the figures presented in the paper.
lyapunov_bisection_search.py
generates results related to the existence of a Lyapunov function for a given method, in a folder called results/lyapunov
.
cycle_bisection_search.py
generates results related to the existence of a cycle of a given length for a given method, in a folder called results/cycle
.
Running tools/file_management.py
generates the figures from the data generated by both lyapunov_bisection_search.py
and cycle_bisection_search.py
.