전제를 참으로 만드는 변수값을 찾는 프로그램
게시글 주소: https://orbi.kr/00069586958
클로드 무료버전으로 만듬
명제논리의 기본적인 기호를 사용함
->,and,or,not,괄호,변수,변수값T,F
이걸로 논리식과 변수값을 전제로 입력하면
전제를 참으로 만드는 변수값을 알려줌
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㅈㄱㄴ
-
ㅈㄱㄴ
-
16문제 다 맞고 한줄로 밀면 3컷은 뜸?
-
9평 컷보고 출제진들이 난이도를 올리지 않을까...? 근데 이왕 올릴꺼 아무도 못풀게 올려쥬
-
10덮 80 3
분컷 92점 14 30
-
3주면 이제 2
성적 올리기는 힘든 시간인듯 지금까지 쌓아올린 성적 유지하는데 전념하십시다요
-
내 발이 반석 위에 섰다.
-
무턱대고 시즌2 사놨는데 후기보면 미친듯이 어렵다길래 ㅜㅜ 다른 실모들 보면...
-
"군대 안 갈래" 수사관 들이닥치자 5층 밖 뛰어내린 남성 4
병역법 위반 혐의로 수배된 20대가 검찰 수사관이 집에 들이닥치자 화장실 창문으로...
-
질받 1
-
가능할까요 언미영물지 83 80 92 48 39 입니다
-
ㅈㄱㄴ
-
"요즘 생활관 맞다"vs"세트장이다"...군인 틱톡 라이브에 '발칵' 4
현역 군인으로 추정되는 한 남성이 생활관(구 내무반)에서 틱톡 라이브 방송을 진행해...
-
인강 추천좀 0
ㅊㅊ
-
-
전세계 모든 공대생들 공돌이들이 구매할 텐데.. 역학 문제 던져주면 어케 푸는진...
-
일반고 문과 내신 4점대 후반이고 생기부 1학년 때는 진로가 없었어서 다양하게...
-
무지성 사인코사인 박는 쉬4로 나올 거 같은데..
-
시즌2 4,5회 연속으로 푸는데 여기서 멘탈 너무 많이 나가네요
-
진짜 죽이고싶다고 생각하면 오히려 머리부터 쭉 차가워짐
떳다
오랫만이야
안녕하세요
뭐하느라 안 옴?
게임하다가 이거만드느라고요
무슨게임함?
트릭컬요
그게무슨게임임?
폰게임인데 플레이어가 교주고 캐릭터가 사도인데 이 사도로 팀을짜서 던전을 깨는 게임임
재밌겠네
님 ㄹㅇ 바쁜가
하나도 안바쁨
트릭컬 좋습니다.
와오랜만
님 아이디가 왜 우엉이에요
어덯게아셧지 ㄷㄷ
세상에 온 우주를 뒤집어놓을 프로그램이다
돌려까기 ㅋㅋ
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 해결했어요 << 부적절