컴퓨터 과학

이것은 드래곤 북의 질문입니다. 이것은 문법입니다 : S→AaAb∣BbBaS→AaAb∣BbBaS \to AaAb \mid BbBa A→εA→εA \to \varepsilon B→εB→εB \to \varepsilon 질문은 그것이 LL (1)이지만 SLR (1)이 아님을 표시하는 방법을 묻습니다. 그것이 LL (1)임을 증명하기 위해 파싱 테이블을 구성하려고 시도했지만 셀에서 여러 프로덕션을 얻습니다. 이는 모순입니다. 이 LL (1)이 어떻고 그것을 증명하는 방법을 …

12 formal-grammars  compilers  parsers 

피보나치 수 회 반복은 다음을 사용하여 선형 시간에 계산 될 수있다 :엔nn def fib(n): i, j = 1, 1 for k in {1...n-1}: i, j = j, i+j return i 피보나치 수 번째는 다음과 같이 계산 될 수있다 [ φ의 N / √엔nn. 그러나 이것은 비교적 작은n에대한 반올림 문제에도 문제가 …

11 algorithms  time-complexity  recurrence-relation 

이 질문은 그들이 할 수 있다고 거의 설명하지만, 동일한 사전 주문 순회를 가진 두 개의 다른 나무가 있다는 예는 보여주지 않습니다. 또한 두 개의 다른 나무의 순차 순회는 구조적으로 다르지만 동일 할 수 있다고 언급됩니다. 이것의 예가 있습니까?

11 trees  binary-trees  graph-traversal  search-trees 

나는 광범위한 첫 검색에 대해 배우고 있었고 BFS가 왜 그렇게 불리는 지에 대한 의문이 생겼습니다. CLRS의 알고리즘 소개 책 에서 다음과 같은 이유를 읽었습니다. 너비 우선 검색은 검색된 정점과 발견되지 않은 정점 사이의 경계를 경계의 폭에 걸쳐 균일하게 확장하기 때문에 그렇게 명명되었습니다. 그러나 나는이 진술의 의미를 이해할 수 없다. 나는이 …

11 graphs  graph-theory  shortest-path  graph-traversal 

따라서 두 개의 DFA가 주어지면 동일한 언어를 생성 할 수 있는지를 결정하는 데 문제가 있습니까? 나는 두 CFL의 평등이 결정 불가능하다는 것을 이미 알고 있습니다. 두 DFA의 평등은 어떻습니까? DFA와 관련된 대부분의 문제를 결정할 수 있다는 점을 고려할 때, 이것도 결정할 수 있습니까?

11 computability  automata  finite-automata  decision-problem 

나는 유한 한 우리의 컴퓨터가 궁극적으로 Finite State Machine보다 강력하지 않다는 인상을 받았습니다. 그러나 선형 경계 튜링 머신은 유한하지만 정규 언어는 문맥에 맞는 언어의 부적절한 하위 집합 인 것 같습니다. 분명히, 나는 여기에 뭔가 빠져 있습니다. 무슨 일이야?

11 finite-automata  computation-models  linear-bounded-automata 

인터뷰 중에 다음과 같은 문제가 발생했습니다. 다른 영숫자 문자와 함께 괄호 또는 괄호가 아닌 괄호가 아닌 괄호가 포함 된 문자열을 제공하고 일치하는 괄호가없는 모든 괄호를 식별합니다. 예를 들어, 문자열 ") (ab))"에서 인덱스 0과 5에는 일치하는 paren이없는 parens가 포함됩니다. 스택을 사용하여 스택에 parens를 추가하고 닫는 paren이 있고 스택의 맨 위에있을 때마다 …

11 algorithms 

그래서 저는 현재 일부 사람들과 HoTT 책을 통해 가고 있습니다. 나는 우리가 보게 될 대부분의 귀납적 유형은 동등한 유형에 대한 영감으로 되풀이 유형을 취함으로써 종속 함수 유형과 유니버스 만 포함하는 유형으로 줄일 수 있다고 주장했다. 나는 이것이 어떻게 작동 할 것이라고 생각했는지 스케치하기 시작했고 약간의 걸림돌이 나는 대답이라고 생각한 것에 …

11 type-theory  type-checking  dependent-types  homotopy-type-theory 

Wikipedia는 덧셈의 시간 복잡성을 으로 나열합니다 . 여기서 은 비트 수입니다.n엔nn엔nn 이것은 이론적 인 하한값입니까? 아니면 이것은 현재 가장 빠른 알려진 알고리즘의 복잡성 일뿐입니다. 추가의 복잡성으로 인해 다른 모든 산술 연산과이를 사용하는 모든 알고리즘을 강조하기 때문에 알고 싶습니다. 에서 실행되는 추가 알고리즘을 얻는 것이 이론적으로 불가능 합니까? 또는 우리는 추가를 …

11 algorithms  algorithm-analysis  arithmetic 

한 장의 카드는 52 장입니다. 한 장의 카드는 52 장 중 5 장입니다 (중복 할 수 없습니다). 5 장의 카드 핸드를 나타내는 최소 비트 수는 어떻게됩니까? 손은 주문에 의존하지 않습니다 (KQ = QK). 64329 = 96432 예, 52 비트를 사용할 수 있습니다. 그것은 많은 카드의 손을 나타낼 수 있습니다. 핸드가 …

11 combinatorics 

시퀀스를 하나씩 읽습니다 . 셀 메모리를 사용하고 선형 시간 ( ) 을 사용하여 번째로 작은 요소 를 찾는 방법 . 나는 우리가 먼저 저장해야한다고 생각 시퀀스의 조건과 얻을 때 번째의 용어를, 우리가 확실히는 될 수없는 용어 삭제 번째 작은 요소 다음 저장 ' 번째의 용어. 따라서 각 단계에서 사용할 수없는 …

11 data-structures  search-algorithms  quicksort 

제목에서 알 수 있듯이 일반적인 질문은 다음과 같습니다. DS와 OR / 최적화의 차이점은 무엇입니까? 개념적 수준에서 DS는 사용 가능한 데이터에서 지식 을 추출 하려고 시도 하며 대부분 통계적 기계 학습 기술을 사용합니다. 반면에 OR 은 데이터 (입력)에 대한 일부 객관적인 기능 (기준)을 최적화함으로써 데이터를 기반으로 의사 결정 을하기 위해 데이터를 …

11 optimization  data-mining 

총체적, 기능적 순도 등을 넘어서 코드의 속성에 대해 추론하고 싶다고 가정 해 보자. 또한 메모리 소비 나 함수의 알고리즘 복잡성에 관심이있다. 의존적 타이핑 및 효과 시스템을 통해이를 수행 할 수 있습니까?

11 type-theory  functional-programming  dependent-types  inductive-datatypes 

이 질문은 모든 수학적 정리가 단일 Turing 기계의 정지 여부에 대한 질문으로 축소 될 수 있는지에 관한 것입니다. 특히, 나는 현재 입증되지 않은 추측에 관심이 있습니다. 예를 들어, Wikipedia 는 현재 홀수의 완벽한 숫자가 있는지 알 수 없다고 말합니다 . 주어진 숫자가 완벽한 지 여부를 결정할 수 있기 때문에 각 …

11 formal-languages  computability  mathematical-foundations 

2 차원 평면에 두 개의 세트 점이 있습니다. I 포인트의 가장 가까운 쌍 찾을 들 , t를 하도록 S ∈ S , t ∈ T 와, 상기 유클리드 거리 들 , t는 가능한 한 적다. 이것을 얼마나 효율적으로 할 수 있습니까? O ( n log n ) 시간 내에 수행 …

11 algorithms  computational-geometry