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

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

2
고유성 / 고유성에 대한 Ω (n lg n) 최악의 경우에 대한 간단한 증거?
요소 고유성 / 차별성 문제에 대한 로그 선형 하한에 대한 몇 가지 증거가 있지만 (대수 계산 트리 또는 적대적 인수에 기초 함) 알고리즘 분석 및 설계의 첫 번째 과정에서 사용할 수있는 간단한 것을 찾고 있습니다. 정렬에 대한 하한과 동일한 "난이도"가 좋습니다. 또한, 모든 접근법 (예를 들어, 조합 또는 정보 이론에 …
2
모노톤 -2CNF 공식의 계수 솔루션
Monotone-2CNF 공식은 각 절이 정확히 2 개의 양의 리터럴로 구성된 CNF 공식입니다. 이제 Monotone-2CNF 공식 있습니다. S 를 F를 만족시키는 할당 의 집합으로 하자 . 또한 다음 정보를 제공 할 수 있는 오라클 O 가 있습니다.FFFSSSFFFOOO 세트 의 카디널리티 (즉, F 의 솔루션 수 )SSSFFF 변수 주어지면 : xxx 양의 …
1
“내 집합에서 순열 p가 그래프의 자동 형성인가?” NP 완료?
그래프의 S 세트 (유한 그래프이지만 무한한 수)와 S에 작용하는 순열 그룹 P가 있다고 가정합니다. 인스턴스 : P의 순열 p 질문 : S에 automorphism p를 인정하는 그래프 g가 있습니까? 이 문제가 일부 세트 S에 대해 NP- 완전입니까? 그래프가 순열 p (즉, 인증서)를 허용하는지 쉽게 확인할 수 있습니다. 또한 문제가 NP- 완전하지 …
2
랜덤 Oracle 모델에서 무 지식 프로토콜의 소진 시뮬레이터
"공통 참조 문자열 및 임의 Oracle 모델의 거부 가능성"이라는 제목의 논문에서 Rafael Pass는 다음과 같이 말합니다. RO [Random Oracle] 모델에서 표준 제로 지식 정의에 따라 보안을 입증 할 때 시뮬레이터는 일반 모델 시뮬레이터에 비해 두 가지 장점이 있습니다. 시뮬레이터는 당사자가 오라클에 어떤 값을 쿼리하는지 확인할 수 있습니다. 시뮬레이터는 응답이 "보여"괜찮다면 …
1
시공간 트레이드 오프 하한
3SAT [ 1 ]의 하한에 대한 토론에 이어, 시공간 상충 관계로 공식화 된 주요 하한 결과가 무엇인지 궁금합니다. 나는 Savitch의 정리와 같은 결과를 배제하고있다. 좋은 입장은 단일 문제와 그 한계에 초점을 맞출 것입니다. 예를 들면 다음과 같습니다. "T와 S는 모든 SAT 알고리즘의 실행 시간과 공간 경계가되게하십시오. 그러면 T⋅S≥n2cos (π / …
1
oracles가있는 회로 vs. oracles가있는 Turing 기계
간단히 말해서 : oracles가있는 Turing 기계와 oracles가있는 균일 한 회로 제품군 간의 대응 관계는 무엇입니까? 주어진 오라클 튜링 머신에 대해 동일한 계산 모델을 얻기 위해 후자는 어떻게 정의됩니까? 이것은 기본적인 질문 일지 모르지만 어디에서 볼 것인지는 분명하지 않으며, 나는 나의 기초가 양질의 박격포를 사용하고 있는지 확인하는 것을 좋아하는 사람입니다. 표준 …
2
공간 대체 계층
Immerman과 Szelepcsényi 덕분에 경우 (공간을 구성 할 수없는 함수 일지라도 라는 것이 알려져 있습니다.f = Ω ( 로그 )N S P A C E (f) = c o N S P A C E ( f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)에프= Ω ( 로그 )f=Ω(log)f=\Omega(\log) 같은 논문에서 Immerman은 로그 스페이스 대체 계층 구조가 …
2
PPAD는 다른 불균형 정점을 찾는 개념을 실제로 포착합니까?
복잡성 등급 PPAD 는 Christos Papadimitriou가 그의 1994 년 논문 에서 발명했습니다 . 이 클래스는 "유향 그래프의 패리티 인수"에 의해 솔루션의 존재가 보장되는 검색 문제의 복잡성을 포착하도록 설계되었습니다. 유향 그래프에 불균형 정점이 있으면 다른 것이 있어야합니다. 그러나 일반적으로 클래스는 공식적으로 ANOTHER END OF THE LINEANOTHER END OF THE LINE\mathsf{ANOTHER\ END\ …
4
완벽하게 균일하게 모드 3을 빠르게 생성하거나 NP 문제를 해결할 수 있습니까?
솔직히 말하면, 난수가 어떻게 생성되는지에 대해 많이 알지 못하지만 (의견은 환영합니다!) 다음 이론적 모델을 가정 해 봅시다. 에서 균일하게 임의의 정수를 얻을 수 있으며 우리의 목표는 [1,3]에서 균일하게 임의의 정수를 출력합니다.[1,2n][1,2n][1,2^n] 예상 실행 시간이 다항식 인 간단한 솔루션 은 다음과 같습니다. 나머지 정수의 수를 으로 나눌 수 있도록 생성 된 …
1
“NP- 중간-완료”문제가 있습니까?
P NP라고 가정하십시오 .≠≠\ne Ladner Theorem은 NP 중간 문제 (P 또는 NP-Complete가 아닌 NP의 문제)가 있다고 말합니다. 나는 NPI 내에 상호 축소 가능한 언어의 많은 "수준"이 모두 하나로 완전히 붕괴되지는 않는다고 제안하는 온라인의 가려진 참고 문헌을 발견했다. 이 레벨의 구조에 대해 몇 가지 질문이 있습니다. "NP-Intermediate-Complete"문제, 즉 다른 모든 NP-Intermediate …
3
상대화 할 수없는 증거의 자연스러운 예는 무엇입니까?
내가 이해하는 것처럼, P = NP 또는 P ≠ NP는 (재귀 이론 oracles에서와 같이) 상대화 할 수 없어야한다는 증거. 그러나 사실상 모든 증거는 상대적인 것으로 보인다. P = NP / P ≠ NP 증거가 필요하고, 사소하거나 구제되지 않는 종류 의 비 상대적 증거 의 좋은 예는 무엇입니까 ? (나는 재귀 …
1
PPAD에 대한이 두 정의가 동일한 이유는 무엇입니까?
복잡성 클래스 PPAD 는 일반적으로 End-Of-The-Line이 PPAD- 완전 함을 명시하여 정의됩니다. End-Of-The-Line은 검색 문제입니다. 입력은 그래프 다항식 시간 계산 가능 함수에 의해 주어진다 정도 내 및도 대부분 1에서 각 노드가 갖고있는 방향 그래프 구성 이 복귀 선행 및 후속 X . 또한 후속 노드는 있지만 선행 노드는없는 노드 v 가 …
3
여러 그래프의 게임
일부 노드에 칩이 있는 직접 가중치 그래프 GGG 에서 다음 게임을 고려하십시오 . GGG 모든 노드는 A 또는 B로 표시됩니다. Alice와 Bob 두 선수가 있습니다. Alice (Bob)의 목표는 칩을 A (B)로 표시된 노드로 이동시키는 것입니다. 처음에 Alice와 Bob은 각각 mAmAm_A 와 mBmBm_B 달러를가집니다. 플레이어가지는 위치에 있다면 (즉, 칩의 현재 위치가 …
1
엔트로피와 계산의 복잡성
소거 비트가 에너지를 소비해야한다는 것을 보여주는 연구원이 있는데, 이제 계산 복잡도 갖는 알고리즘의 평균 에너지 소비에 대한 연구가 있습니까? 계산 복잡도 F ( n ) 는 평균 에너지 소비와 관련이 있다고 생각 합니다. 여기에서 대답을 얻을 수 있기를 바랍니다.F(n)F(n)F(n)F(n)F(n)F(n)
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.