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

클래스 체크 안함나는체크 안함나는\textrm{NC}^i 는 팬-인, 엔O ( 1 )엔영형(1)n^{O(1)} 크기 및 O ( 로그나는( n ) )영형(로그나는⁡(엔))O(\log^i(n)) 깊이의 회로 제품군으로 계산할 수있는 클래스 기능 입니다. 체크 안함체크 안함\textrm{NC} -hierarchy는 해당 클래스의 조합입니다. 이 계층의 선형 크기 변형에 대한 연구가 있습니까? 그것은 제한된 팬인, 폴리 로그 깊이 및 선형 크기의 …

10 cc.complexity-theory  circuit-complexity 

나는 현재 논문 주제를 찾고 있으며 알고리즘 정보 이론 분야에 직면했다. 이 분야는 저에게 매우 흥미로운 것처럼 보이지만 모든 분야가 수년 전에 이루어진 것 같습니다. 그래서 내 질문은 : 필드가 "살아있는"것입니까 아니면 거의 닫혀 있습니까? 공개 질문이 있습니까? 감사

10 cc.complexity-theory  it.information-theory 

이것은 내 이전 질문 의 일반화입니다 . 은 일부 오라클 에게 질문을 할 수있는 다항식 결정 론적 기계라고 하자 . 초기에 는 비어 있지만 아래에 설명 할 게임 후에 변경할 수 있습니다. x를 문자열로 하자 .미디엄미디엄MㅏㅏAㅏㅏA엑스엑스x 다음의 Alice and Bob 게임을 고려하십시오. 초기에 Alice와 Bob은 각각 미디엄ㅏ미디엄ㅏm_A 와 미디엄비미디엄비m_B 달러를 …

10 cc.complexity-theory  complexity-classes  gt.game-theory 

문제에 대한 양자 알고리즘의 고전적인 시뮬레이션이이 문제에 대해 이전에 알려진 최고의 고전 알고리즘보다 우수한 경우의 예가 있습니까? "성능"이 다른 복잡성 등급을 의미 할 필요는 없으며 단순히 확장 성이 향상 될 수 있습니다. 이 질문은 양자 추천 알고리즘 의 효율적인 고전 시뮬레이션의 경우에 영감을 받았다 .

10 cc.complexity-theory  quantum-computing  quantum-information 

Mahaney 's Theorem은 다항식 다 대다 축소에서 희소 완전 세트 가 있으면 라고 말합니다 . ( " NP의 스파 스 전체 세트 : Berman과 Hartmanis의 추측 솔루션 "참조)NPNPNPP=NPP=NPP = NP 다른 복잡한 클래스에 대해 희소 한 완전한 세트가 존재하는 것으로 알려진 결과가 있습니까? 특히, 로그 공간 다원 감소 아래에 희소 …

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace 

은 일부 오라클 A 에게 질문을 할 수있는 다항식 결정 론적 기계라고 하자 . 초기에 A 는 비어 있지만 아래에 설명 할 게임 후에 변경할 수 있습니다. x를 문자열로 하자 .미디엄미디엄MㅏㅏAㅏㅏA엑스엑스x 다음의 Alice and Bob 게임을 고려하십시오. 처음에 Alice와 Bob은 각각 와 m B 달러를가집니다. 앨리스는 원하는 M ( 여기서 …

10 cc.complexity-theory  complexity-classes  gt.game-theory 

일부 그래프 문제 의 가상 경도 에 대한 두 가지 예를 보았습니다 . 가상의 경도는 어떤 추측을 반박하면 각각의 그래프 문제의 NP- 완전성을 의미합니다. 예를 들어, Barnette의 추측에 따르면 3 개의 연결된 3 차 평면 이분 그래프는 모두 Hamiltonian이라고합니다. Feder와 Subi는 추측을 반박하는 것은 추측의 계급 그래프에서 해밀턴 사이클 문제의 …

10 cc.complexity-theory  graph-theory  np-hardness 

평균 lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) 비교 를 사용하는 비교 기반 정렬 알고리즘이 있습니까? 최악의 경우 lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) 비교 알고리즘이 존재하는 것은 개방형 문제이지만, 평균적인 경우 는 모든 입력에 대해 예상되는 lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) 비교를 갖는 무작위 알고리즘에 충분합니다. . 의 의미 lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) 이 있다는 o(n)o(n)o(n) 에만 평균 낭비, 최적의 비교 o(1)o(1)o(1) 요소 당 비교. 나는 이미 …

