«applied-theory» 태그된 질문

내가 보는 모든 곳에서 데이터 구조는 레드 블랙 트리 ( std::setC ++, SortedDictionaryC # 등)를 사용하여 구현되고있는 것 같습니다 . 알고리즘 클래스에서 방금 (a, b), 빨강-검정 및 AVL 트리를 다루었으므로 여기에 나와 있습니다 (교수들에게 물어보고 몇 권의 책을보고 약간의 인터넷 검색을 통해). AVL 트리는 빨강 검정 트리보다 평균 깊이가 작으므로 …

46 data-structures  search-trees  applied-theory  dictionaries  balanced-search-trees 

Twitter와 같은 회사가 그룹, 모노 이드 및 반지와 같은 대수 개념에 관심을 갖는 이유는 무엇입니까? github : twitter / algebird 의 저장소를 참조하십시오 . 내가 찾을 수있는 것은 : Bloom filter , HyperLogLog 및 CountMinSketch 와 같은 흥미로운 근사 알고리즘을위한 Monoids 구현 . 이를 통해 숫자처럼 복잡한 작업을 생각하고 hadoop …

38 reference-request  discrete-mathematics  database-theory  applied-theory  group-theory 

에 있다고 보는 촘스키 계층 구조 유형 3 언어없는 외부 메모리 (즉, 유한 자동 장치)에있어서 A 상태 머신에 의해 2 유형의 상태 머신에 의해 인식 될 수있는 하나의 스택 (즉, 기계적 푸시 다운)에 의해 0을 입력 두 개의 스택 (또는 Turing Machine의 경우와 마찬가지로 테이프)이 있는 상태 머신 의 경우 …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

나는 대학에서 운동을 배정 받았다. 나는 그것을 집으로 가져 와서 그것을 해결하기 위해 알고리즘을 프로그래밍하려고 시도했다. 그래프와 관련이 있고 연결된 구성 요소를 찾는 것이라고 생각한다. 그런 다음 마음에 들어온 가장 사소한 것을 강사에게 보여주었습니다. 간단한 관찰 후, 그는 내 솔루션의 런타임 복잡성이 불가피하고 더 효율적인 것을 보여주었습니다. 그리고 계산 복잡성에 …

30 algorithms  algorithm-analysis  education  applied-theory 

문제를 인코딩하기 위해 SAT 솔버를 사용하고 있으며 SAT 인스턴스의 일부로 부울 변수 있는데 그중 하나가 참이고 나머지는 거짓이어야합니다. . (이것은 때때로 "one-hot"인코딩으로 묘사되는 것을 보았습니다.)x1,x2,…,xnx1,x2,…,xnx_1,x_2,\dots,x_n SAT 에서 제약 조건을 " 중 정확히 하나 여야합니다 "를 인코딩하려고 합니다. SAT 솔버를 최대한 효율적으로 실행하려면이 제약 조건을 인코딩하는 가장 좋은 방법은 무엇입니까?x1,…,xnx1,…,xnx_1,\dots,x_n 이 …

25 satisfiability  sat-solvers  applied-theory 

오토 마톤은 디지털 컴퓨터의 추상 모델입니다. 디지털 컴퓨터는 완전히 결정적입니다. 그들의 상태는 언제든지 입력과 초기 상태에서 유일하게 예측할 수 있습니다. 실제 시스템을 모델링하려고 할 때 오토마타 이론에 비결정론을 포함시키는 이유는 무엇입니까?

23 automata  nondeterminism  applied-theory 

기수 정렬은 키가 특정 제한된 범위에 있음을 알 때 이론적으로 매우 빠릅니다 (예 : 범위의 값) . 경우 시간 이 걸리는 기본 값을 변환하면 기본 기수 정렬을 수행 한 다음 전체 알고리즘 을 위해 원래 기본으로 다시 변환하십시오 .엔엔n[ 0 … n케이− 1 ][0…엔케이−1][0\dots n^k -1]k &lt; lg엔케이&lt;lg⁡엔k<\lg n엔엔nΘ ( …

20 algorithms  sorting  applied-theory  radix-sort 

오늘, Henning Kerstan ( "추적 전이 시스템에 대한 추적 의미론")의 연설이 처음으로 범주 이론에 직면했습니다. 그는 확률 적 전이 시스템과 그들의 행동을 일반적인 방식, 즉 셀 수없이 무한한 상태 세트와 다른 트레이스 개념으로 설명하기위한 이론적 프레임 워크를 구축했습니다. 이를 위해 그는 여러 추상화 계층을 거쳐 마침내 모나드 (monad) 라는 개념으로 …

18 applied-theory  category-theory 

가족 HHH 해시 함수의 인 범용 경우 이 위키 백과 기사에서 범용 해싱에 대한 자세한 내용을 찾을 수 있습니다 .h : U→ { 0 , … , M− 1 }h:유→{0,…,미디엄−1}h: U \rightarrow \{0,\ldots,M-1\}∀ x , y∈ U, x ≠ y⇒ Prh ∈ H[ h ( x ) = h ( …

14 data-structures  education  hash-tables  applied-theory 

컴퓨터 과학에서 2D로 주어진 점 집합을 덮는 최소 수의 직선을 찾는 문제가있다 [1] [2] . 많은 논문을 스캔했지만 그 중 어느 것도 문제에 대한 명확한 동기가 없습니다. 이 문제를 해결하는 용도는 무엇입니까? 이것을 설명하는 논문이 있습니까?

12 reference-request  computational-geometry  applied-theory 

타입 이론을 이해하고 싶지만 어떻게 적용 할 수 있는지 먼저 알아야합니다. 프로그래밍에서 타입 시스템을 제외하고 타입 이론의 더 명백한 적용이있을 수 있습니까? 성격 프로파일 링 및 기타 사항에 대해 다른 응용 프로그램이있을 수 있습니까?

10 type-theory  applied-theory 

Dijkstra의 알고리즘은 Google지도 나 자동차의 위성과 같은 현대적인 경로 찾기 시스템에 사용됩니까? 그렇지 않다면 무엇입니까?

10 algorithms  graphs  shortest-path  applied-theory