npn

NPN : 부울 기능을위한 정식 대표를 계산합니다

이 패키지는 부울 경기자입니다. 그것은 단순히 진실 테이블로 표시되는 주어진 부울 함수에 대해 각 NPN 동등성 클래스마다 고유 한 표준 대표를 계산합니다.

이 패키지의 백엔드는 효율을 위해 C ++에 의해 구현됩니다.

현재이 패키지는 입력 수 <= 8의 부울 함수를 지원합니다.

설치하다

pip install npn

용법

 import npn

# the truth table of f(x_2, x_1, x_0) as [f(0, 0, 0), f(0, 0, 1), f(0, 1, 0), f(0, 1, 1), ...]
tt = [ True , True , True , False , True , True , True , True ]
c = npn . npn_canonical_representative ( tt )    # [True, True, True, True, True, True, True, False]
c_int = npn . tt_to_int ( c )                    # 254 (11111110)
c , phase , perm , output_inv = npn . npn_canonical_representative ( tt , return_details = True , refinement = True )

• NPN 변환 정보를 반환하려면 return_details 매개 phase, perm, output_inv 를 True 로 설정하십시오. 예를 들어, 여기서 phase = [False, False, True] , perm = [0, 1, 2] 및 output_inv = False meve (x_0, x_1, x_2) 는 (x_0, x_1, x_2) 에 매핑되어야하며, 세 번째 변수 ( x_2 )는 반전되어야합니다.
• 진실 테이블의 사전 순서 순서를 깨뜨리는 동안 계산을 가속화하기 위해 refinement 매개 변수를 True 로 설정하십시오. 자세한 내용은 "더 나은 부울 매칭 및 대칭 탐지기 구축"을 참조하십시오.

짓다

공유 라이브러리 libnpn.dll 및 libnpn.so Windows 및 Linux 환경에서 CMake를 통해 컴파일 한 다음 npn 폴더에 배치 한 다음 공유하십시오.

python setup.py sdist

PYPI에 업로드하려면 실행하십시오

twine upload . d ist n pn-X.X.tar.gz

시험

pip install pytest  # if you haven't install it
python -m pytest

참조

1. Chai, D. 및 A. Kuehlmann. "더 나은 부울 매칭 및 대칭 탐지기 구축." 유럽 ​​디자인 자동화 및 테스트의 절차, 1 : 1–6, 2006. https://doi.org/10.1109/date.2006.243959.
2. Debnath, D. 및 T. Sasao. "대형 라이브러리에서 부울 매칭을위한 표준 형태의 효율적인 계산." ASP-DAC 2004 : 아시아 및 남태평양 디자인 자동화 회의 2004 (IEEE Cat. No.04EX753), 591–96, 2004. https://doi.org/10.1109/aspdac.2004.1337660.
3. Hinsberger, U. 및 R. Kolla. "대형 도서관의 부울 일치." 절차 1998 디자인 및 자동화 컨퍼런스. 35 번째 DAC. (Cat. No.98CH36175), 206–11, 1998. https://doi.org/10.1145/277044.277100.