컴퓨터 과학

"Swift는 클래식 (추적) GC를 수행하지 않고 ARC를 사용합니다." 그러나 Swift 의미 체계에 참조 계산이 필요한 것이 있는지 확실하지 않습니다. 추적 GC를 사용하기 위해 자체 Swift 컴파일러 및 런타임을 빌드 할 수있는 것으로 보입니다. 그렇다면 Swift에 대한 "참조 횟수"는 정확히 무엇입니까? 애플의 구현 또는 언어 자체? 언어 자체에 해당 레이블을 사용할 …

9 semantics  garbage-collection 

이진수를 나눌 수있는 DFA를 nnn. 예를 들어 2로 나눌 수있는 이진수를 허용하는 DFA는 다음과 같이 구성 할 수 있습니다. 마찬가지로 3으로 나눌 수있는 이진수를 받아들이는 DFA는 다음과 같이 구성 될 수 있습니다. 잘 정의 된 절차에 따라 이러한 유형의 DFA를 구성 할 수 있습니다. 그러나 많은 수의 양식을 받아들이는 DFA를 …

9 regular-languages  automata  finite-automata  regular-expressions 

프로그래밍 언어의 유형 시스템이 얼마나 유용한 지 알고 싶습니다. 예를 들어, 의존적으로 유형이 지정된 프로그래밍 언어 Vector에서 벡터의 크기를 유형 서명에 통합 하는 클래스를 만들 수 있다는 것을 알고 있습니다 . 사실상의 예와 같습니다. append컴파일러는 결과 목록의 크기가 입력 목록의 합임을 증명할 수 있도록 해당 서명을 사용하여 함수 를 작성할 …

9 type-theory  functional-programming  dependent-types 

면책 조항 : 나는 생물 학자이므로 그러한 조잡한 용어로 표현 된 기본 질문에 대해 유감스럽게 생각합니다. 여기 또는 DS / SC에서이 질문을해야할지 확실하지 않지만 CS가 3 개 중 가장 큽니다. (내가 게시 한 후 Cross-Validated가 더 좋은 곳 일 수는 있지만 아쉽습니다.) 바이너리 결정을 내리는 에이전트가 있다고 상상해보십시오. 그리고 각 …

9 machine-learning  probability-theory 

