컴퓨터 과학

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

1
일반 언어로 자유로운 컨텍스트 교차
문맥 자유 언어 L과 정규 언어 M의 교차는 항상 문맥 자유라고합니다. 교차 제품 구성 증명을 이해했지만 여전히 컨텍스트가 없지만 규칙이 아닌 이유는 알 수 없습니다. 이러한 교차로에서 생성 된 언어에는 PDA 와 DFA에서 모두 허용되는 문자열이 있습니다 . DFA에서 허용되므로 일반 언어가 아니어야합니까? 또한 교차점이 규칙적인 경우 모든 일반 언어에도 …

2
"메모리 통합"이란 무엇입니까?
그래픽 처리 장치에는 메모리 통합이라는 것이 있다는 것을 알게되었습니다. 그것에 대해 읽을 때 나는 주제에 대해 명확하지 않았습니다. 이것이 메모리 레벨 병렬 처리와 관련이 있습니까? Google에서 검색했지만 만족스러운 답변을 얻을 수 없었습니다. 누군가 더 포괄적이고 이해하기 쉬운 설명을 제공하면 도움이 될 것입니다.

3
프로그래밍 언어 이론 공부
나는 최근에 (기능적) 프로그래밍 언어의 측면을 이해하고 증명하는데 매우 관심을 가지게되었다. 그러나 자세히 미적분학, 범주 이론 및 획기적 의미론과 같은 것은 적절한 설명 없이는 이해하기가 조금 어렵습니다.λλ\lambda SICP (깨끗한 책)를 읽었지만 함수형 프로그래밍 이론에 대해 자세히 알아 보려고합니다. 기능 프로그래밍 언어 이론을 처음부터 논의 할 책 / 블로그 / 사이트 …

4
Floyd-Warshall, Dijkstra 및 Bellman-Ford 알고리즘의 차이점에 대해 맞습니까?
나는 세 가지를 공부하고 아래에서 그들로부터 내 추론을 진술하고 있습니다. 내가 충분히 정확하게 이해했는지 알 수 있습니까? 감사합니다. Dijkstra 알고리즘 은 단일 소스가 있고 한 노드에서 다른 노드로 가장 작은 경로를 알고 싶어 할 때만 사용되지만 이와 같은 경우에는 실패 합니다 . Floyd-Warshall 알고리즘 은 모든 노드 중 하나가 소스가 …

3
DFA 최소화를위한 Brzozowski의 알고리즘
Brzozowski의 DFA 최소화 알고리즘은 다음을 통해 DFA 에 대한 최소 DFA를 구축합니다 .지지G 역 언어에 대한 NFA 을 얻기 위해 초기 상태를 수락 상태로 만들고 수락 상태를 초기 상태로 만드는 모든 모서리를 반전지지G엔'엔'N' 리버스 언어에 대한 를 얻기 위해 파워 셋 구성을 사용 합니다.지'지'G' 원래 언어에 대한 NFA 을 얻기 …

4
퀵 정렬은 아이들에게 설명
작년에 나는 “유치원을위한 양자 역학”에 관한 환상적인 논문을 읽고있었습니다 . 쉬운 종이 아니었다. 이제 가장 간단한 단어로 퀵 정렬을 설명하는 방법이 궁금합니다. 평균 복잡도가 이고 유치원 클래스에 가장 좋은 경우와 최악의 경우가 무엇인지 어떻게 증명할 수 있습니까? 아니면 적어도 초등학교에서?O ( n 로그n )영형(엔로그⁡엔)O(n \log n)

3
스트링 절단에 대한 동적 프로그래밍 연습
나는이 책 에서 다음과 같은 문제를 연구하고 있다 . 특정 문자열 처리 언어는 문자열을 두 조각으로 나누는 기본 연산을 제공합니다. 이 작업에는 원본 문자열을 복사하는 작업이 포함되므로 절단 위치에 관계없이 길이가 n 인 문자열에 n 시간이 걸립니다. 이제 문자열을 여러 조각으로 나누고 싶다고 가정하십시오. 나누기 순서는 총 실행 시간에 영향을 …


