- 희망의 등불
[일반] 갤주님이 낸 퀴즈 코딩으로 푼 사람 있음?
기괴공학도(mecheng98)
2018-11-10 15:19
추천 0
댓글 5
다른 게시글
-
트리 이렇게 사용하는 경우가 있나여? [2][질문] spaghetti(spijgetji) | 18.11.10추천 0
-
이차원 배열 두개 비교하는거 [8][일반] spaghetti(spijgetji) | 18.11.10추천 0
-
내코드랑 얘 코드랑 도대체 다른게 몰까 ㅠㅠ [4][일반] 치카냥(miku133) | 18.11.09추천 0
-
스도쿠는 못하겠다 ㅈㅈ [8][일반] 하루룽(ailedear) | 18.11.09추천 0
-
노력없이 ps실력 오릴 수 있는 약이나 치료법 없나요 ㅇㅅㅇ [1][일반] 치카냥(miku133) | 18.11.09추천 0
-
심심하면 퍼즐 푸실? - Inequality Sudoku [2][일반] 0xrgb(0xrgb) | 18.11.09추천 0
-
심심하면 퍼즐 푸실? - Nurikabe [1][일반] 0xrgb(0xrgb) | 18.11.09추천 0
-
심심하면 퍼즐 푸실? - Slither Link [1][일반] 0xrgb(0xrgb) | 18.11.09추천 0
-
심심하면 퍼즐 푸실? - Shikaku [1][일반] 0xrgb(0xrgb) | 18.11.09추천 0
-
요새 입문하려면 이 테크가 가장 괜찮은듯 [11][일반] 0xrgb(0xrgb) | 18.11.09추천 1
정해는 SAT Solver 이용해서 풀기일듯
어떻게 CNF로 바꿀지만 잘 계산하면 될듯
CNF가 논리곱 표준형인가요? SAT solver는 증명 도와주는 기계인가요? - 훈다리 훈다리
constrain programming 찾아보시면 원하는거 알수 있을듯
감사합니다! ㅇㅅㅇ