나는 Ken Thompson의 고전적인 논문 Reflections on Trusting Trust을 읽으면서 사용자가 자신의 주장에 대한 소개로 Quine을 작성하게합니다 (적극 권장합니다). quine은 입력을 취하지 않고 자체 소스 코드의 복사본을 유일한 출력으로 생성하는 컴퓨터 프로그램입니다. 순진 접근 방식은 단순히 말하고 싶은 것입니다 : 빨리 p
튜링 기계 M1, M2, M3이 있다고 가정하면 L (M1), L (M2) 및 L (M3)이라는 인식의 언어가 있다고 가정 해보십시오. 다음과 같은 언어 L = {(M1, M2, M3) : L (M1), L (M2) 및 L (M3)이 같지 않음} 언어가 결정 가능한가? 재귀 적으로 열거 가능합니까? 아니면 둘 다? 하자 M M 내가
이것은 내가 코스를 위해 풀어 낸 문제이며, 나의 해답이 정확한지 궁금해하고있었습니다. 나는 일반적으로 순수한 수학 문제를 게시하지 않을 것이다. 단, 나는 그것이 계산 불가능하고 따라서 컴퓨터 과학 문제라고 생각한다. = P (Theta2 | S) = 96 % P (하지 Theta1 |되지 S | P (S Theta1) % P (S) = 10 : 님 주어
NPO의 정의를 이해하려고합니다. http://www.nada.kth.se/~viggo/wwwcompendium/node2.html 우리는 최소한의 정점 커버를 찾기 위해 노력을 고려하면, 나는 졸 (x)와 m 무엇 : 나는 여기에 정의를 읽어? 당신은 내가이 minimal vertex cover에 대한 해석이라고 생각 게시 된 링크에 의해 판단
: 문제 H는 H (즉, L에 ≤ 된 TH)까지 다항식 시간 튜링 환원성 인 NP 완전 문제 L가있는 경우에만, NP-어렵다. 왜 문제가 (NP라고도 부름) NP 완성이 필요합니까? 왜 그것은 NP 하드가 아닌가? 그것은 당신이 W에 대해 신경 쓰지 않는 것처럼 보입니다. 생각하십니까?
리 폴링 파싱 기능에는 제한이 있습니까? 전체 css2/css 3 스펙을 파싱 할 수 있습니까? 아니면 일부 규칙을 형성하기 위해 이론적으로 불가능할 수 있습니까? 다음 업데이트 HostileFork 답변 : 나는 정규식에서 오히려 불가능하다고 생각합니다. 훨씬 더 강력합니다. 만약 그렇다면 html5와 호환되는 rebol vid로 브라우저를 빌드 할 수