나는 Or 논리 연산자 포함 Sympy에서 간단한 제약 조건 해결을 시도하고있어 논리 연산자와 산술 제약을 해결 : TypeError: unsupported operand type(s) for -: 'Or' and 'int'
: 놀랍게도 from sympy import *
a,b = symbols("a b")
print(solve(Or(Eq(3,
Minizinc에서 Tetris 솔버를 구현하려고합니다. 이는 내가 생각하는 "패킹"문제라고도합니다. 저는 Minizinc에서 처음 접했고 현재 내가하고있는 일을 거의 이해하지 못했지만 현재는 코드의 특정 제약 조건을 고수하고 있습니다. 저는 4x4 사각형을 테트리스의 사각형에 4 개 배치하여 전체 사각형을 채울 수 있도록 4x4 사각형을 해결하려고합니다.
배열이 있습니다 : array[backpacks] of int: capacity 각 배낭의 용량을 지정합니다. 이제 제약 조건 해결사에서 만족해야 할 변수 배열을 만들고 싶습니다. 나는 각 변수가 도메인 1.Capacity에서 값을 취하기를 원합니다. 여기서 capacity는 위의 배열에 지정된 것과 일치합니다. 다음과 같이 입력하십시오 : array[ba
파이썬에서 매우 새로워졌습니다. 사용자가 원하는 변수의 수를 기반으로 변수를 생성하는 이진 CSP 인스턴스를 작성하려고합니다. 따라서 사용자가 4 개의 변수를 원하면 X1, X2, X3, X4를 생성 한 다음 목록에 추가합니다. 나는 아직도 당신의 코드는 간단한 이유로 작동하지 않는 것이 class CSP:
def __init__(self, var
내 문제를 일련의 산술 제약 조건으로 인코딩하는 것이 목표 인 ECLiPSe 스크립트가 있습니다. 제약 저장소에 나에게 제약 유사한 읽기 목록을 줄 것이다 술어가 -(_2941{4 .. 7}) + _2900{1 .. 4} #=< 0
_2941{4 .. 7} - _2900{1 .. 4} #= 3
-(_3393{7 .. 21}) + _3352{4 .. 1
이 제약 최적화를 해결하는 방법을 내가 매트랩에서 다음과 같은 제약 최적화 문제를 싶지 : 가정 해 우리가 목적 함수 f (X, t) =의 X 극대화 할 - t을, s.t. x는 [-1/t, 1/t]입니다. X는 선택 변수이고 t는 주어진 매개 변수입니다. X가 실수이고 T가 실수 ++에 있다고 가정합니다. f (.)가 x에서 초승달이고 t> 0이므로 주어
학교 숙제를 위해 Java에서 노 그램 솔버를 쓰려고합니다. 그것은 하나를 제외하고 모든 제공된 입력에 적용됩니다. 내 코드가 github에 있습니다. CSPSolver에서 https://github.com/farkadav/Nonogram-solver 나는 노 그램을 해결합니다. github의 텍스트 파일에있는 제약 조건을 만족하는 모든 가능한 행/열 조합
Choco 4.0.1을 사용하여 SAT 공식을 모델링하려고합니다. 나는 docs을 읽고, 나는 javadoc에서 이해하려고 애 쓰고 있지만, 불행히도 나는 지금까지 실패하고있다. 이것은 처음으로 이러한 유형의 문제와 초코 작업을하는 것입니다. 그래서, 나는 아주 명백한 것을 요구하고 있을지도 모른다. 내가 좋아하는 모델에 제약의 번호를 추가해야합니다 (각
변수와 변수 사이에 선형 제약 조건 목록이 있습니다. 각 변수에 대해 유효한 값의 시작 목록이 포함 된 집합이 있습니다. Minizinc를 사용하여 어떻게 시작 값의 집합을 제약 조건을 만족시킬 수있는 값으로 줄일 수 있습니까? 내가 xy에 대한 모든 솔루션 solve satisfy 항목 및 인쇄 이것을 실행하면 (수평 라인이 제거 포함) array[1..