전제를 참으로 만드는 변수값을 찾는 프로그램
게시글 주소: https://orbi.kr/00069586958
클로드 무료버전으로 만듬
명제논리의 기본적인 기호를 사용함
->,and,or,not,괄호,변수,변수값T,F
이걸로 논리식과 변수값을 전제로 입력하면
전제를 참으로 만드는 변수값을 알려줌
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
배경지식이랑 국어 11
배경지식이 글 읽는데 도움이 된다는건 독서론에서 많이 나온 얘기인데 얼마나 공부를...
-
패턴이 수험생활 처음으로 돌아감,,,,, 빈둥빈둥 걱정만하다가 오후4시쯤 정신차림요
-
수능 난이도 예측 <- 이게 지금 수능판에서 제일 의미 없는 짓인듯 그냥 계속...
-
이 비루한 몸을 혹사
-
내가 ㅈ된 이유 4
오늘이 지나면 딱 3주 남기 때문
-
문학은 경험 늘리는게 무엇보다 중요함 그리고 찬우 방법론이 맞음 수능의 본질은...
-
대체로 1컷에서 2중반까지 나오는 편 입니다 이감은 다 풀어서 제외하고 추천해주시면 감사하겠습니다!
-
오늘본 실모들 6
둘다 찍맞없음 사설만 잘보는듯….. 수능때도 이렇게 나와야할텐데
-
건대에 삼수해서 입학한분 많아여?
-
ㅆㅅㅌㅊ 얘덕에 한 안정45이상은 나오는듯 좀만 더하면 만점권 갈거같네용
-
원래국어하나였는데점점늘어났다죠
-
간략하게 써보자면 작년에 국어공부안하고 자만하다가 작수에서 3등급 처음 받고...
-
국어 90 수학 80 영어 72 생 38 지 33 ㅠㅠ 아주대는 갈 수 있겠죠…..?
-
중심원자에 비공유전자쌍 없고 양쪽 대칭인 직선형 구조인데 왜 극성 용매임..?
떳다
오랫만이야
안녕하세요
뭐하느라 안 옴?
게임하다가 이거만드느라고요
무슨게임함?
트릭컬요
그게무슨게임임?
폰게임인데 플레이어가 교주고 캐릭터가 사도인데 이 사도로 팀을짜서 던전을 깨는 게임임
재밌겠네
님 ㄹㅇ 바쁜가
하나도 안바쁨
트릭컬 좋습니다.
와오랜만
님 아이디가 왜 우엉이에요
어덯게아셧지 ㄷㄷ
세상에 온 우주를 뒤집어놓을 프로그램이다
돌려까기 ㅋㅋ
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 해결했어요 << 부적절