So my plan is to “solve” the problem of choosing how much time to give it by having a parameter (which stage of a logical inductor to use), and trying to get results saying that if we set the parameter sufficiently high, and we only consider the output on sufficiently far out problems, then we can prove that it does well.
It does not solve the problem, but it might let us analyze what we would get if we did solve the problem.
So my plan is to “solve” the problem of choosing how much time to give it by having a parameter (which stage of a logical inductor to use), and trying to get results saying that if we set the parameter sufficiently high, and we only consider the output on sufficiently far out problems, then we can prove that it does well.
It does not solve the problem, but it might let us analyze what we would get if we did solve the problem.