컴퓨터 과학

8

권장 사항에 따라 Stack Overflow 에서 이것을 다시 게시하고 있습니다 . 최근에 나는 다음과 같은 문제에 대해 생각하고있다. 표준 "Hello world!"의 코드를 고려하십시오. 프로그램: main() { printf("Hello World"); } 이제이 코드의 거의 모든 변경은 코드를 완전히 쓸모 없게 만들며, 실제로 거의 모든 변경으로 인해 코드가 컴파일되지 않습니다. 예를 들면 다음과 …

23 programming-languages computation-models

1

모드 복용의 복잡성

이것은 쉬운 대답이 필요한 질문처럼 보이지만 결정적인 질문은 없습니다. 두 개의 nnn 비트 숫자 a,pa,pa, p 가 있으면 a \ bmod p 계산의 복잡성은 무엇 amodpamodpa\bmod p입니까? 단순히 분할 의해 p는 시간 걸릴 O (M (N))를 여기서 M은 (n)에 승산의 복잡도는이다. 그러나 \ bmod를 약간 빠르게 수행 할 수 있습니까?aaappp …

23 algorithms number-theory

4

계산 함수가 재귀 함수라고도하는 이유는 무엇입니까?

계산 이론에서 계산 가능한 함수는 재귀 함수라고도합니다. 적어도 첫눈에 그들은 일상 프로그래밍에서 "재귀 적"이라고 부르는 것과 공통점이 없습니다 (즉, 스스로 호출하는 함수). 계산의 맥락에서 재귀의 실제 의미는 무엇입니까? 왜 이러한 기능을 "재귀"라고합니까? 다른 말로 표현하자면 : "재 귀성"의 두 의미 사이에는 어떤 관련이 있습니까?

23 computability terminology history

1

구별 절차 결정 대 SMT 솔버 대 정리 증명 자 대 구속 솔버

그 용어들은 나를 혼동합니다. 내가 이해 한 바로는 SAT 솔버 : 제안 논리의 만족도를 결정합니다 (DPLL 또는 로컬 검색 사용). 결정 절차는 특정 결정 가능한 1 차 이론의 만족도를 결정하는 절차입니다. SMT 솔버는 SAT 솔버 + 결정 절차입니다. 정리 증명은 KeY 도구와 같은 Dynamic Logic과 같은 것을 나타냅니다. 제약 사항 …

23 algorithms terminology reference-request decision-problem

10

모든 컴퓨터에 대한 범용 어셈블리 언어가 가능합니까?

어셈블리 언어에 대해 몇 가지 질문을하고 싶습니다. 내 이해는 기계 언어에 매우 가깝기 때문에 더 빠르고 효율적입니다. 컴퓨터 아키텍처가 다르기 때문에 어셈블리에서 다른 아키텍처에 대해 다른 코드를 작성해야합니까? 그렇다면 왜 어셈블리가 아닌가? 한 번만 작성하십시오-모든 유형의 언어를 실행 하시겠습니까? 한 번만 쓰고 다른 구성을 가진 거의 모든 컴퓨터에서 실행할 수 …

23 programming-languages computer-architecture

4

가비지 수집기는 어떻게 스택 오버플로를 피합니까?

그래서 가비지 컬렉터가 어떻게 작동하는지 생각하고 흥미로운 문제를 생각했습니다. 가비지 수집기는 모든 구조를 동일한 방식으로 통과해야 할 것입니다. 그들은 연결된 목록이나 균형 잡힌 나무 등을 가로 지르는 날씨를 알 수 없습니다. 또한 검색시 너무 많은 메모리를 사용할 수 없습니다. 가능한 한 가지 방법과 모든 구조를 통과한다고 생각할 수있는 유일한 방법은 …

23 programming-languages memory-management garbage-collection

2

C ++ 벡터에서 push_back이 상각되는 이유는 무엇입니까?

저는 C ++을 배우고 있으며 벡터에 대한 push_back 함수의 실행 시간이 "amortized"라는 것을 알았습니다. 또한이 문서에는 "재 할당이 발생하면 재 할당 자체가 전체 크기에 따라 선형으로 이루어집니다." 이것이 push_back 함수가 이라는 것을 의미하지 않아야합니까 , 여기서 은 벡터의 길이입니까? 결국 최악의 분석에 관심이 있습니다.O(n)O(n)O(n)nnn 나는 형용사 "암부 한"이 달리는 시간을 …

23 algorithms time-complexity amortized-analysis

10

비결정론이 왜 유용한 개념입니까?

