컴퓨터 과학

을 감안할 때 nnn 일자리 J1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_n , 각 작업은 필요 Ti>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N 시간이 완료. 각 작업은 한 번에 하나의 작업 만 처리 할 수있는 단일 시스템 M에 의해 사전 처리 및 사후 처리되어야하며 두 단계 모두 1 단위의 시간이 필요합니다. 사전 처리 된 후, 작업 JiJiJ_i …

11 complexity-theory  reference-request  scheduling 

나는 이후, 궁금 스타가없는 언어가 아닌 일반 언어가 자체 별이없는 언어이다? 예를 들어 주시겠습니까?a∗a∗a^* (에서 wikipdia ) 로손 스타가없는 언어로 정의한다 : 정규 언어는 알파벳 문자, 빈 세트 기호, 보완을 포함하여 모든 부울 연산자 및 연결을 포함하지만 Kleene 별은 포함하지 않는 정규식으로 표현할 수 있으면 별이 없다고합니다. 다음은 별표가없는 의 …

11 formal-languages  regular-languages  automata 

Learning F #에 대한 의견 : 기능 개념을 배우기 위해 다른 프로그래밍 언어를 사용하는 어떤 책을 F #으로 변환 할 수 있습니까? 마카 리우스의 말 : "CPS"접근 방식은 SML / NJ의 성능에 큰 해를 끼쳤습니다. 물리적 평가 모델이 하드웨어에 내장 된 너무 많은 가정을 위반합니다. Isabelle / HOL과 같은 SML의 …

11 compilers  functional-programming  proof-assistants  continuations 

예를 들어, 비정규 언어 이 A C 0에 있음을 알고 있습니다 . 이 같은 더 많은 예를 알고 싶습니다.anbnanbna^nb^nAC0AC0AC^0

11 complexity-theory  regular-languages  circuits 

길이가 같지 않은 정수의 두 벡터가 주어지면 크기 차이를 보완하기 위해 짧은 벡터에 여분의 0이 삽입 된 두 벡터 사이의 해당 숫자 쌍 사이의 최대 값을 선택하여 가능한 최대 결과를 어떻게 결정할 수 있습니까? 예를 들어 다음 두 벡터를 입력으로 고려하십시오. [8 1 4 5] [7 3 6] 0과 결과 …

11 algorithms  optimization 

이것은 Dragon book의 질문입니다 (번역 실수로 사과드립니다. 영어 버전은 없습니다). 이 문법으로 어떤 언어가 생성됩니까? 에스→ Sb S∣ b SS∣ ϵ에스→ㅏ에스비에스∣비에스ㅏ에스∣ϵS \rightarrow a S b S \mid b S a S \mid \epsilon 내가 여기서 무엇을해야하는지 모르겠습니다. 언어에 대한 책의 정의는 이것을 말합니다 (그리고 그것은 장에서 거의 같습니다). 언어는 구문 …

11 formal-languages  context-free  formal-grammars 

