컴퓨터 과학

따라서 정규 언어 이 정규 언어 의 하위 집합 인지 테스트하는 것은 결정 가능합니다. 두 언어를 모두 DFA로 변환하고 계산 한 다음이 언어가 비어 있는지 테스트 할 수 있기 때문입니다.S R ∩ ˉ SRRRSSSR∩S¯R∩S¯R \cap \bar{S} 그러나이를 위해서는 DFA로 변환해야하므로 입력 NFA의 상태 수에 따라 DFA 및 테스트 알고리즘이 기하 …

12 algorithms  regular-languages  automata  np-complete  decision-problem 

계산 성 이론은 재귀 이론이라고도합니다. 왜 그렇게 부르나요? 재귀가 왜 그렇게 중요합니까?

12 computability  terminology  history 

경우 2 일반, 것을 따르지 A는 일반입니까?ㅏ2A2A^2ㅏAA 증거에 대한 나의 시도 : 그렇습니다. 모순을 위해 ㅏAA 가 규칙적이지 않다고 가정하십시오 . 그런 다음 ㅏ2= A ⋅ AA2=A⋅AA^2 = A \cdot A 입니다. 두 개의 비정규 언어의 연결이 규칙적이지 않기 때문에 ㅏ2A2A^2 는 규칙적 일 수 없습니다. 이것은 우리의 가정과 모순됩니다. …

12 formal-languages  regular-languages  closure-properties 

