이론 컴퓨터 과학

CoC는 Lambda Cube의 세 가지 차원의 정점이라고합니다. 이것은 나에게 전혀 분명하지 않습니다. 나는 개별 차원을 이해한다고 생각하며, 두 가지의 조합은 비교적 간단한 노동 조합을 초래하는 것으로 보입니다 (아마도 뭔가 빠졌습니까?). 그러나 CoC를 보면 세 가지를 모두 조합 한 것처럼 보이지 않고 완전히 다른 것처럼 보입니다. Type, Prop 및 Small / …

21 lambda-calculus  type-systems  typed-lambda-calculus  calculus-of-constructions 

입력 변수로부터 PARITY를 계산하는 모든 팬인 2 AND-OR-NOT 회로는 크기가 이며 이는 예리한 결과입니다. 크기를 AND 및 OR 게이트 수로 정의합니다. 증거는 게이트 제거에 의한 것이며 임의의 팬인을 허용하면 실패하는 것 같습니다. 이 경우로 알려진 것은 무엇입니까?3 ( n - 1 )3(n−1)3(n-1) 구체적으로, 더 큰 팬인이 도움이 될 때, 예를 …

21 cc.complexity-theory  circuit-complexity  parity 

테일 바운드를 가르 칠 때 나는 일반적인 진행을 사용합니다. 귀하의 RV가 양성이면 Markov의 불평등을 적용 할 수 있습니다 당신이 독립하고있는 경우 도 경계 분산을, 당신은 체비 쇼프 부등식을 적용 할 수 있습니다 각 독립 rv 에도 모든 모멘트가 제한되어 있으면 Chernoff 경계를 사용할 수 있습니다. 이 후에는 조금 덜 깨끗해집니다. …

21 reference-request  pr.probability  randomized-algorithms 

빠른 곱셈에 대한 가라 쓰바의 알고리즘 은 A. Karatsuba and Yu에 처음 출판되었습니다. Ofman (1962), "자동 컴퓨터에 의한 많은 디지털 숫자의 곱셈", 소련 과학 아카데미 145 : 293-294의 절차. 에 따르면 카라 츠바 (1995, "계산의 복잡성" . 수학의 PROC Steklov 연구소 211 : 169-183) ,이 논문은 실제로 카라 츠바의 지식없이 …

21 ho.history-overview 

배경 : 는 무 방향 그래프 G = ( V , E )의 두 꼭짓점 이라고하자 . 정점 집합 S ⊆ V는 A는 U , V의 -separator 경우 U 및 V 의 다른 연결 컴포넌트에 속하는 G - S . (A)의 경우에는 부분 집합 U , V -separator S가 A는 …

21 reference-request  graph-theory  graph-algorithms 

쇼어는이 질문에 대한 익명의 무스의 대답에 대한 그의 의견 에서 다항식 시간에서 두 순열의 합을 식별 할 수 있습니까? 두 순열의 차이를 식별하는 것은 입니다. 불행히도, 순열 합계 문제에서 직접적인 감소를 보지 못하고 순열 차이 문제에 대해 감소 를 갖는 것이 유용합니다 .N P엔피NPNP엔피NPNP 순열 차이 : INSTANCE : 양의 …

21 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

나는 Y 조합기 프리미티브가없는 대부분의 유형화 된 람다 미적분학의 복잡성이 제한되어 있다는 것을 알고있다. 예를 들어, 건축 미적분학은 기하 급수적으로 복잡한 지수를 표현할 수 있습니다. 내 질문은 유형이 지정된 람다 미적분학 이 특정 복잡성 아래 또는 모든 알고리즘 아래에서 모든 알고리즘을 표현할 수 있는지 여부와 관련이 있습니까? 예를 들어 Lambda …

21 cc.complexity-theory  complexity-classes  lambda-calculus  typed-lambda-calculus 

한정 경우 000 - 입력마다 -circuit 일부 함수 계산 . 부울 함수 를 얻기 위해 하나의 fanin-1 임계 값 게이트를 출력 게이트로 추가 할 수 있습니다. 입력에 , 얻어진 임계 - 회로는 다음에 출력 경우에 및 출력 의 경우 ; 임계 값 은 임의의 양의 정수일 수 있으며, 이는 의존 …

