컴퓨터 과학

SQL에 서브 쿼리가 필요합니까? 관계형 데이터베이스에 대해 구조화 된 쿼리 언어의 충분히 일반화 된 구현을 상상해보십시오. 표준 SQL SELECT문의 구조 는 실제로 이것이 의미가 있기 때문에 매우 중요하기 때문에 관계형 대수에 직접 호소하지는 않지만 표현식 형식에 적절한 제한을 두어 이러한 용어로 프레임을 구성 할 수 있습니다. 중 SQL SELECT쿼리는 일반적으로 …

29 database-theory  relational-algebra 

많은 교과서는 람다 미적분의 교점 유형을 다룹니다. 교차에 대한 타이핑 규칙은 다음과 같이 정의 할 수 있습니다 (하위 유형이있는 단순 유형 람다 미적분법 상단). Γ ⊢ M: T1Γ ⊢ M: T2Γ ⊢ M: T1∧ T2( ∧ 나)Γ ⊢ M: ⊤( ⊤ 나)Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧I)Γ⊢M:⊤(⊤I) \dfrac{\Gamma \vdash M : T_1 \quad \Gamma \vdash …

29 lambda-calculus  type-theory  logic 

계산 능력을 구매하는 것이 과거보다 훨씬 저렴하기 때문에 알고리즘에 대한 지식과 효율성이 덜 중요 해지는가? 무한 루프를 피하고 싶을 것이기 때문에 모든 것이 진행되는 것은 아닙니다. 그러나 하드웨어가 더 좋다면 어떻게 든 소프트웨어가 더 나빠질 수 있습니까?

29 efficiency 

우리가 가질 수있는 오라클, P=NPP=NP\mathsf{P} = \mathsf{NP} , 그리고 친구에게 P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} 를 가질 수있는 오라클이 있다는 베이커-길-솔로 니아의 증거를 설명 할 때 , 왜 그런지에 대한 의문이 생겼습니다. 이러한 기술은 P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} 문제 를 입증하는 데 적합 하지 않으며 만족스러운 답변을 드릴 수 없습니다. 좀 더 구체적으로 …

29 complexity-theory  proof-techniques  p-vs-np  relativization 

"제안 된 친구"알고리즘을 다루는 방법을 결정하는 것이 궁금합니다. Facebook 에는 친숙하다고 생각되는 개인을 추천 할 수있는 기능이 있습니다. 이러한 사용자는 일반적으로 ( 사용자가 친구를 특별히 추천하는 경우를 제외하고 ) 자신과 네트워크가 매우 유사합니다. 즉, 공통의 친구 수가 많습니다. 나는 트위터가 그들의 "Who To Follow"메커니즘과 유사한 경로를 따른다고 가정한다. Facebook 직원 …

29 algorithms  machine-learning  modelling  social-networks 

나는 욕심 많은 알고리즘을 가지고 있다고 생각하지만 확실하지 않습니다. 올바른지 어떻게 확인합니까? 욕심 많은 알고리즘의 정확성을 입증하는 데 사용할 기술은 무엇입니까? 일반적인 패턴이나 기술이 있습니까? 나는 이것이 초보자를 가리키는 데 사용할 수 있는 참조 질문 이되기를 희망 합니다. 따라서 일반적인 범위보다 광범위합니다. 적어도 하나의 예로 설명되어 있지만 많은 상황을 다루는 …

29 algorithm-analysis  proof-techniques  correctness-proof  greedy-algorithms 

N 개의 숫자의 합이 1이고 모든 숫자가 0과 1 내에 있도록 N 개의 난수 배열을 생성하는 알고리즘을 찾고 있습니다. 예를 들어 N = 3, 임의의 점 (x, y, z) 삼각형 안에 있어야합니다 : x + y + z = 1 0 < x < 1 0 < y < 1 …

29 algorithms  randomness  random-number-generator  sampling 

지역 스쿼시 클럽에는 다음과 같은 사다리 가 있습니다. 시즌 초에 우리는 클럽의 각 회원의 이름을 별도의 줄에 테이블을 구성합니다. 그런 다음 승리 한 게임 수와 각 이름 옆에 플레이 한 게임 수를 기록합니다 (플레이어 승 / 게임 형식). 따라서 시즌이 시작될 때 테이블은 다음과 같습니다. Carol 0/0 Billy 0/0 Alice …

28 algorithms  graphs 

를 자연수의 집합으로 하자 . 분할 성 부분 순서에 따라 를 고려 합니다. 방해S s 1 ≤ s 2SSSSSSs1≤s2⟺s1∣s2s1≤s2⟺s1∣s2s_1 \leq s_2 \iff s_1 \mid s_2 α(S)=max{|V|∣V⊆S,Vα(S)=max{|V|∣V⊆S,V\qquad \displaystyle \alpha(S) = \max \{|V| \mid V\subseteq S, V 반 사슬 }}\} . 다중 집합이 SSS 에있는 부분합 합 문제를 고려하면 \ alpha (S) …

28 complexity-theory  number-theory  knapsack-problems 

현재 시계열 예측 (특히 Forex)을 가지고 놀고 있습니다. Forex 예측에 적용되는 에코 상태 네트워크에 대한 과학 논문을 보았습니다. 이 목적을위한 다른 좋은 기계 학습 알고리즘이 있습니까? 시계열에서 "유익한"패턴을 추출하는 것도 흥미로울 것입니다.

28 reference-request  machine-learning  artificial-intelligence 

컴파일러 과정에서 다음과 같은 인용문이 있습니다 (그래프 채색의 맥락에서). 느리기 때문에 그래프 채색은 배치 컴파일러에서 사용되는 반면 선형 스캔은 JIT 컴파일러에서 사용되는 경향이 있습니다. 온라인에서 명확한 정의를 찾을 수 없습니다. 그렇다면 컴파일러를 배치 컴파일러로 만드는 것은 무엇입니까?

28 compilers 

쓰기 속도가 500Mb / s (62.5MB / s) 인 하드 드라이브에 800Mb / s (100MB / s)의 속도로 파일을 다운로드하려고하면 어떻게됩니까? 시스템이 다운로드 속도를 제한합니까?

28 computer-networks 

Wikipedia와 내가 찾은 다른 소스 void는 빈 유형이 아닌 C 유형을 단위 유형으로 나열 합니다. 나는 void빈 / 하단 유형의 정의에 더 잘 맞는 것처럼 혼란 스럽습니다 . void내가 알 수있는 한 값이 없습니다 . 반환 유형이 void 인 함수는 함수가 아무것도 반환하지 않으므로 일부 부작용 만 수행 할 수 …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

내가 아는 모든 결정 불가능한 문제는 다음 범주 중 하나에 해당합니다. 대각선으로 인해 결정 불가능한 문제 (간접 자기 참조). 정지 문제와 같은 이러한 문제는 언어에 대해 결정된 결정자를 사용하여 행동이 모순으로 이어지는 TM을 구성 할 수 있기 때문에 결정 불가능합니다. Kolmogorov의 복잡성에 대한 결정 불가능한 많은 문제를이 캠프에 집중시킬 수도 …

28 computability  proof-techniques  undecidability 

나는 종종 참조없이 '참 동시성 의미론'과 '참 동시성 동등성'과 같은 문구를 듣습니다. 그 용어는 무엇을 의미하며 왜 중요한가? 진정한 동시성 등가의 예는 무엇이며 이들의 필요성은 무엇입니까? 예를 들어, 더 많은 표준 동등성 (비 시뮬레이션, 미량 동등성 등)보다 더 적합한 경우는 무엇입니까?

28 terminology  reference-request  concurrency