나는 이것이 분명하기를 바랍니다. 나는 GLPK/MathProg만을 사용했다. 나는 예를 들어, 다음을 수행하는 문제 (GLPK 이내) GNU MathProg의 구문을 파악하는 데 문제 : set PartsOfWeek;
set WeekDays;
data;
set PartsOfWeek := WorkWeek WeekEnd;
set WorkWeek :
Z3 SMT Solver를 사용하여 다음을 증명하려고합니다 : ((x*x) + x) = ((~x * ~x) + ~x). C 프로그래밍 언어의 오버플로 의미 때문에 올바릅니다. Z3에서 (declare-fun a() Int)
(define-fun myadd ((x Int) (y Int)) Int (mod (+ x y) 4294967296))
(defin
나는 최근에 스도쿠 해결 알고리즘을 역 추적하고 있었고, 현재는 내 solve() 메소드를 void에서 boolean으로 바꾸는 방법에 대해 질문하고 싶습니다. 것은 ... 덕분에 나는 아주 간단한 되돌아 알고리즘을 사용하고, 그것은 현재 잘 작동하고 있지만, printstack을 가진 것이없는 아주 좋은 때문에 차라리 대신 빈 공간의 부울이있을 것이다 !
현재이 스도쿠어 해결사에 대한 GUI를 만들고 있습니다. 나는 문제없이 보드를 프린트 할 수 있었다. 그러나 나는 3x3 영역을 어떤 종류의 두꺼운 선이나 컬러 선으로 차별화하는 방법을 알고 싶습니다. 기본적으로 아래 그림과 비슷합니다. 다음은 내가 이미 구현 한 코드입니다. 감사! Board = new JPanel(new GridLayout(9, 9));
나는 간단한 최적화 문제가 있고 그것을위한 자바 소프트웨어를 찾고있다. 아파치 수학 최적화 소프트웨어 단지 내가 원하는하지만 난 내 요구에 맞게 문서를 찾을 수 없습니다 것 같습니다 (이러한 요구는 초보자에게 유용에/비 수학 전문!) 사람은 가공 한 알고 있나요 , 간단한 예? 이 도움이 경우, 문제는 내가 변수 사이의 관계를 정의하기위한 몇 가지 제약과
최근 MathNet을 사용하여 선형 대수학을 구현하기 시작했습니다. 그러나 MathNet에 MATLAB 함수를 번역하는 데 문제가 있습니다. C는 \의 B MathNet이 상당이 무엇인가 = 매트랩 I는 자주 슬래시 연산자를 이용하여 해결하는 간단한 사용합니까? C = Inv (A) * B를 사용하여 작은 행렬에서 같은 결과를 얻지 만 그 결과가 정확한지는
나는 급진적 인 형태를 가장 단순한 급진적 인 형식으로 만드는 프로그램을 만들려고했습니다. 나는, 운좋게도 운이 없었습니다. String을 사용하는 메서드를 찾고 있는데 String을 반환합니다. 입력 String : sqrt[160]. 나는 이미 나의 방법을 수치로 만들었다 (160). 사전에 "4*sqrt[10]" 감사 : 지금, 난 그냥 160를 중단
최근 퍼즐을 풀기 위해 SAT를 사용하는 Reddit 기사를 보았습니다. 이게이 "SAT"에 관한 골치 거리가되어. 나는 Wikipedia 기사를 읽었지 만, 누군가 당신에게 좀 더 평신도 용어로 설명해달라고 부탁하고 싶습니다. 무엇이 SAT이며 무엇이 좋은가요? 트리 구조를 탐색하는 데 사용할 수 있습니까? 텍스트를 파싱하려면? 줄 바꿈을 위해 [2]?