컴퓨터 과학

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

4
다형성 타입`forall t : Type, t-> t`를 가진 함수가 왜 항등 함수 여야합니까?
저는 프로그래밍 언어 이론을 처음 사용합니다. 나는 강사가 다형성 유형의 함수가 forall t: Type, t->t정체성 이라고 주장하는 온라인 강의를보고 있었지만 그 이유를 설명하지 못했습니다. 누군가 왜 나에게 설명 할 수 있습니까? 아마도 첫 번째 원칙의 주장에 대한 증거 일 수 있습니다.
1
단항 알파벳을 역 참조하는 정규 표현식
환경: 역 참조가있는 정규식 단항 언어 (1 기호 알파벳) 이 설정에서 다음 문제를 결정할 수 있습니까? 역 참조가있는 정규식이 주어지면 정규 언어를 정의합니까? 예를 들어, (aa+)\1일반 언어를 정의하지만 (aa+)\1+그렇지는 않습니다. 어떤 경우인지 결정할 수 있습니까? 구체적으로, "역 참조가있는 정규 표현식"은 일반적인 Perl 호환 정규 표현식 의 다음 하위 집합을 나타냅니다 …
3
SAT 및 기타 결정 문제에 대한 근사 알고리즘이없는 이유는 무엇입니까?
NP 완료 결정 문제가 있습니다. 문제의 인스턴스가 주어지면 문제가 발생하면 YES를 출력하고 그렇지 않으면 NO를 출력하는 알고리즘을 설계하고 싶습니다. (물론 알고리즘이 최적이 아닌 경우 오류가 발생합니다.) 이러한 문제에 대한 근사 알고리즘을 찾을 수 없습니다. 나는 SAT를 구체적으로 찾고 있었고 근사 알고리즘 에 대한 Wikipedia 페이지 에서 다음을 발견했습니다 . 이 …
1
종속 유형, 개선 유형 및 Hoare Logic의 차이점
나는 의존형 이론이 거의 없다. Wikipedia에서 : 종속 유형은 정의가 값에 따라 달라지는 유형입니다. 그리고 내 유형 이론 과정에서 나는 종속 유형이 다음과 같습니다. 유형별로 인덱싱 된 유형의 패밀리입니다. 그러나 나는 의존적 유형과 개선 유형 및 논리에 관한 혼란이 있습니다. 에서하기 때문에 Depenedent 정제 대 입력 호어의 논리와 같은 정제 …
2
"최소한"직관적 인 유형 이론?
사람들이 유형 이론에 새로운 유형을 계속 추가하고 있다는 사실에 놀랐지 만 최소한의 이론을 언급하는 사람은 없습니다 (또는 찾을 수 없음). 나는 수학자들이 최소한의 것을 좋아한다고 생각하지 않습니까? 내가 정확하게 이해한다면, impredicative Prop, λ-abstraction 및 Π-types를 가진 타입 이론으로 충분합니다. 충분하다고 말하면 직관 논리로 사용될 수 있습니다. 다른 유형은 다음과 같이 …
7
람다 미적분학은 추상적이지 않은 것으로 보입니다. 그리고 나는 그것의 요점을 볼 수 없다
근본적인 질문 : 무엇 않습니다 람다 계산법은 우리가 일반적으로 중학교 대수에서 배운 기본 기능 특성과 표기법으로 할 수없는 것을 우리를 위해 할? 우선, 람다 미적분학의 맥락에서 초록은 무엇을 의미합니까? 초록이라는 단어에 대한 나의 이해는 개념의 개념적인 요약 인 기계와 분리 된 것입니다. 그러나 람다 함수는 함수 이름을 제거함으로써 특정 수준의 …
7
RAM이 없지만 디스크가있는 컴퓨터는 RAM이있는 컴퓨터입니까?
내가 이해하는 것처럼 메모리는 많은 것들에 사용됩니다. 디스크 캐시 역할을하며 프로그램 지침 및 해당 스택 및 힙을 포함합니다. 여기에 생각 실험이 있습니다. 컴퓨터가 크 런칭을 수행하는 데 걸리는 속도 나 시간에 신경 쓰지 않는다면 디스크가 매우 크다고 가정 할 때 가질 수있는 최소 메모리 양은 얼마입니까? 메모리를 없애고 디스크를 가질 …
2
Mandelbrot는 어떤 의미에서 "계산 가능"으로 설정되어 있습니까?
만델 브로트 집합은 수학의 아름다운 창조물이다. 높은 정밀도로 만들어진이 세트의 아름다운 이미지가 많이 있으므로 분명히이 세트는 어떤 의미에서 "계산 가능"합니다. 그러나 나에게 관심이있는 것은 반복적으로 열거 할 수 없다는 것입니다. 단순히 세트가 셀 수 없기 때문입니다. 이것은 점의 유한 한 표현을 요구함으로써 해결 될 수 있습니다. 또한 많은 포인트가 세트에 …
4
'유진 고스트 만'은 실제로 튜링 테스트를 통과 했습니까?
13 살 소년을 시뮬레이트하기 위해 개발 된 컴퓨터 프로그램 인 '유진 고스트 만 (Eugene Goostman)'은 판사 중 33 %가 인간임을 판결하여 튜링 테스트를 통과했다고 밝혔다. 챗봇이라고도하는 컴퓨터 프로그램은 영어가 제 2의 언어 인 13 세의 우크라이나 소년 인 것으로 보였습니다. 저에게 유진은 평범한 챗봇처럼 반복적이고, 무의미하며, 비 조작자에게 흩어진 소리처럼 …
4
Randomized Quicksort가 O (n log n)의 최악의 런타임 비용을 갖는 이유
무작위 빠른 정렬 은 피벗 요소가 임의로 선택되는 빠른 정렬의 확장입니다. 이 알고리즘의 최악의 시간 복잡도는 무엇입니까? 나에 따르면, 임의로 선택된 피벗이 정렬 되거나 역 정렬 된 순서 로 선택되면 최악의 경우가 발생하기 때문에 O ( n2)영형(엔2)O(n^2) 이어야합니다 . 그러나 일부 텍스트에서 [1] [2] 최악의 시간 복잡도는 O ( n …
4
비 결정적 오토마타에 대한 정지 문제 정의
적어도 제 자신의 참고 문헌 (Hopcroft + Ullman 1979)에서 Turing machine (TM)의 기본 정의는 결정적입니다. 따라서 정지 문제에 대한 내 자신의 이해 는 주로 결정 론적 TM에 대한 것이지만 다른 종류의 오토마타에서도 고려 될 수 있음을 알고 있습니다. 또한 사람들이 종종 TM을 참조하는 방식이나 정지 문제를 결정하는 데있어 결정론이 다소 …
2
수직 가시성 문제에 대한 효율적인 알고리즘
한 가지 문제에 대해 생각하는 동안 다음 작업을 해결하는 효율적인 알고리즘을 만들어야한다는 것을 깨달았습니다. 문제 : 우리는 측면이 축과 평행 한 측면 의 2 차원 사각형 상자가 제공 됩니다. 상단을 통해 살펴볼 수 있습니다. 그러나 수평 세그먼트 도 있습니다. 각 세그먼트에는 정수 좌표 ( )와 좌표 ( )가 있으며 점 …
1
단두대 컷 대 일반 컷
절단 문제는 특정 큰 물체를 여러 개의 작은 물체로 절단해야하는 문제입니다. 예를 들어, 너비가 이고 길이가 큰 원시 유리 시트와 함께 작동하는 공장이 있다고 가정합니다 . 여러 구매자가 있으며, 각 구매자는 무한한 수의 작은 유리 시트를 원합니다. 구매자 는 길이가 이고 너비가 시트를 원합니다 . 목표는 사용 된 총량을 최대화하고 …
3
무작위 읽기 병렬화가 잘 작동하는 것 같습니다. 왜 그렇습니까?
다음과 같은 매우 간단한 컴퓨터 프로그램을 고려하십시오. for i = 1 to n: y[i] = x[p[i]] 여기서 와 y 는 바이트의 n 요소 배열이고, p 는 단어 의 n 요소 배열입니다. 여기서, n 은 예를 들어 n = 2 31 이므로, 데이터의 무시할만한 부분 만이 임의의 종류의 캐시 메모리에 적합하다.엑스엑스x와이와이y엔엔n피피p엔엔n엔엔nn …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.