Bitcoin 이라는 탈 중앙화 온라인 통화를 만드는 최근의 접근 방식에 관심이있었습니다. 목표는 중앙 당국이나 이중 지출이나 위조없이 통화를 이체하는 방법을 갖는 것입니다. 이들의 접근 방식은 네트워크의 모든 노드가 작업 증명 계산을 수행하여 트랜잭션을 검증하도록하고 가장 검증 된 트랜잭션은 공식적인 것으로 간주됩니다. 공격자가 공식 기록을 위조하려면 (첫 지출을 되돌리고 동전을 다시 …
시간 복잡성이나 회로 하한선으로 직접 작업하는 것은 무섭습니다. 따라서 쿼리 복잡성 (또는 의사 결정 트리 복잡성)과 같은 도구를 개발하여 하한을 처리합니다. 각 쿼리는 하나 이상의 단위 단계를 수행하고 쿼리 간 계산은 무료로 계산되므로 시간 복잡도는 쿼리 복잡도만큼이나 높습니다. 그러나 분리에 대해 말할 수 있습니까? 고전 또는 양자 문헌에서의 작업에 대해 …
계산 계 또는 대수학자를위한 2 가지 질문 : 나는 방금 계산 기하학으로 뛰어 들기 시작했고 그것을 좋아하고 있습니다 =) 나는라고 Guibas 및 Stolfi로 유명한 기사 읽으려고하고있다 "일반적으로 구획의 조작과 보로 노이 다이어그램의 계산을위한 프리미티브" 들로네 삼각 분할 알고리즘을 구현하기 위해서입니다. 나는 모든 이론적 인 내용을 건너 뛰고 시간을 절약하기 위해 …
이것은 시간의 다항식 계층 풀 수있는 문제가있는 것은 사실이다 으로 풀 수없는 (다항식 계층의 일부 레벨 기계 튜링 교류에 의해) 의 다항식 계층의 모든 수준? 다시 말해, P와 NP에 대한 다항식 계층에 대한 시간 계층 정리가 존재 하는가? 있다면-참조가 좋을 것입니다.O(nk)O(nk)O(n^k)O(nk−1)O(nk−1)O(n^{k-1}) 내가 직면 한 어려움은 모든 레벨의 계층에서 머신을 시뮬레이션 …
Brzozowski의 미분법 은 정규식에서 결정 론적 오토마타를 대수적으로 만드는 매우 훌륭한 기술입니다. 더 큰 문법 클래스를 처리하기 위해이 기술의 귀여운 일반화를 수행했지만 알고리즘은 이전에 발견 된 것처럼 보일 정도로 간단합니다. 그러나이 기술의 자손에 대한 인터넷 검색은 많이 나타나지 않습니다. 아는 사람 있나요?
문제점 : 정수 길이를 갖는 스틱 세트가 제공됩니다. 길이의 총합은 n (n + 1) / 2입니다. 다항식 시간 에 크기가 스틱을 얻기 위해 그것들을 분해 할 수 있습니까 ? 1 , 2 , … , n1,2,…,n{1,2,\ldots,n} 놀랍게도,이 문제에 대한 유일한 참조는이 고대 토론입니다. http://www.iwriteiam.nl/cutsticks.html 이 문제에 대해 알려진 것이 무엇입니까? …
다음 문제에 관심이 있습니다. X 세트 X 및 X_1, ..., X_n의 X_n 집합을 고려할 때 각 X_i의 요소가 모두 다르게 색상이 지정되도록 X의 요소를 k 색상으로 채색하십시오. 보다 구체적으로, 모든 X_i의 크기가 k 인 경우를보고 있습니다. 이것은 문학에서 어떤 이름으로 알려져 있습니까? 채색 가능한 인스턴스의 특성화와 복잡성에 대한 결과를 찾고 …
Satisfiability의 문제는 물론, 이론적 인 CS의 근본적인 문제이다. 나는 무한히 많은 변수로 한 가지 버전의 문제로 놀고있었습니다.\newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} 기본 설정. 하자 비어 있지 않은 및 수 의 가능성이 무한한 변수 . 리터럴은 변수 x ∈ X 또는 그 부정 ¬ x 입니다. c 절 은 한정된 수의 리터럴을 분리 한 …
에서 Sakarovitch의 책 오토마타 이론, 섹션에 대한 소개로 작성 자유 그룹의 유리수 재료 내부에 발표 "문맥 자유 언어의 진정한 수학적 이론의 기초"를 낳는 것이다. 그럼에도 불구하고 문맥에 맞지 않는 언어와 푸시 다운 오토마타는이 책의 범위를 벗어나므로 명시 적으로 설명되지 않습니다. 난 공짜로 그룹의 일부 연결 인식 (특히 Sakarovitch가 부르는입니다 involutive …
패리티 함수를 계산하는 회로 의 최소 크기는 정확히 . 하한 증명은 게이트 제거 방법을 기반으로합니다.유2유2U_23 ( n - 1 )삼(엔−1)3(n-1) 최근에 게이트 제거 방법이 비결정론 적 회로 에서도 잘 작동한다는 것을 으며, 패리티 함수를 계산하는 비결정론 적 회로 의 크기에 대해 하한을 증명할 수 있습니다 .유2유2U_23 ( n - 1 …
다음 그래프 클래스는 문헌에 알려져 있습니까? 그래프의 클래스는 양의 정수에 의해 매개 변수화 및 각각 그래프 포함 예컨대 각 정점에 대한 V에서 V \ 의 서브 그래프 G 많아야 거리에있는 모든 정점에 의한 D 에서 V 에서 G 최대 t의 treewidth를 갖습니다 .디디d티티tG = ( V, E)지=(V,이자형)G=(V,E)v ∈ VV∈Vv\in V지지G디디dVVv지지G티티t …
경제학자들이 인쇄에서 복잡성 이론의 관련성을 확신 시키려고 할 때 인용에 대한 표준 참조가 있습니까? 저는 Noam Nisan의 블로그 게시물 , Tim Roughgarden의 설문 조사 및 Scott Aaronson의 에세이 11 장에 익숙 합니다. 이 게시물은 컴퓨터 과학자가 액세스 할 수 있지만 경제학자의 언어를 사용하지 않으며 일반적으로 읽는 장소에는 게시되지 않습니다. 경제학자를 …
효율적인 알고리즘 (다항식 시간) 의 자연스러운 예를 찾고 있습니다. 정확성과 효율성은 건설적으로 입증 될 수 있지만 (예 : 또는 )피RPRAPRAHㅏHAHA 효율적인 개념만을 사용한 증거는 알려져 있지 않습니다 (즉, 우리는 또는 에서 정확성과 효율성을 입증하는 방법을 모릅니다 ).S (1) (2)티V0TV0TV^0에스12S21S^1_2 인공적인 예를 직접 만들 수 있습니다. 그러나 나는 흥미로운 자연 사례, …
내가 방문한 대부분의 사이트는이 흥미로운 주제에 관한 글을 읽고 있습니다. "이 순서에서 발생하는 2의 힘 (2 자체 이외의 것)은 소수 지수를 가진 것입니다"(MathWorld) 또는 "2 이후이 시퀀스에는 다음과 같은 2의 제곱이 포함됩니다. [...] 2의 주요 제곱입니다." (위키 백과) 이러한 신중한 공식은 시퀀스에서 생성 된 2의 거듭 제곱 집합이 2의 주요 …