Bitcoin 이라는 탈 중앙화 온라인 통화를 만드는 최근의 접근 방식에 관심이있었습니다. 목표는 중앙 당국이나 이중 지출이나 위조없이 통화를 이체하는 방법을 갖는 것입니다. 이들의 접근 방식은 네트워크의 모든 노드가 작업 증명 계산을 수행하여 트랜잭션을 검증하도록하고 가장 검증 된 트랜잭션은 공식적인 것으로 간주됩니다. 공격자가 공식 기록을 위조하려면 (첫 지출을 되돌리고 동전을 다시 …
시간 복잡성이나 회로 하한선으로 직접 작업하는 것은 무섭습니다. 따라서 쿼리 복잡성 (또는 의사 결정 트리 복잡성)과 같은 도구를 개발하여 하한을 처리합니다. 각 쿼리는 하나 이상의 단위 단계를 수행하고 쿼리 간 계산은 무료로 계산되므로 시간 복잡도는 쿼리 복잡도만큼이나 높습니다. 그러나 분리에 대해 말할 수 있습니까? 고전 또는 양자 문헌에서의 작업에 대해 …
n( n + 1 )(n+1)(n + 1)차수 의 다항식을 고유하게 결정하려면 점이 필요합니다 . 예를 들어 평면의 두 점이 정확히 하나의 선을 결정합니다.엔nn 고정 언어로 를 계산하는 프로그램의 길이를 고려할 때 계산 가능한 함수 을 고유하게 결정하려면 몇 개의 포인트가 필요 합니까? (즉, Kolmogorov의 복잡성 에 대한 경계 ).f f에프: …
나는 그것을 이해하지 못하는 것 같아요,하지만 나에게 -conversion 모습을 A와 아무것도의 특별한 경우하지 않습니다 -conversion 결과가 람다 추상화 단지 용어입니다 -conversion을 아무것도 없기 때문에 무의미한 beta-변환의 종류 .β β βηη\etaββ\betaββ\betaββ\beta 아마도 -conversion은 이것과는 정말로 깊고 다른 것이지만, 그것이 없다면 그것을 얻지 못하고 도움이되기를 바랍니다.ηη\eta (감사하고 죄송합니다. 이것은 람다 미적분학의 기본 …
이것은 어리석은 질문으로 간주 될 수 있습니다. 나는 컴퓨터 과학 전공이 아니며 (그리고 아직 수학 전공도 아닙니다) 다음 질문에 몇 가지 잘못된 잘못된 가정이 있다고 생각한다면 실례합니다. Fermat의 마지막 정리를 공식화 할 계획이 있지만 (이 프레젠테이션 참조 ) 나는 컴퓨터가 피타고라스와 같은 "단순한"정리를 증명할 수 있다는 것을 읽거나들은 적이 없습니다. …
여기서 목표는 가장 적은 수의 절과 변수를 사용하여 임의의 SAT 문제를 다항식 시간으로 3-SAT로 줄이는 것입니다. 내 질문은 호기심에 의해 동기 부여됩니다. 덜 공식적으로 저는 "SAT에서 3-SAT로 '가장 자연적인'감축이 무엇입니까?" 이제 교과서에서 항상 본 축소는 다음과 같습니다. 먼저 SAT를 예로 들어 Cook-Levin 정리를 적용하여 SAT를 회로 SAT로 줄이십시오. 그런 다음 …
1979 년 Freivalds 는 임의의 필드에서 매트릭스 제품의 검증이 무작위 시간 내에 수행 될 수 있음을 보여주었습니다 . 보다 공식적으로, 필드 F로부터의 엔트리를 갖는 3 개의 행렬 A, B 및 C가 주어지면, AB = C가 랜덤 화 된 O ( n 2 ) 시간 알고리즘을 갖는지 여부를 점검하는 문제가있다 .O …
Coq에서 다음 정리를 증명할 수있는 방법이 있습니까? Theorem bool_pirrel : forall (b : bool) (p1 p2 : b = true), p1 = p2. 편집 : "부적절한 증거가 무엇입니까"에 대한 간단한 설명을 제공하려는 시도 기본 아이디어는 제안 세계 (또는 PropCoq 의 종류)에서 실제로 관심을 가져야 할 것은 제안 의 증거가 아니라 …
내 8 살짜리 아이는 기존의 미로를 만드는 데 지루해졌으며 다음과 같은 변형을 만들었습니다. 아이디어는 x에서 시작하여 일반 규칙을 통해 o에 도달하는 것입니다. 또한 모든 정수 에서 다른 정수 b로 "홉"할 수 있지만 | a - b | 특권을위한 달러. 목표는 최소 비용으로 미로를 해결하는 것입니다. 위의 예에서 비용 5로 x-14-18-27-28-o를 …
3D 공간에 입방체가 많고 각각 (x, y, z)에 시작점이 있고 크기는 (Lx, Ly, Lz)입니다. 입방체의 결합에 포함 된이 3D 공간에서 가장 큰 큐브를 찾는 방법이 궁금합니다. 이를위한 효율적인 알고리즘이 있습니까? 예를 들어 다음과 같은 직육면체가있는 경우 : 크기가 (10,10,10) 인 (0,0,0)에서 시작하는 직육면체 크기가 (12,13,15) 인 (10,0,0)의 직육면체 크기가 (10,10,10) …
누구든지 간략하게 (가능하다면!) 설명하지 않거나 참조되지 않은 람다 미적분학과 더 일반적인 유형의 람다 미적분학의 차이점을 요약하여 참조 할 수 있습니까? 특히 표현력, 논리 / 산술 시스템 또는 계산 방법과의 동등성, 해당되는 경우 프로그래밍 언어와의 유사성에 대한 진술을 찾고 있습니다. 확실히 읽으려고하지만 계층 구조의 미적분학과 해당 항목의 차이점 / 차이 / …
회로 복잡도에 대한 크기 계층 정리가이 분야에서 큰 돌파구가 될 수 있다고 생각합니다. 수업 분리에 대한 흥미로운 접근법입니까? 질문의 동기는 우리가 말해야한다는 것입니다 크기 회로로 계산할 수없고 f ( n ) < o ( g ( n ) ) 인 크기 g ( n ) 회로 로 계산할 수있는 기능이 …
SIGACT 뉴스를위한 자연에서 영감을 얻은 혁신적인 컴퓨팅 핸드북을 검토하고 있습니다. 매우 흥미로운 내용입니다. 그러나 각 장은 "이것은 나의 연구 분야이며, 정말 대단하다!" 그래서 내가하려고하는 일은 과대 광고를 분리하고 책의 내용을 냉정하게 평가하는 것입니다. 하나의 장은 퍼지 로직과 퍼지 시스템, 그리고 frikkin이 얼마나 멋진 지에 관한 것입니다. 그리고 아마도 그들은 솔직히 …
다항식 가 있다고 가정합니다 . . . , P는 m 이하인 정도의 N , N > m 제로 계수들의 총 개수가되도록, N (즉, 다항식은 드물다). 다항식을 계산하는 효율적인 알고리즘에 관심이 있습니다.p1,...,pmp1,...,pmp_1,...,p_mnnnn>mn>mn>mnnn ∑ipi(x)2∑ipi(x)2\sum_i p_i(x)^2 이 다항식은 기껏도 갖기 때문에 모두 입출력 크기는 O ( N ) . m = 1 의 …