Open ZwYu-uu opened 1 year ago
Looks like a bug! What version are you using?
Looks like a bug! What version are you using?
The version is 1.0.3.
The "critical" resource (default at index 0 and requires some properties such as strictly increasing) is always checked wrt resource feasibility in resource extensions see:
You can either flip the resource definition around or change the critical resource to the resource at index 1:
bidirec = BiDirectional(G, max_res, min_res, critical_res=1)
I think this is kind off expected, I don't know about the correctness of the algorithm using the non-zero minimum resource for the "critical" resource.
Hi! I am Zw, and I am using your cspy library in my research project. Thanks for your nice work!
I have got a problem: The following code is from your example.
The output is
However, when I change the code:
max_res, min_res = [4, 20], [1, 0]
->max_res, min_res = [4, 20], [2, 0]
, the output also changes:If I understand the meaning of min_res correctly, I think that the previous solution still meets the changed min_res because the consumed resource is 4.0 > 2.0. I am confused why the optimal solution changed.
Could you explain this case? Thanks very much!