컴퓨터 과학

컴퓨팅 이론 과정에서 우리의 많은 문제는 입력 문자열의 길이에 유도를 사용하여 유한 오토마타에 대한 진술을 증명하는 것과 관련이 있습니다. 나는 수학적 귀납법을 이해하지만, 현이 연주 될 때 나는 실제 트립됩니다. 누군가가 그런 증거를 단계별로 만드는 과정을 거치면 정말 감사하겠습니다. 다음은 문제의 예입니다 (Hopcroft 및 Ullman 3rd Edition의 2.2.10 연습). 다음 …

20 automata  finite-automata  proof-techniques  reference-question  induction 

하자 고정 된 크기의 일부 문자 유한 집합합니다. α 를 Σ에 대한 문자열로 하자 . 우리는 비어 있지 않은 문자열 말 β 의 α는 A는 반복 경우 β = γ γ 일부 문자열에 대한 γ .ΣΣ\Sigmaαα\alphaΣΣ\Sigmaββ\betaαα\alphaβ=γγβ=γγ\beta = \gamma \gammaγγ\gamma 이제 내 질문은 다음과 같은 내용입니다. 모든 들어 일부가 존재 N …

20 combinatorics  strings  word-combinatorics 

나는 하노이 타워의 복잡성에 대해 다음과 같은 의혹에 부딪쳤다 . NP에 있습니까? 시도 된 답변 : Peggy (발표자)가 문제를 해결하고 Victor (확인자)에게 제출한다고 가정합니다. 빅터는 솔루션의 최종 상태가 선형 (linear time)으로 옳다는 것을 쉽게 알 수 있지만, 자신이 불법적으로 움직이지 않도록하기 위해 Peggy의 각 움직임을 거치는 것 외에는 선택의 여지가 …

20 complexity-theory  time-complexity 

이것은 내가 만든 네트워크 대기 시간 측정에 관한 퍼즐입니다. 해결책은 불가능하지만 친구들은 동의하지 않는다고 생각합니다. 어느 쪽이든 설득력있는 설명을 찾고 있습니다. (이 퍼즐은 NTP는 말할 것도없고 온라인 게임과 같은 통신 프로토콜의 디자인과 경험에 적용 할 수 있기 때문에이 웹 사이트에 적합하다고 생각합니다.) 아래 그림과 같이 단방향 대기 시간이 다른 네트워크로 …

20 computer-networks  protocols  distributed-systems 

새 요소가 삽입되면 가장 오래된 요소와 마지막 요소를 밀어 낼 데이터 구조를 찾고 있습니다. 예를 들어 D구조를 나타냅니다. D유형의 3 개 요소가 포함되어 Number D의 기본 값으로 초기화됩니다 1, 2및 3. D = [ 1 , 2 , 3 ]디=[1,2,삼]D = [1, 2, 3] 경우 Number값을 포함하는이 5삽입되어 D, 3압출되고, …

20 data-structures  arrays  queues 

유형 시스템이 유형을 λ x . x x종료 또는 비 종료에 할당 할 수 (λx . x x) (λ x . x x)있는 경우 결과적으로 시스템이 일치하지 않습니까? 해당 시스템의 모든 유형이 거주합니까? 거짓을 증명할 수 있습니까?

20 lambda-calculus  dependent-types 

Andrew W. Appel의 저서 ML의 Modern Compiler Implementation에서 17 장에 따르면 Computability 이론은 새로운 최적화 변환을 발명하는 것이 항상 가능 하며 완전히 최적화 된 컴파일러 가 정지 문제를 해결할 수 있음을 증명한다고 17 장에서 밝혔 습니다 . Q 어떠한 출력을 생성 결코 정지하고 용이하게 최적의 표현으로 대체 될 수 옵트 …

20 computability  compilers  program-optimization 

정렬 된 쌍 (x, y)을 정렬되지 않은 쌍 {x, y} (집합)과 비교하면 이론적으로 정보는 x가 먼저 오거나 y가 정확히 하나의 비트를 나타내는 지 여부에 따라 한 비트에 불과합니다. 따라서 x, y가 두 개의 서로 다른 32 비트 정수인 {x, y} 세트가 주어지면 63 비트 (64가 아닌)로 묶을 수 있습니까? 63 …

