«space-bounded» 태그된 질문

계산 복잡성 또는 알고리즘에서 계산의 공간 자원에 대한 질문.

4
왜 로그 공간을 폴리 로그 공간 대신 ​​효율적인 계산 모델로 생각해야합니까?
이것은 구체적인 답변이있는 질문이 아니라 주관적인 질문 일 수 있습니다. 복잡성 이론에서 우리는 효율적인 계산의 개념을 연구합니다. 같은 클래스가 있습니다 의미 다항식 시간 , 그리고 L은 의미 로그 공간 . 둘 다 일종의 "효율성"으로 간주되며 일부 문제의 어려움을 잘 포착합니다.PP\mathsf{P}LL\mathsf{L} 그러나 차이가 와 L은 다음의 다항식 시간 동안 P는 , …

1
LOGLOG = NLOGLOG입니까?
LOGLOG를 결정적 Turing machine에 의해 공간 O (loglog n)에서 계산할 수있는 언어 클래스로 정의하십시오 (입력에 대한 양방향 액세스). 마찬가지로 NLOGLOG를 비 결정적 튜링 머신 (입력에 대한 양방향 액세스)으로 공간 O (log log n)에서 계산할 수있는 언어 클래스로 정의하십시오. 이 클래스들이 다르다는 것이 실제로 알려지지 않았습니까? 나는 오래된 설문 조사와 L …

1
트리 폭과 NL 대 L 문제
ST- 연결성은 유향 그래프 G ( V , E ) 에서 두 개의 구별되는 정점 와 t 사이에 유향 경로가 있는지 여부를 결정하는 문제입니다 . 로그 스페이스에서이 문제를 해결할 수 있는지 여부는 오랫동안 열려있는 문제입니다. 이것을 N L vs L 문제 라고합니다 .ssstttG(V,E)G(V,E)G(V,E)NLNLNLLLL 의 기본 무향 그래프가 나무 폭에 경계를 …

2
새 비치 정리에 대한 엄격한 하한
우선, 나는 어리 석음에 대해 미리 사과드립니다. 나는 결코 복잡성 이론의 전문가가 아니다 (그것과는 거리가 멀다! 나는 복잡성 이론에서 첫 수업을 듣는 학부생이다) 여기 내 질문이있다. 이제 Savitch의 정리에 따르면 이제이 하한이 빡빡하면 궁금합니다. 즉 를 달성 할 수 없습니다.NSPACE(f(n))⊆DSPACE((f(n))2)NSPACE(f(n))⊆DSPACE((f(n))2)\text{NSPACE}\left(f\left(n\right)\right) \subseteq \text{DSPACE}\left(\left(f\left(n\right)\right)^2\right)NSPACE(f(n))⊆DSPACE((f(n))1.9)NSPACE(f(n))⊆DSPACE((f(n))1.9)\text{NSPACE}\left(f\left(n\right)\right) \subseteq \text{DSPACE}\left(\left(f\left(n\right)\right)^{1.9}\right) 결정적 튜링 머신의 구성 그래프의 각 …

3
L과 NL 사이의 중간 문제
지향성 st- 연결성 은 완전 하다는 것이 잘 알려져있다 . Reingold의 획기적인 결과는 지정되지 않은 st-connectivity 가 있음을 보여줍니다 . 평면 지향 연결성 은 알려져 있습니다 . Cho와 Huynh 는 매개 변수화 된 배낭 문제를 정의하고 과 사이에서 문제의 계층 구조를 보여 .L U L ∩ c o U L …


1
경계 트리 폭이있는 그래프의 로그 공간 알고리즘
나무 너비 는 그래프가 나무에 얼마나 가까운 지 측정합니다. 트리 너비를 계산하는 것은 NP가 어렵습니다. 가장 잘 알려진 근사 알고리즘은 요소를 달성합니다.O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) Courcelle의 정리에 따르면 monadic 2 차 논리 (MSO2)로 정의 할 수있는 그래프의 속성은 제한된 트리 너비의 모든 그래프 클래스에서 선형 시간으로 결정할 수 있다고 합니다. 최근 논문에 따르면 …

