컴퓨터 과학

Lomuto 파티션을 사용하는 quicksort와 고정 피벗이 무작위로 생성 된 입력에서 불규칙하게 수행되지만 전반적인 성능이 떨어지는 이유를 이해하려고합니다. 나는 입력이 무작위로 생성되었지만 시퀀스에 많은 순서가있을 수 있다고 생각하지만 시퀀스의 장애 수준을 측정하는 방법을 모르겠습니다. 나는 반전의 수를 사용하는 것에 대해 생각했지만 이 다른 질문 에서이 경우에는 이것이 실제로 좋은 척도가 아니라고 …

9 algorithms  sorting 

기계 학습 / AI에 대한 사전 지식이없는 초보자로 PAC 학습 (계산 학습 이론)을 조사하고 있습니다. 역사적 관점에서 주로 모델을 조사하고 있습니다. 이를 위해 가장 중요한 것은 물론 모델을 기반으로 한 결과입니다. 이 결과를 문서화하기에 충분한 논문이 있습니다. 그러나 나는 또한 PAC 모델의 개념과 함께 Valiant가 어디서 왔는지에 대한 역사적 맥락을 …

9 machine-learning 

축퇴 다각형이란 무엇입니까? 주어진 다각형 쌍의 퇴행 여부를 어떻게 확인합니까?

9 algorithms  computational-geometry 

컨텍스트 프리 문법을 푸시 다운 오토마타로 변환하는 규칙 또는 메소드 세트가 있습니까? 이미 온라인 에서 일부 슬라이드를 찾았 지만 이해할 수 없었습니다. 슬라이드 10에서 그는 누군가가 그것을 설명 할 수있는 몇 가지 규칙에 대해 이야기합니다.

9 context-free  formal-grammars  pushdown-automata  simulation 

내가 아는 똑똑한 15 세는 컴퓨터 과학과 유전학에 관심이 있습니다. 나는 그녀에게이 분야가 훌륭한 조합을 만든다고 말했다. 나는 그녀에게 생물 정보학 또는 컴퓨터 유전체학에 관한 책을주고 싶다. 교과서가 아닌 재미있는 책을 찾고 있습니다. 특히, 심도있는 지식 자체를 제공하는 것을 목표로하지 않고 사람들이 해당 분야를 연구하고 싶어하도록 고무해야합니다. 유전자 알고리즘에 관한 …

9 education  books  bioinformatics 

저자는 프로그래밍 언어에 대한 실용 기초의 1 장 에서 추상 구문 트리가 정렬 과 연관되어 있다고 언급했다 . 직관적으로 정렬은 유형과 비슷하지만 정확한 정의가 있는지 알고 싶습니다. 참고 자료도 있으면 기쁠 것입니다.

9 terminology  programming-languages  semantics 

상황에 맞는 언어를 조작하는 것과 관련된이 문제가 발생했습니다. 허락하다엘LL문맥이없는 언어입니다. 밝히다엘#= { x :엑스나는∈ LL#={x:xi∈LL^{\#} = \{ x : x^i \in L 모든 난 = 0 , 1 , 2 , . . . }i=0,1,2,...}i=0,1,2,...\}. 입니다엘#L#L^{\#}항상 문맥이 없습니까? 내 생각에 그것은 문맥 자유를 보존 할 것입니다. 누구든지 이것에 대한 기본적인 …

9 formal-languages  context-free 