21 circuit-complexity  arithmetic-circuits  cc-complexity-theory 

찾는 문제 고려 최대 분리 된 세트를 후보 지정된 컬렉션에서 겹치지 않는 기하학적 도형의 최대 세트를, -. 이것은 NP- 완전 문제이지만, 대부분의 경우 다음 욕심 많은 알고리즘은 상수 팩터 근사치를 생성합니다. 모든 후보 형상 들어 X , 그 계산 이 끊긴 교차로 개수 = 비 연속 형상이 교차의 최대 개수 …

21 cg.comp-geom 

우리는 비교 기반 모델에서 요소 구별이 시간 내에 완료 될 수 없음을 알고 있습니다 . 그러나 워드 RAM에서는 더 나은 결과를 얻을 수 있습니다.o ( n 로그n )o(nlog⁡n)o(n\log n) 물론 선형 시간으로 계산할 수있는 완벽한 해시 함수가 있다고 가정하면 요소 구별을위한 선형 시간 알고리즘을 얻게됩니다. 충돌이있는 경우 숫자를 하나씩 해시하고 …

21 ds.algorithms 

좋아, 이것은 숙제 질문처럼 보일 수도 있고, 어떤 의미에서는 그렇습니다. 학부 알고리즘 수업에서 과제로 다음과 같은 고전을 썼습니다. 무 방향 그래프 주어지면 와 같은 컷 을 찾는 알고리즘을 제공하십시오 . 는 컷을 가로 지르는 모서리 수입니다. 시간 복잡도는 이어야합니다 .G=(V,E)G=(V,E)G=(V,E)(S,S¯)(S,S¯)(S,\bar{S})δ(S,S¯)≥|E|/2δ(S,S¯)≥|E|/2\delta(S,\bar{S})\geq |E|/2δ(S,S¯)δ(S,S¯)\delta(S,\bar{S})O(V+E)O(V+E)O(V+E) 어떤 이유로 든 다음과 같은 솔루션이 많이 있습니다. 이제 …

21 graph-algorithms  max-cut  greedy-algorithms 

언어 EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} . 이는 것으로 알려져 EQUALITYEQUALITY \mathtt{EQUALITY} 임의 sublogarithmic 공간 교대 튜링 기기 (ATM)에 의해 인식 될 수 없다 (Szepietowski, 1994) . (멤버에게는 비 로그 공간을 사용하지만 모든 비 멤버가 아닌 ATM이 있습니다!) 반면, Freivalds (1981) 는 경계 오류 상수 …

21 space-bounded  polynomial-time 

계산 복잡성 이론, 특히 "구조적"복잡성 이론에서 많은 중요한 결과는 알고리즘 결과 에서 기본적으로 다음과 같이 이해 될 수 있다는 흥미로운 특성을 가지고 있습니다. 문제. 여기에는 다음이 포함됩니다. IP = PSPACE 는 대화식 프로토콜을 시뮬레이션하는 공간 효율적인 재귀 알고리즘과 완전히 정량화 된 부울 공식을 평가하기위한 효율적인 대화식 프로토콜을 따릅니다. 실제로 모든 …

21 cc.complexity-theory  structural-complexity 

실수 다항식으로서의 학위가 최대 균일하게 임의의 부울 함수 을 샘플링하는 (합리적인) 방법이 있습니까?f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n \to \{0,1\}ddd 편집 : Nisan과 Szegedy 는 의 함수가 최대 좌표 에 의존 한다는 것을 보여 주었 으므로 라고 가정 할 수 있습니다 . 우리가 임의의 부울 함수를 선택하는 경우 1) 한편 : 나 볼과 같은 문제는 …

21 randomness  boolean-functions  bounded-degree 

(A)에 직교 폐쇄 카테고리 ( CCC ), 이른바 존재 지수 오브젝트 작성 . CCC가 단순 유형 -calculus 의 모델로 간주되는 경우 와 같은 지수 객체 는 유형 에서 유형 함수 공간을 특성화합니다 . 지수 객체는 화살표로 소개되고 화살표로 제거 (불행히도 라는λ B B는 c를 U는 r에 R의 예를 : ( …

21 type-theory  lambda-calculus  ct.category-theory