컴퓨터 과학

방향이없는 유한 희소 그래프가 있고 다음 쿼리를 효율적으로 실행할 수 있어야한다고 가정 해 봅시다. IsConnected(N1,N2)IsConnected(N1,N2)IsConnected(N_1, N_2) 과 사이에 경로가 있으면 반환 하고 , 그렇지 않으면TTTN1N1N_1N2N2N_2FFF ConnectedNodes(N)ConnectedNodes(N)ConnectedNodes(N) 에서 도달 할 수있는 노드 세트를 리턴합니다.NNN 이것은 그래프의 연결된 구성 요소를 사전 계산하여 쉽게 수행 할 수 있습니다. 두 쿼리 모두 시간에 실행될 …

9 algorithms  graph-theory  graphs  data-structures 

Valiant & Vazirani는 SAT가 다항식 시간의 확률 적 확률 적 감소로 UNIQUE SAT로 환원 될 수 있음을 증명했습니다. Calabro et al . UNIQUE k-SAT는 k-SAT만큼 어렵습니다. 이제 문제는 누군가가 고유 k-SAT가 P에 있음을 나타내면 P = NP를 의미합니까? 참고 문헌 LG Valiant와 VV Vazirani는 "NP는 고유 한 솔루션을 탐지하는 것만 …

9 complexity-theory  satisfiability  p-vs-np 

나는 일상 생활에서 프로그래머로 일하고 모든 유행 언어 (Python, Java, C 등)를 사용하지만 여전히 함수형 프로그래밍이 무엇인지에 대한 명확한 견해는 없습니다. 내가 읽은 것에서, 기능적 언어의 한 가지 속성은 데이터 구조가 변경 불가능 하다는 것 입니다. 나에게 이것은 혼자서 많은 질문을 제기합니다. 그러나 먼저 불변성에 대해 이해 한 내용을 약간 …

9 data-structures  functional-programming 

문자열 가정 합니다. 해당 문자열 중 하나가 컬렉션에있는 다른 문자열의 하위 문자열인지 알고 싶습니다. 즉, 다음 작업에 대한 알고리즘을 원합니다.nnnS1,…,SnS1,…,SnS_1,\dots,S_n 입력 :S1,…,SnS1,…,SnS_1,\dots,S_n 출력 : 예 : 는 및 의 하위 문자열 임 ) 또는 그러한 가 없는 경우 Nonei,ji,ji,jS나는S나는S_iS제이S제이S_j나는 ≠ ji≠제이i\ne jI , Ji,제이i,j 이를위한 효율적인 알고리즘이 있습니까? "substring"을 "prefix"로 …

9 algorithms  strings  efficiency  substrings 

운동량 항과 함께 역 전파 알고리즘을 사용하여 신경망의 가중치를 업데이트 할 때 학습 속도도 운동량 항에 적용되어야합니까? 운동량 사용에 대해 찾을 수있는 대부분의 정보는 다음과 같은 방정식을 갖습니다. W′i=Wi−αΔWi+μΔWi−1Wi′=Wi−αΔWi+μΔWi−1W_{i}' = W_{i} - \alpha \Delta W_i + \mu \Delta W_{i-1} 어디 αα\alpha 학습률이며 μμ\mu 운동량 항입니다. 만약에 μμ\mu 용어가 αα\alpha 다음 …

9 machine-learning  neural-networks 

이 문제에 이름이 있는지 궁금합니다. 가장자리가 빨강, 파랑 및 녹색으로 표시된 간단한 그래프가 주어지면 라는 정점 채색 있습니까? 모든 모서리에는 같은 색의 끝 점이 있습니까?G=(V,B∪R∪G)G=(V,B∪R∪G)G=(V,B\cup R\cup G)c:V→{B,R,G}c:V→{B,R,G}c:V\to \{B,R,G\} 또한 이것이 NP- 완전한 것으로 알려져 있습니까? 이는 또한 각 제약 조건이 3 개의 값 중 하나를 취할 수있는 2 개의 변수의 …

9 algorithms  complexity-theory  graphs  satisfiability  colorings 

최근 질문에 대한 @Babou의 대답 은 한 번에 데이터 흐름 분석 의 동등성 (추론되거나 입증 될 수있는 사실과 추론 알고리즘을 실행하는 시간 복잡성)에 관한 논문을 읽은 것으로 생각 합니다. , 추상 해석 및 형식 유추 . 일부 하위 사례 (정방향 상황에 따른 절차 간 데이터 흐름 분석과 추상 해석 등)에서 …

9 reference-request  compilers  type-inference  program-optimization 

