컴퓨터 과학

bubblesort의이 의사 코드를 고려하면 : FOR i := 0 TO arraylength(list) STEP 1 switched := false FOR j := 0 TO arraylength(list)-(i+1) STEP 1 IF list[j] > list[j + 1] THEN switch(list,j,j+1) switched := true ENDIF NEXT IF switched = false THEN break ENDIF NEXT 평균 시간 복잡성을 평가하기 위해 …

11 algorithms  time-complexity  sorting  average-case 

구현이 존재하지 않는 프로그래밍 언어를 이론적으로 지정할 수 있습니까? 프로그래밍 언어는 기능을 정의하는 방법입니다. 구현은 해당 입력의 프로그램에 해당하는 함수의 출력에 대해 주어진 입력에서 해당 언어로 지정된 프로그램을 실행하는 방법을 의미합니다. 그러한 언어의 최소 요구 사항은 무엇입니까?

11 formal-languages  computability  programming-languages 

다음 중 올바른 말은 무엇입니까? 언어의 규칙성에 관한 충분하고 필요한 조건이 존재하지만 아직 발견되지 않았습니다. 언어의 규칙성에 대해 충분하고 필요한 조건이 없습니다. 펌핑 보조는 언어의 비 규칙성에 필요한 조건입니다. 펌핑 보조는 언어의 비 규칙 성을위한 충분한 조건입니다. 나는 이 진술의 반대 가 사실이 아니기 때문에 # (4)가 정확하고 # (3)이 …

11 formal-languages  regular-languages 

n×nn×nn \times nA=(aij)A=(aij)A=(a_{ij})∑i,j,kmax(aij,aik,ajk)∑i,j,kmax(aij,aik,ajk)\sum_{i,j,k}\max(a_{ij},a_{ik},a_{jk})1≤i&lt;j&lt;k≤n1≤i&lt;j&lt;k≤n1\leq i<j<k\leq nO(n3)O(n3)O(n^3)

11 algorithms  time-complexity 

이 질문에서 set과 type의 차이점이 무엇인지 물었습니다 . 이 답변은 실제로 명확 해졌습니다 (예 : @AndrejBauer). 지식에 대한 갈증으로 카테고리에 대해 같은 것을 묻는 유혹에 복종합니다. 범주 이론에 대해 읽을 때마다 (비공식적 임), 이론이 이론과 어떻게 다른지 구체적으로 이해할 수는 없습니다 . 그래서 대부분의 콘크리트 정확히 무엇을 수행하는지는 가능한 방법, …

11 sets  category-theory 

나의 이해는 그 뮤텍스의 가장 인기 구현 (예 : 표준 : : C ++에서 뮤텍스)하지 보증 할 공정성을 - 즉, 그들은 보증하지 않습니다 경합의 경우에, 잠금이 순서대로 스레드에 의해 인수 될 것을 그들이 lock ()이라고합니다. 실제로, 경합이 많은 경우, 뮤텍스를 얻기 위해 대기중인 일부 스레드가 절대로이를 획득 하지 못할 수도 …

11 concurrency  synchronization  threads 

유도 유도 란 무엇입니까 ? 내가 찾은 리소스는 다음과 같습니다. 5.7 장의 끝에서 HoTT 책 . nLab의 기사 귀납적 정의 라는 논문 이 블로그 게시물 에는 유도 유도 유형도 언급되어 있습니다. 처음 두 참조는 나에게 너무 짧고 후자 두 개는 너무 기술적입니다. 평신도의 용어로 설명 할 수 있습니까? Agda 코드가 …

11 type-theory  induction  inductive-datatypes 

모든 사람은 "Garey &amp; Johnson"을 알고 있는데, 이는 NP-hardness 증거를 위해 변환해야 할 문제가 필요할 때마다 참조 할 수있는 곳입니다. 그러나 나는 최근에 APX-hardness 증거가 필요하다는 것을 알게되었고, APX-hard로 밝혀진 비슷한 (그리고 더 최신의 ..?) 모음이 있는지 궁금합니다. 아무도 이와 같은 것을 알고 있습니까? 이러한 문제를 체계적으로 수집하는 웹 사이트가 …

