이론 컴퓨터 과학

온라인 알고리즘에 관한 최근 책이 있습니까? 나는 그 주제에 관한 두 권의 책만 알고 있습니다. Allan Borodin과 Ran El-Yaniv의 온라인 계산 및 경쟁 분석 :이 책은 고전적이지만 오래된 책이며이 분야의 최근 발전 내용이 많이 포함되어 있지 않습니다. Niv Buchbinder와 Joseph (Seffi) Naor 의 Primal-Dual Approach를 통한 경쟁 온라인 알고리즘의 설계 …

13 reference-request  big-list  online-algorithms 

[1]에서 Mitchell Wand는 순수한 람다 미적분에 fexprs를 추가하면 문맥 상 동등성 이론을 상쇄한다는 것을 보여 주었다. 즉, 두 항이 일치 하면 문맥 상 동등 하다. 관련 작업을 탐험 할 때, 그는 "우리의 결과는 것을 알버트 마이어 이전 관찰 [2] 확장 갔다 와 상황에 맞는 등가 사소한 렌더링을". 그러나 [2]를 참조하면 …

13 pl.programming-languages  lisp  scheme 

Microsoft Word의 단일 목적 (Touring이 아닌 완전한) 기계적 구현을 ​​구축 할 수 있습니까? 반복자, 1 차 함수, 프로그래밍 기술의 전체 영역과 같은 것을 구현할 수 있습니까? 기어 및 기타 기계 부품이 데이터 구조 또는 프로그램 객체를 나타낼 수 있습니까? 특정 시점에서 이것은 일반적인 목적의 Turing- 등가 기계를 구축해야하거나 각 기능, …

13 computability  pl.programming-languages  machine-models  ar.hardware-architecture 

머신 러닝 / 데이터 마이닝 전문가는 P와 NP에 익숙하지만 좀 더 미묘한 복잡성 클래스 (예 : NC, BPP 또는 IP)와 데이터를 효과적으로 분석하는 데 미치는 영향에 대해서는 거의 이야기하지 않는 것 같습니다. 이 작업에 대한 설문 조사가 있습니까?

13 cc.complexity-theory  reference-request  machine-learning 

분포 속성 P ([n]에 대한 모든 분포의 일부에 불과 함)에 대한 분포 테스트 알고리즘은 일부 분포 D에 따라 샘플에 액세스 할 수 있으며 또는 d ( D , P ) > ϵ ( 여기서 d 는 보통 ℓ 1 거리입니다). 가장 일반적인 복잡도 측정 방법은 알고리즘에서 사용하는 샘플 수입니다.D ∈ …

13 cc.complexity-theory  machine-learning  query-complexity  property-testing 

결정 요인에 대해 가장 작은 알려진 공식 은 민속에 따라 크기 를 갖습니다 (또는 영구 및 결정자를위한 논문 Multi-Linear Formulas는 Super-Polynomial Size입니다 ).nO(logn)nO(log⁡n)n^{\mathcal O(\log n)} 이것에 대한 참조가 있습니까? 특히이 공식은 무엇입니까?

13 cc.complexity-theory  reference-request  algebraic-complexity  determinant 

클러스터 상태 계산 이론은 현재 잘 확립되어 있으며, 모든 BQP 회로를 수정하여 "클러스터 상태"라고 알려진 상태의 충분한 공급이 제공 될 경우 고전적으로 제어 할 수있는 단일 큐 비트 양자 게이트 만 사용할 수 있음을 보여줍니다. 안정기 상태를 생성하는 간단한 방법입니다. 내 질문은 : 양자 검증으로 알려진 비슷한 개념입니다. 즉 QMA …

13 quantum-computing 

랜덤 제한과 스위칭 레마 에 기반한 잘 알려진 AC0AC0\mathsf{AC^0} 회로 크기 하한 결과가 있습니다. TC0TC0\mathsf{TC^0} 회로에 대한 하한 크기 ( 대한 하한 증명과 유사)를 증명하기 위해 스위칭 Lemma 결과를 개발할 수 있습니까 AC0AC0\mathsf{AC^0}? 아니면 TC0TC0\mathsf{TC^0} 하한 을 증명하기 위해이 접근법을 사용하는 데 방해가 되는가? Natural Proofs 와 같은 장벽 결과는 …