저는 Software Foundations 에서 다음과 같은 운동을하고 있습니다 . (** **** Exercise: 2 stars (baz_num_elts) *) (** Consider the following inductive definition: *) Inductive baz : Type := | x : baz -> baz | y : baz -> bool -> baz. (** How _many_ elements does the type [baz] …

9 coq 

ARM 프로세서 중 일부를위한 취미 운영 체제를 작성하려고했습니다. ARM MPU를 사용하는 인기있는 단일 보드 컴퓨터가 많이 있으므로 간단히 그 중 하나를 구입하고 싶었습니다 (더 많은 공개 문서가있는 컴퓨터 선택). 메모리가 충분한 보드조차도 메모리 관리 장치가있는 MPU가 없다는 사실을 알고 놀랐습니다. 나는 항상 i386 + 프로세서로 작업 해 왔으며 다른 마이크로 …

9 operating-systems  memory-management  memory-hardware  os-kernel 

이 질문은 확률 이론과 계산 복잡성의 교차점에 관한 것입니다. 하나의 주요 관찰은 일부 분포는 다른 분포보다 생성하기가 쉽다는 것입니다. 예를 들어, 문제 숫자 주어지면 균일하게 분포 된 숫자 를 반환합니다 .nnniii0≤i&lt;n0≤i&lt;n0 \leq i < n 해결하기 쉽습니다. 한편, 다음의 문제는 훨씬 어렵거나 어려운 것으로 보인다. 숫자 주어 숫자 리턴 되도록 …

9 complexity-theory  reference-request  probability-theory  probabilistic-algorithms 

다음 문제를 고려하십시오. 허락하다 에스= {에스1,에스2, . . .에스엔}S={s1,s2,...sn}S = \{ s_1, s_2, ... s_n \} 자연수의 유한 부분 집합이어야합니다. 허락하다 G = {G={G = \{ 지c d(에스나는,에스제이)gcd(si,sj)gcd(s_i, s_j) | 에스나는,에스제이∈ S,si,sj∈S,s_i, s_j \in S, 에스나는≠에스제이}si≠sj} s_i \neq s_j \} 어디 지c d( x , y)gcd(x,y)gcd(x,y) 가장 큰 제수입니다 엑스xx …

9 algorithms  number-theory 

Earley 벡터를 인식기로 사용하는 것은 매우 간단합니다. 스트링의 끝에 도달하면 위치 0에서 시작된 완료된 축산 생산을 확인하기 만하면됩니다. 하나 이상이 있으면 스트링이 승인됩니다. Earley 벡터를 사용하여 구문 분석 트리를 재구성하는 것은 덜 명확합니다. 실제로 알고리즘 절차가 어떻게 작동하는지 알 수 없으며, 내가 찾은 유일한 참조는 모호하거나 슈퍼 테크니컬 한 것입니다. …

9 context-free  dynamic-programming  parsers  ambiguity  syntax-trees 

부울 함수는 함수 입니다.f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\} 부울 기준 은 시퀀스 을 뒤집거나 변경하지 않고 그대로 둘 수 있으므로 Turing complete라고합니다 . 게이트에 대해서도 마찬가지 입니다.(∨,∧)(∨,∧)(\vee,\wedge)s∈{0,1}s∈{0,1}s\in\{0,1\}XORXOR\mathrm{XOR} 이런 의미에서 우리는 초기 머신 설정 하여 및 을 연속적인 값 :b=(b1,…,bn)b=(b1,…,bn)\textbf{b}=(b_1,\ldots,b_n)bi∈{0,1}bi∈{0,1}b_i\in\{0,1\}XORXOR\mathrm{XOR}vivi\textbf{v}_i b⊕v1⊕v2⊕v3…b⊕v1⊕v2⊕v3… \textbf{b}\oplus\textbf{v}_1\oplus\textbf{v}_2\oplus\textbf{v}_3\ldots 각 상태 는 에서 일부 요소의 순열을 나타냅니다 . 이 프로세스는 튜링 머신을 …

9 turing-machines  turing-completeness  boolean-algebra 

다음 문제를보고 있습니다. 주어진 n엔n차원 자연수들의 벡터 일부 입력 벡터 이며, 의 선형 조합 '자연수 계수 s에서?v1,…,vmV1,…,V미디엄v_1, \ldots, v_mu유uu유uviV나는v_i 즉 이 있습니까? 여기서 ?t1,…,tm∈N티1,…,티미디엄∈엔t_1, \ldots, t_m \in \mathbb{N}유=t1V1+ ⋯+티미디엄V미디엄유=티1V1+⋯+티미디엄V미디엄u = t_1 v_1 + \dots + t_m v_m 이 문제의 실수 버전은 가우시안 제거를 사용하여 해결할 수 있습니다. 궁금합니다.이 문제의 정수 …

9 algorithms  reference-request  linear-algebra  integers  knapsack-problems 

이전 질문 에서 알고리즘은 정확히 무엇입니까? 사전 계산 된 값의 배열을 기반으로 함수의 값을 반환하는 "알고리즘"이 알고리즘인지를 물었습니다. 내 관심을 끈 대답 중 하나는 다음과 같습니다. 계승 예제는 비 균일 계산이라고하는 다른 계산 모델로 들어갑니다. 튜링 머신은 균일 한 계산 모델의 예입니다. 하나의 유한 한 설명이 있으며 임의로 큰 크기의 …

9 turing-machines  computation-models