컴퓨터 과학

시뮬레이션 카드 게임에 사용중인 실제 데이터가 있습니다. 나는 소송이 아닌 카드의 등급에만 관심이 있습니다. 그러나 표준 카드 덱이므로 덱에는 개의 등급 만 있습니다. 데크는 각 손에 대해 잘 섞은 다음 전체 데크를 파일로 출력합니다. 따라서 출력 파일에는 가능한 기호 만 있습니다 . ( = 10 등급). 물론 심볼 당 비트를 …

19 data-compression 

Strassen의 행렬 곱셈에서 우리는 두 개의 2 x 2의 행렬 곱셈에 7 곱셈이 필요하다는 이상한 (적어도 나에게) 사실을 언급합니다. 질문 : 6 곱셈에서 2 x 2 행렬을 곱할 수 없다는 것을 어떻게 증명합니까? 행렬은 정수를 초과합니다.

19 algorithms  complexity-theory  lower-bounds 

대수의 밑 사이에는 상수가 있기 때문에 와 반대로 f(n)=Ω(logn)f(n)=Ω(log⁡n)f(n) = \Omega(\log{n}) 것이 좋습니까?Ω(log2n)Ω(log2⁡n)\Omega(\log_2{n})

19 algorithms  time-complexity 

정지 문제를 계산할 수 없다는 증거에 대한 나의 이해에서, 우리가 프로그램 x가 정지하는지 여부를 계산하는 프로그램 P (x)를 가지고 있다면 P를 같은 P, P (P), P가 P를 사용하지 않는지를 결정하려고합니다. 그래서 내 질문은 : 입력으로 사용되는 다른 모든 프로그램에 대해 프로그램 P로 문제를 계산할 수 있습니까? P 자체입니까? 즉,이 특별한 …

19 halting-problem 

동적 트리는 네트워크 흐름, 동적 그래프, 조합 문제 (Tarjan 및 Werneck의 "실제 동적 트리") 및 최근에 사전 병합 (Adam Karczmarz의 "단순 병합 가능한 사전")과 같은 문제를 해결하는 데 중요한 역할을합니다. 동적 트리 란 1983 년 Sleator & Tarjan의 논문 "동적 트리에 대한 데이터 구조"에 정의 된 정의를 참조합니다. 그 이후로 …

19 data-structures  trees  functional-programming 

나는 최근에 모순에 의한 증거의 타당성을 생각하고있었습니다. 나는 지난 며칠 동안 직관 논리와 Godel의 이론에 관한 것들을 읽어 내 질문에 대한 답을 줄 수 있는지 읽었습니다. 지금은 여전히 ​​궁금한 점이 있으며 (아마도 내가 읽은 새로운 자료와 관련이있을 것입니다.) ( 경고 : 당신은 논리에서 매우 혼란스러운 기초를 가진 내용을 읽고, 소금 …

19 logic  first-order-logic  propositional-logic  incompleteness 

S 및 K 콤비 네이터는 다른 모든 콤비 네이터가 이들의 관점에서 표현 될 수 있다는 점에서 콤비 네이터 미적분의 기초 세트를 형성하는 것으로 잘 알려져있다. 같은 속성을 가진 카레 B, C, K, W 기준도 있습니다. 그러한 수의 근거는 무한해야하지만 다른 것은 모른다. Iota 콤비 네이터 및 Fokker가 구성 / 검토 …

19 lambda-calculus  combinatory-logic 

하자 생각이 문맥 자유 문법 및 G 2 다음과 같은 질문 : IS L ( G 1 ) = L ( G 2 ) , 두 문법이 동일합니까?지1지1G_1지2지2G_2패 ( G1) = L ( G2)엘(지1)=엘(지2)L(G_1) = L(G_2) 일반적으로이 문제는 결정할 수 없습니다. 그러나 과 G 2 가 모두 왼쪽 선형 (또는 …

19 formal-languages  context-free  formal-grammars 

NP-hard 문제를 계산할 수 있어야합니까? 나는 그렇게 생각하지 않지만 확실하지 않습니다.

19 complexity-theory  computability  np-hard 

일부 트랜잭션이 이기고 (충돌 전에 커밋 됨) 일부가 손실 된 (아직 커밋되지 않은) 데이터베이스 로그가 있습니다. 우리는 패자들의 행동이 거꾸로 되돌려 져야한다는 것을 수업에서 배웠다. 이것을 거꾸로 할 이유가 있습니까? 앞으로 실행 취소가 잘못된 결과를 제공하는 간단한 로그 예를 누구나 볼 수 있습니까?

19 concurrency  databases 

배열 크기 이외의 바이트를 할당하지 않고 int 배열에 대한 정렬 알고리즘을 찾고 있는데 두 가지 명령으로 제한됩니다. 스왑 : 다음 인덱스를 현재 인덱스로 교체합니다. MOVE : 커서를 +1 또는 -1 색인으로 이동합니다. 즉, 비 이웃 인덱스를 교환,도 인덱스를 바꿀 수 없다 100당신은 그냥 인덱스를 교환 한 후, 10. 가장 효율적인 …

19 algorithms  sorting  in-place 

누가 "기계 학습"이라는 용어를 만들 었는지 알아 내려고합니다. 부수적 인 질문은 1959 년 Arthur Samuel이 "기계 학습"분야를 다음과 같이 정의한 곳에서 인용 한 것입니다. 컴퓨터에 명시 적으로 프로그래밍하지 않고도 학습 할 수있는 연구 분야 ? 인터넷에서이 정의에 대한 수많은 참조를 찾을 수 있지만 소스를 추적 할 수는 없습니다. 어떤 사람들은 …

19 terminology  reference-request  machine-learning  history 

계산 복잡성을 연구하고 있는데 NP-Complete (NPC) 문제가 왜 중요한 클래스인지 궁금했습니다. 주어진 NP 문제를 보여주는 데 관심이있는 이유는 NP-hard입니다. 또한 NPC의 정의를 이해하고 주어진 결정 문제를 보여주는 것이 NP-hard이며 NP에 있음을 알면 정확히 NPC 수단이라는 것을 알 수 있습니다. 그러나 내가 이해하지 못하는 것은이 개념이 왜 중요한가? 확실히, 시간 P에서 …

19 complexity-theory  np-complete 

이진수 인코딩에서 비트를 사용하여 숫자 얻는다고 가정하십시오 .O ( 로그 m )mmmO(logm)O(log⁡m)O(\log m) 얼마나 빨리 찾기 (또는 존재하지 않는 결정) 할 수 n,k∈N,1&lt;k≤n2:(nk)=mn,k∈N,1&lt;k≤n2:(nk)=mn,k\in \mathbb N, 1<k\leq\frac{n}{2}:{n \choose k}=m ? 예를 들어, 입력 m = 8436285가 주어지면, n = 27, k = 10을m=8436285m=8436285m=8436285 출력 할 수 있습니다 .n=27,k=10n=27,k=10n=27, k=10 문제에 대한 …

19 algorithms  combinatorics 

나는 연구 논문을 쓰고 있는데 기본적으로 하나의 마이크로 컨트롤러가 다른 마이크로 프로세서보다 느리다는 것을 말해야한다. 그러나 나는 그것이 느리다고 말하는 것이 연구 논문에서 적절하지 않을 것이라고 걱정하고 있습니다. 내가 맞아? 하나의 프로세서가 '더 느리다'고 말하는 것이 좋습니까, 아니면 다른 말을해야합니까? 다른 말을 할 수 있습니까? 내가 생각해 낸 최선은 하나가 …

19 terminology  computer-architecture