컴퓨터 과학

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

1
통일 vs. SAT 솔버
나는 Wikipedia에서 통일 이 만족스러운 문제를 해결하는 과정 이라고 읽었습니다 . 동시에, 그러한 솔버를 "SAT 솔버"또는 "SMT 솔버"라고합니다. 그래서 그들은 같은 것의 다른 이름입니까? 그들이 다르다고 말하면 내 치료에 결함이 있음을 지적하십시오.

3
CLRS의 d-ary 힙 문제
다음 문제를 해결하는 동안 혼란스러워했습니다 (질문 1-3). 질문 D -ary 힙 이진 힙 유사하지만 (하나 개의 가능한 제외) 잎 이외의 노드는이 D 자녀 대신 2 명. 배열에서 d- ary 힙을 어떻게 표현 하시겠습니까? n 및 d 측면에서 n 요소 의 d- ary 힙 높이는 얼마입니까? d -ary max-heap 에서 EXTRACT-MAX를 …

2
빠른 k 불일치 문자열 매칭 알고리즘
빠른 k- 미스 매치 문자열 일치 알고리즘을 찾고 있습니다. 길이가 m 인 패턴 문자열 P와 길이가 n 인 텍스트 문자열 T가 주어지면 P가 최대 k 개의 일치하지 않는 T의 하위 문자열과 일치하는 모든 위치를 찾으려면 빠른 (선형 시간) 알고리즘이 필요합니다. 이것은 k- 차이 문제 (편집 거리)와 다릅니다. 불일치는 하위 문자열을 …


1
TCS 전공 수학
이론적 인 컴퓨터 과학 전공을 찾고 있습니다. 특히, 나는 복잡성 이론과 확률 적 오토마타 이론에 관심이있다. 내가 1 년 안에 졸업 할 때, 다음의 두 학기를 이수하는 것이 수학의 어떤 고급 과정 (예 : 갈루아 이론 또는 고조파 분석)에 도움이 될 것이라고 생각하십니까? 왜?


1
다른 절에 대한 고유 변수
결의 정리 증명에서, 일반적으로 다른 절의 변수는 구별된다고 가정합니다. 이것은 자동으로 발생하는 것이 아닙니다. 구현하려면 상당한 추가 코드와 계산이 필요합니다. 그것을 감안할 때, 나는 그것에 대한 테스트 사례를 찾고 있습니다. 문제는 지금까지 시도한 모든 테스트 사례에서 아무런 차이가 없다는 것입니다. 아마도 특별한 경우에만 중요합니다. 같이 위키 둔다을 "다른 절에서 변수 …



1
주어진 문자열이 문자열 모음과 얼마나 유사한 지 확인
이 질문이 여기에 속하는지 잘 모르겠으며 그렇지 않은 경우 사과드립니다. 내가하고자하는 것은 주어진 끈이 끈으로 묶여 있는지 여부를 확률 적으로 결정할 수있는 프로그래밍 방식을 개발하는 것입니다. 예를 들어, 미국 도시 이름이 10,000 개이고 문자열 "필라델피아"가있는 경우 '필라델피아'가 내가 이미 알고있는 미국 도시 이름을 기반으로하는 미국 도시 이름 일 가능성을 정량적으로 …

2
시간 및 공간 에서 특정 수 결정 (최악의 경우)
\newcommand\ldotd{\mathinner{..}} 감안할 A[1..n]A[1..n]A[1\ldotd n] 정수가되도록 0≤A[k]≤m0≤A[k]≤m0\le A[k]\le m 모두 1≤k≤n1≤k≤n1\le k\le n , 각각의 발생 A [1 \ ldotd n] 에서 특정 숫자를 제외한 숫자 A[1..n]A[1..n]A[1\ldotd n]는 홀수입니다. 발생 수가 짝수 인 숫자를 찾으십시오. 있다 Θ(nlogn)Θ(nlog⁡n)\Theta(n\log n) 알고리즘 : 우리 정렬 A[1..n]A[1..n]A[1\ldotd n] 에 B[1..n]B[1..n]B[1\ldotd n] 및 브레이크 B[1..n]B[1..n]B[1\ldotd n] …

2
기억에 남는 IPv6 주소를위한 약한 해싱 기능
IPv6 주소 형식 862A:7373:3386:BF1F:8D77:D3D2:220F:D7E0은 IPv4의 4 옥텟보다 암기하거나 기록하기가 훨씬 어렵습니다. 이 한 된 IPv6 주소는 어떻게 든 더 기억에 남는하고,이를 완화하려는 시도. 의도적으로 약한 해싱 함수가 있습니까? "구문을 지불 할 가치가 없도록 구부러진 경우 구절이 상대적으로 양성이며 찾기 쉽다" 는 문구가 반전되어 대상 IPv6 주소로 해시 될 것입니까? 물론 …

2
활성화 기능과 관련된 신경망의 계산 능력
합리적인 가중치를 갖는 신경망은 신경망을 이용한 범용 튜링 머신 튜링 계산 능력을 가지고 있음이 입증되었습니다 . 내가 얻는 것에서, 실제 가중치를 사용하면 더 확실하지는 않지만 더 많은 계산 능력을 얻는 것처럼 보입니다. 그러나 신경망의 계산력과 활성화 함수 사이에 상관 관계가 있습니까? 예를 들어, 활성화 기능이 입력을 스펙 커 시퀀스의 한계 …

1
RAM 머신에 의해 T (n)에서 계산 가능한 부울 함수가 DTIME (T (n) ^ 2)에 있음을 증명
문제는 Arora-Barak의 저서 Computational Complexity-Modern Approach 의 연습 1.9입니다 . RAM 튜링 머신을 랜덤 액세스 메모리가있는 튜링 머신으로 정의하십시오. 우리는 이것을 다음과 같이 공식화합니다. 기계에는 모든 배열로 초기화되는 무한 배열 A가 있습니다. 다음과 같이이 배열에 액세스합니다. 기기의 작업 테이프 중 하나가 주소 테이프로 지정되어 있습니다. 또한 기계에는 R과 W로 표시되는 …

2
이진 트리의 평균 높이는 얼마입니까?
이진 트리의 평균 높이에 대한 공식적인 정의가 있습니까? 다음 두 가지 방법을 사용하여 이진 트리의 평균 높이를 찾는 방법에 대한 자습서 질문이 있습니다. 자연적인 해결책은 가능한 모든 경로의 평균 길이를 뿌리에서 잎으로 가져 오는 것입니다. 아1( T) = 1# T에 나뭇잎 ⋅ ∑V 의 잎 T깊이( V )avh1⁡(T)=1# leaves in …

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.