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

1 회 읽기 결정 트리는 다음과 같이 정의됩니다. 및 F a l s e 는 1 회 읽기 결정 트리입니다.True티아르 자형유이자형TrueFalse에프ㅏ엘에스이자형False 경우 와 B는 의사 결정 트리 일단 읽기되고 x가 발생하지 변수입니다 와 B , 다음 ( X ∧ ) ∨ ( ˉ X ∧ B는 ) 또한 읽기 번 …

11 cc.complexity-theory  lo.logic  decision-trees  boolean-formulas 

유한 역 반동 형 동형 형성 문제가 GI- 완전 인가? 여기서 유한 역 반구 그룹은 곱셈 테이블에 의해 주어진다고 가정합니다.

11 cc.complexity-theory  graph-isomorphism 

입력이 이진 엑스xx 이고 을 출력해야 한다고 가정합니다 ⌊ x / c ⌋⌊x/c⌋\lfloor x/c \rfloor. 여기서 씨cc 는 일정한 정수입니다. 만약 씨cc 가 2의 거듭 제곱 이라면 이것은 쉬프트 일 뿐이지 만 다른 숫자는 어떻습니까? 우리는 모든 대해 일정한 깊이 회로로 그것을 할 수 있습니까 씨cc? 무엇에 대한 c = …

11 cc.complexity-theory  circuit-complexity  ac0 

다항식의 움직임으로 끝나는 완전한 정보의 2 인 조합 게임을 고려하고, 플레이어는 제한된 수의 허용 된 움직임 중에서 선택합니다. 일반적인 질문은 주어진 위치에서 승자를 알리는 것이 얼마나 어려운지입니다. 다른 하나는, 승리 포지션에서 승리하는 움직임을 선택하는 것이 얼마나 어려운가입니다. (여기서 포지션을 딴 후에도 이겼다면 이동 승리라고 부릅니다.) 차별화를 위해 이전의 POSITION-COMPLEXITY와 후자의 …

11 cc.complexity-theory  np  board-games  pspace 

다음 문제를 고려하십시오. 두 개의 스트링 x, y가 주어지면, f (x) = y와 같은 스트링 동형이 존재하는지 여부를 결정하십시오. 이 문제가 에 있음을 쉽게 알 수 있습니다. 이 문제에 관해 우리가 말할 수있는 다른 것들이 있습니까? 예를 들어 또는 있습니까?NPNPNPcoNPcoNPcoNPPPP 이 문제는 매우 자연스러워 보이므로 철저히 연구해도 놀라지 않습니다. 그러나 …

11 cc.complexity-theory  reference-request  fl.formal-languages 

를 일부 필드로 보자 . 평소와 같이,에 대한 우리 정의 의 직선 복잡성으로 위에 . 를 의 모노마 이어 세트 , 즉 0이 아닌 계수 로 나타나는 모노마 이어라고 합시다 .f ∈ k [ x 1 , x 2 , … , x n ] L ( f ) f …

11 cc.complexity-theory  algebraic-complexity  arithmetic-circuits 

우리가 알고 있듯이, 알고리즘의 계산 복잡도의 정의는 거의 논쟁의 여지가 없지만, 실제의 계산 복잡성 또는 실수에 대한 계산 모델의 정의는 그러한 경우가 아닙니다. 우리는 Computable Analysis 책에서 Blum and Smales의 모델과 모델을 알고 있습니다. 그리고 Computable Analysis의 모델은 클래식 모델과 일치하지만 실수의 계산 복잡도 정의는 클래식 모델로 이식 될 수 …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

이것은 나를 혼란스럽게한다. 계산 문제 중 하나는 의사 결정 문제가 있고 해결책이없는 경우입니다.피PP 강의에 따르면 이분 그래프에서 완전 일치 횟수를 계산하는 문제 (동일하게는 방향 그래프에서주기 횟수를 계산하는 문제)는 임을 알 수 있습니다.# P#P\#P 가젯을 사용하여 digraph에서 크기 의 정점 커버 계산에서 카운트 사이클 커버로 줄입니다.케이kk 정리 27.1 양호한 사이클 커버 …

11 cc.complexity-theory  graph-theory 

