컴퓨터 과학

6

나는 어떤 기초에서 어떤 기초로 변환하는 것에 대한 수학을 조사해 왔습니다. 이것은 무엇보다 내 결과를 확인하는 것입니다. mathforum.org에서 내 답변으로 보이는 것을 찾았지만 여전히 올바른지 확실하지 않습니다. 큰 숫자에서 작은 숫자로 변환하는 것이 좋습니다. 왜냐하면 단순히 첫 자릿수를 기본 숫자로 곱하기 때문에 다음 자릿수 반복을 추가하고 싶습니다. 작은베이스에서 더 큰베이스로 …

35 algorithms arithmetic number-formats

6

무한한 오토마타가 있습니까?

오토마타 이론에서, 우리는 처음부터 오토마타를 유한 오토마타로 읽습니다. 내가 알고 싶은 것은 오토마타가 왜 유한 한가? 명확하게 말하면, 알파벳, 언어, 정규 표현식으로 만든 문자열 또는 무엇입니까? 그리고 (이론적으로) 무한한 오토마타가 있습니까?

35 automata finite-automata

2

이진 검색의 빅 O에있는 로그가 기본 2가 아닌 이유는 무엇입니까?

나는 컴퓨터 과학 알고리즘에 익숙하지 않다. 이진 검색 과정을 이해하지만 그 효율성에 약간의 오해가 있습니다. 요소 의 크기 에서 특정 요소를 찾는 데 평균 n 단계 가 걸립니다 . 양변의 밑이 2 인 로그를 취하면 log 2 ( s ) = n이 됩니다. 그래서 이진 검색 알고리즘 단계의 평균 수는 …

35 algorithms runtime-analysis binary-search

4

왜 P에서 선형 프로그래밍이지만 정수 프로그래밍 NP-hard입니까?

선형 프로그래밍 (LP)은 P에 있고 정수 프로그래밍 (IP)은 NP- 하드입니다. 그러나 컴퓨터는 유한 한 정밀도로만 숫자를 조작 할 수 있기 때문에 실제로 컴퓨터는 선형 프로그래밍에 정수를 사용하고 있습니다. 이 때문에 LP와 IP가 동일한 복잡성 클래스에 있지 않아야합니까?

35 complexity-theory polynomial-time

6

무손실 압축 알고리즘이 엔트로피를 줄입니까?

Wikipedia 에 따르면 : Shannon의 엔트로피는 결정된 (또는 예측 가능한) 메시지 부분과 반대로 메시지에 포함 된 정보를 측정합니다. 후자의 예는 언어 구조의 중복성 또는 문자 또는 단어 쌍의 발생 빈도, 삼중 항 등과 관련된 통계적 속성을 포함합니다. 엔트로피는 메시지에 포함 된 정보의 양을 측정 한 것입니다. 엔트로피 코더는 그러한 메시지를이를 …

35 information-theory data-compression entropy

2

튜링의 완전성을 포기하면 이드리스가 무엇을 할 수 없습니까?

내가 알고 이드리스가 따라 종류가 있지만 완전한 튜링되지 않습니다. Turing 완전성을 포기하면 무엇을 할 수 없으며, 이는 종속 유형을 갖는 것과 관련이 있습니까? 나는 이것이 매우 구체적인 질문이라고 생각하지만 종속 유형 및 관련 유형 시스템에 대해 많은 것을 알지 못합니다.

35 computability programming-languages type-theory dependent-types

3

안정적인 정렬에서 최악의 경우 ?

안정적인 정렬 알고리즘 대신 최악의 경우 를 제공하는 좋은 리소스를 찾는 데 문제가 있습니다. 누구든지 좋은 자원을 알고 있습니까?O(nlnn)O(nln⁡n)O(n \ln n) 단지 상기시켜주는 것은 전달 된 배열을 사용하고 정렬 알고리즘은 일정한 여분의 공간 만 사용할 수 있다는 것을 의미합니다. 안정은 동일한 키를 가진 요소가 원래 배열에서와 동일한 순서로 정렬 된 …

35 algorithms reference-request sorting in-place

2

양자 람다 미적분

일반적으로 계산에 대해 생각하는 3 가지 인기있는 방법이 있습니다 : 튜링 머신, 회로 및 람다 미적분학 (대부분의 기능적 관점에서 모두 이것을 캐치로 사용합니다). 세 가지 모두 서로 다른 유형의 문제에 대해 생각할 수있는 유익한 방법이었으며, 이러한 이유로 여러 분야에서 서로 다른 공식을 사용합니다. 그러나 양자 컴퓨팅으로 작업 할 때 회로 …

