전제를 참으로 만드는 변수값을 찾는 프로그램
게시글 주소: https://orbi.kr/00069586958
클로드 무료버전으로 만듬
명제논리의 기본적인 기호를 사용함
->,and,or,not,괄호,변수,변수값T,F
이걸로 논리식과 변수값을 전제로 입력하면
전제를 참으로 만드는 변수값을 알려줌
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
맨날 마지막페이지 1~2문제 남기고 시간 다가는데 이거 다 풀 정도면 지구 고정1임?
-
미친 난이도인데 ㅋㅋㅋㅋ
-
sky 출신이나 상위권 대학 문과 라인 고능아들은 공인회계사 준비하는 것 같은데...
-
칼럼 들어가기 전에 먼저 밝힙니다!! 여기서 이야기할 내용은 딱히 제가 찾아낸...
-
항상 시간에 쫓기면서 푸는 느낌이라 걱정이에요 다른분들은 탐구 각 페이지당 몇분...
-
ㅈㄱㄴ 러셀에서 셤봄
-
굉장히 맛있는 국밥집을 발견해서 감사합니다. 중3때보고 못본 친구를 우연히 만나서...
-
물2 46점 3,12번틀 20찍맞 화2 45점 6,14번틀 개념은 나의 숙적......
-
열심히 달렸다. 16
낼 더프보는데 응원점
-
탑쌓기 재능 ㅁㅌㅊ? 24
-
걸릴 확률있나요?
-
수능때도 비슷한 극한 아이디어 나오나
-
캬
-
결과가 원인이 결과의 어쩌구임 반박해보셈
-
다들 어떠심?EX까지 갈것도 없이 MX도 어려운건 꽤 어려운데... MX 23개정도...
-
끝까지 갑시다 불꽃가능!!
-
. 2
.
-
대학을 안다녀봐서 모르는데 혹시 입결 낮은과 들어가면 무시나 비하당하는거 있나요?
떳다
오랫만이야
안녕하세요
뭐하느라 안 옴?
게임하다가 이거만드느라고요
무슨게임함?
트릭컬요
그게무슨게임임?
폰게임인데 플레이어가 교주고 캐릭터가 사도인데 이 사도로 팀을짜서 던전을 깨는 게임임
재밌겠네
님 ㄹㅇ 바쁜가
하나도 안바쁨
트릭컬 좋습니다.
와오랜만
님 아이디가 왜 우엉이에요
어덯게아셧지 ㄷㄷ
세상에 온 우주를 뒤집어놓을 프로그램이다
돌려까기 ㅋㅋ
SAT problem
이프로그램으로 해결했다고 보면 멍청한건가여
SAT problem은 “빨리” 푸는게 문제임
빨리 풀면 P-NP 해결한거고.
빨리의 기준은 다항시간.
저걸로 해결했다하면 멍청한거
1.SAT problem은 “빨리” 푸는게 문제임 : 이해됨
2.빨리 풀면 P-NP인거고 : 이해안됨
3.빨리의 기준은 다항시간. : 이해안됨
컴공전공얘기예요
나무위키에 그래도 비전공자 설명 있음 P-NP ㄱ
왜 멍청한게되죠?
SAT를 풀었다고 할때는 다항시간 알고리즘을 찾았다고 할때죠 보통
전 속도신경 안쓰고 전제가 참이되는 변수값 예를들면 A->B, A=T 가 전제면 B=T 가 유도되고 이런걸 원함
ㅇㅇ 그거 만드는거면 성공한건데
SAT 문제를 한번 구현해봤어요 << 적절한 표현
SAT Problem 해결했어요 << 부적절