두 가지 기능이 있다고 가정 해 봅시다. FFF 과 GGG 그리고 나는 여부를 결정하고 싶습니다 F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. 내 함수가 기본 함수 (다항식, 지수, 로그 및 삼각 함수)로 구성되어 있지만 Taylor 시리즈는 아닙니다. 이 문제를 결정할 수 있습니까? 그렇지 않다면, 그것은 반 결정 가능합니까? (나는 계산 능력에 대한 수업을 …

9 computability  undecidability  mathematical-analysis  computer-algebra 

입력 문자열을 다음과 같이 지정하십시오. w1w2...wnw1w2...wnw_1w_2...w_n. 그런 다음 NFA가 현재 상태 인 경우rrr (그리고 알파벳까지의 입력을 읽었습니다. wiwiw_i ) 다음 입력 기호를 읽기 전에 NFA는 두 개의 NFA로 분할되고 하나는 상태입니다. rrr 그리고 다른 존재 sss유형의 전환이있는 경우 r→ϵsr→ϵsr \xrightarrow{\epsilon} s. 유형의주기가있는 경우r→ϵs→ϵq1....→ϵqk→ϵrr→ϵs→ϵq1....→ϵqk→ϵrr \xrightarrow{\epsilon} s \xrightarrow{\epsilon} q_1....\xrightarrow{\epsilon} q_k \xrightarrow{\epsilon} r, …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

내 파일에 포함 된 많은 비 중복 (실제) 정보를 측정하려고합니다. 어떤 사람들은 이것을 엔트로피의 양이라고 부릅니다. 물론 표준 p (x) log {p (x)}가 있지만, Shannon이 채널을 통해 전송하는 관점에서만이를 고려하고 있다고 생각합니다. 따라서 공식은 블록 크기 (비트 단위, 일반적으로 8)를 필요로합니다. 큰 파일의 경우이 계산은 기호 사이의 단거리 및 장거리 …

9 entropy 

모서리 집합이 완벽하게 일치하는 분리 된 결합으로 분해되는 그래프의 특성이 있습니까? 그러한 그래프 중 하나의 사소한 클래스는 ddd-정규병 (n,n)(n,n)(n,n)-이분 그래프. 그들의 가장자리 세트는ddd 완벽하게 일치하지 않습니다.

9 graph-theory  graphs 

나는 세트 엔nn미터법 공간에 정의 된 점들 – 그래서 점들 사이의 '거리'를 측정 할 수 있습니다. 이 세트에서 가장 중심점을 찾고 싶습니다.이 점은 다른 모든 점까지의 거리의 최소 합을 가진 점으로 정의합니다. 메트릭 계산이 느리므로 가능한 경우 피해야합니다. 이 점을 찾는 확실한 방법은 엔2n2n^2 단순히 (a) 각 포인트에 대해 다른 …

9 complexity-theory  computational-geometry  lower-bounds  search-problem 

그래서이 알고리즘 인 SK 콤비를 사용하여 조합 적 논리에 람다 계산법 조건을 변환 할 수는. 크기 가 폭발 하는 것들을 만들어냅니다 . 이 규모의 폭발에 대해 더 알고 싶습니다. 그러나 더 나은 알고리즘을 생각할 수 없습니다. 기능 언어가 결합기로 실제로 컴파일되는 것을 들었으므로 더 나은 알고리즘이 있어야합니다. 나는 이 주제에 …

9 lambda-calculus  functional-programming  combinatory-logic 

리드 솔로몬 코드를 디코딩하기위한 Welch-Berlekamp 알고리즘에서, 하나는 알려지지 않은 위치 에서 에 오류가 있는 메시지를 나타내는 포인트 목록 이 주어진다 ( 는 알고리즘에 주어진다). 출력은 오류가 발생한 지점을 제외한 모든 주어진 지점을 통과하는 다항식입니다.(ㅏ나는,비나는)(ai,bi)(a_i, b_i)이자형ee비나는bib_i이자형ee 이 방법은 다음과 같은 형태의 선형 방정식 시스템을 푸는 것을 포함합니다. 비나는이자형(ㅏ나는) = Q (ㅏ나는)biE(ai)=Q(ai)b_i …

9 algorithms  error-correcting-codes 

나는 단항 언어 에 대해 생각합니다 . 여기서 는 길이가 제곱 의 합인 모든 단어로 설정 됩니다. 공식적으로 : 이것은 보여 쉽다고 정규 아니다 (예를 펌핑 - 보조 정리로). 또한 각 자연수는 4 제곱의 합이라는 것을 알고 있습니다. 이래로 모든 언어 가 규칙적 .엘케이LkL_k엘케이LkL_k케이kk엘케이= {ㅏ엔∣ n =∑나는 = 1케이엔나는2,엔나는∈엔0( 1 …

9 formal-languages  regular-languages 

안녕하세요! 나는 실제로 Archives Nationales of France에서 인턴십을하고 있는데 그래프를 사용하여 해결하려는 상황에 직면했습니다 ... 먼지가 많은 상황 보관소 비용을 최소화하기 위해 도서관 도서의 높이를 기준으로 책 배열을 최적화하려고합니다. 책의 높이와 두께는 알려져 있습니다. 우리는 이미 책을 높이 의 오름차순으로 정렬 했습니다. 각 책의 두께를 알면 각 클래스 마다 배열에 …

9 algorithms  graphs  optimization  packing 

wikipedia 페이지 에서 CDCL 알고리즘에 대해 잘 설명하고 있습니다 (사진은 Princeton의 Sharad Malik이 만든 슬라이드에서 가져온 것 같습니다). 그러나 모든 역 추적 방법을 설명 할 때는 "적절한 시점까지"라고 말합니다. MiniSAT는 또한 CDCL 알고리즘의 변형을 사용하므로이 논문을 읽었습니다.. 그들이 말하는 것처럼 배운 조항이 단위 조항이 될 때까지 역 추적해야한다는 것입니다. 그것은 …

9 machine-learning  satisfiability  sat-solvers  backtracking 

학부 수업에서 유한 테이프를 가진 튜링 머신의 경우 항상 해당 유한 상태 오토마타가 존재하지만 인터넷의 어느 곳에서나 확인 된 것을 찾을 수 없었습니다. 이것이 사실입니까, 아니면 내가 잘못 기억하고 있습니까?

9 turing-machines  finite-automata