컴퓨터 과학

이것은 Udi Manber의 책에서 숙제 질문입니다. 어떤 힌트라도 좋을 것입니다 :) 나는 그것을 보여 주어야한다 : n ( 로그삼( n ) )5= O ( n1.2)n(log3⁡(n))5=O(n1.2)n(\log_3(n))^5 = O(n^{1.2}) 나는 책의 정리 3.1을 사용해 보았습니다. c > 0 a > 1에프( n )씨= O (에프( n ))f(n)c=O(af(n))f(n)^c = O(a^{f(n)}) ( , )c …

11 asymptotics  landau-notation  mathematical-analysis 

Fibonnaci 힙 다음과 같은 작업을 지원합니다 : insert(key, data) : 데이터 구조에 새로운 요소를 추가 find-min() : 최소 키를 가진 요소에 대한 포인터를 반환 delete-min() : 최소 키로 요소를 제거합니다 delete(node) :가 가리키는 요소를 삭제합니다. node decrease-key(node) :가 가리키는 요소의 키를 줄입니다. node 이외의 모든 삭제 작업은 (상각) 시간 및 …

11 data-structures  priority-queues 

이것은 스택 검사에 대한 다른 고급 질문의 전조 입니다. 스택 검사는 서로 다른 신뢰 수준을 가진 위치에서 발생하는 코드 실행을 처리하기 위해 JVM에 도입 된 보안 메커니즘입니다. 이것은 기능에 대한 간단한 설명을 찾는 것을 목표로합니다. 그래서: 스택 검사는 어떻게 작동합니까?

11 terminology  security  stack-inspection 

나는 한동안 머리를 부딪친 숙제를 받았으며 어떤 힌트라도 감사하겠습니다. NP- 완전성이 입증 된 알려진 문제를 선택하고 그 문제에서 다음 문제로의 축소를 구성하는 것을 DGD (지정 그래프 진단)라고합니다. 문제 DGD 의 인스턴스는 꼭짓점 , 지정 모서리 및 양의 정수 됩니다. 세 가지 유형의 꼭지점이 있습니다 : 들어오는 모서리 만있는 꼭지점, 나가는 …

11 complexity-theory  np-hard  graph-theory 

심플 렉스 알고리즘은 선형 프로그래밍 문제에 대한 최적의 솔루션을 찾기 위해 폴리 토프 모서리에 탐욕스럽게 따라갑니다. 결과적으로 답은 항상 폴리 토프의 모서리입니다. 내부 점 방법은 폴리 토프 내부를 걷습니다. 결과적으로, 폴리 토프의 전체 평면이 최적 일 때 (목적 함수가 평면과 정확히 평행 한 경우)이 평면의 중간에 솔루션을 얻을 수 있습니다. …

11 algorithms  optimization  linear-programming 

나는 현재 람다 미적분학을 배우고 있으며 람다 용어를 쓰는 다음 두 가지 다른 종류의 궁금합니다. λ x y. x yλxy.xy\lambda xy.xy λ x . λ y. x yλx.λy.xy\lambda x.\lambda y.xy 베타 축소를 적용하는 의미 나 방법에 차이가 있습니까, 아니면 같은 것을 표현하는 두 가지 방법입니까? 특히 페어 생성에 대한이 정의는 …

11 logic  lambda-calculus 

올바르게 이해하면 NFA는 정규 표현식과 동일한 표현력을 갖습니다. 종종 NFA에서 동등한 정규 표현식을 읽는 것이 쉽습니다.주기를 별, 접합점으로 대체 등으로 변환합니다. 그러나이 경우에해야 할 일 : [ 출처 ] 사이클이 겹치면이 오토 마톤이 무엇을 받아들이는지 (정규 표현으로)보기가 어렵습니다. 트릭이 있습니까?

11 algorithms  formal-languages  finite-automata  regular-expressions 