2
SAT를위한 최고의 현재 공간 하한?
에 이어 앞의 질문 , SAT에 가장 적합한 현재 공간 하한 은 무엇 입니까? 공간 하한이있는 경우 여기서는 이진 작업 테이프 알파벳 을 사용하는 Turing 기계에서 사용하는 작업 테이프 셀의 수를 의미합니다 . TM이 고정 된 수의 워크 테이프 셀을 시뮬레이션하기 위해 내부 상태를 사용할 수 있기 때문에 지속적인 추가 …


1
폴리 타임 확률 론적 하위 로그 공간에서
언어 EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} . 이는 것으로 알려져 EQUALITYEQUALITY \mathtt{EQUALITY} 임의 sublogarithmic 공간 교대 튜링 기기 (ATM)에 의해 인식 될 수 없다 (Szepietowski, 1994) . (멤버에게는 비 로그 공간을 사용하지만 모든 비 멤버가 아닌 ATM이 있습니다!) 반면, Freivalds (1981) 는 경계 오류 상수 …

1
Immerman-Szelepcsenyi 정리의 다른 증거
Immerman과 Szelepcsenyi는 독립적으로 임을 증명했습니다 . Borodin et al 은 유도 계수 기술을 사용하여 S A C i 가 i > 0에 대한 보완 상태에서 닫 혔음을 입증했습니다 . Reingold의 정리 ( S L = L ) 이전에, Nisan과 Ta-Shma 는 로그 공간 균일 투영 감소를 사용하여 S L = …

3
공간이 제한된 TM 및 오라클
일반적으로 오라클의 쿼리 테이프는 TM의 공간 복잡성을 고려합니다. 그러나 쓰기 전용 oracle-tape (L 공간 축소에 사용되는 것과 같은)을 허용하는 것은 그럴듯 해 보입니다. 그러한 구성이 유용합니까? 특히 터무니없는 결과가 나옵니까?

1
USTCONN에 로그 공간이 필요하다는 것을 증명하는 방법?
USTCONN은 그래프 G 의 소스 정점 sss 에서 대상 정점 까지의 경로가 있는지 여부를 결정해야하는 문제이며 , 여기서 모두 입력의 일부로 제공됩니다.tttGGG Omer Reingold는 USTCONN이 L에 있음을 보여 주었다 (doi : 10.1145 / 1391289.1391291 ). 이 증거는 지그재그 제품을 사용 하여 일정한 정도의 확장기 를 구성합니다 . 일정한 정도의 확장기는 …

3
공간을 사용한 CFG 구문 분석
컨텍스트없는 문법을 시간으로 구문 분석 할 수있는 다양한 알고리즘이 있습니다 . 행렬 곱셈을 사용하면 그보다 빠른 속도로 갈 수 있습니다.O ( n삼)영형(엔삼)O(n^3) 그러나 내가 알고있는 임의의 CFG를 구문 분석하기위한 모든 알고리즘은 최악의 경우 공간 사용이 (그러나 매트릭스 곱셈 알고리즘의 공간 사용이 무엇인지는 모릅니다). 이 공간 사용을 개선하는 알고리즘이 있는지 궁금합니다 …

4
P = BQP 인 경우 PSPACE (= IP) = AM을 의미합니까?
최근 Watrous 등은 QIP (3) = PSPACE가 놀라운 결과임을 입증했습니다. 이것은 나 자신에게 가장 적은 말을 한 놀라운 결과였으며 생각을 떨쳐 버렸습니다 ... Quantum Computers가 Classical Computers로 효율적으로 시뮬레이션 될 수 있는지 궁금했습니다. IP와 AM으로 나누기와 관련이있을 수 있습니까? 내 말은 IP는 다항식 수의 고전적 상호 작용을 특징으로하는 반면 AM은 …

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.