컴퓨터 과학

n-body 문제에 대한 일반적인 분석 솔루션은 정확한 정밀도로 임의의 시간 t에서 n-body 시스템의 상태를 제공하는 데 사용할 수있는 분석 함수를 생성 할 수 없습니다. 그러나 분석 기능이 알려진 n-body 시스템의 경우가 있습니다. 거의 같은 방식으로, 임의의 튜링 머신의 결과를 예측할 수있는 일반적인 알고리즘은 없습니다. 그럼에도 불구하고 영원히 멈추거나 달려 있다고 …

16 computability  turing-machines  undecidability  computation-models 

두 푸시 다운 오토 마톤이 동일한 언어를 인식하는지 여부는 결정 불가능합니다. 푸시 다운 자동 장치가 빈 언어를 인식하는지 여부에 대한 문제는 결정 가능하므로 주어진 유한 언어를 인식하는지 여부도 결정 가능합니다. 푸시 다운 오토 마톤이 허용하는 언어가 규칙적인지 여부는 결정할 수 없습니다. 그러나 ... ... 푸시 다운 오토 마톤이 주어진 정규 …

16 computability  undecidability  pushdown-automata 

Galois의 정리는 계수와 근호의 합리적인 함수를 사용하여> = 5 정도의 다항식의 근을 표현할 수 없다고 효과적으로 말합니다. 이제, "실제 다항식 와 숫자 k가 적어도 k의 갭에있는 의 세 번째와 네 번째 루트는 ?"pppppp 이 의사 결정 질문에 대한 증명 인증서는이 다항식의 근본이되며 짧은 인증서이므로 BUT이 Galois 정리가 아닌 것처럼 보입니다. …

16 complexity-theory  np-complete  np  polynomials 

이 질문은 내가 여러 컴퓨터 게임에서 내가 만들고 현재 사용하고 있거나 사용하려고하는 컴퓨터 상대에 대한 접근 방식에 관한 것입니다. 배경 작년에 "Minesweeper Flags"라는 게임의 컴퓨터 상대를 향상 시키려고 할 때 (짧은 설명 : 상대보다 광산 을 더 많이 가져 가야 하는 턴 기반 멀티 플레이어 버전의 Minesweeper ) 알고리즘이 작동하는 …

16 algorithms  artificial-intelligence  computer-games 

우리가 볼 때 배우 모델 과 의사 소통 순차 처리하는 우리는 그들이 둘 다하려고 노력하는 것을 볼 동시성을 기반으로 메시지 전달 , 아직 그들은 구별된다 . (우리 는 go-lang 의 goroutines (및 Clojure의 core.async ) 에서 CSP 모델의 구현 과 Scala의 Akka 툴킷 에서 Actor 모델을 볼 수 있습니다 ) …

16 concurrency  message-passing 

A * (또는 다른 최상의 경로 찾기 알고리즘)를 사용할 때 사용 된 휴리스틱은 허용 가능 해야합니다 . 즉, 실제 솔루션 경로의 길이 (또는 이동)를 과대 평가해서는 안됩니다. 허용 가능한 휴리스틱은 어떻게 최적의 솔루션을 보장합니까? 나는 직관적 인 설명을 찾는 것이 바람직하다. 원하는 경우 8- 퍼즐 의 맨해튼 거리 휴리스틱을 사용하여 …

16 algorithms  artificial-intelligence  search-algorithms  heuristics 

최근에이 계층 적 시간 메모리 (HTM) 의 존재에 대해 배웠습니다 . 나는 이미 이해하기 쉬운 것처럼 보이는 계층 적 시간 기억 : 개념, 이론 및 용어 (Jeff Hawkins와 Dileep George) 문서를 읽었 지만, 한 가지 빨간색 플래그는 문서가 동료 검토 또는 이유를 설명하려고 시도하지 않는다는 것입니다. 자세하게 작업하십시오. 나는 독립적 …

16 neural-networks  hierarchical-temporal-memory 

