전제를 참으로 만드는 변수값을 찾는 프로그램
게시글 주소: https://orbi.kr/00069586958
클로드 무료버전으로 만듬
명제논리의 기본적인 기호를 사용함
->,and,or,not,괄호,변수,변수값T,F
이걸로 논리식과 변수값을 전제로 입력하면
전제를 참으로 만드는 변수값을 알려줌
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㅇㅇ공식을 사용하면 풀립 ㅇㅇ 맞추면 500덕 추가 난이도 : 2 / 5
-
양놈 27
존맛 흐흐
-
와 사람이 어떻게 진자 이렇게 생겼냐 230919 KBS 인터뷰
-
번아웃 급상승 0
나만 그런게 아니구나,,,, 난 공부제대로하지도 못했는데
-
기출문제 출처만 쌈뽕히 잘 아는 사람들이 있더라고요 예를 들어 나..
-
바로 "주변인" 이게 알파이자 오메가. 유일한 장점임 대학은 어디나 똑같음. 그나마...
-
중간 끝나고 0
수능 공부 재개 해야 하는데 술땡기네
-
나머지는 다 마킹까지했고 탐구 한문제 남았는데 거의다풀었음 딱 시간이 마킹하기,...
-
먹고싶다..
-
3주라니… 7
지금 멘탈 터지기 일보 직전
-
교재 많이 풀면서 느낀 점인데 1. 배기범 선생님 : 계산으로 밀어붙임 2. 강민웅...
-
지금 강대k 시즌3 다 끝냈는데(서킷은 한 회분 남음) 지금 시점에서 강대k...
-
난 핑크색 펜 씀
-
오늘의공부 6
국어 비문학3지문 문학4지문 영어 빈순삽15지문 수학 강x15 96 강k28 93...
떳다
오랫만이야
안녕하세요
뭐하느라 안 옴?
게임하다가 이거만드느라고요
무슨게임함?
트릭컬요
그게무슨게임임?
폰게임인데 플레이어가 교주고 캐릭터가 사도인데 이 사도로 팀을짜서 던전을 깨는 게임임
재밌겠네
님 ㄹㅇ 바쁜가
하나도 안바쁨
트릭컬 좋습니다.
와오랜만
님 아이디가 왜 우엉이에요
어덯게아셧지 ㄷㄷ
세상에 온 우주를 뒤집어놓을 프로그램이다
돌려까기 ㅋㅋ
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 해결했어요 << 부적절