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

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

1
비결정론 적 공간과 결정 론적 공간 사이의 이차 관계?
Savitch의 정리는 충분히 큰 모든 함수 대해 이며 , 이것이 빡빡하다는 것이 수십 년 동안 공개 된 문제라는 것을 보여줍니다 .fNSPACE(f( n))⊆DSPACE(f(n)2)NSPACE(f(n))⊆DS피ㅏ씨이자형(에프(엔)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2)에프에프f 우리가 다른 쪽 끝에서 문제에 접근한다고 가정하자. 간단히하기 위해 부울 알파벳을 가정합니다. 계산 가능한 언어를 결정하기 위해 TM이 사용하는 공간의 양은 종종 언어의 각 정규 슬라이스에 …
3
시간 수업 분리
내 학생이 최근에 다음과 같은 질문을합니다. D T I M E ( f ( n ) ) ⊊ D T I M E ( g ( n ) ) . DTIME(f(n))⊊DTIME(g(n)).DTIME(f(n)) \subsetneq DTIME(g(n)).h ( n ) h(n)h(n)D T I M E ( f ( n ) ) ⊊ D T …
2
알려진 모순 관계가없는 잠재적으로 동일한 복잡성 클래스
복잡한 클래스 쌍의 예 무엇 와 B 가 같은AAABBB 우리가 모르는 여부 = B , 및A=BA=BA=B 우리는 모순 relativizations 중 하나 (즉, 우리가 알고있는 신탁하지 않습니다 모르는 와 Q 등이 P = B P 와 Q ≠ B Q )?PPPQQQAP=BPAP=BPA^P = B^PAQ≠BQAQ≠BQA^Q \ne B^Q 다른 방법으로 질문을 표현하기 위해, 모순적 …
1
대수 변수의 정수 선형 프로그래밍
변수 의 개수 이 고정 된 경우 정수 선형 프로그래밍을 다항식 시간으로 해결할 수 있음을 읽었습니다 ( 예 : n ∈ O ( 1 )) . 주어진 크기 N의 입력에 대해 변수의 수가 대수적으로 증가하는 경우 (즉, n ∈ O ( log 2 ( N ) )) , 문제는 여전히 …
2
내부의 학습 가능성 상태
임계 값 게이트를 통해 표현할 수있는 기능의 복잡성을 이해하려고 노력하고 있으며이를 통해 . 특히, 나는 해당 분야 의 전문가가 아니기 때문에 현재 T C 0 내부 학습에 대해 알려진 것에 관심 이 있습니다.TC0TC0\mathsf{TC}^0TC0TC0\mathsf{TC}^0 지금까지 내가 발견 한 것은 : 모든 C 0 을 통해 균일 한 분포 하에서 quasipolynomial 시간 …
2
동일한 정규 언어의 최소 UFA (Unambiguous Finite Automaton)에 비해 NFA는 얼마나 작습니까?
UFA (Unambiguous Finite Automatons)는 NFA (Non-deterministic Finite Automatons)의 특수 유형입니다. 모든 단어 허용되는 경로가 하나 이상 있으면 NFA를 명확하게 호출 합니다.w∈Σ∗w∈Σ∗w\in \Sigma^* 이는 입니다.DFA⊂UFA⊂NFADFA⊂UFA⊂NFADFA\subset UFA\subset NFA 알려진 관련 오토 마톤 결과 : NFA 최소화는 PSPACE-Complete입니다. 유한 언어에 대한 NFA 최소화는 DP-Hard 입니다. UFA 최소화는 NP-Complete 입니다. 최소 DFA보다 기하 급수적으로 …
1
고 우어“비밀 화 된 Borel 결정 성”접근법
Gowers는 최근 회로 하한값을 증명하는 솔루션과 관련된 문제를 "비 분산 Borel 결정 성"이라고 부릅니다. 복잡한 이론가들에게 적합한 접근법에 대한 요약을 제공 할 수 있습니까? 알려진 하한을 다시 증명하는 것을 포함 하여이 접근법이 무엇 을 증명하는 데 무엇이 필요 할까요?
1
NPI 내부 계층의 자연 후보
라고 가정하자 . N P 나는 문제의 클래스 N P 에 어느 쪽도 없습니다 P 도에 N P의 -hard. 여기서 N P I로 추측되는 문제 목록을 찾을 수 있습니다.P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} . 라드의 정리는 경우라고 우리에게 이야기 다음의 무한 계층 구조가 N P I의 문제, 즉있다 N P I의 단단 …
1
정점 전이 그래프 인식의 복잡성
나는 그룹과 관련된 복잡성 이론 분야에 대해 잘 알지 못하므로 이것이 잘 알려진 결과인지 사과드립니다. 문제 1. 를 순서 n 의 간단한 무 방향 그래프라고 하자 . G 가 꼭짓점 전이 인지 결정 하는 계산 복잡도 ( n의 관점에서 )는 무엇입니까?GGGnnnnnnGGG 그래프 리콜 것을 인 정점 전이 경우 U t …
2
어떤 상황에서
그 가정, 각 , 튜링 기계가 M의 ε 언어 결정 L 시간에 O ( N +의 ε을 ) . 시간 O ( n a + o ( 1 ) ) 에서 L 을 결정하는 단일 알고리즘이 있습니까? (여기서, o ( 1 ) 항은 입력 길이 인 n으로 측정됩니다 .)ϵ>0ϵ>0\epsilon > …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.