오토 마톤은 디지털 컴퓨터의 추상 모델입니다. 디지털 컴퓨터는 완전히 결정적입니다. 그들의 상태는 언제든지 입력과 초기 상태에서 유일하게 예측할 수 있습니다. 실제 시스템을 모델링하려고 할 때 오토마타 이론에 비결정론을 포함시키는 이유는 무엇입니까?

23 automata nondeterminism applied-theory

1

생과자 라우팅 테이블은 어떻게 작동합니까?

이 질문은 Computer Science Stack Exchange에서 답변을 얻을 수 있기 때문에 Software Engineering Stack Exchange에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . Pastry Distributed Hash Table을 구현하려고하는데 몇 가지 사항이 이해를 피하고 있습니다. 누군가가 명확히 할 수 있기를 바랐습니다. 면책 조항 : 저는 컴퓨터 과학 학생이 아닙니다. 나는 내 인생에서 …

23 algorithms data-structures distributed-systems hash-tables

4

신경망, 딥 러닝 시스템 및 딥 빌리 프 네트워크의 차이점은 무엇입니까?

신경망, 딥 러닝 시스템 및 딥 빌리 프 네트워크의 차이점은 무엇입니까? 기본 신경망은 3 계층이라고 생각하며, 신경망이 서로 쌓인 것으로 묘사 된 Deep Belief Systems가 있습니다. 나는 최근까지 딥 러닝 시스템에 대해 들어 보지 못했지만 그것이 딥 빌리 프 시스템의 동의어라고 강력하게 의심합니다. 누구든지 이것을 확인할 수 있습니까?

23 machine-learning neural-networks boltzmann-machine

3

유형 시스템 분류 (강 / 약, 동적 / 정적)

간단히 말해서 : 유형 체계는 학문적 맥락에서 어떻게 분류 되는가; 특히, 다른 종류의 시스템 유형을 구별 할 수있는 평판 좋은 출처를 어디에서 찾을 수 있습니까? 어떤 의미 에서이 질문의 어려움은 대답을 찾을 수 없다는 것이 아니라 너무 많이 찾을 수 있다는 것입니다. 배경은 Haskell 위키에서 타이핑 에 관한 기사를 개선하려고 …

23 reference-request programming-languages type-theory

5

반사가있는

나는 반사 에 대한 추론 , 즉 실행중인 프로그램의 내성 및 조작에 대한 추론을 지원하는 간단한 미적분학을 찾고 있습니다. 지정되지 않은 거기에 변환을 가능하게 -calculus 확장 구문 적으로 조작 한 후 연속적으로 평가 될 수있는 형태로 -terms은?λλλ\lambdaλλ\lambda 미적분학에는 두 가지 주요 추가 항이 있다고 생각합니다. v vr e f l …

23 logic lambda-calculus semantics reflection

2

청구서 문제를 일괄 지불

테이블 에는 명이 있습니다 . 번째 사람은 공중에있다 달러.nnniiipipip_i 어떤 사람들은 정확하게 지불하기에 적합한 청구서를 가지고 있지 않으므로 다음 알고리즘을 생각해냅니다.pip나는p_i 먼저, 모든 사람들이 돈을 약간 테이블에 넣습니다. 그런 다음 각 개인은 초과 지불 한 돈을 회수합니다. 청구서에는 고정 된 명칭 세트가 있습니다 (입력의 일부가 아님). 예 : Alice와 Bob이라는 …

23 algorithms optimization

1

알고리즘 설계에서 matroid와 greedoid는 얼마나 근본적입니까?

초기에, 일부 지상 세트 I에 대한 서브 세트 E 의 집합의 선형 독립 개념을 일반화하기 위해 matroid 가 도입되었다 . 이 구조를 포함하는 특정 문제로 인해 탐욕스러운 알고리즘이 최적의 솔루션을 찾을 수 있습니다. 탐욕스러운 방법으로 최적의 솔루션을 찾을 수 있도록 더 많은 문제를 포착하기 위해이 구조를 일반화하기 위해 탐욕 의 …

23 algorithms optimization combinatorics greedy-algorithms matroids

1

노래 클러스터링 (Joe Walsh 문제)

이글스 (Eagles)는 70 년대와 80 년대의 록 수퍼 그룹으로 Hotel California 와 같은 고전을 책임지고 있습니다 . 그들은 기타리스트 Joe Walsh가 존재하는 (예를 들어, Life in the Fast Lane ) 두 가지의 뚜렷한 사운드를 가지고 있습니다 . 후자의 노래는 엄청나게 더 부드럽거나 지루한 느낌이 있습니다. 감독되지 않은 학습 알고리즘이 두 …

23 machine-learning modelling