13 cc.complexity-theory  circuit-complexity  lower-bounds  boolean-functions 

Cohn, Kleinberg, Szegedy 및 Umans는 행렬 곱셈에 대한 이론적 그룹 이론 논문 에서 고유하게 해결할 수있는 퍼즐 (아래 정의)과 USP 용량의 개념을 소개합니다. 그들은 카퍼와 Winograd는 자신의 획기적인 논문에서 주장 등차 수열을 통해 행렬 곱셈 , "암시"는 USP 능력이 있음을 증명 3/22/33/22/33/2^{2/3} . 이 주장은 다른 여러 곳 (여기서 cstheory를 …

13 ds.algorithms  co.combinatorics  algebraic-complexity  matrix-product 

가우스 제거는 행렬 다항식 시간을 계산할 수있게합니다. 지수 항의 합인 결정자를 계산하는 데있어서의 복잡성의 감소는 대안적인 음의 부호의 존재에 기인한다 ( 이의 부족은 계산을 영구적으로 만드는 것은 즉 N P - C 문제 보다 더 어렵다 ). . 이것은 결정에 어떤 종류의 대칭으로 이어진다. 예를 들어 한 쌍의 행 또는 …

13 cc.complexity-theory  time-complexity  algebraic-complexity  gr.group-theory  determinant 

Alan Turing 탄생 100 주년을 축하하기 위해 그의 삶에 관한 다큐멘터리를보고 싶습니다. 그러나 몇 가지 다큐멘터리가 있습니다. Alan Turing에 대한 어떤 다큐멘터리가 가장 좋아합니까? 답변 당 하나의 다큐멘터리 만 포함하십시오.

13 reference-request  soft-question  big-list  ho.history-overview 

ppp≤d≤d\le dbias(p)≜|Prx∈{0,1}n(p(x)=0)−Prx∈{0,1}n(p(x)=1)|>ϵbias(p)≜|Prx∈{0,1}n(p(x)=0)−Prx∈{0,1}n(p(x)=1)|>ϵbias(p) \triangleq |\Pr_{x\in\{0,1\}^n}(p(x)=0)-\Pr_{x\in\{0,1\}^n}(p(x)=1)| \gt \epsilon *도 ≤d≤d\le d 및 n 변수를 사용 하여 임의 다항식을 쓸 때 확률 1/2로 선택한 총 도수 \ le d 의 각 단항을 생각할 수 있습니다 ≤d≤d\le d. 내가 아는 유일한 관련 항목은 Schwartz-Zippel의 변형으로, 다항식이 일정하지 않은 경우 편향이 최대 1-2 ^ {1-d} …

13 randomness  pr.probability  algebra  polynomials 

나는 학생들에게 ± 1로 표시된 R 2 의 포인트 모음과 일치하는 삼각형을 찾는 문제를 배정했습니다 . ( T 에 모든 양의 점과 음의 점이 모두 없는 경우 삼각형 T 는 레이블이 지정된 샘플과 일치 합니다 . 가정에 따라 샘플에는 최소한 하나의 일관된 삼각형이 허용됩니다).미디엄mmR2R2\mathbb{R}^2±1±1\pm1TTTTTT 그들이 (또는 I) 할 수있는 최선은 …

13 cg.comp-geom  machine-learning  lg.learning  convex-geometry 

다음 조건을 충족하는 잘 알려진 문제를 누구나 나열 할 수 있습니다. 1. has a generalization problem that is known to be NP-complete 2. has not been proved to be NP-complete nor has a known polynomial time solution.

13 cc.complexity-theory  np-hardness 

Shift-reduce 구문 분석 기술과 구분 된 연속 간의 관계를 공식화 한 사람이 있습니까? 상향식 파서 (예를 들어, LR 파서)를 구성 할 때, 우리는 문법을 다음의 집합으로 해석 상태를 표현 항목 : 양식의 증강 제작 → α ∙ β , α 와 β는 터미널과 비끝의 시퀀스입니다. 마커 ∙ 는 파서가 문자열에 …

13 pl.programming-languages  parsing