solver

0열

1답변

이것은 제가 지금하고있는 일입니다. 그러나 아마도 더 좋은 방법이 있는지 궁금 할 것입니다. My Kinematic Variable 클래스는 변수가 설정되어 있으면 긴 double 값과 bool을 보유합니다. 나는 할당 연산자를 오버로드했다. 내가 고려할 것입니다 무엇 // v_f = v_o + a*t bool KinematicEquations::equa

2열

1답변

반복 노드가있는 8 타일 솔버 - Python

BFS 검색, DFS, Greedy 및 A *와 같은 기법을 사용하여 8tile 퍼즐을 해결하려고합니다. 휴먼리스 솔루션으로 맨해튼 거리를 사용합니다. 문제는 몇 가지 문제를 해결할 수 있지만 일부 문제는 문제입니다. 부모 노드를 확장 할 때 어린이가 이미 이전 노드에있을 수 있습니다. 자신을 잘 설명 할 수 있었는지는 잘 모르지만 내 주요 문제는 내가 만

3열

1답변

z3 솔루션 수

솔루션 수를 계산하려면 z3을 어떻게 사용합니까? 예를 들어 어떤 n에 대해서도 방정식 집합 {x^2 == 1, y_1 == 1, ..., y_n == 1}에 대한 해가 2 개 있다는 것을 증명하고 싶습니다. 다음 코드는 주어진 n에 대한 satisfiability를 보여줍니다. 이는 내가 원하는 것입니다 (임의의 숫자에 대한 솔루션 수가 필요합니다). n

2열

1답변

내 사전 검색을 더욱 효율적으로 만들기

Java로 boggle 솔버를 만들었고 보드를 해결하는 데 약 1 ~ 30 초 정도 걸리며 사전을 통과하는 방법 때문에 확신합니다. 아이디어는 단어가 있는지 확인하고 유효한 접두어인지 확인합니다. 유효한 접두사가 true이면 프로그램이 계속 실행되도록 true를 반환합니다. false를 반환하면 프로그램은 실행중인 코스의 실행을 중단합니다. 나는 trie

0열

1답변

Matlab : 연속 입력 범위에서 Ode23 사용

나는 이것을 위해 ode23을 사용하는 방법을 알아 내려고하고있다. function res = HardyWeinberg(inAFrequency, inFitness_AA, inFitness_Aa, inFitness_aa) fA = inAFrequency; wAA = inFitness_AA; wAa = inFitness_Aa;

4열

2답변

파이썬을위한 wbo-like SAT-Solver가 있습니까?

SAT 문제를 해결하는 Python 모듈/프로그램이 있습니까? 아마도 가중 부울 값일 것입니다. (구체적으로 말하자면, wbo과 같은 것입니다.) 바인딩이 없거나 해당 해결사 중 하나를 사용하는 API가있을 수 있습니다. 저는 지금 당장 내가 프로그래머가 될 수 있다고 생각하지 않습니다.

1열

1답변

오류 때 COM/pywin32를 통해 파이썬에서 엑셀 찾기를 실행하려고

나는 능가 해 찾기 추가 기능 pywin32를 통해 파이썬에서 실행하려고 : : 다음과 같은 오류가 ..하지만 import win32com.client from win32com.client import constants as c app = Dispatch("Excel.Application") app.Visible = True app.Workbook

1열

1답변

Z3, solver : smtlib2 : push (n = 1)에 정의 된대로 assertion-stack에 빈 레벨을 푸세요.

현재 Python에서 Z3을 사용하고 있습니다. 레벨을 푸시하고 나중에 팝하는 어설 션 스택을 만들고 싶습니다. 푸시 및 팝 조작이있는 다른 "스택"과 똑같이 작동해야합니다. 따라서 SMTLIB2 표준은 선택적 숫자 n을 갖는 "push (n)"및 "pop (n)"의 두 가지 기능을 정의합니다. 내 경우 엔 항상 1이됩니다. 그러나 Z3에는 이상한 행동이있

1열

2답변

Solver (SOLVER.XLAM) 코드를 삭제하는 방법

작성된 매크로/코드의 몇 가지 예가 갑자기 열리는 것으로 보입니다. Solver (SOLVER.XLAM) 이것은 주목할만한 것이고 나는 그것을 내 시스템에서 제거하고 싶습니다. 이것은 relavant 코드가 아닌 것 같습니다. 아무도 내가해야 할 일을 말해 줄 수 있니? 이미 암호를 제거하기 위해 무언가를 설치했으나 SOLVER는 여전히 암호를 요구하고 있

3열

3답변

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

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