이론 컴퓨터 과학

하자 에 간단한 무향 그래프 될 정점과 가장자리.n 분G=(V,E)G=(V,E)G=(V,E)nnnmmm 임의의 스패닝 트리 를 생성하기 위해 Wilson 알고리즘 의 예상 실행 시간을 결정하려고합니다 . 이를 것으로 나타내고있다 여기서 는 IS 평균 히팅 시간 : 여기서,O ( τ ) τ τ = ∑ v ∈ V π ( v ) ⋅ H …

10 graph-theory  graph-algorithms  co.combinatorics  random-walks  analysis-of-algorithms 

다음 문제를 고려하십시오. 행렬 주어지면 계산을위한 곱셈 알고리즘의 추가 수를 최적화하려고합니다 .미디엄미디엄Mv ↦ MVV↦미디엄Vv \mapsto Mv 행렬 곱셈의 복잡성과 관련이 있기 때문에이 문제가 흥미 롭습니다 (이 문제는 제한된 행렬 곱셈 버전입니다). 이 문제에 대해 무엇을 알고 있습니까? 이 문제와 관련하여 행렬 곱셈 문제의 복잡성과 관련된 흥미로운 결과가 있습니까? 이 문제에 …

10 cc.complexity-theory  reference-request  circuit-complexity  matrices  arithmetic-circuits 

Wikipedia 의 평가 전략 기사에서 : 람다 미적분학에서 감소 전략의 개념은 비슷하지만 구별됩니다. Wikipedia 의 축소 전략 기사에서 : 그것은 컴퓨터 과학의 평가 전략의 개념과 유사하지만 미묘하게 다릅니다. 이 두 기사에서 암시하는 평가 전략과 축소 전략의 미묘한 차이점은 무엇입니까? 서로 다른 도메인의 두 가지 유사한 개념입니까?

10 pl.programming-languages  lambda-calculus  semantics 

다음의 λ 용어는 여기에서 정상적인 형태입니다. sort = (λabc.(a(λdefg.(f(d(λhij.(j(λkl.(k(λmn.(mhi))l)) (h(λkl.l)i)))(λhi.(i(λjk.(bd(jhk)))(bd(h(λjk.(j (λlm.m)k))c)))))e))(λde.e)(λde.(d(λfg.g)e))c)) 교회 인코딩 목록에 대한 정렬 알고리즘을 구현합니다. 즉, 다음의 결과입니다. sort (λ c n . (c 3 (c 1 (c 2 n)))) β→ (λ c n . (c 1 (c 2 (c 3 n)))) 비슷하게, sort_below = λabcd.a(λef.f(λghi.g(λj.h(λkl.kj(ikl)))(hi))e(λgh.h)) (λe.d)(λe.b(λf.e(f(λghi.hg)(λgh.cfh)))) …

10 lo.logic  lambda-calculus  type-systems 

Borsuk-울람 정리 마다 홀수 연속 함수에 대해 말한다 유클리드 N 스페이스로의 초구로부터 포인트가 X 0 되도록 g ( X 0 ) = 0 .gggx0x0x_0g(x0)=0g(x0)=0g(x_0)=0 Simmons and Su (2002) 는 Tucker 's lemma를 사용하여 점 을 근사화하는 방법을 설명합니다 . 그러나 방법의 런타임 복잡성이 무엇인지는 명확하지 않습니다.x0x0x_0 함수 대한 오라클 ggg과 …

10 approximation-algorithms  time-complexity  topology  algebraic-topology 

상호 작용 결합기는 이전에 λ 미적분에 대한 컴파일 대상 으로 제안되었습니다 . 이 논문은 전체 λ 미적분을 구현합니다. 또한 , EAL- 타입 가능한 λ- 말단의 서브 세트에 대해 λ- 미적분의 상호 작용 네트 인코딩 을 최적화 하는 것이 가능하다는 것이 알려져있다 . 이 논문은 EAL 타입의 λ- 말단을 상호 작용 …

10 lambda-calculus  functional-programming  interaction-nets 

