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 )

• ตั้งค่าพารามิเตอร์ return_details เป็น True เพื่อส่งคืนข้อมูลการแปลง NPN ( phase, perm, output_inv ) ตัวอย่างเช่นที่นี่ phase = [False, False, True] , perm = [0, 1, 2] และ output_inv = False (x_0, x_1, x_2) ควรแมปไปที่ (x_0, x_1, x_2) จากนั้นตัวแปรที่สาม ( x_2 ) ควรกลับด้าน
• ตั้งค่าพารามิเตอร์ refinement ให้เป็น True เพื่อเร่งการคำนวณในขณะที่ทำลายลำดับพจนานุกรมของตารางความจริง ดู "การสร้างเครื่องจับคู่บูลีนที่ดีกว่าและเครื่องตรวจจับสมมาตร" สำหรับรายละเอียด

สร้าง

รวบรวมไลบรารีที่ใช้ร่วมกัน libnpn.dll และ libnpn.so ผ่าน cmake บนสภาพแวดล้อม windows และ linux วางไว้ในโฟลเดอร์ 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, 2549. https://doi.org/10.1109/date.2006.243959
2. Debnath, D. , และ T. Sasao “ การคำนวณรูปแบบที่เป็นที่ยอมรับอย่างมีประสิทธิภาพสำหรับการจับคู่บูลีนในห้องสมุดขนาดใหญ่” ใน ASP-DAC 2004: Asia และ South Pacific Design Automation Conference 2004 (IEEE Cat. No.04EX753), 591–96, 2004. https://doi.org/10.1109/aspdac.2004.1337660
3. Hinsberger, U. และ R. Kolla “ การจับคู่บูลีนสำหรับห้องสมุดขนาดใหญ่” ในการดำเนินการตามกฎหมายปี 1998 การประชุมการออกแบบและระบบอัตโนมัติ 35th Dac (Cat. No.98CH36175), 206–11, 1998. https://doi.org/10.1145/277044.277100