MO 에서 크로스 포스트 . 는 유한 한 수의 금지 된 유도 된 그래프에 의해 정의 된 그래프 클래스라고 하자 .씨씨C Clique 및 Clique cover 이외의 대해 다항식 시간으로 해결할 수있는 NP-hard 그래프 문제가 있습니까?씨씨C 올바르게 기억하면 독립적 인 세트 ( 아닌 경우)가 불가능합니다 .피= N피피=엔피P=NP graphclasses.org에서 검색 한 결과가 …

11 cc.complexity-theory  graph-theory  graph-algorithms  co.combinatorics 

알고리즘의 비 구조적 존재 증명에 관한 관련 질문을 읽은 후에 실제로 그것을 작성하지 않고 "작은"(예 : 상태 별) 계산 기계의 존재를 보여주는 방법이 있는지 궁금했습니다. 공식적으로 : 언어 가 주어지고 일부 계산 모델 (NFA / 튜링 머신 등)을 수정 한다고 가정 합니다.L ⊆ Σ※L⊆Σ∗L\subseteq \Sigma^* L에 대한 머신 이 존재하지만 …

11 cc.complexity-theory  automata-theory  turing-machines 

나는 BPP는 이미 같은 질문을했다 P.에 관련된 APX에 관한 복잡한 클래스를 찾고 있어요 여기에 , 그러나 아마 TCS는 답변보다 유익한 장소가 될 것입니다. 문제의 원인은 실제 문제에서 종종 충분히 높은 신뢰도를 가진 대략적인 답변 (따라서 APX)을 찾아야하기 때문에 (따라서 BPP), 제한된 확률 적 근사 알고리즘의 문제 클래스를 잠재적으로 계산 가능한 …

11 cc.complexity-theory  approximation-hardness 

Impuriliazzo, Paturi 및 Calabro, Impagliazzo, Paturi 는 ETH (Exponential-Time Hypothesis) 및 SETH (강하게 지수-시간 가설)를 도입했습니다. 대략 SETH는 시간에 SAT를 해결하는 알고리즘이 없다고 말합니다 . 1.99엔1.99n1.99^n 나는 그것이 SETH를 깨뜨리는 것이 무엇을 의미하는지 궁금했습니다. 우리는 확실히 단계 미만으로 SAT를 해결하는 알고리즘을 찾아야 하지만, 어떤 계산 모델을 사용해야하는지 잘 모르겠습니다. 내가 …

11 cc.complexity-theory  sat  exp-time-algorithms 

"두 번째 "문제는 문제 인스턴스에 대해 특정 솔루션과 다른 다른 솔루션의 존재를 결정하는 문제입니다.XXX 일부 - 완전한 장애, 제 2 용액 버전은 - 완전한 다른 것이 (제 NAE SAT) 중 사소한하거나 수 없지만 (부분 라틴 방진 종료 문제에 대한 다른 솔루션의 존재를 결정하는) - 완전한 복잡하게 추측되는 복잡성 추측에서 (입방 …

11 cc.complexity-theory  unique-solution 

UP 클래스는 다음 과 같이 정의 됩니다. NP 기계로 해결할 수있는 결정 문제 클래스 대답이 '예'이면 정확히 하나의 계산 경로가 허용됩니다. 대답이 '아니오'이면 모든 계산 경로가 거부됩니다. 이 정의에 대한 직감을 개발하려고합니다. UP 문제가 고유 솔루션의 문제 (예 : 소인수 분해)라고 말할 수 있습니까? 그것은 나에게 진실에 가깝습니다. UP이 경우에 …

11 cc.complexity-theory  complexity-classes 

1997 년 Impagliazzo와 Wigderson의 유명한 논문을 읽고 있습니다.이 분야를 처음 접했고이 논문은 간결한 컨퍼런스 버전이므로 증명을 따르기가 어렵습니다. 특히, 그들의 새로운 정리 중 일부는 증거가 부족합니다. 내가 아는 한 저널 버전은 출판되지 않았다.P=BPPP=BPP\mathsf P=\mathsf{BPP} 나는 그들의 결과를 배울 수있는 자료를 찾고있다. 그런 자료에 대해 말씀해 주시면 감사하겠습니다.

11 cc.complexity-theory  reference-request  circuit-complexity  derandomization  pseudorandom-generators