사용자가 분류 된 샘플을 지속적으로 추가하고 모델을 온라인으로 업데이트 할 수있는 온라인 웹 기반 기계 학습 시스템을 구축하고 싶습니다. 퍼셉트론 또는 이와 유사한 온라인 학습 알고리즘을 사용하고 싶습니다. 그러나 사용자는 실수를하고 관련이없는 예를 삽입 할 수 있습니다. 이 경우 전체 예제 세트에서 퍼셉트론을 다시 훈련시키지 않고 특정 예제를 삭제할 수있는 …

16 machine-learning  online-algorithms 

평면 그래프G=(V,E)G=(V,E)G=(V,E) 지고, 가 각 에지가 길이 1을 갖는 평면에 포함되는 것을 나타내 도록하자 . 또한 각 점 c ∈ C 가 G에 포함되어있는 점 들의 집합 C 가 있습니다. 또한, 임의의 지점에 대해 보유 P 에서 G 존재 함 C ∈ C 까지의 측지선 거리 P 최대 하나에있다. (거리는 …

16 algorithms  graph-theory  set-cover 

일반적인 인터뷰 질문은 주어진 이진 트리가 높이 균형을 이루는 지 확인하는 알고리즘을 제공하는 것입니다 (AVL 트리 정의). Red-Black 나무와 비슷한 것을 할 수 있는지 궁금합니다. 임의의 채색되지 않은 이진 트리 (NULL 노드 포함)가 주어지면, 노드가 Red-Black 트리의 모든 속성을 만족시킬 수 있도록 Red / Black 노드를 채색 (및 채색 할 …

16 algorithms  data-structures  binary-trees  search-trees 

디지털 순차 회로 설계에서 FSM을 사용했습니다. 그러나 나는 유한 Automata에 익숙하지 않습니다. 누군가가 둘 사이의 '기본'차이를 이해하는 데 도움을 줄 수 있습니까?

16 terminology  automata  finite-automata 

이진 힙에 대한 많은 토론에서 일반적으로 감소 키만 최소 힙에 대해 지원되는 작업으로 나열됩니다. 예를 들어 CLR 챕터 6.1 및 이 위키 백과 페이지 입니다. min-heap에 대해 증가 키가 일반적으로 나열되지 않는 이유는 무엇입니까? 자식이 x보다 크지 않을 때까지 증가 된 요소 (x)를 자식의 최소값으로 반복적으로 교환하여 O (높이)에서 그렇게 …

16 algorithms  data-structures  heaps  priority-queues 

우리는 언어를 말할 인 고밀도 다항식이 존재하는 경우 , p는 그러한 | J c ∩ Σ n | 모든 n ∈ N에 대해 ≤ p ( n ) . 즉, 주어진 아이폰에 대한 N 길이의 다항식으로 많은 단어가 존재 N 에 있지 J은 .J⊆Σ∗J⊆Σ∗J \subseteq \Sigma^{*}ppp|Jc∩Σn|≤p(n)|Jc∩Σn|≤p(n) |J^c \cap \Sigma^n| \leq …

16 complexity-theory  time-complexity  np-complete  satisfiability 

나는 우선 순위가 복합 형이고 일부만 정렬 된 객체를 가지고 있습니다 . 이 우선 순위에 따라 객체를 선택해야합니다 (즉, 매번 최소 항목 생성 ). 그러나 임의로 주문을 완료하는 대신 큐가 안정된 경우 최소 요소가 두 개 이상인 경우 가장 오래된 요소를 먼저 반환해야합니다. 부분 순서와 작동하는 힙 데이터 구조가 있습니까? …

16 data-structures  priority-queues 

이 질문에서 우리는 모든 입력에서 멈추는 Turing 머신만을 고려합니다. 경우 k∈Nk∈Nk \in \mathbb{N} 다음에 의해 TkTkT_k 우리는 그 코드 튜링 기계 나타낸다 kkk . 다음 기능을 고려하십시오 s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y) = \min\{k \mid |L(T_k) \cap \{x,y\}| = 1\} 다시 말해, 는 문자열 중 하나를 정확하게 인식하는 가장 작은 Turing machine의 코드입니다이제 다음 …

16 computability  turing-machines