이론 컴퓨터 과학

하자가 s의 I Z를이자형sizesize 의 λλ\lambda 다음과 같이 정의 될 -terms : s의 I Z를e ( x ) = 1size(x)=1size(x) = 1 , s의 I Z를E ( λ X . t ) = S I Z전자 ( t ) + 1size(λx.t)=size(t)+1size(λx.t) = size(t) + 1 , s의 I Z를e ( …

12 lo.logic  computability  pl.programming-languages  lambda-calculus 

사실 인 경우 PH가 붕괴되어야한다는 잘 알려지지 않은 주장은 무엇입니까? 참조와 함께 짧은 상위 수준의 어설 션이 포함 된 회신을 주시면 감사하겠습니다. 나는 운없이 역 검색을 시도했다.

12 cc.complexity-theory  complexity-classes  big-list 

MAJ 계산을위한 에서 회로의 최소 트리 폭은 {∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\}얼마입니까? 여기 MAJ :{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\} 의 입력들 중 적어도 절반은 IFF에 1을 출력한다 111 . 나는 회로의 크기 (다항식이어야 함) 만 신경 쓰며 입력 게이트의 팬 아웃은 임의적 일 수 있지만 입력은 한 번만 읽어야합니다 (이것은 회로의 트리 폭에 영향을 미칩니다-분기) 왜곡 …

12 reference-request  complexity-classes  circuit-complexity  treewidth 

이 튜토리얼 과 같이 종속 유형 구현에 대해 배우고 있지만 대부분은 통역사를 구현하고 있습니다. 내 질문은 의존 유형에 대한 컴파일러를 구현하는 것이 컴파일러보다 훨씬 어렵다는 것입니다. 유형 확인을 위해 종속 유형 인수를 실제로 평가할 수 있기 때문입니다. 그래서 순진한 인상이 맞습니까? 맞다면 의존 유형을 지원하는 정적으로 검사 된 언어를 구현하는 …

12 type-systems  compilers  dependent-type 

우리는 독립적 지수 확률 변수의 합에 예리한 농도 결과를 입증 할 수 있고, 즉하자 X1,…XrX1,…XrX_1, \ldots X_r BE 독립 확률 변수되도록 Pr(Xi&lt;x)=1−e−x/λiPr(Xi&lt;x)=1−e−x/λiPr(X_i < x) = 1 - e^{-x/\lambda_i} . 하자 Z=∑XiZ=∑XiZ = \sum X_i. P r ( | Z − μ Z | &gt; t ) &lt; e − t …

12 pr.probability  randomness  chernoff-bound 

을 시간 ( 시간에 (다중 테이프) 튜링 머신에서 허용 할 수있는 언어 클래스로 정의하십시오 . " "은 표기법을 단순화하고 혼동을 피하기위한 것입니다. 주위 에는 가 없습니다 .F ( N ) + 1 + 1 O ( ⋅ ) F ( N ) + 1D T I M E (f( n …

12 cc.complexity-theory  time-complexity  turing-machines  time-hierarchy 

입력 숫자 로 사용되며 , , 및 함수로 구성된 게이트가 있는 회로를 고려하십시오. . 회로의 출력은 또한 의 숫자입니다 .최대 ( x , y ) 최소 ( x , y ) 1 - x x + y[ 0 , 1 ][0,1][0,1]최대 ( x , y)max(x,y)\max(x, y)최소 ( x , y)min(x,y)\min(x, …

12 arithmetic-circuits 

ETH는 최악의 경우 서브 지수 시간으로 SAT를 해결할 수 없다고 말합니다. 평균 사례는 어떻습니까? NP의 평균적인 경우 기하 급수적으로 어려운 자연 문제가 있습니까? 입력에서 균일 한 분포로 평균 실행 시간을 의미하는 평균 사례를 사용하십시오.

12 cc.complexity-theory  np  average-case-complexity 

우리는 Koutis-Miller-Peng (Spielman &amp; Teng의 작업을 기반으로 함)에서 선형 시스템 를 행렬 대해 매우 빠르게 해결할 수 있음을 알고 있습니다. .Ax=bAx=bA x = bAAA 지금 (첫번째 질문)이 그래프 라플라시안 행렬들 중 하나의 사용을 고려 공분산이나 (두 번째 질문) 역방향 공분산 행렬 제로 평균 다변량 정규 분포 \ mathcal {N} (\ …

12 ds.algorithms  graph-theory  linear-algebra  pr.probability  spectral-graph-theory 

이면 PH 전체가 붕괴 된다는 것을 알고 있습니다. 다항식 계층 구조가 부분적으로 축소되면 어떻게됩니까? (또는 PH가 특정 지점 이상에서 붕괴 될 수 있다는 것을 이해하는 방법은 무엇입니까?)P=NPP=NPP=NP 간단히 말해 및 의 결과는 무엇입니까?NP=coNPNP=coNPNP=coNPP≠NPP≠NPP\ne NP

12 cc.complexity-theory  complexity-classes  conditional-results  polynomial-hierarchy 

이미 CTL에서 수식 예제를 읽었지만 LTL에서는 그렇지 않으며 그 반대도 마찬가지입니다. 그러나 LTL 수식에 대한 정신적 인 이해를 얻는 데 어려움을 겪고 있으며 실제로 마음의 차이점은 무엇입니까?

12 lo.logic  model-checking  temporal-logic 

id가 응답이없는 stackoverflow 에서이 질문을 옮겼습니다 . JSON이 규칙적인지 비슷한 질문이있었습니다 . JSON과 XML은 모두 문맥이없는 언어라고 불리우며 주로 EBNF의 공식 문법으로 지정됩니다. 그러나 이것은 RFC 4329, 섹션 2.2에 정의 된 JSON의 경우에만 해당되며 , 객체 키의 고유성을 요구하지 않습니다 (많은 사람은 모르지만 { "a": 1, "a": 2}는 유효한 JSON입니다!). …

12 fl.formal-languages 

\newcommand{\symp}{\Bumpeq} 세트 X 의 일관성 관계 \ symp_X 는 반사적이고 대칭적인 관계입니다. 코 히어 런스 공간은 쌍 (X, \ symp_X) 이며 코 히어 런스 공간 사이 의 형태 f : X \ to Y 는 관계 f \ subseteq X \ times Y 와 같이 모든 (x, y) \ in …

12 pl.programming-languages  ct.category-theory  domain-theory  linear-logic 

다음 질문은 복잡성 이론에 적용된 암호의 아이디어를 사용합니다. 즉, 그것은 순전히 복잡하고 이론적 인 질문이며 답을 얻는 데 필요한 암호 지식은 없습니다. 나는이 질문을 고의적으로 비공식적으로 작성합니다. 세부 사항이 없으면 약간 잘못 설명되었을 수 있습니다. 답변에서 수정 사항을 알려주십시오. 다음 papaper에서 : Nonmalleable 암호화, 대니 돌 레브, 신시아 드 워크 …

12 cc.complexity-theory  complexity-classes  np-hardness  p-vs-np 

{ w w ∣ w ∈ Σ ∗ }{ww∣w∈Σ∗}\{ ww \mid w\in \Sigma^*\} 의 보수 는 문맥이없는 것으로 잘 알려져있다 . 그러나 { w w w ∣ w ∈ Σ ∗ }{www∣w∈Σ∗}\{ www \mid w\in \Sigma^*\} 의 보완은 어떻습니까?

12 fl.formal-languages  context-free