3
무한 언어 vs 유한 언어
컴퓨터 이론에서 "무한"언어 또는 "유한"언어라는 문구를 사용하는 것이 확실하지 않습니다. 나는 문제의 뿌리가 같은 언어 있다는 생각 L={ab}∗L={ab}∗L=\{ab\}^* 인 무한 은 무한 (그러나 셀 수) 문자열의 수를 생성 할 수 있다는 점이다. 그러나 여전히 유한 상태 자동 장치 로 인식 할 수 있습니다 . 그것은 또한 Sipser 책이 실제로 (내가 …

6
비가 중 그래프에서 DFS를 사용하여 최단 경로를 찾을 수없는 이유는 무엇입니까?
DFS를 "있는 그대로"사용하면 비가 중 그래프에서 최단 경로를 찾지 못할 것입니다. 그러나 왜 DFS를 조정하여 비가 중 그래프에서 최단 경로를 찾을 수 있도록 하는가? 주제에 관한 모든 텍스트는 단순히 할 수 없다고 명시합니다. 나는 자신을 시도하지 않고 확신하지 못한다. DFS가 비가 중 그래프에서 최단 경로를 찾을 수있는 수정 사항을 알고 …

1
2D 컨볼 루션 : 커널 뒤집기?
왜 커널을 2D 컨볼 루션으로 뒤집어 야합니까? 이것의 장점은 무엇입니까? 그렇다면 왜 우리는 그것을 뒤집지 않은 채로 둘 수 없습니까? http://www.songho.ca/dsp/convolution/convolution2d_example.html 입력 핵심 산출 "먼저 음영 처리 된 커널 인 커널을 수평 및 수직 방향으로 뒤집습니다."

5
튜링 기계 + 시간 팽창 = 정지 문제를 해결합니까?
유한 한 관찰자의 과거에 무한 기간의 월드 라인이 포함될 수있는 상대 론적 시공간 (예 : MH 시공간; Hogarth 1994 참조)이 있습니다. 즉, 일반 관찰자는 무한한 수의 계산 단계에 액세스 할 수 있습니다. 컴퓨터가 무한한 시간 동안 완벽하게 작동 할 수 있다고 가정하면 (그리고 그것이 큰 요구라는 것을 알고 있습니다.)이 무한한 …

2
점의 플롯이 공간에 대한 파티션을 정의하는이 데이터 구조 / 개념은 무엇입니까
나는 실제 문제를 해결하는 알고리즘을 만났고 숙제 문제를 위해 비슷한 것을 만들었던 수업을 기억합니다. 기본적으로 이것은 점의 도표이며 선은 두 점 사이에 등거리로 그려집니다. 점 주위의 선이 해당 점에 가장 가까운 영역의 모양을 형성하는 완벽한 파티션을 형성합니다. 누군가에게 종을 울리는가? 인터넷 검색 설명과 결과를 얻는 데 어려움을 겪었습니다. 그리고 나는 …

1
다항식 예 인스턴스의 NP- 완전 문제?
나는 무한히 많은 입력 크기에 대한 모든 NP 완전 문제에 대한 인상이 크기의 모든 가능한 입력을 통해 예 - 인스턴스의 수는 N 이다 (적어도)에서 지수 N을 .엔엔n엔엔n엔엔n 이것이 사실입니까? 증명 될 수 있습니까 (아마도 라는 가정 하에서 만 )? 아니면 인위적으로 모든 (대규모) n 에 대해 yes-instances의 수가 최대 n …

8
알고리즘 세트의 카디널리티
토론에서 누군가 특정 문제에 접근하기위한 최소한 연속체가있을 수 있다는 결론을 내 렸습니다. 구체적인 문제는 거래 전략 (알고리즘이 아니라 전략) 이었지만 내 질문의 요점 옆에 있다고 생각합니다. 이것은 알고리즘 세트의 카디널리티에 대해 생각하게했습니다. 나는 조금 둘러보고 있지만 아무것도 찾지 못했습니다. 나는 튜링 머신이 유한 한 알파벳 세트로 작동하고 테이프를 색인 할 …

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