하자 언어를 결정하는 튜링 머신 R이 있습니까?L ∅L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L_\emptyset = \{\langle M\rangle \mid M \text{ is a Turing Machine and }L(M)=\emptyset\}.L∅L∅L_\emptyset 여기에서 작동해야 함 을 나타내는 데 사용 된 것과 동일한 기술인 것 같습니다 .{A∣A is a DFA and …

11 turing-machines  computability  undecidability 

이중 문자 (aa, bb)로 시작하거나 이중 문자 (aa, bb)로 끝나는 모든 입력을 허용하는 DFA를 만드는 간단한 문제가 있습니다. 는 주어진 언어.Σ = { a , b }Σ={ㅏ,비}\Sigma =\{a, b\} 나는 다음과 같이 로터리 방식으로 해결하려고했습니다. 정규식 생성 해당 NFA 만들기 파워 셋 구성을 사용하여 DFA 추론 DFA의 상태 수 최소화 …

11 automata  finite-automata 

3 차 삼각형이없는 그래프에서 최대 독립 세트가 NP- 완전하다는 것을 알고 있습니다. 독립 세트의 크기가 정확히 이어야하는 경우에도 NP가 완전 합니까?| V| / 2|V|/2|V|/2 기본적으로, 3 차 삼각형이없는 그래프 문제에 대한 독립 설정 문제의 예는 정확히 노드를 가져야합니다 . 어떤 인스턴스도 보다 작은 독립적 인 크기의 세트를 갖지 않습니다 .| …

11 complexity-theory  np-complete 

다음 문제에 대한 알고리즘이 있습니까? 튜링 기계 감안할 때 언어 결정 , 튜링 기계가 있습니까 결정 이되도록 ? L M 2미디엄1M1M_1엘LL미디엄2M2M_2t 2 ( n ) = o ( t 1 ( n ) )엘LL티2( n ) = o ( t1( n ) )t2(n)=o(t1(n))t_2(n) = o(t_1(n)) 기능 및 는 각각 Turing …

11 complexity-theory  computability  undecidability  decision-problem 

여러 변수가있는 함수에 대해 점근 분석 (big o, little o, big theta, big theta 등)은 어떻게 정의됩니까? Wikipedia 기사에 섹션이 있지만 내가 익숙하지 않은 많은 수학적 표기법을 사용합니다. : 나는 또한 다음과 같은 종이 발견 http://people.cis.ksu.edu/~rhowell/asymptotic.pdf 용지가 매우 길고 완전한 점근 적 분석의 분석보다는 정의를 제공를 제공하지만합니다. 수학 표기법을 자주 …

11 asymptotics  landau-notation 

언어 L 의 순환 쉬프트 ( 회전 또는 컨쥬 게이션 이라고도 함 )는 { y x ∣ x y ∈ L } 로 정의됩니다 . 위키 백과 (및 여기 ) 에 따르면 오 시바 (Oshiba)와 마스 로프 (Maslov)의 논문을 참조하여 문맥없는 언어가이 작업에서 닫힙니다. 이 사실에 대한 쉬운 증거가 있습니까?엘LL{ …

11 formal-languages  context-free  closure-properties 

이 게시물을 개선하고 싶습니까? 인용과 답변이 올바른 이유에 대한 설명을 포함하여이 질문에 대한 자세한 답변을 제공하십시오. 세부 사항이없는 답변은 편집하거나 삭제할 수 있습니다. 저는 소규모 회사 (약 15 명)를위한 알고리즘에 관한 책 라이브러리를 만드는 일을했습니다. 예산은 5k 이상이지만 확실히 10k 미만이므로 상당한 수의 책을 구입할 수 있습니다. 여기에있는 모든 사람들은 …

11 algorithms  reference-request  data-structures  books 

동적으로 에지를 추가하고 특정 쿼리를 수행 할 수 있는 유 방향 그래프 GGG 를 고려하십시오 . 예 : 분리 된 포리스트 다음 쿼리 세트를 고려하십시오. arrow(u, v) equiv(u, v) find(u) 첫 번째는 화살표 추가 u→vu→vu→v 경우 그래프, 두번째는 결정 u↔∗vu↔∗vu↔^*v , 마지막 하나의 등가 클래스의 정규 대표 발견 ↔∗↔∗↔^* , …

11 algorithms  graphs  search-algorithms  union-find 

반복적으로 n에서 k 요소를 선택하는 것과 동등한 시간 복잡성을 가진 재귀 알고리즘이 있으며 더 단순화 된 big-O 표현을 얻을 수 있는지 궁금합니다. 필자의 경우 는 보다 클 수 있으며 독립적으로 커집니다.케이케이k엔엔n 특히, 나는 명백한 지수 표현을 기대합니다. 내가 지금까지 찾을 수있는 최선의 방법은 스털링의 근사 을 기반으로한다는 것입니다. 그래서 사용할 …

11 asymptotics  combinatorics  runtime-analysis