컴퓨터 과학

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

3
인공 지능을 언제 배워야합니까? [닫은]
휴무 . 이 질문은 의견 기반 입니다. 현재 답변을받지 않습니다. 이 질문을 개선하고 싶습니까? 이 게시물 을 편집 하여 사실과 인용으로 답변 할 수 있도록 질문을 업데이트하십시오 . 작년에 문을 닫았 습니다 . 요점으로 : AI를 배우고 싶습니다. 그러나 나는 인공 지능에 뛰어 들어야 할 때 경험이 풍부한 CS 직원의 …
3
두 가지 계산 모델이 동일하다는 것을 보여주는 방법은 무엇입니까?
두 계산 모델이 동일하다는 것을 어떻게 증명할 수 있는지에 대한 설명을 찾고 있습니다. 동등성 증명이 생략 된 것을 제외하고는 주제에 관한 책을 읽었습니다. 두 계산 모델이 동일하다는 의미에 대한 기본 아이디어가 있습니다 (자동보기 : 동일한 언어를 허용하는 경우). 동등성에 대한 다른 사고 방식이 있습니까? Turing-machine 모델이 람다 미적분학과 동등한 지 …
3
거부 샘플링이 무작위로 무작위로 균일 한 분포를 얻는 유일한 방법입니까?
분포가 균일 한 범위의 숫자를 출력하는 랜덤 생성기가 있고 [0..R−1][0..R−1][0..R-1]분포가 균일 한 범위의 난수를 생성해야한다고 가정합니다 [0..N−1][0..N−1][0..N-1] . N&lt;RN&lt;RN < R 이고 NNN 이 고르게 나누지 않는다고 가정하자 RRR. 진정으로 균일 한 분포 를 얻기 위해 거부 샘플링 방법을 사용할 수 있습니다 . kkk 가 k N &lt; R 과 …
2
가중치 그래프의 최소 스패닝 트리에 주어진 가중치와 동일한 수의 가장자리가 있습니까?
가중 그래프 에 두 개의 서로 다른 최소 스패닝 트리 및 가있는 경우 모든 모서리 에 가중치가 동일한 의 모서리 수는 입니다 (포함 자체)의 에지의 수와 동일하다 동일한 가중치 ? 진술이 사실이라면 어떻게 증명할 수 있습니까?GGGT1=(V1,E1)T1=(V1,E1)T_1 = (V_1, E_1)T2=(V2,E2)T2=(V2,E2)T_2 = (V_2, E_2)eeeE1E1E_1E1E1E_1eeeeeeE2E2E_2eee
5
함수형 프로그래밍 외부의 람다 미적분?
이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 저는 대학생이며 현재 Lambda Calculus를 공부하고 있습니다. 그러나 여전히 이것이 왜 유용한 지 이해하는 데 어려움을 겪고 있습니다. 함수형 프로그래밍을 많이하면 유용 할 수도 있지만, 실제로는 …
7
청년들을위한 컴퓨터 과학 책
이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 15 세의 젊은이를위한 좋은 초보자 컴퓨터 과학 책은 무엇입니까? CS에서 시작하고 싶지만 어디서부터 시작해야할지 모르겠습니다. 프로그래밍 경험이 제한적입니다.
4
Cormen 이외의 알고리즘에 대한 예약
Cormen의 Intro to Algorithms 책에서 대부분의 자료를 완성했으며 Corman의 저서 이외의 자료를 다루는 알고리즘 책을 찾고 있습니다. 추천 사항이 있습니까? 참고 : 나는 이것을 stackoverflow에 요청했지만 대답에 너무 만족하지는 않았습니다. 참고 : 대부분의 의견을 보면서 이상적으로는 이 과정 설명 에서 787 과정의 내용을 다루는 책을 찾고 싶습니다 .
3
시간 에서 크기가 3 인 정렬 된 서브 시퀀스를 찾는 알고리즘이 있습니까?
이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 정수 배열 가 주어지면 및 와 같이 세 개의 인덱스 및 찾는 알고리즘의 존재를 증명하거나 반증하고 싶습니다 선형 시간으로 (또는 그러한 트리플이 없다는 것을 알게 됨).i …
3
주요 공정 대수의 유사점과 차이점
내가 아는 한 공식적인 동시성 모델에 대한 광범위한 연구에 영감을 준 세 가지 주요 대수학이 있습니다. 이것들은: Robin Milner의 CCS 및 -calculusππ\pi Tony Hoare의 CSP Jan Bergstra와 Jan Willem Klop의 ACP 이 세 가지 모두 오늘날까지 매우 활발한 관심을 기울이고 있으며 이들에 대한 방대한 양의 연구가 이루어졌습니다. 이러한 접근 방식의 …
2
베타 동등성은 무엇입니까?
이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 내가 현재 람다 미적분학을 읽고있는 스크립트에서 베타 동등성은 다음과 같이 정의됩니다. -equivalence 포함한 최소의 등가이다 .≡ β → βββ\beta≡β≡β\equiv_\beta→β→β\rightarrow_\beta 나는 그것이 무엇을 의미하는지 전혀 모른다. 누군가가 …
4
연간 CPU 주파수
~ 2004 년 이래로 Moore의 법칙은 CPU 클럭 속도에 대한 작업을 중단했다는 것을 알고 있습니다. 나는 이것을 보여주는 그래프를 찾고 있지만 그것을 찾을 수 없습니다 : 대부분의 차트는 트랜지스터 수 또는 연간 용량을 보여줍니다. 지난 수십 년에서 오늘날까지 컴퓨터의 CPU 주파수 (개인 컴퓨터, 서버, 랩톱 등)를 보여주는 데이터는 어디에서 찾을 …
2
중첩 된 구성 요소가있는 유도 유형에 대한 재귀 정의
중첩되었지만 엄격하게 긍정적 인 위치에 재귀 발생이있는 유도 유형을 고려하십시오. 예를 들어, 일반 목록 데이터 구조를 사용하여 하위를 저장하는 노드가있는 유한 분기가있는 트리입니다. Inductive LTree : Set := Node : list LTree -&gt; LTree. 트리와 트리 목록을 반복하여 이러한 트리에 대해 재귀 함수를 정의하는 순진한 방법은 작동하지 않습니다. 다음 size은 …
1
비결정론으로부터 추가적인 힘을 얻지 못하는 문맥없는 언어를위한 기계
컴퓨터 계산 모델을 고려할 때, Chomsky 계층 구조는 일반적으로 유한 자동 마타, 푸시 다운 자동 마타, 선형 바운드 자동 마타 및 튜링 머신으로 구성됩니다. 첫 번째 수준과 마지막 수준 1 (일반 언어 및 재귀 적으로 열거 가능한 언어)의 경우 결정적 또는 비 결정적 기계를 고려하는지 여부, 즉 DFA가 NFA와 같고 …
4
복잡성 클래스
계산 복잡성 클래스를 연구하기위한 가능한 동기 중 하나는 다양한 종류의 계산 자원 (무작위, 비결 정성, 양자 효과 등)의 힘을 이해하는 것입니다. 이 관점에서 보면 어떤 모델에서 어떤 계산이 가능한지 특성화하려는 시도에 대해 하나의 가능한 공리를 얻을 수있는 것처럼 보입니다. 실행 가능한 계산은 항상 다른 실행 가능한 계산을 서브 루틴으로 호출 …
2
다음 문제를 SAT로 줄이십시오.
여기에 문제가 있습니다. 주어지면 각 입니다. 거기 서브셋 최대 크기 되도록 모든 ? 이 문제를 SAT로 줄이기 위해 노력하고 있습니다. 해결책에 대한 내 생각은 1에서 까지 변수 를 갖는 것입니다 . 경우 각 에 대해 절 하십시오 . 그런 다음이 모든 절을 함께 사용하십시오. 그러나 이것은 의 제약을 나타내지 않으므로 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.