전제를 참으로 만드는 변수값을 찾는 프로그램
게시글 주소: https://orbi.kr/00069586958
클로드 무료버전으로 만듬
명제논리의 기본적인 기호를 사용함
->,and,or,not,괄호,변수,변수값T,F
이걸로 논리식과 변수값을 전제로 입력하면
전제를 참으로 만드는 변수값을 알려줌
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
난이도 예측 특 0
그럴싸해 보이지만 따져보면 맞는 말이 하나도 없는 근거들로 본인들 희망사항을 적어놓음
-
연습) 1-3번 아동의 독서와 심리 성장 발달 모형 뭐냐? 1
왜 사회과학 지문이 있냐?
-
내일 볼까싶은데 ㅊㅊ?
-
추워서 발에도 핫팩 붙이고 갔었는데 올해는 왤케 따뜻함ㅋㅋ
-
올해 가자 1
내년 수능 보면 생일선물로 수능시험지 받아야 한다 ㅋㅋ
-
오늘 그동안 푼 모고 버리면서 기분이 이상함.. 뭔가뭔가임
-
3D로 본다!
-
하이 2
반가워용
-
그리고 감각적 직관으로 국어연계 예측공부 할거임
-
연계 안될거 같다는데 어떨지 과연
-
진짜 수능장에선 5
“유보하기” <— 존나 중요함 문학도 무한 유보하면 답 나옴
-
이승에서저승으로공간전환
-
개 뜬금없긴한데 4
내일 외계인한테 납치당해서 두뇌개조된 다음 초초고능아 돼서 수능 만점 받을거 같음 아님 말고
-
이건 누구고름? 1
위. 찐따.에서 개과천선 씹알파남 아래. 금수저.이상성욕.씹알파남.
-
다들 힘내자 1
이틀만 버티고 모두 좋은 결과 내기를
-
ㄷㄷ
-
한번호로 찍는거랑 문제마다 다르게 찍는 것중 뭐가 나을까요?
-
ㅏ랑 ㅣ 헷갈려
-
걍 우주상향 질렀는데 미친 ㅅㅂ 최저 2합4네요 ㄷㄷ.. 오르비언들도 수능 화이팅!
떳다
오랫만이야
안녕하세요
뭐하느라 안 옴?
게임하다가 이거만드느라고요
무슨게임함?
트릭컬요
그게무슨게임임?
폰게임인데 플레이어가 교주고 캐릭터가 사도인데 이 사도로 팀을짜서 던전을 깨는 게임임
재밌겠네
님 ㄹㅇ 바쁜가
하나도 안바쁨
트릭컬 좋습니다.
와오랜만
님 아이디가 왜 우엉이에요
어덯게아셧지 ㄷㄷ
세상에 온 우주를 뒤집어놓을 프로그램이다
돌려까기 ㅋㅋ
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 해결했어요 << 부적절