컴퓨터 과학

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

4
Prolog로 제약 만족 문제를 해결할 수 있습니까?
인가 "파티 참석" 문제의 유형은 프롤로그에서 해결 가능? 예를 들면 다음과 같습니다. 우엉 뮬둔과 카를로 타 핑크 스톤은 모두 알버스 덤블도어가 오면 올 것이라고 말했다. Albus Dumbledore와 Daisy Dodderidge는 Carlotta Pinkstone이 오면 올 것이라고 말했다. 엘프 리다 클래 그 (Alfrida Clagg)가 오면 알버스 덤블도어 (Albus Dumbledore), 우엉 뮬둔 (Burdock Muldoon), …
4
X의 문제가 X-Complete가 아님을 보여주는
레알의 실존 적 이론 에 PSPACE ,하지만 난 그것을인지 모르는 PSPACE 완성 . 그렇지 않다고 생각되면 어떻게 증명할 수 있습니까? 더 일반적으로, 복잡한 클래스 X에 문제가 있다고 가정하면 X-Complete 이 아니라는 것을 어떻게 나타낼 수 있습니까? 예를 들어 X 는 NP , PSPACE , EXPTIME 일 수 있습니다 .
1
카테고리 이론적 프레임 워크를 사용하는 모나드의 자연 발생
오늘, Henning Kerstan ( "추적 전이 시스템에 대한 추적 의미론")의 연설이 처음으로 범주 이론에 직면했습니다. 그는 확률 적 전이 시스템과 그들의 행동을 일반적인 방식, 즉 셀 수없이 무한한 상태 세트와 다른 트레이스 개념으로 설명하기위한 이론적 프레임 워크를 구축했습니다. 이를 위해 그는 여러 추상화 계층을 거쳐 마침내 모나드 (monad) 라는 개념으로 …
5
해시 테이블 작업 O (1)는 어떤 종류의 데이터입니까?
에 대한 답변에서 해시 테이블 조회 O (1)이다 (시)는? 데이터가 특정 통계 조건을 만족할 때 해시 테이블에 최악의 동작 (최소한 상각)이 있으며 이러한 조건을 광범위하게 만드는 데 도움이되는 기술이 있습니다.O(1)O(1)O(1) 그러나 프로그래머의 관점에서 볼 때 내 데이터가 무엇인지 미리 알 수 없습니다. 종종 외부 소스에서 비롯됩니다. 그리고 한 번에 모든 …
3
작동하지 않는 설정에서 클로저 구현 문제
프로그래밍 언어에서 클로저는 널리 사용되는 기능입니다. Wikipedia의 말 : (강조 광산) : 컴퓨터 과학에서 클로저 (...)는 해당 함수 의 비 로컬 변수에 대한 참조 환경과 함께 제공되는 함수입니다. 클로저를 사용하면 함수가 즉각적인 어휘 범위 밖의 변수에 액세스 할 수 있습니다. 따라서 클로저는 본질적으로 자신의 범위를 벗어난 변수를 사용할 수있는 (익명?) …
4
알고리즘의 재귀와 생성 함수
조합론은 컴퓨터 과학에서 중요한 역할을합니다. 알고리즘 설계뿐만 아니라 분석에서도 조합 방법을 자주 사용합니다. 예를 들어 , 그래프에서 -vertex 커버 세트 를 찾는 한 가지 방법은 모든 \ binom {n} {k} 가능한 서브 세트를 검사 할 수 있습니다 . 이항 함수가 기하 급수적으로 증가하는 동안 k 가 고정 상수 인 경우 …
3
일정한 시간 작업으로 영리한 메모리 관리?
고정 크기 블록과 관련된 두 가지 기본 메모리 할당 작업을 수행 할 수있는 메모리 세그먼트 (필요한 경우 파일과 같이 크기가 커지거나 줄어들 수 있음)를 고려해 보겠습니다. 하나의 블록 할당 더 이상 사용되지 않는 이전에 할당 된 블록을 해제합니다. 또한 필요에 따라 메모리 관리 시스템은 현재 할당 된 블록을 이동할 수 …
3
양자 컴퓨터가 특히 유용한 이유는 무엇입니까?
나는 양자 컴퓨터가 논리를 통한 단일 패스로 가능한 모든 상태의 중첩을 처리 할 수 ​​있다는 것을 알고 있습니다. 그것은 사람들이 양자 컴퓨터를 특별하거나 유용하게 만드는 것으로 지적하는 것 같습니다. 그러나 중첩 입력을 처리 한 후에는 중첩 결과가 나타납니다. 그 결과 단일 질문 만 할 수 있으며 단일 값으로 축소됩니다. 또한 …
5
매개 변수로 √n을 사용하여 되풀이 관계 해결
재발을 고려하십시오 T(n)=n−−√⋅T(n−−√)+cnT(n)=n⋅T(n)+cn\qquad\displaystyle T(n) = \sqrt{n} \cdot T\bigl(\sqrt{n}\bigr) + c\,n 대 어떤 양의 상수를 가진 및 .c T ( 2 ) = 1n>2n>2n \gt 2cccT(2)=1T(2)=1T(2) = 1 나는 재발을 해결하기위한 마스터 정리를 알고 있지만 그것을 사용 하여이 관계를 어떻게 해결할 수 있는지 확실하지 않습니다. 제곱근 파라미터에 어떻게 접근합니까?
4
두 알고리즘이 입력에 대해 동일한 결과를 반환하는지 어떻게 확인합니까?
모든 입력 세트가 무한 할 때 두 알고리즘 (예 : 병합 정렬 및 Naïve 정렬)이 입력에 대해 동일한 결과를 반환하는지 어떻게 확인합니까? 업데이트 : Ben 이 일반적인 경우 알고리즘 적으로 수행하는 방법을 설명해 주셔서 감사합니다 . Dave의 대답 은 항상 작동하지는 않지만 매우 효과적인 알고리즘 및 수동 (인간 위트 및 …
8
알고리즘을 비트 열로 표현할 수 있다고 가정 할 수있는 이유는 무엇입니까?
전산 복잡도와 터링 머신에 관한 책을 읽기 시작했습니다. 인용문은 다음과 같습니다. 정규 인코딩을 결정하면 알고리즘 (예 : 기계)을 비트 문자열로 나타낼 수 있습니다. 이 주장은 간단한 사실로 제공되지만 이해할 수 없습니다. 예를 들어 를 입력으로 사용하고 계산 하는 알고리즘이 있거나( x + 1 ) 2엑스엑스x( x + 1 )2(엑스+1)2(x+1)^2 int …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.