이론 컴퓨터 과학

증거가 없어도 P! = NP라고 믿는 철학적 타당성이 종종있다. 다른 복잡성 클래스는 그렇지 않다면 "놀라운"결과 (다항식 계층 구조의 붕괴와 같은)가있을 수 있기 때문에 구별된다는 증거를 가지고 있습니다. 내 질문은, PPAD 클래스가 다루기 어렵다는 믿음의 근거는 무엇인가? 내쉬 평형을 찾기위한 다항식 시간 알고리즘이 있었다면, 이것은 다른 복잡성 클래스에 대해 아무 의미가 …

32 cc.complexity-theory  complexity-classes  gt.game-theory  conditional-results 

자율 학습 및 시험 준비에 사용할 수있는 많은 예제가 포함 된 유한 자동 이론 이론 책이 필요합니다.

32 reference-request  automata-theory  fl.formal-languages 

이 질문에서 3CNF 공식은 각 절이 정확히 세 개의 고유 한 변수를 포함하는 CNF 공식을 의미 합니다. 상수 0의 경우 < 의 <1, 갭 - 3SAT 의는 다음과 같은 약속의 문제이다 : 갭 - 3SAT 의 인스턴스 , • 3CNF 공식 φ. 그렇습니다 약속 : φ는 만족합니다. 약속 없음 : …

32 cc.complexity-theory  sat  approximation-hardness 

나는 때때로 사람들이 양자 알고리즘과 상태 및 여러 가능성을 한 번에 고려할 수있는 능력에 대해 이야기하는 것을 들었습니다. 그러나이 계산 뒤에 계산 모델을 설명해 줄 사람은 없었습니다. 분명히, 나는 양자 컴퓨터가 물리적으로 어떻게 구성되는지에 대해 묻는 것이 아니라 계산 관점에서 그것들을 보는 방법에 대해 묻고 있습니다.

32 quantum-computing  big-picture 

다음 작업을 지원하는 우선 순위 대기열 데이터 구조가 있습니까? 삽입 (x, p) : 우선 순위 p로 새 레코드 x 추가 StableExtractMin () : 우선 순위가 가장 낮은 레코드를 반환 순서대로 삭제하고 삭제합니다 . 따라서 Insert (a, 1), Insert (b, 2), Insert (c, 1), Insert (d, 2) 후에 StableExtractMin의 시퀀스는 a, …

32 ds.data-structures 

방해 L = { n : π 의 n t h 이진수 는 1 }입니다L={n:the nth binary digit of π is 1}L = \{ n : \text{the }n^{th}\text{ binary digit of }\pi\text{ is }1 \} (여기서 n 은 이진수로 인코딩 된 것으로 간주됩니다). 그러면 L 의 계산 복잡성에 대해 무엇을 …

31 cc.complexity-theory  na.numerical-analysis 

나는 정지 문제가 일반적으로 결정 불가능하다는 것을 알고 있지만 분명히 멈추는 기계와 그렇지 않은 기계가 있습니다. 가능한 모든 튜링 머신 중에서 정지 여부에 대한 증거가없는 가장 작은 머신은 무엇입니까?

31 halting-problem 

ST- 연결성은 유향 그래프 G ( V , E ) 에서 두 개의 구별되는 정점 와 t 사이에 유향 경로가 있는지 여부를 결정하는 문제입니다 . 로그 스페이스에서이 문제를 해결할 수 있는지 여부는 오랫동안 열려있는 문제입니다. 이것을 N L vs L 문제 라고합니다 .ssstttG(V,E)G(V,E)G(V,E)NLNLNLLLL 의 기본 무향 그래프가 나무 폭에 경계를 …

31 cc.complexity-theory  graph-theory  space-bounded  treewidth  logspace 

그의 영향력있는 저서 인 Automata, Languages ​​and Machines (볼륨 A, B)의 서문에서 Samuel Eilenberg는 볼륨 C와 D가 "비이성적 현상의 계층 구조 (합리적 계층 구조라고 함)를 다루는 것을 합리적으로 약속했습니다. 합리적 세트는이 계층 구조의 맨 아래에있다 위로 올라가면 '대수 현상'이 생겨나 고, 이는 "Chomsky의 문맥이없는 문법과 문맥이없는 언어 및 여러 관련 …

