이론 컴퓨터 과학

다음 프로세스를 고려하십시오. 위에서 아래로 배열 된 빈이 있습니다 . 처음에는 각 빈에 공이 하나 있습니다. 모든 단계에서, 우리는엔엔n 무작위 로 공 골라서비비b 가 들어있는 용지함에서 모든 공을 그 아래의 용지함으로 옮깁니다 . 이미 가장 낮은 용기 인 경우 공정에서 볼을 제거합니다.비비b 프로세스가 종료 될 때까지, 즉 모든 볼이 프로세스에서 …

16 pr.probability  markov-chains  stochastic-process 

이 질문은 "쌍곡선 공간에서의 셀룰러 오토마타 : 2 권"에 관한 책입니다. Maurice Margenstern, Publisher Archives contemporaines, 2008. http://books.google.com/books?id=eEgvfic3A4kC&pg=PA125 저자의 견해로는, 쌍곡선 설정 P = NP 또는 나중에 책 P h = NP h 에서 사용 된 표기법 때문에 P = NP 문제는 잘못 제기됩니다 . 나는 이것으로 무엇을 만들어야할지 복잡성에 …

16 cc.complexity-theory 

나는의 변형의 생각을 해 봤는데 진수 대신 번갈아 움직임을 만드는 두 선수의 각각 임의 만드는 움직임에서 고른 플레이어를 켭니다. 각 플레이어가 이길 확률을 결정하기가 얼마나 어렵습니까? 이 문제는 분명히 PSPACE에서 발생하지만 NP-hard가되어 훨씬 적은 PSPACE-complete 일 수는 없습니다. 난이도가 무작위로 플레이어가 옵션 중에서 선택하는 것을 불가능하게 만드는 방법에서 어려움이 발생합니다. …

16 cc.complexity-theory  board-games 

나는 상관 상관 평형 (무-외부 역학의 한계 세트)과 상관 관계 평형 (무한-후회 역학의 제한 세트)에 대한 무정부 상태의 가격을 상관 관계 평형 (제한) 스왑 후회 역학 세트). 이 유형의 자연 분리가 알려져 있습니까? 이 두 클래스를 분리하는 데 대한 한 가지 장애물은 무정부 상태의 가격을 증명하는 가장 자연스럽고 일반적인 방법은 …

16 gt.game-theory  online-learning 

Nisan은 "공간 바운드 계산을위한 의사 난수 생성기"에서 공간 바운드 계산을 "가짜"하는 의사 랜덤 생성기가 있음을 증명했습니다. 이 구성은 모든 오라클에 적용됩니까 (적어도 비 적응 쿼리에 대해서는)?

16 cc.complexity-theory  space-bounded  derandomization 

배경 : Subhash Khot의 원본 UGC 논문 ( PDF )에서 3 항 알파벳에 대해 모든 형식이 동일하지 않음 (a, b, c) 형식의 제약 조건을 가진 주어진 CSP 인스턴스가 1을 만족하는 과제를 인정하는지 여부를 결정하는 UG- 경도를 증명합니다. - ϵϵ\epsilon 제약의 여부를 satisying 어떤 과제가 존재하지 89+ϵ89+ϵ\frac{8}{9}+\epsilon제약 임의로 작은 대ϵ>0ϵ>0\epsilon > …

16 cc.complexity-theory  approximation-hardness  unique-games-conjecture  csp 

Blum, Micali 및 Feldman (BFM)은 모든 당사자 (정직하거나 적대적인)가 일부 문자열에 액세스 할 수있는 새로운 (암호화) 모델을 제시했습니다. 문자열은 신뢰할 수있는 당사자가 일부 배포 (일반적으로 균일 한 배포)에 따라 선택한다고 가정합니다. 이를 참조 문자열 이라고하며 모델의 이름은 CSR ( Common Reference String ) 모델이라고합니다. 이 모델을 사용하면 많은 흥미로운 대화 …

16 cr.crypto-security 

