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

Arora-Barak 책에서 시간 구성 가능 함수의 정의에서 시간 구성 가능하지 않은 함수를 사용하면 "비정상적인 결과"를 초래할 수 있다고합니다. 누구든지 그러한 "이상적인 결과"의 예를 가지고 있습니까? 특히 시간 계층 정리가 유지하지 않는 함수가있을 수 있다고 들었습니다. 누구나 그러한 함수의 예가 있습니까? 문학 어딘가에 이것에 관한 것이 있습니까?

10 cc.complexity-theory 

업데이트 :이 문제는 최근에 연구되어 해결 된 것으로 보입니다 .http : //en.wikipedia.org/wiki/Tree_walking_automaton 및이 설문 조사 : http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf 일반적인 단어 집합 인 {0,1} * 대신에 우리의 단어가 선형이 아니라 일부 트리 구조에 있다고 가정 해 봅시다. 우리 기계가 "잃어 버리는"것을 방지하기 위해, 단어를 이진 임베디드 arborescence 세트로 정의하십시오. (따라서 모든 …

10 cc.complexity-theory  automata-theory  space-bounded  dfa 

문제 설명 : 허락하다 M미디엄M (잠재적으로 결정적이지 않은) 푸시 다운 오토 마톤이어야하고 Aㅏ\cal A입력 알파벳입니다. 단어가 있습니까w∈A∗w∈A∗w \in \cal A^* 성 |w|≤k|w|≤k|w| \leq k 그것은 받아 들여진다 M미디엄M ? 이 문제가 NP-complete입니까? 연구 되었습니까? 그런 단어를 찾을 수있는 알고리즘이 있습니까?

10 cc.complexity-theory  np-hardness  fl.formal-languages  automata-theory 

많은 문제들에 대해, 가장 점증적인 복잡성을 갖는 알고리즘은 큰 O 표기법에 의해 숨겨지는 매우 큰 상수 인자를 갖는다. 이것은 행렬 곱셈, 정수 곱셈 (특히, Harvey와 van der Hoeven의 최근 O (n log n) 정수 곱셈 알고리즘), 낮은 정렬 네트워크 및 그래프 마이너 찾기에서 발생합니다. 이러한 알고리즘을 때때로 은하계 알고리즘이라고합니다. 일반 …

9 cc.complexity-theory  ds.algorithms  time-complexity 

TCS에는 일반적으로 부트 스트랩 결과 라고하는 유형의 결과가 있습니다. 일반적으로 형식입니다 제안 보류되면 제안 보류됩니다.AAAA′A′A' 여기서 와 는 비슷해 보이는 제안이며, 는 보다 '약한'것처럼 보입니다 . 이것이 우리가 이러한 유형의 결과를 명명하는 이유입니다. 몇 가지 구체적인 예를 들어 보겠습니다.AAAA′A′A'AAAA′A′A' 정리. [Chen and Tell, STOC'19] 문제 . 모든 대해 이 무한히 …

9 cc.complexity-theory 

Gödel의 첫 번째 불완전 성 정리의 약한 형태, Gödel의 방식으로 길고, 관련이 있으며, 반 직관적 인 장소에서 직접 증거는 정지 문제의 결정 불가능 성을 기반으로 간단하고 직관적 인 증거를 가지고 있습니다-예를 들어 https : / /en.wikipedia.org/wiki/Halting_problem#Sketch_of_proof 누가이 증거를 처음 제안했으며 어떤 기사 나 책에서 처음 출판 되었습니까?

9 cc.complexity-theory  lo.logic  halting-problem 

확률 적으로 확인할 수있는 증거의 크기에 대해 가장 잘 알려진 점근 적 상한은 무엇입니까? 이상적으로, 나는이 광범위한 질문에 대한 현대적인 설문 조사를 찾고 있지만 아무것도 없다면 3-SAT의 근사성에 특히 관심이 있습니다. 7 / 8 + ε-3-SAT를 3-SAT로 설정하고 절의 7 / 8 + ε 비율이 만족스러운 경우 인스턴스를 만족시킬 수 …

