전제를 참으로 만드는 변수값을 찾는 프로그램
게시글 주소: https://orbi.kr/00069586958
클로드 무료버전으로 만듬
명제논리의 기본적인 기호를 사용함
->,and,or,not,괄호,변수,변수값T,F
이걸로 논리식과 변수값을 전제로 입력하면
전제를 참으로 만드는 변수값을 알려줌
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
내가 묻잖니
-
독서 연계공부를 하나도 안하고 오르비북스에서 간단정리된거만 봤는데 총정리과제 독서...
-
국어 질문 0
국어 지문이 어렵게 나오면 그냥저냥 푸는것같은데 문제가 어렵게 나오면 진짜 우수수 틀리는데 팁좀..
-
제도와 문화 아닐까 개인에게 변화를 촉구하기 보다는 정치인이 사회를 바꾸어야 한다고...
-
백분위 92 전후로 가능?
-
상상 문학 4
평가원이랑 다른 사설 문학은 진짜 많아봤자 1개 틀리는데 상상만 풀면 문학에서만...
-
김승모 1회에서 3
완전 망치긴 했는데 되게 이상한게 문학에서는 보기문제만 틀리고 화작도 사설실모...
-
물리 고수분들 9
재수 결정한 물리 노베입니다 유명한 선생님들 ot다 봤는데 결정을 못 내겠네요ㅠ...
-
2회독?? + 영어 기출집은 그냥 마더텅쓰면 되나요
-
-
사탐런 꿀과목 추천좀요 11
장난 말고요 ㅠㅠ 사문빼고
-
4년전오르비 2
2020년1월의 오르비:)틀딱력 흐흐
-
킬캠은 보통 백분위 몇인 애들이 몇 가려고 푸는 건가요. + 2후반에서 높2 목표로...
-
본인은 독서실이 귀에 익은데 틀임?
-
신승범 메가시절
-
제재별 몇분 쓰길래 그게 가능하지
-
43~45 애가 신발닦고 목걸이 훔친범인찾는 스토리인데 이거 실모칠때 똑같은거...
-
뭐있음
-
이감처럼 헷갈리는 부분만 골라서 낚시하면 모고 1개에서 3개씩도 나가는데 이정도면...
-
이거 가능한 일임?상위권도 아닌데?
떳다
오랫만이야
안녕하세요
뭐하느라 안 옴?
게임하다가 이거만드느라고요
무슨게임함?
트릭컬요
그게무슨게임임?
폰게임인데 플레이어가 교주고 캐릭터가 사도인데 이 사도로 팀을짜서 던전을 깨는 게임임
재밌겠네
님 ㄹㅇ 바쁜가
하나도 안바쁨
트릭컬 좋습니다.
와오랜만
님 아이디가 왜 우엉이에요
어덯게아셧지 ㄷㄷ
세상에 온 우주를 뒤집어놓을 프로그램이다
돌려까기 ㅋㅋ
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 해결했어요 << 부적절