컴퓨터 과학

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

1
건축 미적분학에서
내가 찾고 있어요 구조물의 미적분 과에서의 위치 람다 큐브 . 올바르게 이해하면 큐브의 각 축은 유형이 포함 된 다른 연산을 간단한 유형의 미적분에 추가하는 것으로 생각할 수 있습니다 . 첫 번째 축은 유형 대 연산자, 두 번째 유형 대 연산자 및 세 번째 종속 유형 또는 용어 대 연산자를 추가합니다. …
1
튜링 기계-한 방향 또는 두 방향의 무한 테이프
나는 튜링 머신이 하나의 테이프와 두 방향으로 테이프로 표현되는 것을 보았습니다. 이러한 튜링 기계의 힘에 차이가 있습니까, 아니면 기본적으로 동등합니까? 내 머리에는 양방향 무한 테이프를 단방향 무한 테이프로 표현할 수있는 방법이 있어야한다고 생각하기 때문에 그것들이 동등하다고 생각하지만 증거 나 예를 찾을 수없는 것 같습니다.
1
프로세서를 사용하여 최대
우리는 n 2 컴퓨터 와 시간 복잡성 에서 병렬로 배열의 최대 값을 찾기위한 알고리즘을 수업에서 발표했습니다 .O ( 1 )O(1)O(1)n2n2n^2 알고리즘은 다음과 같습니다. 길이 n의 배열 A가 주어진 경우 : 길이가 n 인 플래그 배열 B를 만들고 컴퓨터 에서 0으로 초기화하십시오 .nnn 2 개의 요소를 모두 비교하고 대의 컴퓨터 에서 …
1
지정된 DFA가 최소인지 여부를 얼마나 빨리 결정할 수 있습니까?
철저하게 문헌에서 연구되어 왔으며, 여러 가지 알고리즘은 다음과 같은 문제를 해결하기 위해 제안되었다 문제가 결정적 유한 오토마타 (DFAS)를 최소로 줄이는하십시오 DFA 감안할 때 , 같은 언어를 받아들이는 해당 최소한의 DFA를 계산 을 . 이러한 알고리즘의 대부분은 다항식 시간으로 실행됩니다.AA\mathscr{A}AA\mathscr{A} "는 DFA 주어진 - 그러나, 나는이 문제의 결정 변형 여부를 궁금해 …
3
주유소 문제에 대한 알고리즘 이해
에서 주유소 문제를 우리는 주어진 엔nn 도시 { 0 , … , n - 1 }{0,…,n−1}\{ 0, \ldots, n-1 \} 과 그들 사이의 도로. 각 도로는 길이가 있으며 각 도시는 연료 가격을 정의합니다. 도로 1 개는 연료 1 개가 필요합니다. 우리의 목표는 가능한 가장 저렴한 방법으로 출발지에서 목적지로가는 것입니다. 우리 …
1
유사 역행렬을 찾는 복잡성
임의의 필드의 무어-펜로즈 유사 역행렬 을 찾으려면 몇 개의 산술 연산이 필요 합니까? 행렬이 뒤집을 수없고 복잡한 값을 갖는 경우에는 역수 일뿐입니다. 역을 구하려면 시간이 걸립니다. 여기서 는 행렬 곱셈 상수입니다. Algorithms 3rd Edition 소개의 정리 28.2입니다.O(nω)O(nω)O(n^\omega)ωω\omega 매트릭스 경우 선형 독립적 행 또는 열 및 복소수 값 후 의사 - …
3
논리와 계산에 관한 입문서
Logic and Computation 에 대한 좋은 입문서 (그러나 포괄적)에 대한 제안을 해 주 시겠습니까? 내가 염두에두고있는 퍼지 주제는 다음과 같습니다. Presburger artihm., PA, ZF, ZFC, HOL 이론 설정, 유형 이론 다른 이론의 모델링 계산 (튜닝 머신) 계산 복잡성 (FMT, 설명 복잡성)과 연결
1
라이브 코딩을 사용한 교육을위한 팁
나는 첫해 프로그래밍 및 알고리즘 과정에 참여하고 있습니다. 최근 강의에서 라이브 코딩을 사용하여 자료를 발표하기로 결정했습니다 . 이는 본질적으로 키보드 뒤에 앉아서 코드를 작성하고 평가하는 데 emacs 를 사용 하여 프로세스를 용이하게 한다는 것을 의미했습니다 . 이것은 매우 성공적이었고 학생들은 더 많은 (상호 작용적인) 형식에 대해 얼마나 감사했는지에 대해 논평했습니다. …
1
이 NP 하드입니까? 나는 그것을 증명할 수 없다.
나는 문제가 있고 그것이 NP-hard라고 생각하지만 그것을 증명할 수는 없다. 레이어 0은 가장 낮은 레이어이고 레이어 L은 가장 낮은 레이어 그래프입니다. 층들 사이에 약간의 방향성 가장자리가 있으며, 여기서 가장자리 (A, B)는 노드 A가 노드 B를 커버 할 수 있음을 나타냅니다. 그 자체. 마지막으로 여기에 노드 S 세트가 있습니다. 다른 노드 …
11 graphs  np 
2
특수 클래스의 이분 그래프에 대한 어려운 계산 문제
나는 이분 그래프의 클래스의 속성에 관심이 의 모든 노드 X가 3 일반 있으며, 모든 노드 Y가 2 정기적으로, 그리고 | X | = | 2 Y / 3 | . 첫째, 이것은 잘 알려진 그래프 클래스입니까? 둘째,G(X∪Y,E)G(X∪Y,E)G(X \cup Y, E)XXXYYY|X|=|2Y/3||X|=|2Y/3||X|=|2Y/3| 이 클래스의 이분 그래프로 제한되는 다루기 어려운 계산 문제의 예가 …
2
문맥이없는 보완 물이 포함 된 문맥이없는 언어의 예
상황에 맞는 언어는 보완 아래 닫히지 않습니다. 강의에서 우리는 Wikipedia에서 여기 와 같은 논증을 받았습니다 . For 모두 및 문맥 자유이지만, 그들의 교점 아니다. 문맥없는 언어는 공용체로 폐쇄되므로 보완으로 폐쇄 할 수 없습니다.A={anbncm; m,n∈N0}andB={ambncn; m,n∈N0},A={anbncm; m,n∈ℕ0}andB={ambncn; m,n∈ℕ0},A = \{\mathtt a^n \mathtt b^n \mathtt c^m;~m, n ∈ ℕ_0\}\quad\text{and}\quad B = \{\mathtt …
3
최소 이동 횟수와 숫자를 일치시키는 알고리즘
이것은 일종의 편집 거리 질문이며 매우 쉽습니다. 나는이 주제에 대해 아주 두뇌 죽었고 지금까지 이해할 수 없습니다. 일련의 숫자가 주어진다면 [3, 1, 1, 1] 최소한의 "이동"을 사용하여 모든 숫자를 어떻게 같은 숫자로 가장 효율적으로 바꿀 수 있습니까? "이동"이란 숫자에서 하나를 추가하거나 제거하는 것을 의미합니다. 위의 예에서 가장 효율적인 이동은 다음과 …
1
배낭 문제의 변형
배낭의 항목 수를 상수 로 제한 해야하는 경우 동적 프로그래밍 상황에서 배낭 문제에 어떻게 접근 p피p합니까? 이것은 같은 문제입니다 (최대 무게 W여W , 모든 항목의 값 vVv 및 무게 w승w ) . 배낭 에 p피p 항목 만 추가 할 수 있으며 배낭 값을 최적화해야합니다. 우리는 3 차원이 필요합니까? 그렇지 않으면 …
1
언어가 규칙적인지 테스트하는 알고리즘
언어가 규칙적인지 테스트하는 알고리즘 / 체계적인 절차가 있습니까? 다시 말해, 대수 형태로 지정된 언어 ( 와 같은 것으로 )에 언어가 정규 언어인지 여부를 테스트하십시오. 학생들이 모든 숙제를하도록 돕기 위해 웹 서비스를 작성한다고 상상해보십시오. 사용자는 언어를 지정하고 웹 서비스는 "일반", "정규 아님"또는 "모름"으로 응답합니다. (웹 서비스가 가능한 한 자주 "모름"이라고 대답하고 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.