이것은 모든 NP 언어에 대한 회원의 증인 규모가 이미 알려져 있습니까? 라는 질문과 관련이 있습니다 . 일부 자연적인 (완전한) 문제에는 선형 길이 감시가 있습니다 : S A T에 대한 만족스러운 할당 , H A M P A T H에 대한 일련의 정점 등.N PNP\mathsf{NP}에스TSATSATHM피THHAMPATHHAMPATH 복잡성 클래스 " 는 선형 길이 …
편집 (v2) : 문제에 대해 알고있는 섹션을 추가했습니다. 편집 (v3) : 끝에 임계 값 정도에 대한 토론을 추가했습니다. 의문 이 질문은 주로 참조 요청입니다. 나는 그 문제에 대해 많이 모른다. 이 문제에 대한 이전 연구가 있었는지 알고 싶습니다. 그렇다면 누군가이 문제에 대해 이야기하는 논문을 알려줄 수 있습니까? 또한 대략 의 …
편집 : 먼저 제약 조건을 잘못 정식했습니다 (2). 이제 수정되었습니다. 또한 더 많은 정보와 예제를 추가했습니다. 다른 알고리즘 문제를 연구하는 일부 동료들과 함께 우리는 다음과 같은 흥미로운 문제로 문제를 줄일 수 있었지만 복잡성 문제를 해결할 수는 없었습니다. 문제는 다음과 같습니다. 예 : 정수 nnn 정수 k<nk<nk<n 및 세트 S={{s1,t1},…,{sn,tn}}S={{s1,t1},…,{sn,tn}}S=\{\{s_1,t_1\},\ldots,\{s_n,t_n\}\} 의 …
곱셈 오류의 맥락에서 NP-hard 문제에 대해 알려진 근사 결과의 경도를 설정하는 풍부한 문헌과 최소한 하나의 훌륭한 책이 있습니다 (예 : UGC를 가정하면 정점 표지에 대한 2 근사가 최적입니다). 여기에는 APX, PTAS 등과 같은 잘 알려진 근사 복잡성 클래스도 포함됩니다. 가산 오차를 고려할 때 알려진 것은 무엇입니까? 문헌 검색에서 빈 포장에 …
알고리즘이 예상 실행 시간이 다항식이라는 것으로 알려진 NP- 완전 문제가 있습니까 (인스턴스에 대한 합리적인 분포의 경우)? 그렇지 않다면, 그러한 알고리즘의 존재가 확립 된 문제점이 있습니까? 아니면 그러한 알고리즘의 존재가 결정적 다항식 시간 알고리즘의 존재를 의미합니까?
결정 론적 로그 스페이스 ( LLL ) 에서 결정 가능한 모든 문제 는 최대 다항식 시간 ( PPP )으로 진행 된다는 것이 분명합니다 . LLL 과 사이에는 복잡한 클래스가 많이 PPP있습니다. 예로는 NLNLNL , LogCFLLogCFLLogCFL , NCiNCiNC^i , SACiSACiSAC^i , C I , S C 나이 . L ≠ P …
이 질문은 이론적 인 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 3 년 전에 마이그레이션 되었습니다 . 2016 년 과학 논문 " 확장 가능한 Shor 알고리즘의 실현 "[ 1 ]에서 저자는 5 qubits만으로 15를 인수하여 [ 2 ] 의 표 1 과 …
오라클 에 대한 액세스 는 모든 항목에 대해 대폭적인 초고속 속도를 제공합니다 (세트가 비어 있지 않다고 가정). 그러나 \ bf P 가이 오라클 액세스로부터 얼마나 많은 이점을 얻을 수 있는지는 분명하지 않습니다 . 물론 \ bf P 의 속도 향상은 다항식 일 수는 없지만 여전히 다항식 일 수 있습니다. 예를 …
복잡성 이론은 NP- 완전성과 같은 개념을 통해 상대적으로 효율적인 솔루션이있는 계산 문제와 다루기 어려운 문제를 구별합니다. "미세한"복잡성은이 정 성적 구별을 문제 해결에 필요한 정확한 시간에 대한 정량적 가이드로 세분화하는 것을 목표로합니다. 자세한 내용은 여기를 참조 하십시오 : http://simons.berkeley.edu/programs/complexity2015 다음은 몇 가지 중요한 가설입니다. ETH : 333 - SATSATSAT 는 δ …
현재 비트 코인에는 SHA256을 사용하는 작업 증명 (PoW) 시스템이 있습니다. 다른 해시 함수는 작업 증명 시스템 사용 그래프, 부분 해시 함수 반전을 사용합니다. 매듭 인식과 같은 매듭 이론에서 의사 결정 문제를 사용하여 작업 증명 기능으로 만들 수 있습니까? 또한 전에 이것을 한 사람이 있습니까? 또한이 작업 증명 기능을 사용할 때 …
다항식 은 m = poly ( n ) 인 경우 다항식 g ( y 1 , … , y m ) 의 단조 투영법 이며 대입 π : { y 1 , … , y m } → { x 1 , … , x n , 0 , 1f(x1,…,xn)f(x1,…,xn)f(x_1,\ldots,x_n)g(y1,…,ym)g(y1,…,ym)g(y_1,\ldots,y_m)mmm(n)(n)(n) …
나는 현재 EXPSPACE- 완전한 문제 (주로 감소에 대한 영감을 찾기 위해)를 찾으려고 노력하고 있으며 소수의 결과가 나오는 것에 놀랐습니다. 지금까지 나는 이것을 찾았고 목록을 확장하는 데 문제가 있습니다. 지수가있는 정규 표현식의 보편성 (또는 다른 속성). 벡터 추가 시스템과 관련된 문제 관찰 할 수없는 게임 (예 : 이 블로그 참조 ) …
다음 계산 작업을 고려하십시오 . 만족할 수있는 공식에 따라 균일 확률 분포와 관련하여 변수 (변형 : n 개의 변수 m 절) 의 3-SAT 공식을 샘플링하려고합니다 .엔nn엔nn엠mm 질문 1 : 기존 컴퓨터 (임의의 비트 포함)를 통해이를 효율적으로 달성 할 수 있습니까? Q2 : 이것은 양자 컴퓨터에 의해 효율적으로 달성 될 수 …