컴퓨터 과학

필자는 효율적인 근사 키 조회 (예 : 문자열의 레 벤슈 테인 거리)를 지원하여 입력 키에 가장 근접한 일치를 반환하는 데이터 구조를 찾고 있습니다. 지금까지 내가 찾은 가장 적합한 데이터 구조는 Burkhard-Keller 나무 이지만이 목적을 위해 다른 / 더 나은 데이터 구조가 있는지 궁금합니다. 편집 : 내 특정 사례에 대한 자세한 …

25 data-structures  strings  efficiency 

동적 언어 (예 : Python, Ruby 또는 Java 플랫폼에서 실행되는 언어 (예 : Groovy, Clojure))의 사용 사이에 상관 관계가 있는지 또는 존재하지 않는지를 보여주는 실험이 있는지 궁금합니다. 정적 언어 (예 : C / C ++) 및 생산성의 차이

25 programming-languages  empirical-research  software-engineering 

나는이 질문에 대한 답을 인터넷을 둘러 보았고 모두가 나를 제외하고 대답을 암시 적으로 알고있는 것처럼 보입니다. 아마도 이것은 관심있는 유일한 사람들이 주제에 대한 고등 교육을받은 사람들이기 때문일 것입니다. 반면에 나는 고등학교 과제를 위해 깊은 곳에서 던져졌습니다. 제 질문은 프로그래밍 언어가 공식 언어와 얼마나 정확하게 관련되어 있습니까? 내가 읽는 모든 곳에서 …

25 formal-languages  programming-languages  regular-expressions 

내 문제는 문법이 명확하다는 것을 어떻게 증명할 수 있는가? I는 다음의 문법을 가지고 S→statement∣if expression then S∣if expression then S else SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if } expression \mbox{ then } S ∣ \mbox{if } expression \mbox{ then } S \mbox{ else …

25 context-free  formal-grammars  proof-techniques  ambiguity 

Splay Tree 데이터 구조의 회전이 평가 노드의 부모뿐만 아니라 조부모 (zig-zag 및 zig-zig 작업)를 고려하는 이유를 잘 이해하지 못합니다. 다음이 작동하지 않는 이유 : 예를 들어 트리에 새 노드를 삽입하면 왼쪽 또는 오른쪽 하위 트리에 삽입되는지 확인합니다. 왼쪽에 삽입하면 결과가 오른쪽으로 회전하고 오른쪽 하위 트리의 경우에는 반대로 회전합니다. 재귀 적으로 …

25 algorithms  data-structures  binary-trees  search-trees 

분명히 NP에는 결정 불가능한 문제가 없습니다. 그러나 Wikipedia 에 따르면 : NP는 응답이 "예"인 경우 결정 론적 튜링 머신에 의해 다항식 시간으로 검증 할 수있는 [.. 증명]을 갖는 모든 결정 문제의 집합입니다. [...] 다항식 시간으로 실행되는 문제에 대한 검증자가있는 경우에만 문제가 NP에 있다고합니다. 이제 다음 문제를 고려하십시오. Diophantine 방정식이 주어지면 …

25 complexity-theory  computability  undecidability  decision-problem 

결과 목록이 가능한 한 "균형"또는 "균등하게 분산"되도록 목록에서 값을 배포하는 알고리즘을 찾고 있습니다 (따옴표로 표시하는 것이 최선의 방법인지 확실하지 않기 때문에 따옴표로 표시) ... 나중에 결과가 다른 것보다 나은지 측정하는 방법을 제공합니다). 따라서 목록은 다음과 같습니다. [1, 1, 2, 2, 3, 3] 값을 재분배 한 후 가장 좋은 결과 중 …

25 algorithms  optimization  sorting  approximation 

일부 챕터는 다음과 같이 말했습니다. 결정 론적 수단으로 난수를 생성하려고 시도하는 사람은 물론 죄의 상태에 살고 있습니다. 그것은 항상 컴퓨터로 진정한 난수를 생성 할 수 없다는 것을 의미하기 위해 취해졌습니다. 그리고 그는 컴퓨터가 단일 Intel 8080 마이크로 프로세서 (~ 6000 밸브)와 동등한 크기 일 때 말했다. 컴퓨터가 더 복잡 해졌고 …

25 randomness  data-compression  entropy  random-number-generator 

동전이 하나 있습니다. 원하는만큼 뒤집을 수 있습니다. 여기서 되도록 난수 을 생성하려고합니다 .a ≤ r &lt; b r , a , b ∈ Z +아르 자형아르 자형ra ≤ r &lt; b에이≤아르 자형&lt;비a \leq r < br , a , b ∈ Z+아르 자형,에이,비∈지+r,a,b\in \mathbb{Z}^+ 숫자의 분포는 균일해야합니다. 이면 쉽습니다 .b …

25 algorithms  probability-theory  randomness  random-number-generator 

LSTM 네트워크의 하이퍼 파라미터 중 하나는 온도입니다. 무엇입니까?

25 machine-learning  neural-networks 

만약 누군가가 보편적 인 양자 컴퓨터를 만들어야한다면, 그것은 P 대 NP의 문제에 영향을 미치 겠는가?

25 complexity-theory  complexity-classes  quantum-computing 

P NP를 가정하면 NP- 완전 문제는 해결하기 어렵지만 확인하기 쉬운 답변이 있습니다. 정답을 계산하기는 쉽지만 임의의 의도 된 솔루션을 확인하기 어려운 문제를 고려하는 것이 합리적입니까?≠≠\neq 그러한 문제는 다음 중 하나를 의미한다고 생각합니다. 주어진 모든 입력에 대해 기하 급수적으로 많은 "올바른"답변. 그렇지 않으면 모든 정답을 간단히 계산하여 검증을 수행 할 수 …

25 complexity-theory 

병렬화하기가 매우 어렵거나 연구가 여전히 활발한 알고리즘이 있습니까? 병렬 컴퓨팅의 알고리즘이나 연구 분야에 대해 알고 싶었습니다. 내가 검색 한 것은 '병렬'구현이 수행되었습니다. 탐험되지 않은 병렬 컴퓨팅 분야에 대한 연구를하고 싶습니다.

24 algorithms  parallel-computing 

나는 몇 가지 경우를 시도하고 간단한 그래프의 두 스패닝 트리에 공통 모서리가 있음을 발견했습니다. 지금까지 카운터 예제를 찾을 수 없었습니다. 그러나 나는 이것을 증명하거나 반증 할 수 없었다. 이 추측을 어떻게 증명하거나 반증 하는가?

24 graphs  graph-theory  spanning-trees 

모든 의사 난수 생성기는 궁극적으로 주기적인가? 아니면 결국 주기적인가? 주기적으로 나는 합리적인 숫자와 마찬가지로 결국 주기적 하위 시퀀스를 생성한다는 것을 의미합니다 ... 그리고 의사 랜덤은 난수의 알고리즘 / 수학적 생성을 의미합니다 ...

24 randomness  pseudo-random-generators