컴퓨터 과학

선형 시간 논리 와 결정 론적 Büchi automata 는 비교할 수 없습니다. DBA는 표현할 수 없으며 LTL은 "최소한 홀수 문자는 'a'"를 표현할 수 없습니다 . 그러나 때로는 DBA의 언어가 LTL로 표현 될 수 있는지를 아는 것이 흥미 롭습니다.에프G의FGaFGa 주어진 DBA의 언어가 LTL에서 설명 가능한지 여부를 결정하는 알고리즘이 필요합니다. 그것에 대한 …

10 logic  automata  linear-temporal-logic  buchi-automata 

나의 책은 이것을 말한다 의사 결정 문제 B가 P에 있고 A가 B로 감소하면 의사 결정 문제 A는 P에 있습니다. 결정 문제 B는 B가 NP에 있으면 NP가 완전하고 NP에있는 A의 모든 문제에 대해 A는 B로 감소합니다. C가 NP에 있으면 결정 문제 C는 NP- 완료이고 일부 NP- 완료 문제 B에 대해서는 B가 …

10 complexity-theory  np-complete  decision-problem 

이진 트리가 이진 검색 트리인지 확인하고 전역 계산 변수를 가정하여 얼마나 많은 완전한 분기가 있는지 (왼쪽 및 오른쪽 자식 노드가있는 부모 노드)를 계산하는 재귀 알고리즘을 만들어야합니다. 이것은 내 데이터 구조 클래스에 대한 할당입니다. 지금까지 void BST(tree T) { if (T == null) return if ( T.left and T.right) { if …

10 algorithms  recursion  trees 

원래 math.SE에 있지만 대답하지 않았습니다 . 다음 알고리즘을 고려하십시오. u := 0 v := n+1; while ( (u + 1) is not equal to v) do x := (u + v) / 2; if ( x * x <= n) u := x; else v := x; end_if end_while 여기서 …

10 algorithms  loop-invariants  correctness-proof 

P의 정의는 다항식 시간 알고리즘에 의해 결정될 수있는 언어입니다. P / poly의 정의는 다항식 회로에 의해 결정될 수있는 언어를 의미 할 수 있습니다 ( http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf 참조 ). 이제 다항식 크기의 회로를 다항식 시간으로 시뮬레이션 할 수없는 이유는 무엇입니까?

10 complexity-theory  time-complexity  circuits 

나는 현재 Cheeger 경계 와 Cheeger의 불평등, 스펙트럼 분할, 컨덕턴스, 확장 등에 대한 이해를 이해하기 위해 노력하고 있지만 여전히 인접 행렬의 두 번째 고유 값에 관한 직관을 시작하기 위해 고심하고 있습니다. 일반적으로 그래프 이론에서 우리가 접하는 대부분의 개념은 직관하기가 매우 간단하지만이 경우 두 번째 고유 값이 매우 낮거나 매우 높은 …

10 graph-theory  adjacency-matrix 

사실 나는 상황에 맞는 언어들이 CSLCSL\mathbf{CSL} (=NSPACE(O(n))=LBA=NSPACE(O(n))=LBA\mathbf{=NSPACE(O(n)) = LBA} 허용되는 언어)는 널리 논의되지 않습니다. REGREG\mathbf{REG} (일반 언어) 또는 CFLCFL\mathbf{CFL}(문맥이없는 언어). 또한 열린 문제DSPACE(O(n))=?NSPACE(O(n))DSPACE(O(n))=?NSPACE(O(n))\mathbf{DSPACE(O(n))} =^{?} \mathbf{NSPACE(O(n))} "아날로그"문제만큼 유명하지는 않습니다. "P=?NPP=?NP\mathbf{P} =^{?} \mathbf{NP}". 글쎄, 정말 그런 비유가 있습니까? 언어가 있습니까 CSLCSL\mathbf{CSL} 에있을 수없는 DSPACE(O(n))DSPACE(O(n))\mathbf{DSPACE(O(n))} (처럼 N PNP\mathbf{NP} 완전한 언어)? 또한 : 언어가 …

10 complexity-theory  np-complete  space-complexity  context-sensitive 

"계산 가능한 현실에 대한 쌀의 정리"가 있습니까? 이것은 현실의 연결성과 어떤 직접적인 방식으로 일치합니까?

10 computability  real-numbers  computable-analysis 

내 독서에서 대부분의 문법은 무한한 수의 문자열을 생성하는 데 관심이있는 것 같습니다. 다른 방법으로 일하면 어떻게 되나요? 길이가 m 인 n 개의 문자열이 주어진 경우 해당 문자열을 생성하는 문법과 해당 문자열 만 생성 할 수 있어야합니다. 이를위한 알려진 방법이 있습니까? 이상적으로는 연구 할 수있는 기술 이름입니다. 또는 그러한 방법을 찾기 …

10 formal-languages  regular-languages  formal-grammars  finite-sets 

Wikipedia에 따르면 경로 압축을 사용하지 않는 순위 별 합집합은 의 상각 된 시간 복잡성을 제공하고 순위와 경로 압축을 기준으로 한 합집합은O(logn)O(log⁡n)O(\log n)O(α(n))O(α(n))O(\alpha(n)) (어디 αα\alphaAckerman 함수의 역함수입니다). 그러나 유니온 랭크가없는 경로 압축의 실행 시간은 언급하지 않았으며, 이것이 내가 일반적으로 구현하는 것입니다. 경로 압축 최적화를 사용하지만 순위 최적화를 사용하지 않는 조합 찾기의 …

10 complexity-theory  time-complexity  union-find 

정규 표현식을 사용하여 정의 할 수있는 언어와 DFA / NFA (finite automata)로 인식 할 수있는 언어는 동일합니다. 언어에 대한 DFA도 없습니다 . 하지만 여전히 그것은 (그 문제에 대한 모든 비정규직 언어가 될 수있다)와 같은 정규 표현식을 사용하여 작성 될 수있다 . 그러나 우리는 정규 표현을 가진 모든 언어가 그것을 인식하는 …

10 formal-languages  regular-languages  regular-expressions 

Slab Allocation의 작동 방식과 일반적인 페이징과 다른 이유 또는 다른 이유를 이해하려고합니다. 나는 이 그림을 발견 나는 더 설명이 있다면 도움이 될 것입니다 생각합니다. 몇 가지 질문 : 3KB 및 7KB 항목은 무엇을 나타 냅니까? 그들은 어떻게 든 관련되어야합니까? 왜 그런 식으로 포장되어 있습니까? 캐시 열에서 캐시는 회색 상자 또는 …

10 operating-systems  paging  memory-allocation 

자연수는 다음과 같이 유도 적으로 정의됩니다 (예 : Coq 구문 사용) Inductive nat: Set := | O: nat | S: nat -> nat. 정수 (및 유리수 및 실수와 같은 다른 세트)를 건설적으로 정의하는 표준 방법이 있습니까?

10 arithmetic  dependent-types  coq 

충돌 감지 클래스의 성능을 향상시키는 동안 gpu에서 보낸 시간의 ~ 80 %가 루프를 통과 해야하는 버킷의 경계를 파악하려는 경우 if / else 조건에 소비되는 것으로 나타났습니다. 더 정확하게: 각 스레드는 ID를 얻습니다.이 ID로 메모리에서 삼각형을 가져옵니다 (각 정수 3 개). 그러면 3만큼 정점을 가져옵니다 (3은 각각 float). 그런 다음 정점을 …

10 computer-architecture  parallel-computing 

세그먼트 트리를 사용하여 의 하위 배열의 합계를 찾을 수 있음을 이해합니다 . 그리고 이것은 here 자습서에 따라 시간 내에 수행 할 수 있습니다 .ㅏㅏAO (로그n )영형(로그⁡엔)\mathcal{O}(\log n) 그러나 쿼리 시간이 실제로 임을 증명할 수 없습니다 . 이 링크 (및 다른 많은 것)는 각 수준에서 처리 된 최대 노드 수가 이므로 …

10 data-structures  runtime-analysis  search-trees  intervals