저는 C++을 사용해 연구를하고 있습니다. 그리고 NTL에서 LLL 함수를 사용하여 가장 짧은 벡터를 찾는 방법을 알고 싶습니다. 내 코드는 다음과 같습니다. #include <NTL/ZZ.h>
#include <NTL/matrix.h>
#include <NTL/mat_ZZ.h>
#include <NTL/vector.h>
using namespac
고유 한 소스 및 싱크가있는 지시 된 비순환 그래프 (DAG)가 제공됩니다. 이 그래프가 나타내는 partial order이 lattice인지 여부를 테스트하는 효율적인 방법이 있습니까? 즉, 어떤 두 개의 꼭지점이 고유 한 최소 상한선과 최대 하한선인지 여부를 테스트해야합니다.