에서 알려진 문제가있는 (그리고에 없음) 완료? 내 이해는 이것이 사실 인 경우 현재 알려진 문제는 없지만 가능성으로 배제되지 않았다는 것입니다. NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP} 인 문제가있는 경우 (그리고 \ mathsf {P} )하지만 \ mathsf {당기 순이익 \ 텍스트 {-} 전체가} , 이것은 그 문제의 인스턴스와 사이에 존재하는 동형의 결과 일 것이다 \ mathsf …
Dijkstra는 그의 논문 에서 실제로 컴퓨팅 과학을 가르치는 잔인함에 대해 다음과 같은 입문 프로그래밍 과정을 제안합니다. 한편으로, 우리는 술어 미적분학처럼 보이는 것을 가르치지 만 철학자와는 매우 다르게 행동합니다. 해석되지 않은 공식의 조작에서 초보자 프로그래머를 훈련시키기 위해 논리 대수의 모든 대수적 특성에 대해 학생들에게 친숙하게 부울 대수로 가르칩니다. 직감에 대한 링크를 …
Turing-complete가 무엇인지에 대한 대부분의 정의는 어느 정도 팽팽한 것으로 보입니다. 예를 들어 Google에서 "Turing complete의 의미는 무엇입니까?" 컴퓨터가 튜링 기계가 할 수있는 문제를 해결할 수 있다면 튜링 완료입니다 ... 다른 시스템이 튜링 완료인지 여부는 잘 정의되어 있지만 튜링 완료의 의미 / 결과가 무엇인지에 대한 설명은 보지 못했습니다. 튜링 머신은 튜링 …
그녀의 1987 년 논문 인 Dana Angluin은 멤버십 쿼리와 이론 쿼리 (대표 예에서 제안 된 DFA까지)에서 DFA를 학습하기위한 다항식 시간 알고리즘을 제시합니다. 그녀는 상태 의 최소 DFA를 배우려고 시도하고 가장 큰 countexample의 길이가 m 인 경우 O ( m n 2 ) 멤버쉽 쿼리를 작성하고 최대 n - 1 개를 …
있다 쓰레기통과 공의 유형. 번째 빈 라벨 갖는다 에 대해 ,이 타입의 볼의 예상 번호 .nnnmmmiiiai,jai,ja_{i,j}1≤j≤m1≤j≤m1\leq j\leq mjjj 유형의 볼로 시작 합니다. 유형의 각 볼 은 가중치 를 가지며 bin 가 가중치 볼을 빈에 . 이전 상태를 유지하는 볼의 분포를 실현 가능한 솔루션이라고합니다.bjbjb_jjjjjjjwjwjw_jiiicicic_i bin 유형의 공이 있는 실행 가능한 솔루션을 …
각 항목을 임의로 선택한 다른 항목으로 교체하여 배열을 섞는이 '순진한'알고리즘이 올바르게 작동하지 않는 것으로 잘 알려져 있습니다. for (i=0..n-1) swap(A[i], A[random(n)]); 구체적으로, n 개의nn 반복 마다, n 개의nn 선택 중 하나 가 (균일 한 확률로) 이루어 지므로 , 계산을 통해 n 개의nnn^n 가능한 '경로' 가 존재 한다; 가능한 순열의 개수 …
편집 : 이제 카테고리와 세트의 차이점에 대해 비슷한 질문을했습니다. 이 세트 이론과 어떻게 다른지 나는 (인정 하듯이 오히려 비공식) 유형 이론에 대해 읽어 때마다, 난 정말 이해할 수없는 구체적으로 . "x는 세트 X에 속한다"와 "x는 X 타입이다"라는 개념적인 차이가 있음을 이해합니다. 왜냐하면 직관적으로 세트는 객체의 모음 일 뿐이고 유형에는 특정 …
오늘 우리는 이진 검색을 사용하여 정렬 된 배열에서 요소를 찾기위한 매우 간단한 알고리즘을 강의에서 논의했습니다 . nnn 요소 배열에 대한 점근 적 복잡성을 결정하라는 요청을 받았습니다 . 내 생각은 log 2 n 이 최악의 경우 작업 수 이기 때문에 분명히 O(logn)O(logn)O(\log n) 또는 O(log2n)O(log2n)O(\log_2 n) 가 더 구체적이라는 것 입니다. …
이 질문이 바보처럼 들리면 미리 죄송합니다 ... 내가 아는 한 동적 프로그래밍을 사용하여 알고리즘을 작성하면 다음과 같이 작동합니다. 문제를 재발 관계로 표현하십시오. 메모 또는 상향식 접근을 통해 반복 관계를 구현합니다. 내가 아는 한, 나는 동적 프로그래밍에 관한 모든 것을 말했다. 동적 프로그래밍은 재귀 관계를 표현하거나 코드로 변환하기위한 도구 / 규칙 …
수업 시간에 한 학생이 모든 유한 한 오토마타가 가장자리를 넘지 않고 그릴 수 있는지 물었습니다 (모든 예제가 그랬던 것처럼 보입니다). 물론 대답은 부정적이다. 언어에 대한 명백한 자동화는 {x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}{x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}\{\; x\in\{a,b\}^* \mid \#_a(x)+2\#_b(x) \equiv 0 \mod 5 \;\} 는 5 개의 노드에 대한 완전한 그래프 인 K5K5K_5 의 구조를 갖습니다 . . …
나는 CS 학생조차 아니기 때문에 이것은 멍청한 질문 일지 모르지만 나와 함께 견뎌주십시오 ... 컴퓨터 이전 시대에는 서랍 배열과 같은 배열 데이터 구조 만 구현할 수 있습니다. 값을 추출하기 전에 해당 색인이있는 드로어를 찾아야하므로 배열 검색의 시간 복잡도는 이진 검색을 가정하는 입니다.O(log(n))O(log(n))O(log(n)) 그러나 컴퓨터의 발명은 큰 차이를 만들었습니다. 최신 컴퓨터는 …
나는 Iota와 Jot 에 대해 읽고 있었고이 섹션이 혼란 스럽다는 것을 알았습니다. 문자열의 구문 트리가 왼쪽 또는 오른쪽으로 분기 될 수있는 Iota와 달리 Jot 구문은 균일하게 왼쪽 분기됩니다. 결과적으로, Iota는 엄격하게 컨텍스트가 없지만 Jot는 일반 언어입니다. 내 이해는 Iota와 Jot이 모두 Turing이라는 것입니다. 그러나 분명히 하나는 맥락이 없으며 다른 하나는 …