먼저, 명시적인 것을 만들기 위해 big 의 정의를 작성하겠습니다 .영형OO 이되도록 0 ≤ F ( N ) ≤ C g ( N ) , ∀ N ≥ n은 0에프( N ) ∈ O ( g( n ) )⟺∃ c , n0> 0f(n)∈O(g(n))⟺∃c,n0>0f(n)\in O(g(n))\iff \exists c, n_0\gt 00 ≤ f( N …

12 asymptotics  landau-notation 

단순한 평신도 언어에서이 세 가지 동 형사상, 이형성, 동형의 주요 차이점은 무엇이며 왜 우리가 동 형사상, 이형성, 동형을 하는가?

12 graph-theory 

편향되지 않은 동전 의 플립 시퀀스를 고려하십시오 . 하자 제 볼 꼬리 위에 헤드 수의 초과의 절대 값을 나타낸다 플립. 정의하십시오 . 확인이 및 .nnnHiHiH_iiiiH=maxiHiH=maxiHiH=\text{max}_i H_iE[Hi]=Θ(i√)E[Hi]=Θ(i)E[H_i]=\Theta ( \sqrt{i} )E[H]=Θ(n−−√)E[H]=Θ(n)E[H]=\Theta( \sqrt{n} ) 이 문제는 Raghavan과 Motwani의 'Randomized algorithms'의 첫 번째 장에 나타나므로 아마도 위의 진술에 대한 기본적인 증거가있을 것입니다. 해결할 수 …

12 probability-theory  randomized-algorithms 

나는이 인터뷰 질문에 많은 질문을 들었고 좋은 답변이 무엇인지에 대한 의견을 얻기를 희망했습니다. 이것을하기 위해? 많은 메모리를 사용하기 때문에 맵에서 트랙을 반복하고 유지하는 것은 좋은 생각이 아니며,이 질문이 제기되면 파일이 이미 존재하기 때문에 항목이 들어올 때 트랙을 유지하는 것이 가장 좋은 옵션이 아닙니다. 다른 생각은 파일을 여러 스레드에서 반복하고 처리하여 …

12 algorithms  arrays 

상황에 맞는 문법을 이해하려고합니다. 언어가 왜 그런지 이해합니다 { w w ∣ w ∈ A※}{ww∣w∈A∗}\{ww \mid w \in A^*\} {엔비엔씨엔∣ n ∈ N }{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} 문맥에 자유롭지는 않지만 비 유형 람다 미적분과 유사한 언어가 문맥에 민감한 지 알고 싶습니다. 나는 단순하지만 장난감이 아닌 예제 (위의 장난감 예제를 …

12 formal-grammars  programming-languages  lambda-calculus  context-sensitive 

나는 계산 이론에서 괴델 라이 제이션 과정을보고있었습니다. 나는 고델 (Gödel) 번호 매기기 개념을 이해할 수 있었지만 계산 이론에서 그 중요성을 이해할 수 없었습니다. 누구나 좋은 재료를 지적하거나 그 중요성을 지적 할 수 있습니까?

12 formal-languages  turing-machines 

문맥 인식 언어에 대한 Wikipedia 정의를 살펴 보았는데 이것을 발견했습니다. 각 언어 범주는 바로 위에있는 범주의 적절한 하위 집합입니다. 각 범주의 모든 자동 및 문법은 바로 위의 범주에서 동등한 자동 또는 문법을 갖습니다. 선형 경계 오토 마톤이 기사의 주문에서 결정자 바로 아래에 있음을 알 수 있습니다. 이 경우 LBA의 모든 …

12 formal-grammars  turing-machines  undecidability  context-sensitive 

최근 컴파일러 디자인에 대해 공부하고 있습니다. 두 가지 유형의 문법에 대해 알게되었습니다. 하나는 LL 문법이고 다른 하나는 LR 문법입니다. 또한 모든 LL 문법이 LR이고 LL 문법 인 LR 문법의 적절한 부분 집합이라는 사실도 알고 있습니다. 첫 번째는 하향식 구문 분석에 사용되고 두 번째는 상향식 구문 분석에 사용됩니다. 그러나 주어진 문법이 …

12 formal-grammars  compilers  parsers  lr-k  ll-k 

주어진 과 ,a,b,c,d∈Na,b,c,d∈Na,b,c,d \in \mathbb Nb,d∉{0}b,d∉{0}b,d \notin \{0\} ab&lt;cd⟺ad&lt;cbab&lt;cd⟺ad&lt;cb \begin{eqnarray*} \frac a b < \frac c d &\iff& ad < cb \end{eqnarray*} 내 질문은 : 주어진 a,b,c,da,b,c,da,b,c,d 우리가 결정할 수 있습니다 가정하면 x&lt;y∈Zx&lt;y∈Zx < y \in \mathbb Z 에서 O(|x|+|y|)O(|x|+|y|)\mathcal{O}(|x| +|y|) , 결정의 방법이 ad&lt;cbad&lt;cbad<cb 곱셈 (또는 부서), 미리 형성하지 …

12 algorithms  integers 

그래프 고려하십시오 G(V,E)G(V,E)G(V,E). 각각의 에지 eee 는 2 개의 가중치 AeAeA_e 및 BeBeB_e . 제품을 최소화하는 스패닝 트리를 찾으십시오 (∑e∈TAe)(∑e∈TBe)(∑e∈TAe)(∑e∈TBe)\left(\sum_{e \in T}{A_e}\right)\left(\sum_{e \in T}{B_e}\right) . 알고리즘은 다음과 관련하여 다항식 시간으로 실행되어야합니다. |V|,|E||V|,|E||V|, |E|. 스패닝 트리 (Kruskal, Prim, Edge-Deletion)에 대한 기존 알고리즘을 적용하는 것이 어렵다는 것을 알았습니다. 그것을 해결하는 방법? 힌트가 …

12 algorithms  graph-theory  spanning-trees 

아래에서는 무한 테이프 튜링 기계를 사용한다고 가정합니다. 누군가에게 시간 복잡성의 개념을 설명하고 인스턴스의 입력 크기를 기준으로 측정 한 이유를 설명 할 때 다음 주장을 우연히 발견했습니다. [..] 예를 들어, 두 정수에 3 비트를 곱하는 것보다 두 정수에 100000 비트를 곱하려면 더 많은 단계가 필요합니다. 주장은 설득력이 있지만 어떻게 든 손을 …

12 complexity-theory  time-complexity  intuition 

Stack Overflow ( here ) 에서 질문했습니다 . 정수 주어지면 방정식 A 2 + B 2 + C 2 + D 2 = N 을 해결하는 A , B , C 및 D 의 정수 값의 가능한 모든 조합을 인쇄 하십시오 .엔NNA , B , CA,B,CA,B,C디DDㅏ2+ B2+ C2+ D2= NA2+B2+C2+D2=NA^2+B^2+C^2+D^2 …

12 complexity-theory  time-complexity  number-theory  enumeration