정수 항목이있는 n x n 행렬 M이 있다고 가정합니다. P 에서 모든 순열 π ≠ σ에 대해 Π M i σ ( i ) ≠ Π M i π ( i )를 갖도록 순열 가 있는지 여부를 결정할 수 있습니까 ?σσ\sigmaπ≠ σπ≠σ\pi\ne\sigmaΠ M나는 σ( 나는 )≠ Π M나는 π( 나는 …

16 cc.complexity-theory  ds.algorithms  matrices  matching  permanent 

문맥 인식 언어 (CSL)와 완전성 에 관한 두 가지 질문에 관심이 있습니다 . CSL에 대한 완전성이라는 개념이 있습니까? NP- 완전한 자연스러운 CSL이 있습니까? 2의 경우 CSL 인 NP 완전 언어를 확실히 생각할 수 있습니다 (CSL은 NSPACE [ ], SAT는 CSL이므로). NP 완성 언어를 설명하는 민감한 문법 .nnn

16 np-hardness  fl.formal-languages  space-bounded 

내가 실제로 이해하지 못한다는 것을 항상 알고 있었던 한 가지 차이점은 회로 복잡성이 비 균일 버전을 나타내고 튜링 머신은 일이 균일 한 비 균일과 균일 한 계산 복잡성 사이입니다. "uniform"은 n + 1 변수의 문제와 비교하여 n 변수의 문제에 대해 완전히 다른 회로를 허용하지 않는 알고리즘 클래스를 제한하는 방법이라고 생각합니다. …

16 cc.complexity-theory  circuit-complexity 

Neil Immerman의 유명한 세계 그림은 다음과 같습니다 (확대하려면 클릭). 그의 "참으로 실현 가능한"수업에는 다른 수업이 포함되지 않습니다. 내 질문은 다음과 같습니다 실용적이지 않은 것으로 간주되는 AC 0 문제 는 무엇 이며 그 이유는 무엇입니까?

16 cc.complexity-theory  circuit-complexity 

ACM Journal on Experimental Algorithmic JEA 의 논문 영역에서와 같이 . 기초 작업은 무엇입니까? 주요 결과는 무엇입니까? 그것들의 특징은 무엇입니까? 컴퓨터 과학의 다른 영역과 흥미로운 관계가 있습니까?

16 ds.algorithms  reference-request  experimental 

[1]에서 Turan은 그래프 속성의 민감도 (종이에서 "심각한 복잡도"라고 함)가 ⌊ 1 보다 엄격하게 크다는 것을 여기서m은 그래프의 꼭짓점 수입니다. 그는 사소하지 않은 그래프 속성의 감도가≥m-1이라고 추측합니다. 그는 이것이m≤5에대해 검증되었다고 언급했다. 이 추측에 진전이 있었습니까?⌊14m⌋⌊14m⌋\lfloor {1\over 4} m \rfloormmm≥m−1≥m−1\geq m-1m≤5m≤5m \leq 5 배경 하자 에 진 문자열 { 0 , 1 …

16 graph-theory  property-testing 

Adleman, FOCS'78 은 길이 입력에 대한 임의의 무작위 회로 가 불균일하게 무작위 화 될 수 없음을 보여 주었다 . 그러나이 구성은 원래 회로 시간을 효과적으로 복제 하므로, 무작위 화되지 않은 회로는 의 계수만큼 원래 회로보다 큽니다 . 회로 크기에 더 작은 계수를 곱하는 더 효율적인 구성이 있습니까?엔엔nO ( n )영형(엔)O(n)O …

16 derandomization 

이것은 math.stackexchange 에서이 질문 에 대한 후속 조치입니다. 우리는 비어 있지 않은 세트 S ⊆ ℤ이라고 생각한 자립 마다위한 경우 ∈ S, 별개의 요소가 존재한다 (B)을, C는 ∈ S되도록 = B + C. 양의 정수 n의 경우 간단한 예에는 이상적인 S = n or 또는 ( n > 3의 경우) …

16 ds.algorithms  co.combinatorics