binary-decision-diagram

3열

1답변

other question의 주석에서 제안한대로 ZDD를 사용하여 단 변량 다항식을 구현하려고합니다. S. Minato (here을 다운로드 할 수 있음)의 문서를 읽었지만 이러한 ZDD에서 작업을 구현하는 방법을 이해할 수 없습니다. 다항식은 x^(2^i)을 변수로 사용하여 표현할 수 있습니다. 예를 들어 x^5 + x^3 + x은 x^(2^i) 변수마다

2열

3답변

Windows 용 이진 의사 결정 다이어그램 라이브러리

jinc을 창 아래에 컴파일하고 수백 개의 컴파일러 오류가 발생하면 Windows 용 빌드 BDD 라이브러리를 찾고 있습니다. 가급적 C 또는 C++에서하지만 내가 바인딩 할 수있는 한 행복합니다.

1열

1답변

CUDD (C 인터페이스)로 계산 이미지를 수행 한 후 BDD의 모든 변수 가져 오기

CUDD (C 인터페이스)의 BDD에서 작동하지 않아 컴퓨터 이미지를 만들 때 일부 변수를 제거 할 수 있는지 잘 모르겠습니다. 국가에서 BDD의 다른 상태로) 어떻게 모든 변수를 얻기 위해 결과 BDD (최종 BDD)를 여행하는지, 누구든지 우리가 CUDD로 그렇게 할 수 있는지 말해 줄 수 있습니까? 건배

4열

1답변

누구나 C# BDD (Binary Decision Diagram) 패키지를 알고 있습니까?

이진 결정 다이어그램 (BDD)을 구현하려면 어떻게해야합니까? 문화적 알고리즘과 BDD에 의한 회로 오류 탐지를 기반으로 BDD의 최소화를 구현하고 싶습니다.

3열

2답변

커드 패키지 : 이진 decison 다이어그램

누구든지 커드 패키지에 좋은 자료를 가리킬 수 있습니다. 나는 여기서 간결한 문제를 찾고있다. http://vlsi.colorado.edu/~fabio/CUDD/에있는 것은이 문제에 대해 좋은 소개를하지 못하는 것 같습니다. BDD 및 그 응용과 관련된 비디오 강의는 언제나 환영합니다. 감사와 관련

0열

1답변

CUDD 관리자에서 변수를 삭제할 수 있습니까?

누구든지 CUDD의 관리자로부터 변수를 안전하게 제거 할 수 있습니까? 예를 들어, 나는 두 변수를 v1 = Cudd_bddNewVar(manager)으로 등록합니다. 및 v2 = Cudd_bddNewVar(manager). 관리자에게서 v2을 삭제할 수 있습니까?

3열

3답변

진리표에서 ROBDD (reduced Ordered Binary Decision Diagram)를 작성하십시오.

주어진 진리표 (일부 텍스트 형식)에서 ROBDD (Reduced Ordered Binary Decision Diagrams)를 작성하는 소프트웨어 패키지 (라이브러리가 아닌 응용 프로그램이 좋음)가 있습니까?

1열

1답변

Java에서 BDD 구현

누구나 Java (또는 Java 바인딩을 제공하는)에서 BDD (이진 의사 결정 다이어그램) 구현에 대한 제안 사항이 있습니까? 나는이 페이지를 온라인으로 찾았다 : http://www.mancoosi.org/~abate/avalaible-bdd-libraries. 또는 Prolog 구현을 사용하는 것이 합리적입니까?