컴퓨터 과학

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

3
광선 추적 대 객체 기반 렌더링?
인트로 그래픽 코스에는 일반적으로 장면을 렌더링하기 위해 광선 추적기를 작성하도록 요청하는 프로젝트가 있습니다. 대학원에 입학하는 많은 그래픽 학생들은 광선 추적 작업을 원한다고 말합니다. 그러나 레이 트레이싱은 SIGGRAPH 등과 같은 장소에서 죽은 분야 인 것 같습니다. 광선 추적은 실제로 원하는 모든 조명 등으로 장면을 정확하게 렌더링하는 가장 좋은 방법 입니까, 광선 …
19 graphics 
5
이분 그래프의 최대 독립 세트
이분 그래프의 최대 독립 세트를 찾으려고합니다. "1998 년 5 월 13 일-University of Washington-CSE 521-응용 프로그램 네트워크 흐름" 에서 다음 사항을 발견했습니다 . 문제: 이분 그래프 주어지면 가능한 큰 독립 세트 를 찾으십시오. 여기서 및 입니다. 세트의 요소 사이 에 모서리가 없으면 세트는 독립적 입니다.G=(U,V,E)G=(U,V,E)G = (U,V,E)U′∪V′U′∪V′U' \cup V'U′⊆UU′⊆UU' \subseteq …
1
배열 초기화에 저장
최근에 초기화 할 필요가없는 배열을 가질 수 있다는 것을 읽었습니다. 즉, 각 구성원을 기본값으로 설정하려고 할 때 시간을 소비하지 않고도 배열을 사용할 수 있습니다. 즉, 배열을 초기화하지 않고 기본값으로 초기화 된 것처럼 배열을 사용할 수 있습니다. (죄송합니다, 나는 이것을 어디서 읽었는지 기억하지 못합니다). 예를 들어 왜 이것이 놀라운 지에 대해 …
1
모든 알고리즘이 기하 급수적으로 빠른 알고리즘을 허용하도록하는 결정 문제
Hromkovič의 어려운 문제에 대한 알고리즘 (제 2 판)에는 다음과 같은 정리가 있습니다 (117 페이지 2.3.3.3). A (decidable) 결정 문제가 되도록 모든 알고리즘에 대한 을 해결해의 것을 다른 알고리즘가 도 해결 추가적으로 충족A P A ' P피피PㅏㅏA피피Pㅏ'ㅏ'A'피피P ∀∞n ∈ N . T I m의 Eㅏ'( n ) = 로그2T I m의 …
3
'a->'b 유형의 ML 함수
교수님은 OCaml에서 다음과 같은 유형의 함수를 생각해 보라고했습니다. 'a -> 'b 즉, 하나의 인수가 무엇이든 될 수 있고 다른 것을 반환 할 수있는 함수입니다. raise인수를 무시하는 함수를 사용하려고 생각 했습니다. let f x = raise Exit 그러나 교수는 표준 라이브러리에서 어떤 기능을 요구하지 않는 솔루션이 있다고 말했다. 혼란 스럽습니다. 'b처음에없는 …
3
De Morgan의 법칙을 설명하고 이해하는 직관적 인 방법은 무엇입니까?
드 모건의 법칙은 종종 컴퓨터 과학 과정을위한 입문 수학에서 소개되며, 종종 용어를 부정함으로써 진술을 AND에서 OR로 바꾸는 방법으로 간주합니다. 진리표를 기억하는 것보다는 왜 이것이 작동하는지에 대한 더 직관적 인 설명이 있습니까? 저에게 이것은 흑 마법을 사용하는 것과 같습니다. 수학적으로 덜 기울어 진 개인에게 이해가되도록 이것을 설명하는 더 좋은 방법은 무엇입니까?
1
3SAT에서 해밀턴 경로 문제로 쉽게 축소
286 페이지의 Sipser의 책 "계산 이론 소개"가 3SAT에서 Hamiltonian 경로 문제로 감소했습니다. 더 간단한 축소가 있습니까? 더 간단하게 말하면 (학생들에게는) 이해하기 쉬운 축소를 의미합니다. 선형 수의 변수를 사용하는 축소가 있습니까? Sipser의 축소는 변수를 사용 합니다. 여기서 는 절 수이고 은 변수 수입니다. 다시 말해, 축소가 크기를 에서 로 날리는 것이 …
4
협업 스케줄링이 I / O 조작을 수행 할 때 프로세스를 일시 중단합니까?
많은 운영 체제 참조에 따르면 (선점 형이 아닌) 협력적인 멀티 태스킹을 사용하면 프로세스가 CPU를 명시 적으로 자발적으로 일시 중단 할 때까지 유지합니다. 실행중인 프로세스가 즉시 만족할 수없는 I / O 요청을 수행하는 경우 (예 : 아직 사용할 수없는 키 입력을 요청하는 경우) 스케줄러가 일시 중단하거나 요청을 처리 할 수있을 때까지 …
2
타입 검사 알고리즘
형식 검사 알고리즘에 대한 개인 서지 연구를 시작하고 있으며 몇 가지 팁이 필요합니다. 가장 일반적으로 사용되는 형식 검사 알고리즘, 전략 및 일반적인 기술은 무엇입니까? 특히 C ++, Java 5+, Scala 또는 기타와 같이 널리 알려진 강력한 정적 형식 언어로 구현 된 복잡한 형식 검사 알고리즘에 관심이 있습니다. IE, 기본 언어의 …
4
TCS 이해에 방해가되지 않기위한 전략
저는 계산 이론을 전공하는 대학원생이며, 일단 요청을 받으면 콘텐츠 제작에 심각한 문제가 있습니다. 나는 교과서 (Michael Sipser의 계산 이론 입문)와 강의를 따를 수 있습니다. 그러나 무언가를 증명하거나 특정 TM에 대한 공식적인 설명을 요구할 때, 나는 단지 질식했다. 그런 상황에서 어떻게해야합니까? 내 문제는 추상적 개념을 실제로 사용할 수있는 시점까지 완전히 이해하는 …
2
unipathic 그래프는 몇 개의 모서리를 가질 수 있습니까?
단일 경로 그래프는 하나의 정점에서 다른 정점으로 최대 하나의 간단한 경로가 있도록하는 유 방향 그래프입니다. 단일 경로 그래프에는주기가있을 수 있습니다. 예를 들어, 이중 연결 목록 (원형 목록이 아님)은 일관된 그래프입니다. 리스트에 요소가있는 경우 그래프는 길이 2의 주기를 가지며 총 입니다.n − 1 2 ( n − 1 )nnnn−1n−1n-12(n−1)2(n−1)2(n-1) 개의 꼭짓점이 …
5
다이나믹 프로그래밍에 대한 사례 : 예 필요!
나는 한동안 동적 인 프로그래밍 작업을 해왔다. 동적 프로그래밍 재귀를 평가하는 정식 방법은 필요한 모든 값의 테이블을 만들고 행 단위로 채우는 것입니다. 예를 들어 Cormen, Leiserson et al : "Introduction to Algorithms" 를 참조하십시오 . 필자는 2 차원 (행 단위로 채움)으로 테이블 기반 계산 체계에 중점을두고 셀 종속성의 구조, 즉 …
2
'차이'연산이 이미 '조인'을 포함하는 쿼리 언어에 표현성을 추가합니까?
차분 연산자 (예 : EXCEPT일부 SQL 변형)는 관계 대수의 많은 기본 연산자 중 하나입니다. 그러나 차이 설정 연산자를 직접 지원하지 않지만 지원하는 LEFT JOIN(일종의 외부 조인) 데이터베이스가 있으며 실제로는 차이 설정 작업 대신 동일한 효과를 얻기 위해 사용할 수 있습니다. 이는 LEFT JOIN연산자가 유지 되는 한, 차이 설정 연산자 없이도 …
6
동적 프로그래밍과 Brute Force의 차이점
다음 인용문을 보았을 때 동적 프로그래밍 에 대해 읽었습니다. 동적 프로그래밍 알고리즘은 가능한 모든 방법으로 문제를 해결하고 최상의 솔루션을 선택합니다. 따라서 우리는 동적 프로그래밍을 가능한 모든 솔루션을 통해 최상의 솔루션을 선택할 수 있는 지능적이고 무차별 한 방법 이라고 생각할 수 있습니다 . 문제의 범위가 모든 가능한 솔루션을 통과하는 것이 가능하고 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.