컴퓨터 과학

무작위 알고리즘에 대한 Wikipedia 에서 예상되는 실행 시간이나 메모리 사용량을 줄이기 위해 임의의 입력을 사용하는 알고리즘 을 구분 해야하지만 항상 제한된 시간 내에 올바른 결과로 종료해야하며 확률 적 알고리즘 은 임의의 입력에 따라 기회가 있습니다 실패를 알리거나 종료하지 않음으로써 잘못된 결과 (Monte Carlo 알고리즘)를 생성하거나 결과 (Las Vegas 알고리즘)를 생성하지 …

14 algorithms  terminology  randomized-algorithms  nondeterminism  machine-models 

Planar 3SAT 는 NP-complete입니다. 평면 3SAT 인스턴스는 다음 규칙을 사용하여 작성된 그래프가 평면 인 3SAT 인스턴스입니다. 모든 및 ¯ x i에 꼭짓점 추가엑스나는엑스나는x_i엑스나는¯엑스나는¯\bar{x_i} 모든 조항에 대한 정점을 추가 씨제이씨제이C_j 모든 쌍 에 대해 모서리를 추가( x나는, x나는¯)(엑스나는,엑스나는¯)(x_i,\bar{x_i}) 정점 (또는 ¯ x i ) 에서 모서리 를 포함하는 절을 나타내는 각 …

14 np-complete  reductions  satisfiability  3-sat 