9 cc.complexity-theory  reference-request  np-hardness  pcp 

보드 게임에서 신경망의 새롭고 새로운 성공을 거둔 후, 우리가 설정 한 다음 목표는 Starcraft에서 인간을 때리는 것보다 더 유용한 것일 수 있습니다. 더 정확하게는 신경망을 훈련하여 고전적인 알고리즘 문제를 해결할 수 있습니까? 예를 들어 네트워크는 가중 가장자리와 두 개의 정점 와 지정된 입력 그래프 를 얻을 수 있으며 가능한 한 …

9 cc.complexity-theory  ds.algorithms  machine-learning  ne.neural-evol 

Razborov의 근사 방법은 무엇입니까? 누군가 높은 수준의 개요와 그 뒤에 직관을 줄 수 있습니까?

9 cc.complexity-theory  circuit-complexity 

알려진 계산 가능한 초월 번호가 있습니까? nnn자릿수는 다항식 시간으로 계산 가능하지만 O(n)O(n)O(n)?

9 cc.complexity-theory  comp-number-theory 

준 다항식 시간, 즉 QP는 결정적인 Turing 머신의 복잡한 클래스입니다. 정확한 정의는 다음과 같습니다. https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp βP는 제한된 비결정론의 복잡성 클래스입니다. 정확한 정의는 다음과 같습니다. https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap QP 기계, 즉 βP 기계로 βP 기계를 시뮬레이션 할 수 있음을 쉽게 알 수 있습니다. ⊆⊆\subseteq QP. 그러나 문제가 βP에 있지 않다는 정확한 증거가 없더라도 …

9 cc.complexity-theory  complexity-classes 

알파벳 의 고정 언어 경우 -INTERLEAVING 이라고하는 다음 문제를 고려하십시오 .LLLAAALLL 입력 : 두 단어u,v∈A∗u,v∈A∗u, v \in A^* 출력 :는 존재 여부 인터리빙 의 및 에 .uuuvvvLLL 여기, 두 단어 의 인터리빙uuu 과 vvv 단어입니다 www 그 편지를 복용함으로써 직관적으로 얻을 수 있습니다 uuu 과 vvv상대 순서를 유지하면서. 공식적으로www 인터리빙 …

9 cc.complexity-theory  reference-request  regular-language 

허락하다 ΣΣ\Sigma 알파벳이되다 222크기가 최대 한도 인 최소 DFA를 고려하십시오. m미디엄m. 허락하다f(m)에프(미디엄)f(m) 서로 다른 최소 DFA 수를 나타냅니다. 에 대한 폐쇄 형 공식을 찾을 수 있습니까? f(m)에프(미디엄)f(m)? 그것을 고려하여 | Σ|=2|Σ|=2|\Sigma|=2 최대 크기의 DFA의 전환 기능 m미디엄m그래프입니다. 노드 정도는222각 노드마다 m2미디엄2m^2호 쌍의 가능성 (주석에서 제안한 바와 같이). 이 그래프에는 최대미디엄미디엄m …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

이것은 결정 론적 계산의 비결정론 적 속도 향상에 대한 후속 조치 입니다. 비결정론 (또는보다 일반적으로 대체)이 결정 론적 계산의 일반적인 2 차 속도를 허용 할 가능성이 있는가? 또는 과 같은 알려진 결과가 있습니까?DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n)

9 cc.complexity-theory  nondeterminism  speed-up  alternation  tradeoff 

표준 문제 1-in-3 SAT (또는 XSAT 또는 X3SAT)는 다음과 같습니다. 인스턴스 : 정확히 3 개의 리터럴을 포함하는 모든 절이있는 CNF 수식 질문 : 절당 정확히 1 개의 리터럴을 만족시키는 할당 설정이 있습니까? 문제는 NP- 완료이며 변수가 부정되지 않더라도 여전히 어려운 상태입니다. 각 변수가 적어도 한 번은 긍정적으로 그리고 최소한 한 …

9 cc.complexity-theory  np-hardness  sat