이진 결정 트리 (BDT)에 대해 일종의 "정상 형식"을 다루기 쉬운 방법으로 제공 할 수 있는지 궁금합니다. 보다 정확하게는 BDT는 부울 변수로 레이블이 지정된 내부 노드가 있고 000 또는 레이블이 지정된 트리입니다 111. BDT는 명백한 방식으로 부울 함수를 나타냅니다. 두 BDT A,BA,BA,B 는 동일한 기능을 나타낼 때 동등합니다 ( A∼BA∼BA\sim B …

10 cc.complexity-theory  decision-trees 

큐큐Q 를 유전적인 클래스로 하자 . (유도 된 서브 그래프를 취하는 것에 대해서는 유전학 = 폐쇄 됨) 은 QQ엔큐엔Q_n 의 엔엔n 정점 그래프 세트를 나타냅니다 . Q n에 빠지는 모든 n- vertex 그래프 의 비율이 n → ∞ 로 1에 가까워 지면 Q 에 거의 모든 그래프 가 있다고 가정 …

10 graph-theory 

에서는 http://www.dharwadker.org/tevet/isomorphism/ 두 그래프는 동형 있는지 결정하기위한 알고리즘의 프리젠 테이션이있다. 우리가 Dharwadker의 "흥미로운"주장을 할 것이라고 생각할 때, 나는 그것을 믿지 않을 것입니다. 내 조사에서 알고리즘이 정답을 확실히 생성하고 실제로 올바른 경우 두 그래프가 동형이 아니라는 것을 알았습니다. 그러나 두 그래프가 실제로있을 때이 그래프가 동형인지 여부를 알고리즘이 지속적으로 알려주는 것은 확실하지 …

10 graph-isomorphism 

이 블로그에서는 컴퓨터를 사용하여 "트위스 티 작은 미로"를 생성하는 방법에 대해 설명합니다. 열거 형은 Wilson의 알고리즘 을 사용 하여 UST 를 얻을 수 있지만 얼마나 많은 수식을 기억하지 못합니다. http://strangelyconsistent.org/blog/youre-in-a-space-of-twisty-little-mazes-all-alike 기본적으로 행렬 트리 정리 는 그래프의 스패닝 트리 수는 그래프의 라플라시안 행렬의 결정자와 같습니다. 하자 G=(E,V)G=(E,V)G= (E,V) 그래프하고 인접성 행렬, …

10 graph-theory  randomized-algorithms  matrices  tree 

숫자 을 주자. 다음 언어를 고려하십시오. .L n = {nnnLn={ww|w∈{0,1}n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} 즉, 은 길이 의 복사 문자열 세트입니다 . 2 nLnLnL_n2n2n2n 다음을 고려 상태 복잡성 함수 되도록 인식 작은 푸시 된 자동 상태의 수이다 .(S) ( N ) L의 …

10 fl.formal-languages  automata-theory  grammars  context-free 

두 순열을 감안 및 h를 통해 N 개의 요소 (즉, 구성원의 S , N )에 의해 생성 된 서브 그룹의 순서로 계산의 복잡성 무엇 g , H는 ? 또는 하위 그룹이 순서 n 인지 여부를 결정하는 것입니다 ! (즉, 모든 S n )?ggghhhnnnSnSnS_ng,hg,hg,hn!n!n!SnSnS_n

10 cc.complexity-theory  algebra  gr.group-theory 

그것은 직접 합 정리 해결 여부에 결정적이다 통신 복잡성에 대한 유지 여부가 이전 오픈 문제 있는 문제의 독립 인스턴스 t의 시간 어렵게 단일 인스턴스를 해결보다. [FKNN95]는 다음과 같은 결과를 보여주었습니다.티티t티티t 부정적 결과 : 결정적 통신 복잡도가 인 부분 함수 ([O90]로 인해 ) 가 있지만 t 개의 독립 인스턴스 에서 계산하는 …

10 cc.complexity-theory  communication-complexity 

하자 고정 상수. 정수 n이 주어지면 다음과 같이 순열 σ ∈ S n 을 구성하려고 합니다.k>0k>0k>0nnnσ∈Snσ∈Sn\sigma \in S_n 시공에는 일정한 시간과 공간이 사용됩니다 (즉, 전처리에는 일정한 시간과 공간이 필요함). 무작위 화를 사용할 수 있습니다. 주어진 , σ ( i ) 는 일정한 시간과 공간에서 계산 될 수 있습니다.i∈[n]i∈[n]i\in[n]σ(i)σ(i)\sigma(i) 순열 는 …

10 cc.complexity-theory  ds.algorithms  cr.crypto-security  derandomization  k-wise-independence 

다음 문제의 복잡성은 무엇입니까 ( P? NP-hard?) :∈∈\in 입력 : 방향성 비순환 그래프 , 후방 에지 세트 E ' ⊂ V × V , 2 개의 별개의 노드 들 과 t .D=(V,E)D=(V,E)D=(V,E)E′⊂V×VE′⊂V×VE'\subset V\times Vsssttt 질문 : 하자 를 추가하여 형성된 나타내는 그래프 D 에서 가장자리 E를 ' . 적어도 하나의 …

10 graph-algorithms  time-complexity  disjoint-paths