전제를 참으로 만드는 변수값을 찾는 프로그램
게시글 주소: https://orbi.kr/00069586958
클로드 무료버전으로 만듬
명제논리의 기본적인 기호를 사용함
->,and,or,not,괄호,변수,변수값T,F
이걸로 논리식과 변수값을 전제로 입력하면
전제를 참으로 만드는 변수값을 알려줌
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
막 4점 이상 올라가고 이런 드라마틱 변화는 없겠죠?
-
25억 일시뷸 ㅅㅅㅅ
-
준비 하나도 안 했는데 망했노 ㅋㅋ
-
화작 ㄹㅇ 헬이던데
-
평가원이나 교육청에서 불연속 함수 적분하는 기출이 있나요? 혹시 아시는 분? (덕코)
-
미적분 수능이면 1 2컷 각각 몇쯤 나올까요?
-
하루에 기출모의고사 2회 사설1개치고 오답위주로 개념,ebs지엽정리 하는데 ㄱㅊ?
-
잇올 학프 영어까지 보고 탈주함
-
봄 -여름까지만이면 순환적 구성으론 볼수 없는건가.. 이거때문에 90점대 못맞았네
-
모고는 너무 꼴리는데로 풀어서 못적을듯
-
ㄹㅈㄷ 공하싫 1
수열 단원 들어오자마자 공부 의욕 꺾임
-
뚱땡이 하나와서 지 안쓰는쪽까지 에어컨 다 키고가서 내 자리쪽 다 꺼버림 지쪽만...
-
그냥 빨리 시험치고 후딱 끗낫으면 싶던데.. 내가 나약해서 그런가
-
10시간잤다 4
요즘 걸어다니는 좀비였는데 재충전 했으니 수능때까지 다시 달리자
-
아 진짜
-
좀만 더만져주면 퓨퓻 나올텐디 시간이없다
-
많은 학생들이 수능 분위기를 위해 대형 학원에서 실전 모의고사를 풀고는 합니다....
-
좀 아쉽
-
찍은 거 하나 정도는 맞아야 하지 않나.. 틀린 거 대부분이 선지 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 해결했어요 << 부적절