11 complexity-theory  reference-request  time-complexity  complexity-classes 

나는 보편적이고 존재하는 유형의 정량화의 목적을 이해하려고 애 쓰고 있습니다. 나는 미적분학을 기반으로 장난감 언어를 쓰고 놀고 있습니다 . 더 나은 이해를 돕기 위해 Morte 와 Henk 에 대해 읽었습니다 . 왜 CoC가 람다와 모든 추상화를 가지고 있는지 이해할 수 없습니다. ( ∀ X : . B )(λx:A.B)(λx:A.B)(\lambda x:A . …

11 lambda-calculus  type-theory  calculus-of-constructions 

정수 선형 프로그램에서 다음 제약 조건을 표현하고 싶습니다. y={01if x=0if x≠0.y={0if x=01if x≠0.y = \begin{cases} 0 &\text{if } x=0\\ 1 &\text{if } x\ne 0. \end{cases} 나는 이미 정수 변수 있으며 약속합니다 . 정수 선형 프로그래밍 솔버와 함께 사용하기에 적합한 형식으로 위의 제약 조건을 어떻게 표현할 수 있습니까?x,yx,yx,y−100≤x≤100−100≤엑스≤100-100 \le x \le …

11 linear-programming  integer-programming 

허프만 코딩, 산술 코딩 및 범위 코딩 간의 관계를 이해하려고 노력하면서 허프만 코딩의 단점이 소수 비트 패킹 문제와 관련이 있다고 생각하기 시작했습니다 . 즉, 기호에 대해 240 개의 가능한 값이 있고이를 비트로 인코딩해야한다고 가정하면 8은 256 개의 가능한 값을 표현할 수 있기 때문에 "전체"8이 필요하지 않더라도 기호 당 8 비트가 …

11 information-theory  data-compression  coding-theory  entropy  huffman-coding 

기본적으로, 문제는 다음 세트를 위해 SSS 양수로, 최소 개수 찾을 의 모든 요소의 제수없는 , 즉 .S ∀ x ∈ S , d ∤ xdddSSS∀x∈S, d∤x∀x∈S, d∤x\forall x \in S,\ d \nmid x 넣어야하는 n=|S|n=|S|n = |S|그리고 C=max(S)C=max(S)C = \max(S) 입니다. 함수 F (x) = x를F(x)=F(x)=F(x) = 나누지 않는 가장 …

11 algorithms  number-theory 

Complexity Zoo 는 을 결정 성있는 Turing machine이 선형 시간으로 해결할 수있는 결정 문제의 클래스로 정의합니다 .L I엔엘나는엔LIN L I엔⊆ P엘나는엔⊆피LIN \subseteq P HORN-SAT는 에서 해결할 수 있기 때문에 ( Propositional Horn Formulas (1984)의 만족도를 테스트하기위한 선형 시간 알고리즘에 나와 있음 )O ( n )영형(엔)O(n) (제안) 혼 공식이 만족 스러운지를 …

11 complexity-theory  time-complexity  reductions 

폐쇄되었습니다 . 이 질문은 의견 기반 입니다. 현재 답변을받지 않습니다. 이 질문을 개선하고 싶습니까? 이 게시물 을 편집 하여 사실과 인용으로 답변 할 수 있도록 질문을 업데이트하십시오 . 휴일 3 년 전 . 나는 수학적 우아함과 엄격함을 좋아하며 알고리즘 및 알고리즘 분석에 대한 문헌을 찾고 있습니다. 이제 어떤 알고리즘이 적용 …

11 algorithms  algorithm-analysis  reference-request  books 

Brzozowski의 알고리즘은 Moore automata로 확장 될 수 있지만 시간 복잡성은 일반적으로 기하 급수적입니다. Moore automata를 최소화하기위한 다른 알고리즘이 있습니까? 이 알고리즘의 실행 시간은 무엇입니까?

11 reference-request  automata  optimization  finite-automata  transducers