20 information-theory  data-compression 

문맥이없는 언어는 보완 없이 닫히지 않습니다 . 내가 이해 하는 한 , 일부 문자 a , b 의 의 일부인 문맥없는 언어는 보완 (!?)으로 닫힙니다.ㅏ※비※a∗b∗a^*b^*a , ba,ba,b 여기 내 주장이 있습니다. 각 CF 언어 엘LL 에는 반 선형 Parikh 이미지 π( L ) = { ( m , n ) …

20 formal-languages  reference-request  context-free  closure-properties 

일부 복잡한 알고리즘 ( union-find )은 점근 적 시간 복잡성에 나타나는 거의 일정한 역 Ackermann 함수를 가지며, 거의 일정한 역 Ackermann 항이 무시되는 경우 최악의 시간 최적입니다. 역 행성 Ackermann보다 근본적으로 느리게 성장하는 함수 (예 : 다항식 또는 지수 등의 변환에서 Ackermann과 동등하지 않은 함수의 역수)를 포함하여 알려진 가장 최악의 …

20 reference-request  algorithm-analysis  time-complexity  runtime-analysis 

정규 유형의 파생물 이라는 기사 는 해당 유형의 단일 홀 컨텍스트 유형을 보여줍니다. 하나의 홀 컨텍스트 인 유형의 "지퍼"는 대수 유형의 미분 규칙을 따릅니다. 우리는 : ∂엑스엑스∂엑스0∂엑스1∂엑스( S+ T)∂엑스( S× T)↦ 1↦ 0↦ 0↦ ∂엑스에스+ ∂엑스티↦ ∂엑스에스× T+ S× ∂엑스티∂엑스엑스↦1∂엑스0↦0∂엑스1↦0∂엑스(에스+티)↦∂엑스에스+∂엑스티∂엑스(에스×티)↦∂엑스에스×티+에스×∂엑스티\begin{align} \partial_x x &\mapsto 1 \\ \partial_x 0 &\mapsto 0 \\ …

20 type-theory  algebra 

시작하기 전에, 이것이 실제 문제가 아니기 때문에 이것이 주제의 경계에 있음을 알고 있습니다 (이 사이트의 질문 도움말을 읽었습니다). 하나: Google에서 관련 항목을 찾을 수 없습니다 순수한 관점에서 보면 반드시 컴퓨터 과학에 속해야합니까? 어쨌든, 내가 경계를 넘어 서면 다른 SE 사이트의 열렬한 사용자이므로 폐쇄를 사과하고 환영하므로 문제를 이해합니다. 주의 사항은 다음과 …

20 reference-request  human-computing 

이것은 인터뷰 질문에서 영감을 얻은 것 입니다. 우리는 정수 의 배열을 제공받으며, 고유 한 가 있는지 확인해야 합니다. I < J < Kㅏ1, ... ,엔a1,…,ana_1, \dots, a_n나는 < j < ki<j<ki \lt j \lt k ㅏ케이− aj= aj− a나는ak−aj=aj−aia_k - a_j = a_j - a_i k − j = j …

20 algorithms  complexity-theory  lower-bounds 

나는 컴퓨터가 어떤 모호한 의미로 컴퓨터가 무엇인지 알고 있지만 더 엄격한 정의를 원합니다. Dictionary.com의 계산, 컴퓨팅, 계산 및 계산에 대한 정의는 순환 적이므로 도움이되지 않습니다. Wikipedia계산을 "잘 정의 된 모델을 따르는 모든 유형의 계산"으로 정의합니다. 계산을 "가변 변경을 통해 하나 이상의 입력을 하나 이상의 결과로 변환하는 고의적 인 프로세스"로 정의합니다. …

20 terminology  computability 

Wikipedia 는 하위 집합 합계 문제가 주어진 정수의 여러 하위 집합을 찾는 것으로서 그 합계는 0입니다. 또한 그것은 합 서브셋 발견에 해당한다고 에스ss 주어진 위해 에스ss . 그래서 나는 그것들이 동등하다는 것을 믿습니다. 중 하나 에스ss 제로를 설정하여 사소한 s = 0s=0s = 0 . 그러나 나는 0에서 감소 찾는 …

20 complexity-theory  reductions  np-hard