대학에서 우리는 일반적인 계산 이론과 튜링 머신에 대해 더 구체적으로 배우고 있습니다. 큰 이론적 결과 중 하나는 잠재적으로 큰 알파벳 (기호)을 희생시키면서 상태 수를 2로 줄일 수 있다는 것입니다. 다른 Turing Machines의 예를 찾고 있었고 일반적인 예는 괄호 매처 / 체커입니다. 기본적으로 괄호 문자열 (()()()))()()()이 균형을 이루는 지 확인합니다 ( …

9 turing-machines  context-free  parsers 

최근 에 Math SE에 대해 질문 했습니다. 아직 응답이 없습니다. 이 질문은 그 질문과 관련이 있지만 컴퓨터 과학에 대한 더 많은 기술적 세부 사항입니다. 두 개의 DFA가 주어짐 A=(Q,Σ,δ,q1,F1)A=(Q,Σ,δ,q1,F1)A = (Q, \Sigma, \delta, q_1, F_1) 과 B=(Q,Σ,δ,q2,F2)B=(Q,Σ,δ,q2,F2)B = (Q, \Sigma, \delta, q_2, F_2) 여기서 상태 집합, 입력 알파벳 및 전환 …

9 formal-languages  reference-request  finite-automata 

SkipList는 동일한 기능을 제공합니다 O(logn)O(log⁡n)O(\log n)균형 재조정이 필요하지 않다는 이점이있는 균형 트리로 검색 범위를 제한합니다. SkipList는 랜덤 코인 플립을 사용하여 구성되므로 SkipList의 구조가 충분히 "밸런스 된"경우에만 이러한 경계가 유지됩니다. 특히, 일부 상수 대해 확률 경우 , 요소 삽입 후 균형 구조가 손실 될 수 있습니다.1/nc1/nc1/n^cc>0c>0c>0 잠재적으로 영원히 실행되는 웹 응용 …

9 data-structures  search-trees  probabilistic-algorithms 

43:30 에 MIT OCW 6.006 의 암송 비디오 에서 주어진 m×nm×nm \times n 매트릭스 AAA 와 mmm 열과 nnn 피크가 인접한 이웃보다 크거나 같은 임의의 값인 2 차원 피크 발견 알고리즘 인 행을 다음과 같이 설명했습니다. 참고 : 통해 열을 설명하는 데 혼란이있는 경우 nnn, 사과드립니다. 그러나 이것은 암송 비디오가 …

9 algorithms  algorithm-analysis  asymptotics  matrices 

CPU 캐시는 시간적 및 공간적 지역성을 이용하여 사용됩니다. 내 질문은 누가 이러한 캐시를 관리해야합니까? 저수준 OS 함수 호출을 사용하여 특정 액세스 패턴을 식별 한 다음 캐시를 관리 (즉, 데이터를 저장)하는이 운영 체제입니까?

9 computer-architecture  cpu-cache 

표준 검색 알고리즘에 사용 된 비교기가 공정한 코인 플립으로 대체 될 때 실행 시간이 변경되는지, 그리고 또한 균일 한 순열 생성기를 작성하지 못하는 Microsoft의 눈에 띄는 오류 에 대해 질문 하는 사람은 이 질문 에서 영감을 얻었 습니다. : 비교기의 구현에 따라 비교 기반 정렬 알고리즘이 있습니까? 실제 비교자를 사용할 …

9 sorting  randomized-algorithms  permutations 

나는 지식 표현에서 몇 가지 정의로 어려움을 겪고 그것들을 구별 할 수있는 확실한 도움을 구합니다. 온톨로지와 시맨틱 네트워크의 차이점 (시맨틱 웹과 혼동하지 않아야 함)에 대한 위키 백과 및 많은 웹 사이트를 검색했습니다. 시맨틱 네트워크 의 위키 백과 페이지는 온톨로지를 참조하지 않지만 CS와 매우 유사하게 적용됩니다. 시맨틱 네트워크는 AI 연구에 적합한 …

9 terminology  knowledge-representation  ontologies 

다음 과 같은 형식 의 (이진) 정수 프로그램이 제공됩니다.0 , 10,10,1 분성에프( x )A x = b엑스나는≥ 0엑스나는∈ { 0 , 1 }∀ 나는∀ 나는분에프(엑스)성ㅏ엑스=비엑스나는≥0∀나는엑스나는∈{0,1}∀나는 \begin{array}{lll} \text{min} & f(x) & \\ \text{s.t.} & A x = b \\ & x_i \ge 0 & \quad \forall i\\ & x_i \in \{0,1\} …

9 complexity-theory  np-complete  approximation  integer-programming