재 작성 시스템은 형식의 규칙 집합입니다 . 우리는 문자열에 해당 규칙을 적용하면 우리는 어떤 문자열 대체 에 하위 문자열과 B 반대 및 부사장.A↔BA↔BA \leftrightarrow BwwwAAAwwwBBB 시작 문자열 AAABBAAABBAAABB 가 주어지면 다음 규칙을 사용하여 시스템에서 BAABBAABBAAB 를 파생시킬 수 있습니다 . A↔BAA↔BAA \leftrightarrow BA BABA↔AABBBABA↔AABBBABA \leftrightarrow AABB AAA↔ABAAA↔ABAAA \leftrightarrow AB BA↔ABBA↔ABBA …

11 computability  term-rewriting 

에 일련의 숫자가 있는지 어떻게 알 수 있습니까? ππ\pi다음과 같은 무고한 변형이 계산 가능한지 묻도록 영감을주었습니다. f(n)={10if n¯ occurs in the decimal representation of πotherwisef(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) = \begin{cases} 1 & \text{if \(\bar n\) occurs in the decimal representation of \(\pi\)} \\ 0 & …

11 computability  real-numbers 

다음 언어가 있습니다 {0i1제이2케이∣ 0 ≤ i ≤ j ≤ k }{0나는1제이2케이∣0≤나는≤제이≤케이}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} 어떤 Chomsky 언어 클래스가 적합한 지 결정하려고합니다. 상황에 맞는 문법을 사용하여 어떻게 만들 수 있는지 알 수 있으므로 상황에 맞는 것이 거의 없습니다. 문맥이없는 문법으로는 불가능할 것 …

11 formal-languages  context-free  formal-grammars  pumping-lemma 

음료 디스펜서 (동전을 삽입하는 사용자가 필요합니다 :) 세 개의 버튼의 다음 보도 한 ˉ D의 차 차 한 잔 요청하는 전자 차 , 커피 저두 요, 그리고 ˉ r은 환불을 요청하는 (즉, 기계가 다시 제공 동전 : ˉ b ). 이 디스펜서는 다음 CCS 프로세스 로 모델링 할 수 있습니다 …

11 logic  concurrency  modelling  process-algebras  ccs 

이것은 계산인지 과학과 관련이 있을지 모르지만, 일반적인 경로 찾기 알고리즘 (예 : A * )을 따르는 프로세스가 다른 경로 찾기 상황 (같은 정보가 제공됨)에서 사람이 사용하는 프로세스 와 어떻게 비교되는지 궁금 합니다. 이 과정들이 비슷합니까?

11 algorithms  graphs  artificial-intelligence 

파일을 계층 적 디렉토리 구조로 저장하는 것 이상의 기능을 수행하는 일부 임베디드 장치를 대상으로하는 파일 시스템을 고려하십시오. 이 파일 시스템에는 유닉스 및 Windows와 같은 시스템에서 사용할 수있는 많은 작업이 없습니다 (예를 들어, 액세스 권한이 완전히 다르고 디렉토리에 저장된 메타 데이터에 연결되지 않음). 이 파일 시스템은 모든 종류의 하드 링크 또는 …

11 operating-systems  filesystems 

하자 , , , 일반적인 알파벳을 통해 네드 드 파이입니다 각각의 문맥 자유 언어의 인터넷에서 무한 시퀀스가 될 Σ . L 을 L_1 , L_2 , L_3 , \ dots 의 유한 합집합 이라고합시다 . 즉, L = L_1 \ cup L_2 \ cup L_3 \ cup \ dots 입니다.L …

11 formal-languages  context-free  closure-properties 

분기 예측에는 두 가지 유형의 상태가 있음을 관찰했습니다. 수퍼 스칼라 실행에서 분기 예측이 매우 중요하며 주로 페치 지연보다는 실행 지연에 있습니다. 명령어 파이프 라인에서 명령어는 실제로 나중에 실행되지 않기 때문에 페치가 더 문제가됩니다. 이 중 어느 것이 매우 중요합니까 (현재 요즘의 CPU에서 어떤 것이 중요한가)? 둘 다 똑같이 중요하거나 두 …

11 cpu-pipelines  computer-architecture