컴퓨터 과학

내가 이해하는 교회 숫자 같은 외모 (... n 번 ...) . "기능 이상이 수단 아무것도 인가 함수 배 ". λ s . λ z . 의 의씨엔cnc_nλ s . λ z. 에스λs.λz.s\lambda s. \lambda z. ss n z에스지szs\;z에스ss엔nn지zz 함수 의 가능한 정의는 다음과 같습니다. . 본문을 보면 함수의 논리를 이해합니다. …

10 lambda-calculus  church-numerals 

특정 변수의 값을 변경하는 데 비용이 많이 드는 CSP 모델을 고려하십시오. 목적 함수가 검색 프로세스 중 변수 값의 변경 횟수를 고려하는 작업이 있습니까? 예 : 변경 비용이 많이 드는 변수가 다른 에이전트를 제어하고있을 수 있으며 해당 에이전트가 변수를 변경하도록하는 데 약간의 오버 헤드가 있습니다. 또 다른 예 : 변수가 제약 …

10 algorithms  constraint-programming 

정수 주어 다른 정수의 트리플렛과 집합 S ⊆ { ( I , J , K ) | 1 ≤ I , J , K ≤ N , I ≠ J , J ≠ K , 내가 ≠ k는 } , 이는 어느 알고리즘을 찾을 순열 발견 π 세트의 { 1 …

10 algorithms  optimization  scheduling 

Whitted ray 추적 프로그램에서 각 광선-객체 교차점은 투과 된 광선 (물체가 반투명 한 경우), 반사 광선 및 그림자 광선을 생성합니다. 그림자 광선은 직접 조명 구성 요소에 기여합니다. 그러나 그림자 광선이 투명한 물체와 교차하면 어떻게됩니까? 직접 조명 구성 요소가 무시됩니까? 그림자 광선으로부터 직접적인 빛의 기여를 얻지 못하면 물에 잠긴 확산 물체는 …

10 graphics 

다음과 같은 알고리즘 문제가 있습니다. Watson-Crick 회 문인 DNA 문자열 인식의 공간 튜링 복잡도를 결정합니다. Watson-Crick 회문은 역 보체가 원래 문자열 인 문자열입니다. 보완 DNA 영감 문자 와이즈 정의된다 : A는 T의 보수이며, C는 ACGT WC-회문위한 G. 간단한 예를 보완한다. 나는 이것을 해결하는 두 가지 방법을 생각해 냈습니다. 하나는 공간이 …

10 algorithms  algorithm-analysis  turing-machines  space-complexity 

궁금해. OCaml 에서이 데이터 유형을 연구하고 있습니다 . type 'a exptree = | Epsilon | Delta of 'a exptree * 'a exptree | Omicron of 'a | Iota of 'a exptree exptree 명시 적으로 형식화 된 재귀 함수 (최근에 추가 된 기능)를 사용하여 조작 할 수 있습니다. 예: let rec …

10 logic  programming-languages  coq  inductive-datatypes 

코딩 이론에서 '코드가 얼마나 좋은가'는 코드가 처리 할 수있는 최대 노이즈 레벨을 수정하거나 더 잘 설명 할 수있는 채널 오류 수를 의미합니다. 더 나은 코드를 얻기 위해 이진 코드가 아닌 큰 알파벳을 사용하여 코드를 설계합니다. 그리고 잘못된 코드 "심볼"을 처리 할 수 ​​있다면 코드가 좋습니다. 왜 부정 행위를 고려하지 않습니까? …

10 information-theory  coding-theory 

하자 단말기들의 집합 일부 문맥 자유 문법의 비 - 터미널 심볼의 세트 .N GΣΣ\SigmaNNNGGG I는 캐릭터가 말 되도록 및 의 형태이다 sentential . x a y ∈ S ( G ) x , y ∈ ( Σ ∪ N ) ∗ S ( G ) Ga∈(Σ∪N)+a∈(Σ∪N)+a \in (\Sigma \cup N)^+xay∈S(G)xay∈S(G)x …

10 algorithms  context-free  formal-grammars  compilers 

자, 여기 계산 이론 수업에서 지난 테스트의 질문이 있습니다. TM에서 쓸모없는 상태는 입력 문자열에 입력되지 않은 상태입니다. 하자 을 결정할 수 없음을 증명하십시오 .USELESSTM={⟨M,q⟩∣q is a useless state in M}.유에스이자형엘이자형에스에스티미디엄={⟨미디엄,큐⟩∣큐 쓸모없는 상태입니다 미디엄}.\mathrm{USELESS}_{\mathrm{TM}} = \{\langle M, q \rangle \mid q \text{ is a useless state in }M\}.USELESSTM유에스이자형엘이자형에스에스티미디엄\mathrm{USELESS}_{\mathrm{TM}} 나는 대답이 있다고 …

10 computability  undecidability  formal-methods  turing-machines 

다음과 같은 재발의 다음 증거로 무엇이 잘못되었는지 이해하려고합니다. 티( n ) = 2티( ⌊ n2⌋ ) +nT(n)=2T(⌊n2⌋)+n T(n) = 2\,T\!\left(\left\lfloor\frac{n}{2}\right\rfloor\right)+n 티( n ) ≤ 2 ( c ⌊ n2⌋ ) +n≤cn+n=n(c+1)=O(n)T(n)≤2(c⌊n2⌋)+n≤cn+n=n(c+1)=O(n) T(n) \leq 2\left(c\left\lfloor\frac{n}{2}\right\rfloor\right)+n \leq cn+n = n(c+1) =O(n) 설명서에 유도 귀무 가설 때문에 잘못 되었다고 나와 있습니다.티( N ) …

10 algorithms  landau-notation  asymptotics  recurrence-relation 

현재로서는이 질문이 Q & A 형식에 적합하지 않습니다. 답변, 사실, 참고 자료 또는 전문 지식을 통해 답변이 뒷받침 될 것으로 예상되지만이 질문은 토론, 논쟁, 여론 조사 또는 광범위한 토론을 요구할 것입니다. 이 질문을 개선하고 다시 열 수 있다고 생각 되면 도움말 센터 를 방문하여 안내를 받으십시오 . 휴일 팔년 전에 …

10 education 

에서 안정 매칭 문제 , 경우가 존재할 수 있음을 언급한다 사람의 목록이 자신의 결정에 만족을 할 수 있습니다, 아직 목록 (F)는 알고리즘은 남성의 제안과 실행 할 수 없을 때.mmmfff 내가 읽은 내용에서 과 f 가 현재 파트너보다 서로를 선호 하면 불안정한 일치가 발생합니다 .mmmfff 이 경우 안정적인 일치의 정의에서 약간 …

10 combinatorics 

2 단계 스케줄링 은 시스템이 RAM에 비해 많은 프로세스를 실행하는 경우에 유용합니다. 하위 레벨 스케줄러는 상주 프로세스 간을 전환하고 상위 레벨 스케줄러는 프로세스 그룹을 송수신합니다. Andrew Tanenbaum의 운영 체제 : 디자인 및 구현 에서 2 단계 스케줄링에 대한 다른 언급은 없습니다 . 연습 2.22는 2 단계 스케줄링이 사용되는 이유를 묻습니다. …

10 operating-systems  process-scheduling 

쓰기 ˉ Nn¯\bar n 의 진수 확장을위한 Nnn (아니오 선도 0). 하자 을aa 하고 b를bb 가진 정수, 수 > 0 . 의 배수의 진 확장의 언어 고려 플러스 상수를 :a>0a > 0aa M = { ¯ ax + b ∣x∈N}M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} 가 M은MM 일반? 문맥이 …

10 formal-languages  context-free  regular-languages  integers 

컴퓨터 네트워킹 및 고성능 클러스터 컴퓨터 설계에서 네트워크 토폴로지는 통신 네트워크를 형성하기 위해 링크로 노드를 연결하는 방식의 설계를 말합니다. 일반적인 네트워크 토폴로지에는 메시, 원환 체, 링, 별, 나무 등이 포함됩니다. 이러한 토폴로지는 예상 성능과 관련된 속성을 결정하기 위해 분석적으로 연구 할 수 있습니다. 이러한 특성에는 직경 (노드 쌍이 통신하는 경우 …

10 computer-networks  network-topology