4자리 비트와 규칙 3개가 있습니다.
각 자리의 비트는 0또는 1 값을 가질 수 있습니다. 아래 규칙에서 *은 0 또는 1 아무 값을 의미합니다.
규칙1: 11** -> 1
규칙2: 0*1* -> 1
규칙3: *0*1 -> 1
문제: **11 -> 1인가?
이 논리압축문제를 풀 수 있는 알고리즘이나 밀접하게 관련된 구체적인 분야좀 알려주실 수 있을까요ㅠ
정확하게는 저 문제를 단순히 check하는 게 아니라 규칙1,2,3으로부터 새로운 규칙 **11->1을 유도하는 알고리즘을 짜야하는데 관련 자료를 찾는게 너무 어렵네요..
**11로 가능한게 0011 0111 1011 1111 네개밖에 없는데
네네 이 문제 답구하는건 아주 심플한데 알고리즘을 만들고싶어서요
풀이 말고 뭐 관련된 내용이나 그런 건 잘 몰?루
뭘 원하는거지 그냥 4x4 행렬 만들어서 빈칸에 각 코드에 맞게 1만 넣어주면 되잖아
규칙 1,2,3으로부터 저 문제의 새 규칙처럼 파생될 수 있는 모든 규칙을 구하는 게 목적입니다
문제를 이해 못하겠는데 원문을 가져오셈
그냥 생각하고있는거라 원문이 없어요ㅠ
각 자리수마다 기호 하나씩 할당하면 coq이나 lean으로 구현되는거 아닌가
감사합니다 증명보조기 쪽을 파봐야겠네요ㅠㅠ
내 멋대로 규칙 1, 2, 3 의 결론이 -> 0이라고 생각하고, 각 4개의 비트에 x, y, z, w를 대응시키면 각각의 규칙은 유한체 F_2 위의 방정식 (x-1)(y-1)=0, x(z-1)=0, y(w-1)=0 이 됨. 규칙 4에 해당하는 다항식 (z-1)(w-1)이 규칙 1~3에 해당하는 다항식으로 생성된 아이디얼의 원소인지를 보면 될거같은데..
감사합니다. 정말 briliant한 접근인것같습니다!!
(x-1)(y-1)은 x=1 and y=1과 대응되는건가요?
위에 좀 잘못 적었는데, 방정식의 해와 조건을 대응시키려 하는거니 x=1 and y=1을 표현하려면 아이디얼 <x-1, y-1>을 대응시켜야 할 듯. (x-1)(y-1)은 x=1 or y=1에 대응하고...
형식언어?
글만 보면 정규표현식같음
https://gall.dcinside.com/mgallery/board/view/?id=github&no=59190
와 정말 감사합니다. 그런데 람다프롤로그 어떻게 입문해야 좋을까요.!.? 많이 생소하네요ㅠ
Programming with Higher-Order Logic 이 책 읽으면 되는데, 저건 프롤로그로(Prolog)만으로도 됨. 참고로 인터프리터한테 저 쿼리를 날리면 인터프리터의 응답은 no임. 먼저 논리형 프로그래밍 언어라는 개념부터 찾아봐.
헠 감사합니다ㅠㅠ