10 cc.complexity-theory  ds.algorithms  sorting 

동기 부여 : 데이터 버전 관리를위한 도구를 개발하는 동안 우리는 정수 세트를 다른 정수 세트로 가져 오는 일련의 변환을 통해 두 세트의 정수를 "확산"하는 알고리즘을 찾아 보았습니다. 우리는 거리를 편집 하고 , 스와핑으로 그룹화하고 , 최소 공통 문자열 파티션 을 연결하는 것으로 보이는 다음과 같은 매우 자연스러운 문제로 그 문제를 …

10 cc.complexity-theory  ds.algorithms  reference-request  string-matching  edit-distance 

다음 결정 문제의 복잡성을 결정하는 데 관심이 있습니다. 두 정수 및 (각각 최대 m 비트)를 고려하여 곱셈 의 최상위 비트 가 1 인지 여부를 결정하십시오 (여기서 아마도 0을 선행하는 2m 비트)?l 2 l 1 ⋅ l 2엘1엘1l_1엘2엘2l_2엘1⋅ l2엘1⋅엘2l_1 \cdot l_2 문제의 일부 배경 : 물론,이 문제는 요청 이진 곱셈의 특별한 …

10 cc.complexity-theory  circuit-complexity 

Elberfeld, Jakoby 및 Tantau 2010 ( ECCC TR10-062 )은 공간 효율적인 버전의 Bodlaender 정리를 증명했습니다. 그들은 가 최대 트리 폭인 그래프의 경우 로그 공간을 사용하여 폭 k 의 트리 분해를 찾을 수 있음을 보여주었습니다 . 공간 제한의 상수 계수는 k에 따라 다릅니다 . (Bodlaender의 정리는 상수 인자 에서 k 에 …

10 cc.complexity-theory  sat  treewidth  space-complexity 

이 알파벳 Σ 와 관련하여 매개 변수화 된 언어 라고 가정하십시오 . L 의 k- 슬라이스 는 L k = L ∩ { ( x , k ) ∣ x ∈ Σ ∗ } 이며, 매개 변수 k 가 있는 L 의 인스턴스 집합입니다 . 복잡성 클래스 X P는 매개 …

10 cc.complexity-theory  reference-request  parameterized-complexity 

확률적인 튜링 머신이 확률 (플립은 독립적 임)로 헤드에 나타나는 불공평 한 동전에 액세스 할 수있게하십시오 . B P P p 를 다항식 시간으로 이러한 기계가 인식 할 수있는 언어 클래스로 정의하십시오 . 다음을 증명하는 표준 연습입니다.pppBPPpBPPpBPP_p A) 경우 짝수 또는 합리적 B P P -computable 후 B P P를 P …

10 cc.complexity-theory  randomized-algorithms  probabilistic-complexity 

하자 AAA 유한 필드 위에 행렬 F2={0,1}F2={0,1}\mathbb{F}_2 = \{0,1\} 및 xxx , yyy 공간 벡터 일 Fn2F2n\mathbb{F}_2^n . 내가 거기에 존재하는지 여부를 결정하는 계산 복잡도에 관심이 t∈Nt∈Nt \in \mathbb{N} 등이 Atx=yAtx=yA^t x = y 유한 필드 이상 선형 동적 시스템에 대한 접근 가능성의 문제에서, 즉,. 문제는 분명히 NPNP\mathbf{NP} (추측 0≤t<2n0≤t<2n0 …

10 cc.complexity-theory  reference-request  linear-algebra 

BPP의 자체 환원 가능 NP 언어도 RP에 포함되어 있다는 사실과 마찬가지로 역 포함도 분명합니다. 이것은 자체적으로 환원 할 수없는 NP 언어를 보유하는 것으로 알려져 있습니까?

10 cc.complexity-theory  derandomization  pseudorandomness