31 soft-question  fl.formal-languages  automata-theory  regular-language  context-free 

꼬리 확률이 적어도 너무 크다는 것을 제한하는 역 Chernoff 경계가 있습니까? 즉, X1,X2,…,XnX1,X2,…,XnX_1,X_2,\ldots,X_n 이 독립 이항 랜덤 변수이고 μ=E[∑ni=1Xi]μ=E[∑i=1nXi]\mu=\mathbb{E}[\sum_{i=1}^n X_i] . 다음 우리는 증명할 수있는 Pr[∑ni=1Xi≥(1+δ)μ]≥f(μ,δ,n)Pr[∑i=1nXi≥(1+δ)μ]≥f(μ,δ,n)Pr[\sum_{i=1}^n X_i\geq (1+\delta)\mu]\geq f(\mu,\delta,n) 일부에 대한 함수 fff .

31 pr.probability  chernoff-bound 

나는 어떤 유형의 (연속적) 수학적 프로그램 (MP)이 효율적으로 해결 될 수 있고 어떤 것이 불가능한 지에 대한 지속적인 최적화 문헌과 TCS 문헌에 혼란을 느낀다. 지속적인 최적화 커뮤니티는 모든 볼록한 프로그램이 효율적으로 해결 될 수 있다고 주장하는 것 같지만, "효율적"에 대한 그들의 정의는 TCS 정의와 일치하지 않는다고 생각합니다. 이 질문은 지난 …

31 ds.algorithms  optimization  linear-programming  semidefinite-programming  polynomial-time 

카드 게임 규칙에 따라 간단한 튜링 머신을 인코딩하고 싶습니다. Turing 완전성을 증명하기 위해 범용 Turing 기계로 만들고 싶습니다. 지금까지 Alex Smith의 2- 상태 3- 기호 튜링 머신 을 인코딩하는 게임 상태를 만들었습니다 . 그러나 (2, 3) 기계가 실제로 보편적인지에 대해서는 논란의 여지가있는 것 같습니다 (Wikipedia에 근거한 것 같습니다). rigour를 위해, …

31 computability  turing-machines  universal-computation 

종속 유형 및 프로그래밍 계약에 대한 기사를 읽었습니다. 내가 읽은 대부분의 것에서 계약은 동적으로 제약 조건을 확인하고 종속 유형을 정적으로 확인하는 것으로 보입니다. 부분적으로 정적으로 계약을 체결 할 수 있다고 생각한 논문이 있습니다. 하이브리드 타입 체킹 (C. Flanagan-2006) 하이브리드 유형 및 계약 통합 (J. Gronski, C. Flanagan-2007) 이로 인해 상당한 …

31 pl.programming-languages  type-theory  program-verification  dependent-type 

나는 아직 해결되지 않은 게임의 복잡성에 대한 흥미로운 변형이기 때문에 나는이 질문에 대한 답에 정말로 관심이있었습니다. 그래서 현상금을 제공했습니다. 나는 원래의 질문이 너무 어려울 것이라고 생각했기 때문에 현상금에 합당한 세 가지 관련 질문을 게시했습니다. 현상금이 만료되기 전에 아무도 답변을 게시하지 않았습니다. 나중에 관련 질문 중 2 개 (원래 게시물 아래에서 …

31 cc.complexity-theory  gt.game-theory  interactive-proofs 

나는 Nielson & Nielson의 " Semantics with Applications "를 읽었으며 , 그 주제를 정말 좋아합니다. 프로그래밍 언어 의미에 대한 책을 하나 더 갖고 싶지만 실제로는 하나만 얻을 수 있습니다. 나는 한 번 봐했다 Turbak / 포드의 책을,하지만 너무 장황한이다; 나는 Winskel이 괜찮을 것이라고 생각했지만 그것에 접근 할 수 없었습니다 (대학 …

31 reference-request  pl.programming-languages  semantics  denotational-semantics  books