이론 컴퓨터 과학

는 복잡도 클래스이고 BP- C 는 P에 대해 BPP 로 정의 된 C 의 무작위 대응 물 이라고하자 . 더 공식적으로 우리는 polynomially 많은 임의의 비트를 제공하고 받아 들일 확률이 2 이상이면 입력을 수락합니다.씨C\mathcal{C}BP- CBP-C\textrm{BP-}\mathcal{C}CC\mathcal{C}BPPBPP\textrm{BPP}PP\textrm{P} .2323\frac{2}{3} 비 균일 회로 클래스의 경우 .BPAC0=AC0BPAC0=AC0\textrm{BPAC}^0=\textrm{AC}^0 Miklós Ajtai, Michael Ben-Or : 확률 적 상수 …

10 circuit-complexity  randomized-algorithms 

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 

우리는 객체 쌍 (예 : 숫자)이 주어집니다. 각 객체는 최대 쌍으로 나타납니다 . 우리의 목표는 쌍을 같은 크기의 쓰레기통에 분배하여 각 물체가 가능한 적은 쓰레기통으로 발생하도록하는 것입니다.qqq 보다 구체적으로, 우리는 함수 관련 와 각 이진 릴레이션하는 속성 최대와 쌍 개체마다 쌍의 쌍의 분포가 빈들, 각 빈은 수신 (쌍 는 을 …

10 combinatorics 

경계 정수의 양의 정수 목록이 두 개 있다고 가정하고 각 목록의 모든 요소의 곱을 가져옵니다. 어떤 제품이 더 큰지 결정하는 가장 좋은 방법은 무엇입니까? 물론 각 제품을 간단히 계산할 수는 있지만 제품의 자릿수가 용어 수에 따라 선형으로 증가하여 전체 계산이 2 차적이기 때문에보다 효율적인 접근 방식이 필요합니다. 곱하기 대신 추가하는 …

10 time-complexity  nt.number-theory 

고전 건축 용지 의 미적분학 에는 다음과 같은 규칙이 있습니다. (pdf의 7 페이지, 원본 문서의 101 페이지) 이 규칙은 모든 컨텍스트가 해당 컨텍스트의 멤버에게 환원 될 수 있음을 의미합니다. 이것은 맞지 않아야하는 것처럼 보입니다. 1 ≅ Nat 3 ≅ Nat 1 ≅ 3 Nat가 컨텍스트 인 경우 최고의 해석은 낮은 …

10 lo.logic  calculus-of-constructions  sequent-calculus 

편향 추정기는 편향 추정기가 관리 할 수있는 것보다 평균 제곱 오차를 최적화 할 수 있기 때문에 통계에 유용합니다 . 편향 추정기의 효과적인 사용에 대한 주목할만한 사례가 이론에 있는지 궁금합니다. 나는이 목록이 길어질 수 있다는 것을 알고 있으며, 그렇게하면이 질문을 큰 목록의 CW 질문으로 수정할 수 있지만 지금은 궁금합니다.

10 randomized-algorithms 

Hindley–Milner를 기반으로 유형 유추를 사용하여 기본적으로 유형이 상자 해제 된 언어가 있습니다. 주로 실존 유형으로 작업하기 위해 더 높은 순위의 다형성을 추가하고 싶습니다. 이러한 유형 을 확인 하는 방법을 이해 하고 있지만 컴파일 할 때 무엇을 해야할지 잘 모르겠습니다. 현재 저는 C ++ 템플릿과 같이 전문화를 생성하여 다형성 정의를 컴파일하여 …

10 type-theory  type-inference  polymorphism 

문제 가 EXP- 시간 완료라는 사실이 가 있지 않다는 것을 의미 합니까?AAAAAADTIME(2o(n))DTIME(2o(n))DTIME(2^{o(n)}) 시간 계층 정리에 따르면 은 포함되지 않습니다 . 그럼에도 불구하고 이것은 모든 EXP-complete 문제 대한 하위 지수 시간 알고리즘의 존재를 즉시 배제하지 않는 것 같습니다 .EXP 문제 인스턴스 를 의 문제 y의 인스턴스 y로 줄일 때 우리는 다항식을 …

10 exp-time-algorithms  complexity 

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

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

하자 의 고정 유한 필드 위에 다항식. 우리가 가정의 주어진 값 P를 어떤 벡터에 Y ∈ { 0 , 1 } N 와 벡터 (Y) .P(x1,x2,…,xn)피(엑스1,엑스2,…,엑스엔)P(x_1, x_2, \ldots, x_n)P피Py∈{0,1}n와이∈{0,1}엔y \in \{0,1\}^ny와이y 우리는 지금 값 계산하려면 벡터에 Y ' ∈ { 0 , 1 } N 되도록 Y 및 y는 " …

10 polynomials  dynamic-algorithms 

Kolmogorov의 무작위성 이 RP에 충분 하다는 것을 보여 주려는 시도가 있었습니까? "정답이 YES이면 확률 론적 튜링 머신은 YES를 확률과 함께 반환합니다"라는 문장에 사용 된 확률이 항상 잘 정의되어 있습니까? 아니면 해당 확률에 대한 상한과 하한 만 있습니까? 아니면 확률이 잘 정의 된 확률 적 튜링 머신 만 있을까요 (적어도 하한은 …

10 randomized-algorithms  randomness  pseudorandomness 

나는 문헌에서 SDP 이중성 격차의 소멸에 대한 정확한 특성을 찾을 수 없었습니다. 또는 "강한 이중성"은 언제 유지됩니까? 예를 들어, Lasserre와 SOS SDP 사이를 오가는 경우 원칙적으로 이중성 차이가 있습니다. 그러나 어떻게 든이 차이가없는 "사소한"이유가있는 것 같습니다. 슬레이터의 상태 는 충분하지만 필요한 것은 아니며 모든 볼록한 프로그램에 적용됩니다. SDP의 경우 특히 …

10 approximation-hardness  convex-optimization  semidefinite-programming  sum-of-squares  primal-dual 

짧은 질문 : MAJ-3CNF는 여러 번의 축소로 인해 PP가 완전한 문제입니까? 더 긴 버전 : MAJSAT (대부분의 명제 문장 할당이 문장을 만족시키는 지 여부를 결정)는 많은 수의 감축에서 PP- 완료이고 #SAT는 불완전한 감축에서 # P- 완전하다는 것은 잘 알려져 있습니다. Cook-Levin 감소가 과도적이고 3-CNF를 생성하기 때문에 # 3CNF (즉, #SAT가 …

10 counting-complexity  complexity  probabilistic-complexity 

자극 다른 날에는 대중 교통으로 도시를 여행하고 있었고 두 곳 사이의 최단 시간 연결 문제를 모델링하는 흥미로운 그래프 문제를 만들었습니다. 우리는 모두 고전적인 "가장 짧은 경로 문제"를 알고있다 : 모서리 길이가 w e ∈ R + 0 인 방향 그래프 G=(V,E)G=(V,E)G=(V,E) 와 두 꼭짓점 s , t ∈ V 는 …

10 graph-algorithms  shortest-path