0
minizinc의 해결사가 처리 할 수있는 최대 변수 및 제약 조건은 무엇인지에 대한 참조를 찾을 수 없었습니다. 특히 저는 minizinc의 mip solver에 관심이 있습니다. 약 15k 제약 조건과 약 1000 변수가있을 때 8GB로 내 Mac에서 스택 오버플로 오류가 발생했습니다. 그게 minizinc의 진짜 한계에 가까운 것이면 누구라도 알고 있습니까?minizinc의 제약 조건의 최대 값은 무엇입니까
많은 RAM (예 : 8GB)을 사용하여 Stackoverflow 오류를 해결할 수 없습니다. 기본적으로 루프를 사용해야하는 재귀 함수 (1024 개 이상의 호출)를 사용하는 코드입니다. –
의견을 보내 주셔서 감사합니다. @ GeoffreyDeSmet. minizinc에 재귀 함수를 작성하는 직접적인 방법은 없으므로 내부 minizinc의 제한과 관련이 있어야합니다. – Tomato
즉 제약 조건을 너무 많이 지정하거나 너무 많은 변수를 사용해야합니다. 모든 제약 조건은 합계 함수가있는 단순한 루프이므로 아무런 재 등장도 사용되지 않습니다. – Tomato