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

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

2
"스티브 클래스": SC의 기원
우리는 가 Steve Cook의 이름이고 N C의 이름이 Nick Pippenger의 이름임을 알고 있습니다. 내가 실수하지 않으면 Steve Cook은 Nick Pippenger를 기리기 위해 NC로 지명했으며 그 반대도 마찬가지라고 들었습니다. 그러나 나는 DCFL에 관한 Steve Cook의 논문이나 R L ⊆ S C 라는 Nisan의 증거에서 후자의 사실에 대한 증거를 찾지 못했습니다 .S …
5
불균일의 불합리한 힘
상식적인 관점에서, 을 추가하면 그 힘이 크게 확장됩니다. 즉, 는 보다 훨씬 큽니다 . 결국 비결정론은 지수 병렬화를 허용하는데, 이는 의심 할 여지없이 매우 강력 해 보입니다. N P PPP\mathsf{P}NPNP\mathsf{NP}PP\mathsf{P} 반면, 에 비 균일 성을 추가 하고 얻는 경우 직감이 명확하지 않습니다 ( 에서 발생할 수있는 비 재귀 언어를 제외한다고 …
3
최대 공약수 (gcd)의 복잡성
다음 계산 문제 (또는 관련 결정 문제)를 고려하십시오. 이진수로 인코딩 된 두 개의 양의 정수가 주어지면 최대 공약수 (gcd)를 계산하십시오. 이 문제에 포함 된 가장 복잡한 클래스는 무엇입니까? 당신은 참조를 제공 할 수 있습니까? 이 질문에서 나는 주로 실행 시간에 점근선 경계에 관심이 없지만 복잡한 클래스에 관심이 있습니다. AC에 문제가 …
4
다항식 계층의 수준에 대한 대화식 증명
PSPACE 시스템을 사용하는 경우 다항식 계층 구조의 모든 레벨에 대한 대화식 증거를 제공 할 수있을 정도로 강력합니다. (그리고 내가 올바르게 기억한다면 #P 만 있으면됩니다.) 그러나 언어로 멤버십을 대화식으로 증명한다고 가정합니다 . 문제를 해결하기에 합니까? 문제를 해결하는 적절합니까? 보다 일반적으로 또는 문제를 해결할 수 있다면 에서 모든 언어의 대화식 증명을 생성하기에 …
2
NTIME (n ^ k) ≠ DTIME (n ^ k)?
"결정론 대 비결정론 및 관련 문제"(Proc. IEEE FOCS, 페이지 429–438, 1983)에서 Paul, Pippenger, Szemerédi 및 Trotter는 . NTIME(n)≠DTIME(n)NTIME(n)≠DTIME(n)\mathsf{NTIME}(n)\neq\mathsf{DTIME}(n) 이것은 k = 1로 내 질문에 대답합니다. 다른 고정 k의 유사한 결과에 대해 알려진 것이 있습니까?
4
복잡성 클래스와 논리의 대응
Computability and Logic에 대해 한 번 수업을 들었습니다. 이 자료에는 복잡성 / 계산 가능성 클래스 (R, RE, co-RE, P, NP, Logspace 등)와 논리 (술어 계산, 1 차 논리 등) 간의 상관 관계가 포함되었습니다. 상관 관계는 한 필드에 여러 결과를 포함 시켰으며 다른 필드의 기술을 사용하여 얻은 결과입니다. P! = NP는 …
1
대?
복잡성 이론의 중심 문제는 아마도 대 입니다.N P피PP엔피NPNP 그러나 자연은 양자이기 때문에 클래스 (즉, 모든 경우에 대해 최대 1/3의 오류 확률로 다항식 시간으로 양자 컴퓨터에 의해 해결 될 수있는 결정 문제)와 (양자 등가 ) 를 고려하는 것이 더 자연스러워 보일 것 입니다 의 ) 대신.Q M A N PB Q …
8
열린 복잡성 격차가 큰 문제
이 질문은 알려진 하한과 상한 사이에 개방형 복잡성 차이가 큰 문제에 관한 것이지만 복잡성 클래스 자체의 개방형 문제 때문이 아닙니다. 더 정확하게 말하면, 가 hard 임을 증명할 수있는 최대 클래스 이고 가 알려진 최소값 인 경우 문제에 갭 클래스 ( )가 있다고 가정 해 봅시다. 즉, 우리는 문제를 해결하는 알고리즘 …
2
의 결과
TCS 아마추어로서, 나는 양자 컴퓨팅에 대한 대중적이고 매우 입문적인 자료를 읽고 있습니다. 지금까지 내가 배운 몇 가지 기본 정보는 다음과 같습니다. 양자 컴퓨터는 다항식 시간에 NP- 완전 문제를 해결하는 것으로 알려져 있지 않습니다. "양자 마법 충분하지 않습니다" (베넷 등 1997). : 당신은 문제의 구조를 버리고, 단지의 공간을 고려한다면 에 대한 …
3
복잡성 가정의 선집
논문 (Random Oracle Hypothesis Is False )에서 저자 (Chang, Chor, Goldreich, Hartmanis, Håstad, Ranjan 및 Rohatgi)는 랜덤-가설 가설 의 의미에 대해 논의합니다 . 그들은 우리가 복잡성 클래스 사이의 분리에 대해 거의 알지 못한다고 주장하며, 대부분의 결과에는 합리적인 가정을 사용 하거나 랜덤-가설 가설이 사용됩니다. 가장 중요하고 널리 알려진 가정은 PH가 붕괴되지 …
1
LOGLOG = NLOGLOG입니까?
LOGLOG를 결정적 Turing machine에 의해 공간 O (loglog n)에서 계산할 수있는 언어 클래스로 정의하십시오 (입력에 대한 양방향 액세스). 마찬가지로 NLOGLOG를 비 결정적 튜링 머신 (입력에 대한 양방향 액세스)으로 공간 O (log log n)에서 계산할 수있는 언어 클래스로 정의하십시오. 이 클래스들이 다르다는 것이 실제로 알려지지 않았습니까? 나는 오래된 설문 조사와 L …
5
효율적인 계산을위한 프로그래밍 언어
모든 입력을 멈추고 다른 입력을 멈추는 모든 기계를 허용하는 프로그래밍 언어를 작성하는 것은 불가능합니다. 그러나 표준 복잡성 클래스에 대해 이러한 프로그래밍 언어를 쉽게 정의 할 수 있습니다. 특히 모든 효율적인 계산과 효율적인 계산 만 표현할 수있는 언어를 정의 할 수 있습니다. 예를 들어, 와 같은 경우 : 좋아하는 프로그래밍 언어를 …
2
Impagliazzo의 세계 상태?
1995 년 Russell Impagliazzo는 5 가지의 복잡한 세계를 제안했습니다. 1- Algorithmica : 모든 놀라운 결과.피= N피피=엔피P=NP 2- 휴리스틱 스 : 완전한 문제는 최악의 경우 ( P ≠ N P )에서는 어렵지만 평균적인 경우에는 효율적으로 해결할 수 있습니다.엔피엔피NP피≠ N피피≠엔피P \ne NP 3- Pessiland : 평균 사례 완전한 문제가 있지만 단방향 함수는 …
5
PPAD가 어렵다는 증거?
증거가 없어도 P! = NP라고 믿는 철학적 타당성이 종종있다. 다른 복잡성 클래스는 그렇지 않다면 "놀라운"결과 (다항식 계층 구조의 붕괴와 같은)가있을 수 있기 때문에 구별된다는 증거를 가지고 있습니다. 내 질문은, PPAD 클래스가 다루기 어렵다는 믿음의 근거는 무엇인가? 내쉬 평형을 찾기위한 다항식 시간 알고리즘이 있었다면, 이것은 다른 복잡성 클래스에 대해 아무 의미가 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.