컴퓨터 과학

컴퓨터 과학의 학생, 연구원 및 실무자를위한 Q & A

4
한 그룹의 사람들이 서로 선물을 사기위한 최소 쇼핑 여행 횟수
우리는 명으로 구성된 그룹 이 있습니다. 그룹 내에서 누구를 위해 선물을 사야하는지 목록이 제공됩니다. 각 사람은 여러 가지 선물을 사거나 받아야 할 수도 있고 전혀 선물을받지 않아도 될 수도 있습니다. 쇼핑 여행에서 사람들의 일부는 같은 상점으로 함께 여행하며 상점에없는 사람을 위해 선물을 구입합니다. 그들은 같은 쇼핑 여행에서 다른 사람을 위해 …
1
이 코드가 종료 될 가능성은 얼마입니까?
나는이 파이썬 코드를 작성하고 때로는 단순히 끝나지 않는지 궁금했다 (무한 메모리 / 시간이 있고 재귀 깊이 제한이 없다고 가정). 직관적으로 당신은 어느 시점에서 운이 좋아야하기 때문에 그것이 종결된다고 생각할 것이며, 그것이 끝나지 않으면 운이 좋을 시간이 무한합니다. 반면에 재귀 깊이가 증가하면 기하 급수적으로 더 운이 좋아야합니다. import random def random_tree(): …
3
이 Quicksort 정확성 증명을 이해하려고
이 증거는 귀납에 의한 증거이며 다음과 같습니다. P (n)은 "Quicksort가 길이 n의 모든 입력 배열을 올바르게 정렬합니다"라는 주장입니다. 기본 사례 : 길이가 1 인 모든 입력 배열이 이미 정렬되었습니다 (P (1) 보유) 유도 단계 : 고정 n => 2. 길이 n의 일부 입력 배열을 고정합니다. P (k)가 모든 k <n을 …
1
나이브 베이 즈 구현
Laplacian smoothing을 사용하여 텍스트 분류를위한 Naive Bayes 알고리즘을 구현하고 있습니다. 내가 가진 문제는 많은 작은 분수를 곱하기 때문에 확률이 0에 가까워진다는 것입니다. 따라서 확률은 결국 0이됩니다. 문서와 훈련 세트 내에 여러 단어가 있기 때문입니다. 이로 인해 텍스트를 분류 할 수 없습니다. 이 문제를 해결할 수있는 방법이 있습니까? 구현에 문제가 있습니까?
2
엄격한 양성
이 참조에서 : 엄격한 양성 엄격한 양성 조건은 다음과 같은 선언을 배제합니다. data Bad : Set where bad : (Bad → Bad) → Bad A B C -- A is in a negative position, B and C are OK A가 왜 음수입니까? 또한 왜 B가 허용됩니까? C가 허용되는 이유를 이해합니다.
1
정지 문제가 3 차원 1 차원 세포 오토마타에 대해 결정 가능한가?
3 기호 1 차원 셀룰러 오토마타에 대해 정지 문제가 결정 가능한지 알아 내려고 노력했습니다. 정의 하자 의 시간 단계에서 시스템의 구성을 나타내는 . 보다 공식적으로 여기서 는 알파벳입니다.f(w,i)f(w,i)f(w,i)iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to A^*AAA 정의. 셀룰러 오토 마톤은 구성에 정지 된 , 만약 우리가있다 .f(w,i)f(w,i)f(w,i)∀k∈N∀k∈N\forall k\in \mathbb{N}f(w,i)=f(w,i+k)f(w,i)=f(w,i+k)f(w,i)=f(w,i+k) 주어진 세포 오토 마톤의 정지 문제는 …
3
(충돌이 적은) 해시 테이블 조회가 실제로 O (1) 인 이유는 무엇입니까?
면책 조항 : 나는 이미 여기와 Stackoverflow에 비슷한 소리가 나는 질문이 있다는 것을 알고 있습니다. 그러나 그들은 모두 충돌에 관한 것입니다. 내 질문은 : 왜 충돌이 적은 조회 O(1)가 처음입니까? 이 해시 테이블이 있다고 가정 해 봅시다. Hash Content ------------- ghdjg Data1 hgdzs Data2 eruit Data3 xcnvb Data4 mkwer Data5 …
1
자기 유형으로 인해 귀납적 구조의 미적분이 쓸모 없습니까?
자체 유형은 언어가 Scott Encoding을 통해 인코딩 된 대수 데이터 유형을 표현할 수 있도록하는 건축 미적분의 확장입니다 [1]. Scott Encoding은 in에 패턴 매칭 기능을 제공하는데 O(1), 이는 CC에 귀납적 정의를 포함시키는 주요 동기 중 하나입니다. 그러나 Self Types는 훨씬 더 단순하고 우아한 기본 이론을 만들며, 강력하지는 않습니다. 이론적 인 관점에서, …
2
그 안에 누워있는 포인트의 수를 최대화하는 공을 찾는 복잡성
x1,…,xn∈R2x1,…,xn∈R2x_1, \ldots, x_n \in \mathbb{R}^2 및 반지름 r 의 집합이 주어 rrr집니다. r 보다 작은 거리에서 더 많은 수의 포인트를 가진 포인트를 찾는 것이 복잡 rrr합니다. 예를 들어 ∑ni=11∥x−xi∥≤r∑i=1n1‖x−xi‖≤r\sum_{i=1}^n \mathbb{1}_{\|x - x_i\| \leq r} ? 무차별 대입 알고리즘은 모든 점을지나 r 보다 작은 거리에있는 점의 수를 세는 것 rrr입니다. \ …
1
경우
경우 다음이다 ? 결정적이지 않은 다른 클래스의 경우 항상 결정적 클래스와 동일하다는 것을 때문에이 질문 을합니다.P = N P피=엔피\mathbf{P} = \mathbf{NP}L = N L엘=엔엘\mathbf{L} = \mathbf{NL}P = N P피=엔피\mathbf{P} = \mathbf{NP}
5
유형 이론의 일일 응용
타입 이론을 이해하고 싶지만 어떻게 적용 할 수 있는지 먼저 알아야합니다. 프로그래밍에서 타입 시스템을 제외하고 타입 이론의 더 명백한 적용이있을 수 있습니까? 성격 프로파일 링 및 기타 사항에 대해 다른 응용 프로그램이있을 수 있습니까?
4
NP 문제 해결을위한 인공 신경 네트워크 진화
최근에 Google Research 블로그에서 신경망에 대한 흥미로운 블로그 항목을 읽었습니다. 기본적으로 그들은 이미지 인식과 같은 다양한 문제를 해결하기 위해이 신경망을 사용합니다. 그들은 축삭의 무게를 "진화"시키기 위해 유전자 알고리즘을 사용합니다. 기본적으로 내 생각은 다음과 같습니다. 숫자를 인식하는 프로그램을 작성해야한다면 시작하는 방법을 모를 것입니다. 신경망이 진화하기 위해 올바른 맥락을 만들어 내 신경망은 …
3
유한 시간의 무한 계산
이것은 어리석은 생각이지만 무한한 계산 순서를 수행하도록 프로그래밍 된 컴퓨터가 있고 계산이 완료하는 데 초가 걸린다고 가정합니다 . 그런 다음이 컴퓨터는 유한 한 시간 안에 무한한 수의 계산을 수행 할 수 있습니다.나는일나는일i^\text{th}1 / 2나는1/2나는1/2^i 왜 이것이 불가능합니까? 사소한 계산을 수행하는 데 걸리는 시간에 하한이 있습니까?
1
NP- 완전 세트는 적어도 하나가 NP-hard 인 경우에만 다른 두 세트로 구성됩니까?
이 질문은 NP- 완료 세트의 세트 연산으로 구성된 세트에 대한 이전 질문 과 다소 반대입니다 . 두 개의 결정 가능한 세트 및 의 결합, 교차 또는 카티 전 곱으로 세트 가 NP- 완료이면 중 하나 이상이 반드시 NP-hard입니까? P가 이러한 설정 작업에서 닫혀 있기 때문에 둘 다 P에있을 수는 없습니다 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.