«cc.complexity-theory» 태그된 질문

P 대 NP 및 기타 리소스 제한 계산.

3
Kolmogorov의 복잡성을 입력“크기”로 사용
SSSI(n)={w∈S:|w|=n}I(n)={w∈S:|w|=n}I(n) = \{w \in S : |w| = n\}nnnT(w)T(w)T(w)AAAwwwAAAfn=maxw∈I(n)T(w).fn=maxw∈I(n)T(w). f_n = \max_{w \in I(n)} T(w). 이제 Kolmogorov의 복잡도 n을 갖는 모든 입력 의 집합 IK(n)={w∈S:K(w)=n}IK(n)={w∈S:K(w)=n} I^K(n) = \{w \in S : K(w) = n \} 을 정의하고 시퀀스 f ^ K_n = \ frac {1을 정의하겠습니다. } {\ left | …
2
하이퍼 그래프의 선 그래프 인식
하이퍼 그래프 의 선 그래프 는 비어 있지 않은 교차점이있는 경우 두 모서리가있는 정점이 인접 하므로 모서리를 갖는 (단순) 그래프 입니다. 하이퍼 그래프는 각 모서리에 최대 개의 정점 이있는 경우 하이퍼 그래프입니다 .G H H G r rHHH지GGHHHHHH지GG아르 자형rr아르 자형rr 그래프 주어 다음 문제의 복잡도 란 존재 않는 -hypergraph의 되도록 …
1
최소 코드리스 홀수 사이클 그래프 완료 : NP-hard입니까?
최근 연구에서 다음과 같은 흥미로운 문제가 발생했습니다. 인스턴스 : 그래프 .지 ( V), E)G(V,E)G(V, E) 솔루션 : 완성 된 그래프 가 모든 에지 가 코드리스 홀수 사이클에 포함되는 특성을 갖도록 에지 세트 의 수퍼 세트 로 정의 된 코드리스 홀수 사이클 완료 . E G ' ( V , E …
2
경계 깊이 확률 분포
경계 깊이 계산에 대한 두 가지 관련 질문 : 1) n 비트로 시작하고 비트 i로 시작하려면 확률 p (i)를 독립적으로 0 또는 1로 가정하십시오. (문제가 간단 해지면 모든 p (i)가 0,1 또는 1/2이라고 가정 할 수 있습니다.또는 그들 모두 1/2입니다.) 이제 제한된 수의 계산 라운드를 만듭니다. 각 라운드에서 분리 된 …
2
MAX 3SAT를위한 초 다항식 시간 근사 알고리즘
PCP 정리는 아닌 한 만족할만한 3SAT 공식의 절을 만족하는 할당을 찾기 위해 MAX 3SAT에 대한 다항식 시간 알고리즘이 없다고 명시하고 있습니다 .7 / 8 +ϵ7/8+ϵ7/8+ \epsilonP=N피피=엔피P = NP 절의 을 만족시키는 사소한 다항식 시간 알고리즘이 있습니다. 그래서 우리가 다항식 알고리즘을 허용한다면 보다 더 잘할 수 있습니까 ? 준 다항식 시간 …
1
NP의 문제이지만 Average-P / poly의 문제는 아닙니다.
카프-립톤 Theoem이 경우한다고 다음 P H는 축소되어 Σ P 2 . 그러므로, Σ P 2 와 Σ P 3 사이의 분리를 가정하면 , N P- 완전 문제는 P / p o l y에 속하지 않을 것이다 .N P ⊂ P / p o l yNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}P HPH\mathsf{PH}Σ피2Σ2P\mathsf{\Sigma^P_2}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP3Σ3P\mathsf{\Sigma^P_3}NPNP\mathsf{NP}P/polyP/poly\mathsf{P/poly} 다음 질문에 …
3
무작위 또는 P / 폴리 감소에서 NP가 완료된 문제.
에서 이 질문에 우리는 (이 숫자 이론의 검증되지 않은 가정에 해당되는 달려 있지만) 결정의 감소에 따라 무작위 감소에서 NP-완료, 그러나 가능하지 않은 자연의 문제를 식별 한 것으로 보인다. 다른 알려진 문제가 있습니까? P / poly 감소에서 NP- 완전이지만 P 감소에서 알려지지 않은 자연적인 문제가 있습니까?
4
커뮤니케이션 복잡성… 클래스?
토론 : 나는 최근 의사 소통의 복잡성에서 다양한 것들을 배우는 데 개인적인 시간을 보냈습니다. 예를 들어, 나는 Arora / Barak의 관련 장에 익숙해졌고, 논문을 읽기 시작했고, Kushilevitz / Nisan이 책을 주문했습니다. 직관적으로 통신 복잡성과 계산 복잡성을 대조하고 싶습니다. 특히, 나는 계산 복잡도가 (다시 할 수 있습니다 일부 복잡성 클래스로 계산 …
2
양자 복잡성 클래스에 대한 설명 적 복잡성 표현이 있습니까?
제목에 거의 모든 내용이 나와 있지만 약간의 배경과 관심있는 특정 예를 추가 할 수 있다고 생각합니다. Immerman 및 Fagin과 같은 서술 적 복잡성 이론가들은 논리를 사용하여 가장 잘 알려진 복잡성 클래스를 많이 특징지었습니다. 예를 들어, NP는 2 차 존재 쿼리로 특성화 될 수 있습니다. P는 최소 고정 소수점 연산자가 추가 …
3
선형 대수 알고리즘 / 복잡성 조사
병렬 ( 계층 구조) 을 강조 하면서 선형 대수 (순위, 역, 고유 값, ... 부울, 및 정수 / 합리 행렬과 같은 연산)의 알고리즘과 복잡성에 대한 좋은 조사를 찾고 있습니다. 및 폴리 타임 알고리즘. 최근에 찾지 못했습니다. NCFpFp\mathbb{F}_pNCNCNC 선형 대수의 복잡성에 대한 최근의 좋은 조사 나 책을 알고 있습니까?
5
일반 그래프에서 완벽한 매칭을위한 결정적 병렬 알고리즘?
복잡성 클래스 에는 클래스 에 속하지 않는 것으로 추정되는 몇 가지 문제 , 즉 결정 론적 병렬 알고리즘 문제가 있습니다. 최대 흐름 문제가 한 예입니다. 에있을 것으로 예상되는 문제가 있지만 아직 증거를 찾을 수 없습니다.PP\mathsf{P}NCNC\mathsf{NC}NCNC\mathsf{NC} 완벽한 매칭 문제는 그래프 이론에서 제기 된 가장 근본적인 문제 중 하나입니다 : 그래프 주어진 …
1
Immerman-Szelepcsenyi 정리의 다른 증거
Immerman과 Szelepcsenyi는 독립적으로 임을 증명했습니다 . Borodin et al 은 유도 계수 기술을 사용하여 S A C i 가 i > 0에 대한 보완 상태에서 닫 혔음을 입증했습니다 . Reingold의 정리 ( S L = L ) 이전에, Nisan과 Ta-Shma 는 로그 공간 균일 투영 감소를 사용하여 S L = …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.