이론 컴퓨터 과학

관련 분야의 이론 컴퓨터 과학자 및 연구자를위한 Q & A

1
대수 변수의 정수 선형 프로그래밍
변수 의 개수 이 고정 된 경우 정수 선형 프로그래밍을 다항식 시간으로 해결할 수 있음을 읽었습니다 ( 예 : n ∈ O ( 1 )) . 주어진 크기 N의 입력에 대해 변수의 수가 대수적으로 증가하는 경우 (즉, n ∈ O ( log 2 ( N ) )) , 문제는 여전히 …
1
스트리밍 방식으로 순열의 패리티 계산
순열의 패리티를 계산하는 원 패스 알고리즘을 찾고 있습니다. 입력 순열은 스트림 의해 주어진다고 가정합니다 π[1],π[2],⋯,π[n]π[1],π[2],⋯,π[n]\pi[1], \pi[2], \cdots, \pi[n]. 출력은 순열의 패리티 여야합니다. 결정 론적 알고리즘이 사용해야하는 메모리 양에 관심이 있습니다. 문제에 대한 무작위 알고리즘이 있습니까? 한 번에 반전 횟수를 계산할 때 Θ(n)Θ(n)\Theta(n) 메모리를 사용한다는 것을 알고 있습니다. 모든 BST로 상한을 …
1
유 방향 그래프에서 간단한 경로를 계산하는 복잡성
하자 이중 음자 (반드시 DAG를)하고하자 의 , t ∈ V ( G을 ) . 간단한 s - t 경로 의 수를 계산하는 복잡성은 무엇입니까?GGGs,t∈V(G)s,t∈V(G)s,t \in V(G) s−ts−ts-t . GGG 문제가 # P 일 것으로 기대합니다PP{\mathsf P} 완전한 하지만 정확한 참조를 찾을 수 없었습니다. 또한 여러 가지 유사한 질문이 여기와 다른 …
1
Reals의 수학은 Computable Reals에 어느 정도까지 적용 할 수 있습니까?
적절한 위생 처리를 통해 계산 가능한 실수 만 고려할 때 실수 사용에 관한 가장 알려진 결과를 실제로 사용할 수 있다는 일반적인 정리가 있습니까? 또는 계산 가능한 실수 만 고려할 때 유효한 결과의 적절한 특성이 있습니까? 부수적 인 질문은 계산 가능한 실제에 관한 결과를 모든 실제 또는 계산할 수없는 것을 고려하지 …
3
예를 들면
완전한 언어 목록이 필요합니다 . Complexity Zoo 에는 다음과 같은 두 가지 문제가 있습니다 .Σp2Σ2p\Sigma_2^p 최소 등가 DNF. DNF 공식 F와 정수 k가 주어지면 리터럴이 k 이하인 F와 동등한 DNF 공식이 있습니까? 가장 짧은 관련성. 수식 F와 정수 k가 주어지면 F를 암시하는 리터 이하의 리터럴이 있습니까? 또 다른 기본 완전한 …
1
람다 미적분과 Lisp의 역사적 관계는?
최근에 친구 (강한 유형의 언어를 옹호하는 사람)와 대화를 나누고있었습니다. 그는 논평했다 : Lambda Calculus의 발명가는 항상 입력을 의도했습니다. 이제 우리는 것을 알 수 있습니다 교회 와 관련이 있었다 간단히 입력 된 람다 미적분 . 실제로, 그는 Lambda 미적분에 대한 오해를 줄이기 위해 Simply Typed Lambda 미적분학을 설명한 것 같습니다. 이제 …
1
Splay Tree 잠재적 기능 : 왜 크기의 로그를 합산합니까?
데이터 구조에 대한 강의를 진행하고 있으며 다음 주 초에 스플레이 트리를 다룰 예정입니다. 스플레이 트리에 관한 논문을 여러 번 읽었으며 데이터 구조의 분석과 직관에 익숙합니다. 그러나 Sleator와 Tarjan이 분석에 사용하는 잠재적 기능에 대한 확실한 직감을 찾을 수 없습니다. 분석은 트리 내의 임의의 중량을 각각의 소자에 할당함으로써 동작 wiwiw_i 후, 크기 …
2
내부의 학습 가능성 상태
임계 값 게이트를 통해 표현할 수있는 기능의 복잡성을 이해하려고 노력하고 있으며이를 통해 . 특히, 나는 해당 분야 의 전문가가 아니기 때문에 현재 T C 0 내부 학습에 대해 알려진 것에 관심 이 있습니다.TC0TC0\mathsf{TC}^0TC0TC0\mathsf{TC}^0 지금까지 내가 발견 한 것은 : 모든 C 0 을 통해 균일 한 분포 하에서 quasipolynomial 시간 …
2
복잡성 클래스 연산자에 대한 좋은 참조?
복잡성 클래스 연산자 에 대해 쓸 때 참조 할 수있는 좋은 설명 기사 나 설문 조사가 있는지에 관심 이 있습니다. 연산자의 예 다음은 답변이 설명 할 수있는 최소한의 연산자 목록으로 해석 될 수 있습니다. 여기서 CC\mathbf C 는 임의의 유한 알파벳 대한 임의의 언어 세트입니다 ΣΣ\Sigma. ∃C:={L⊆Σ∗∣∣∣∃A∈C∃f∈O(poly(n))∀x∈Σ∗:[x∈L⟺∃c∈Σf(|x|):(x,c)∈A]}∃C:={L⊆Σ∗|∃A∈C∃f∈O(poly(n))∀x∈Σ∗:[x∈L⟺∃c∈Σf(|x|):(x,c)∈A]}\exists \mathbf C := …
2
그래프의 엣지 커버 수 계산의 복잡성
에지 커버 그래프의 각 정점이 상기 커버의 적어도 하나의 에지에 인접하도록 그래프의 에지들의 부분 집합이다. 다음 두 논문은 계산 에지 커버는 말을 #P - 완전한 : 에지 커버 계산에 대한 간단한 FPTAS 및 경로 그래프의 생성 가장자리 커버를 . 그러나 내가 놓친 것이 없다면 그들은이 주장에 대한 참조 또는 증거를 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.