전제를 참으로 만드는 변수값을 찾는 프로그램
게시글 주소: https://io.orbi.kr/00069586958
클로드 무료버전으로 만듬
명제논리의 기본적인 기호를 사용함
->,and,or,not,괄호,변수,변수값T,F
이걸로 논리식과 변수값을 전제로 입력하면
전제를 참으로 만드는 변수값을 알려줌
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
서울대 내신반영 0
나이 중요한가요? n이 4,5 되면 내신 cc인가요? 자사고 4점대입니다
-
주인 잃은 레어 1개의 경매가 곧 시작됩니다. BOEING"Excellence In...
-
3층 1관 동덕과잠녀님 부끄러운 줄 알아야지
-
대 탈 출 4
탈출의 신. 신 창 섭
-
메디컬 가려면 12
인서울 메디컬 가려면 과1사1이랑 과2랑 뭐가 더 유리할까요? 과탐 두개하면...
-
흰수염고래 6
노래가 왤캐 눈물나냐
-
1지망기원. 4
될거같기도하구..
-
3분뒤 닉변 4
-
시대인재메타가 제일나을듯 오늘모집요강떴으니
-
야식메뉴추천좀
-
누굽니까
-
ㄷㄷ
-
너무 감동이네요
-
24년도 추합 0
작년에 몇몇 과들이 22, 23학년도 대비 추합이 많이 적게 돌았던데 혹시 그...
-
월3000신의대리인 어쩌구
-
신있으면 0
나 이세계보내줘
-
신있죠 2
sin
-
신 7
라면
-
여르비 ㅇㅈ 2
은 너굴맨이 처리햇으니 안심하라구!!
-
신은 존재함 1
얘네는 신임 그냥..
-
나 죽으면 나타나서 특전 잔뜩 주고 미소녀로 이세계전생 시켜줘야됨
-
신은 죽었다. 0
신은 죽어 있다! 그리고 우리가 그를 죽여버렸다. 살인자 중의 살인자인 우리는...
-
당근마켓 가세요...
-
자연인줄알았는뎁
-
8분전 마지막 만찬 27
ㅅㄷㅇ ㅇㅅㅎ(a.k.a. ㄱㅎㅎㅎㅎ) ㅈㄴㅂㅇㅇ ㅅㄷㄹㄹ ㄱㅈ ㅇㄷㅇ ㅅㅂ ㅈㅂ...
-
질받 9
ㄱㄱ
-
신도 죽지않냐 ㄹㅇ
-
신은 없다. 4
다만 크리스티아누 호날두만 있을 뿐. 포루투갈(浦鏤投喝)에는 구리수대아누...
-
내가 정상화의 신인데 대 창 섭
-
베르테르는 한문제 풀엇으니간 이제 코딩 해야겟다
-
ㅋ
-
신 투표받아봄 8
메시 좋아요 호날두 댓글
-
이제 몇개일까요
-
반박은 받지 않습니다.
-
생윤 내신 대비 때문에 미리 예습 중인데 문제집 어떤 거 푸는 게 좋을까요? 인강은...
-
똥 안싸는중 똥만 2kg모아도 몸무게 증량이 된다 화이팅 불가능은 없다
-
ㄱㄱㄱㄱㄱㄱㄱㄱㄱㄱㄱㄱㄱㄱㄱㄱㄱㄱㄱㄱㄱㄱㄱㄱㄱㄱㄱㄱㄱㄱㄱㄱ미리보기...
-
내생각에 신은 6
수학 그자체임 전우주의 본질을 문자화시킬수있는 매개처니까
-
이거 못 구하나요? 자이 풀면서 해설도 참고해보고 싶어서 사려고 했는데
-
전자공학 물리 0
전자공학과로 진학할예정인데, 물리가 통합과학수준이면 물1,물2 ebs개념완성 인강을 들을까요?
-
밎팔구 1
-
역시 너두 의대가야만 하는 사람이구나 우린 동지
-
막상 먹으려니 식욕이 없네.. 낼아침에 먹고 잇올갈까
-
그래도 평균보다는 좀 큼 5등급이여서 문제인거지
-
하나님 믿음 2
내신때 1등급 턱걸이 뜨면 아는 신 다 믿기로 했는데 딱 문닫고 1나옴.. 신은 존재한다
-
쎈vs쎈b 6
현재 정시 준비하는 예비고2인데 유형서는 쎈이 나을까요 쎈b가 나을까요?쎈에있는...
떳다
오랫만이야
안녕하세요
뭐하느라 안 옴?
게임하다가 이거만드느라고요
무슨게임함?
트릭컬요
그게무슨게임임?
폰게임인데 플레이어가 교주고 캐릭터가 사도인데 이 사도로 팀을짜서 던전을 깨는 게임임
재밌겠네
님 ㄹㅇ 바쁜가
하나도 안바쁨
트릭컬 좋습니다.
와오랜만
님 아이디가 왜 우엉이에요
어덯게아셧지 ㄷㄷ
세상에 온 우주를 뒤집어놓을 프로그램이다
돌려까기 ㅋㅋ
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 해결했어요 << 부적절