나는 최근 알고리즘 인터뷰 에서이 문제를 물었고 해결하지 못했습니다. 두 개의 값 N과 M이 주어지면 순열의 숫자와 순열의 위치 사이의 절대 차이가 M과 같지 않도록 길이 N의 순열 수 (1에서 N까지의 숫자 사용)를 계산해야합니다. 예-N = 3이고 M = 1 인 경우 1 2 3 및 3 2 1은 유효한 …
대학에 튜토리얼 세션이 있다고 가정합니다. 우리는 kkk 질문 Q={q1…qk}Q={q1…qk}Q = \{ q_1 \ldots q_k \} 와 nnn 명의 학생 S={s1…sn}S={s1…sn}S = \{ s_1 \ldots s_n \} 있습니다. 각 학생은 각 학생의 질문, 즉의 특정 부분 집합에 의심의 여지가 sjsjs_j ,하자 Qj⊆QQj⊆QQ_j \subseteq Q 학생이 의심을 가지고 질문을 설정합니다. 한다고 가정 …
현재 공식 언어 및 오토마타 과정에 배정되는 동안, 나는 단항 언어 (올바른 용어), 즉 한 글자로 된 언어와 관련된 연습에 갇혀있었습니다. 특정 운동에 대해 묻고 싶지 않지만 오히려 더 일반적인 추측에 대해 묻습니다. 하자 와 . 내 추측은 :Σ={a}Σ={a}\Sigma=\{a\}L={af(n)∈Σ∗:n∈N0}L={af(n)∈Σ∗:n∈N0}L=\{a^{f(n)}\in\Sigma^*:n\in\mathbb N_0\} L is regular⇔∃x,y∈N0:f( n)=x⋅n+yL is regular⇔∃x,y∈N0:f(n)=엑스⋅엔+와이L\text{ is regular}\Leftrightarrow \exists x,y\in\mathbb …
나는 공식 언어와 생산 기반 시스템 (규칙 기반 시스템)을 공부하고 있는데 왜이 두 단어 "생산"과 "규칙"이 컴퓨터 과학의 많은 맥락에서 같은 의미를 갖는지에 대해 약간 혼란스러워합니다. 영어로 그들은 같은 것을 의미하지 않는 것 같습니다. 나는 영어를 모국어로 사용하는 사람은 아니지만, 규칙은 사람들에 대해 이야기 할 때하지 말아야 할 일이나하지 말아야 …
나는 증거에 대해 생각하고 흥미로운 관찰에 부딪쳤다. 따라서 증명은 Curry-Howard Isomorphism을 통한 프로그램과 동일하며 원형 증명은 무한 재귀에 해당합니다. 그러나 우리는 중단 문제에서 일반적인 테스트에서 임의의 프로그램이 영원히 반복되는지 여부를 결정할 수 없다는 것을 알고 있습니다. Curry-Howard에 따르면, 증거가 순환 추론을 사용하는지 여부를 결정할 수있는 "증거 검사기"가 없다는 의미입니까? 필자는 …
내가 변환하는 일반적인 방법을 발견 한 것 같습니다 어떤 꼬리 재귀에 재귀 절차를 : 추가 "result"매개 변수를 사용하여 헬퍼 서브 프로 시저를 정의하십시오. 프로 시저의 리턴 값에 적용될 항목을 해당 매개 변수에 적용하십시오. 시작하려면이 도우미 절차를 호출하십시오. "result"매개 변수의 초기 값은 재귀 프로세스의 종료점에 대한 값이므로 재귀 프로세스가 축소되기 시작하는 …
프로그래밍 언어 이론을 진정으로 이해하기 위해 범주 이론을 배워야하는 방법에 대해 계속 듣고 있습니다. 지금까지 나는 범주 영역으로 들어 가지 않고 많은 PL을 배웠습니다. 그러나, 내가 잃어버린 것을보기 위해 도약 할 시간이라고 생각했습니다. 불행히도, 내가 찾을 수있는 소스 중 어느 것도 유형 시스템이나 프로그래밍에 연결되지 않는 것 같습니다. 그들은 말 …
강사가 진술했다 유한 문제는 NP-Complete 일 수 없습니다 그는 당시 스도쿠에 대해 이야기하면서 8x8 스도쿠의 경우 유한 솔루션 세트가 있지만 그가 말한 것을 정확하게 기억할 수는 없다고 말합니다. 나는 인용했지만 여전히 이해하지 못한다는 메모를 작성했습니다. 내가 실수하지 않으면 스도쿠는 NP 완성입니다. 진부한 문제는 NP-Complete이며 4-Clique 문제가있는 경우 NP-Complete라는 유한 한 …
콤비 네이터 표현식 (SK 기반으로 말하면)은 콤비 네이터 미적분 표현식을 콤비 네이터 미적분 표현식에 매핑하는 함수로 생각할 수 있습니다. 즉, 표현식 를 함수 X : L → L 로 생각할 수 있습니다 . 여기서 L 은 SK 기반의 구문 상 유효한 모든 결합기 표현식 세트입니다. 이 매핑은 입력을 식에 적용한 …