35 lambda-calculus quantum-computing reference-request computation-models

13

첫 프로그래밍 과정을위한 언어 선택 기준

대학 수준의 CS 교육자로서 첫 번째 프로그래밍 과정에서 어떤 프로그래밍 언어를 가르 칠지에 대한 문제가 종종 논의됩니다. 선택할 수있는 언어는 수천 가지가 있으며 한 언어 캠프를 다른 언어 캠프를 지원하는 종교적 열병 (또는 열병)이 있습니다. 각 프로그래밍 언어를 둘러싼이 주관적인 편견 때문에 교육자가 하나를 선택하기가 매우 어렵습니다. 내 질문은 : …

35 programming-languages education

10

비주얼 프로그래밍 언어

우리 대부분은 Basic, C / C ++, Java와 같은 "텍스트"프로그래밍 언어를 사용하여 프로그래밍을 배웠습니다. 인간이 시각적으로 생각하는 것이 더 자연스럽고 효율적이라고 생각합니다. 비주얼 프로그래밍을 통해 개발자는 그래픽 요소를 조작하여 프로그램을 작성할 수 있습니다. 비주얼 프로그래밍을 사용하면 코드 품질이 향상되고 프로그래밍 버그가 줄어 듭니다. App Inventor , Scratch 및 LabView 와 …

35 programming-languages

1

BFS 구현에서 큐를 스택으로 변경하면 DFS를 얻습니까?

광범위한 첫 번째 검색을위한 표준 의사 코드는 다음과 같습니다. { seen(x) is false for all x at this point } push(q, x0) seen(x0) := true while (!empty(q)) x := pop(q) visit(x) for each y reachable from x by one edge if not seen(y) push(q, y) seen(y) := true 다음 push과 …

35 algorithms graphs

3

발 간단한 경로의 수가 발견 알고리즘 에 에서

캔 누구도 날 입력으로서 취하는 시간 선형 알고리즘을 제안 비순환 방향 그래프 및 두 꼭지점 과 복귀에서 간단한 경로의 수 에 에서 . 나는 내가 DFS (깊이 우선 검색)을 실행하는 알고리즘을 가지고 있지만 DFS가 발견되면 다음 경로에 제공되는 노드의의 (회색 흰색에서) 색상을 변경하지 않습니다 그래서 이것이 다른 경로의 하위 경로 …

34 algorithms graphs

2

다항식 시간에 해결할 수 있지만 다항식 시간에 확인할 수없는 작업이 있습니까?

내 동료와 나는 방금 우리 교수 중 한 명에게 연락했다. 이 메모에는 다항식 시간 (PF 클래스에 있음)으로 해결할 수 있지만 다항식 시간에 검증 할 수없는 (NPF 클래스에는 없음) 작업이 있습니다. 이 클래스들에 대해 설명하기 위해 : 우리는 입력 X를 얻고 출력 X를 생성하여 (X, Y)가 우리의 작업을 나타내는 R에있다. 다항식 …

34 complexity-theory np

7

컴퓨터는 숫자가 다른 숫자보다 작거나 큰지 어떻게 확인합니까?

어리석은 질문처럼 들릴지 모르지만 컴퓨터가 어떻게 를 알고 있는지 궁금합니다 . 또한 컴퓨터는 정수의 순서가 이고 알파벳이 A, B, C, D, ... 임을 어떻게 알 수 있습니까? 하드웨어에 저장되어 있거나 운영 체제에서 이러한 종류의 정보를 제공합니까?1 , 2 , 3 , 4 , 5 , …1 < 21<21<21 , 2 …

34 computer-architecture reference-question

9

상황에 맞는 (유형 1) 언어의 의미는 무엇입니까?

에 있다고 보는 촘스키 계층 구조 유형 3 언어없는 외부 메모리 (즉, 유한 자동 장치)에있어서 A 상태 머신에 의해 2 유형의 상태 머신에 의해 인식 될 수있는 하나의 스택 (즉, 기계적 푸시 다운)에 의해 0을 입력 두 개의 스택 (또는 Turing Machine의 경우와 마찬가지로 테이프)이 있는 상태 머신 의 경우 …

34 formal-languages applied-theory computability automata formal-grammars