우리가 설정되어 있다고 가정 및 각 부재 데이터 및 키 쌍이다. 다음 작업을 지원하는 데이터 구조가 필요합니다.DDDDDDD 를 삽입 하고D(d,k)(d,k)(d,k)DDD 삭제 멤버 , (필요 찾기 위해 검색하지 않으려면 , 예를 들면 의 구성원 포인트 )e e DeeeeeeeeeDDD 멤버 반환 MostFrequent, 하도록 가장 빈번한 키 중 하나 인 (가장 빈번한 키를 …

14 algorithms  data-structures  abstract-data-types 

나는 들소의 사용법을 스스로에게 가르치려고 노력한다. bison (1) 맨 페이지는 bison에 대해 말합니다. LALR (1), IELR (1) 또는 표준 LR (1) 파서 테이블을 사용하여 결정적 LR 또는 GLR (Generalized LR) 파서를 생성하십시오. IELR 파서 란 무엇입니까? 월드 와이드 웹에서 찾은 모든 관련 기사는 유료입니다.

14 formal-languages  terminology  formal-grammars  parsers 

나누기와 정복의 고전적인 적용은 다음 문제를 해결하는 것입니다. 어레이 주어 별개 유사한 요소 배열의 반전 쌍의 개수를 카운트 : 쌍 ( I , J ) 이되도록 [ I ] > [ J ] 와 I < J .a[1…n]a[1…n]a[1\dots n](i,j)(i,j)(i,j)a[i]>a[j]a[i]>a[j]a[i] \gt a[j]i<ji<ji \lt j 이에 대한 한 가지 접근 방식은 병합 …

14 algorithms  reference-request  arrays 

이상에서 반전 계산에 대한이 질문에 , 나는 종이 발견 낮은 증명 모든 (정확한) 공간의 복잡성에 바인딩 스트리밍 알고리즘을 . 나는이 한계가 모든 선형 시간 알고리즘으로 확장된다고 주장했다. 이것은 일반적으로 약간 대담하다. 선형 시간 알고리즘은 스트리밍 알고리즘이 할 수없는 마음대로 접근 할 수있다. 요소를 순서대로 조사해야합니다. 여러 패스를 수행 할 수는 …

14 algorithms  streaming-algorithm  simulation  lower-bounds 

이 두 가지 주제에 대한 여러 가지 관련 질문이 있습니다. 첫째, 대부분의 복잡한 텍스트는 클래스에만 적용됩니다 . 연구를 더 깊이 다루는 좋은 자료가 있습니까? 예를 들어 아래의 모든 질문에 대해 설명합니다. 또한, 는 병렬화와의 연관성으로 인해 여전히 상당한 양의 연구를보고 있다고 가정 하지만 틀릴 수 있습니다. 복잡성 동물원의 섹션은별로 도움이되지 …

14 complexity-theory  reference-request  parallel-computing  complexity-classes 

Wikipedia 기사 에 따르면 L in 는 "왼쪽에서 오른쪽으로 스캔"을 의미하고 "R"은 "가장 오른쪽 파생"을 의미합니다. 그러나 L R ( k ) 문법 에 대한 Knuth의 원본 논문에서 그는 L R ( k ) (610 페이지의 L R ( k ) )를 "왼쪽에서 오른쪽으로 바운드 k 로 번역 할 수있는"언어로 …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

다음 언어가 언어 인 방법이 궁금합니다 아르 자형아르 자형\mathrm R. 엘미디엄1= { ⟨ M2⟩∣∣미디엄2 TM이고 L ( M1) = L ( M2) , 및 | ⟨ 남1⟩ | > | ⟨ 남2⟩ | }엘미디엄1={⟨미디엄2⟩|미디엄2 TM이며 엘(미디엄1)=엘(미디엄2), 과 |⟨미디엄1⟩|>|⟨미디엄2⟩|}L_{M_1}=\Bigl\{\langle M_2\rangle \;\Big|\;\; M_2 \text{ is a TM, and } L(M_1)=L(M_2), \text{ and …

14 computability  undecidability 

정수로 구성된 배열 AAA 가 주어지면, 배열 의 각 요소는 확률 , 0 ≤ i &lt; n 으로 고정 된 수 만큼 증가 할 수 있습니다 . bubble sort 사용하여 배열을 정렬하기 위해 예상되는 스왑 수를 찾아야합니다 .b p [ i ]NNNbbbp[i]p[i]p[i]0≤i&lt;n0≤i&lt;n0 \leq i < n 나는 다음을 시도했다. 요소의 …

14 algorithms  algorithm-analysis  sorting  average-case 

해결하려는 오래된 시험에서 이러한 질문이 있습니다. 각 문제에 대해 입력은 일부 Turing machine 의 인코딩입니다 MMM. 정수 c&gt;1c&gt;1c>1 및 다음 세 가지 문제의 경우 : 모든 입력 xxx 에 대해 M이 x에서|x|+c|x|+c|x|+c 실행할 때 + c 위치 ?xxx 모든 입력 xxx 에 대해 M이 x에서max{|x|−c,1}max{|x|−c,1}\max \{|x|-c,1 \} 실행할 때 − …

14 computability  turing-machines  undecidability 

그래프 GGG 가 연결되어 있고 길이가 보다 큰 경로가없는 경우 길이 k의 G 의 kkk두 경로마다 공통점이 하나 이상 있음을 증명하십시오 . GGGkkk 나는 공통 정점이 두 경로의 중간에 있어야한다고 생각합니다. 그렇지 않은 경우 길이 의 경로를 가질 수 있기 때문 &gt;k&gt;k>k입니다. 내가 맞아?

14 graph-theory  graphs  combinatorics 

다음은 잘 알려진 문제입니다. 양의 정수 배열 가 주어지면 배열에 없는 가장 작은 양의 정수를 출력하십시오.A[1…n]A[1…n]A[1\dots n] 문제는 공간 및 시간 에서 해결 될 수 있습니다 . 배열을 읽고, 1 , 2 , … , n + 1이 발생 했는지 여부에 관계없이 O ( n ) 공간 에서 추적 상태를 …

14 complexity-theory  time-complexity  space-complexity 

다음 범위 문제를 해결하려고합니다. 있습니다 1km와의 커버리지와 송신기 N 수신기. 모든 수신기가 모든 송신기로 덮여 있는지 O ( n log n )로 결정 하십시오. 모든 리버와 송신기는 x 와 y 좌표로 표시됩니다.nnnnnnO(nlogn)O(nlog⁡n)O(n\log n)xxxyyy 내가 함께 할 수있는 가장 진보 된 솔루션은 소요 . 모든 수신기에서이 수신기까지의 거리를 기준으로 모든 송신기를 …

14 algorithms  computational-geometry  search-problem 

Lambda Calculus에 대한 대부분의 자습서는 Positive Integers 및 Booleans가 Functions로 표시 될 수있는 예를 제공합니다. -1과 i는 어떻습니까?

14 data-structures  lambda-calculus  integers  real-numbers