이론 컴퓨터 과학

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

2
폴리 로그 바운드 깊이 회로의 회로 하한 상태
경계 깊이 회로 복잡도는 회로 복잡도 이론 내에서 주요 연구 분야 중 하나입니다. 이 주제에는 "패리티 함수가 "및 "mod 함수가 "에 의해 계산되지 않습니다 ( 여기서 는 클래스 와 같은 결과 가 있습니다. 불균일하고 일정한 깊이, 다항식 크기, 무한 팬인 AND, OR, NOT 및 모듈로 게이트에 의해 결정될 수있는 언어로 …
2
소수와 소수 값으로 입증되었지만 허위로 판명 된 TCS 추측은 무엇입니까?
이론적 컴퓨터 과학에서 일부 매개 변수 n을 포함하고 소수의 n과 소수에 대해 입증되었지만 나중에 거짓으로 판명 된 추측이 있습니까? 수 이론에서는 이러한 문제가 존재한다. 로 아론 Meyerowitz는 지적 cyclotomic 다항식의 계수에 대한 하나를. TCS에서 나는 아직 불안정한 회피 성 추측 과 같은 예만을 알고 있습니다 .
17 big-list  primes 
7
논리의 CS 애플리케이션을위한 포인터
나는 논리의 견고한 배경을 가진 수학의 대학원생입니다. 유한 모델 이론에 대한 대학원 과정과 강제 및 설정 이론에 대한 대학원 과정과 함께 논리에서 1 년 동안의 대학원 과정을 수강했습니다. 대부분의 CS 텍스트는 논리에서 아주 겸손한 배경 만 가정하는 것으로 보이며, 주로 제안 논리 및 1 차 논리의 기본 사항을 다룹니다. 로직의 …
1
반정의 프로그래밍 기반 알고리즘으로 다항식 속도 향상
다음은 A. Pal : 다항식 시간으로 반정의 프로그램 풀기 의 최근 질문에 대한 후속 조치입니다 . 나는 여전히 SDP (Semidefinite Program)의 솔루션을 계산하는 알고리즘의 실제 실행 시간을 놓고 당황합니다. Robin 이 위의 질문 에 대한 의견 에서 지적했듯이 SDP는 일반적으로 다항식 시간으로 해결할 수 없습니다. 우리가 SDP를 신중하게 정의하고 원시 …
1
Conway의 PRIMEGAME는 2의 모든 주요 능력을 생성합니까?
내가 방문한 대부분의 사이트는이 흥미로운 주제에 관한 글을 읽고 있습니다. "이 순서에서 발생하는 2의 힘 (2 자체 이외의 것)은 소수 지수를 가진 것입니다"(MathWorld) 또는 "2 이후이 시퀀스에는 다음과 같은 2의 제곱이 포함됩니다. [...] 2의 주요 제곱입니다." (위키 백과) 이러한 신중한 공식은 시퀀스에서 생성 된 2의 거듭 제곱 집합이 2의 주요 …
1
다항식 시간으로 반정의 프로그램 풀기
우리는 선형 프로그램 (LP)이 타원체 방법이나 Karmarkar의 알고리즘과 같은 내부 포인트 방법을 사용하여 다항식 시간으로 정확하게 풀 수 있음을 알고 있습니다. 다항식 시간 분리 오라클을 설계 할 수 있다면, 초 다항식 (지수)의 변수 / 제약 수를 갖는 일부 LP도 다항식 시간으로 해결할 수 있습니다. 반 정규 프로그램 (SDP)은 어떻습니까? 다항식 …
1
# 2-SAT의 # P- 완전 서브 패밀리는 무엇입니까?
짧은 버전. # 2-SAT가 # P- 완전 하다는 원래의 증거 는 사실, 단조로운 (변수의 부정을 포함하지 않음) 및 이분 (모두의 변수는 이분 그래프입니다)는 #P -hard입니다. 따라서 # 2-MONOTONE-SAT 및 # 2-BIPARTITE-SAT의 두 가지 특수 사례는 #P -hard입니다. #P -hard 인 공식의 '자연'속성으로 특징 지을 수있는 다른 특별한 경우가 있습니까? 긴 …
1
누가 복잡성 등급 AC를 도입 했습니까?
나는 오늘 하한을 가르쳤으며 , 한 학생은 라는 이유에 대해 물었습니다 . 공식적인 설명은 "A"는 "Alternation"을 나타냅니다.AC0AC0AC^0ACACAC 몇 년 전에 Nick Pippenger Steve Cook이 Nick Pippenger (Nick의 수업)의 이름을 , 나중에 Nick이 Steve (Steve의 수업)의 이름을 지명 했다는 말을 모호하게 기억 합니다.NCNCNCSCSCSC 이야기 의 부분은 예를 들어 Wikipedia 와 복잡한 …
4
더 높은 속 그래프에 대한 어려운 문제
평면 그래프는 속이 0입니다. 원환 체에 삽입 가능한 그래프는 최대 1 개입니다. 내 질문은 간단합니다. 평면 그래프에서는 다항식으로 해결할 수 있지만 속 1 그래프에서는 NP-hard 문제가 있습니까? 보다 일반적으로 속 g의 그래프에서는 다항식으로 해결할 수있는 문제가 있지만 속> g의 그래프에서는 NP-hard?
1
양자 공간을 흥미롭게 만드는 결과는 무엇입니까?
시간 한정 양자 계산은 분명히 매우 흥미 롭습니다. 공간 한정 양자 계산은 어떻습니까? 나는 서브 로그 공간 경계와 다양한 종류의 양자 오토마타 모델로 양자 계산에 대한 많은 흥미로운 결과를 알고 있습니다. 다른 한편으로, 무한한 오류 확률과 양자 공간은 어떤 공간 구성 가능 대해 동등한 것으로 나타났다 (Watrous, 1999 and 2003 …
2
양방향 결정론 카운터 오토마타에 의해 인식되는 단항 언어
2dca (양방향 결정적 1 카운터 오토마타) (Petersen, 1994) 는 다음 단항 언어를 인식 할 수 있습니다. POWER={02n∣n≥0}.POWER={02n∣n≥0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} 2dca에 의해 인식되는 다른 사소한 단항 언어가 있습니까? 2dca가 인식 할 수 있는지 여부는 여전히 알 수 없습니다 .SQUARE={0n2∣n≥0}SQUARE={0n2∣n≥0} \mathtt{SQUARE} = \lbrace 0^{n^2} …
2
경계 밸런스 그래프의 그래프 동 형사상에 대한 부드러운 소개
나는 그래프 동형 (있는 그래프의 클래스에 대한 책을 읽은하고 )에 P . 이러한 경우 중 하나는 여기에 설명 된 바운딩 된 원자가 그래프 (각 정점의 최대 각도)입니다 . 그러나 나는 너무 추상적이라는 것을 알았습니다. 누군가 나에게 해설 적 인 성격에 대한 언급을 제안 할 수 있다면 감사 할 것입니다. 나는 …
2
이론적으로 건전한 의사 난수 발생기가 실제로 사용됩니까?
내가 아는 한, 실제로 의사 난수 생성의 대부분의 구현은 LSFR (linear shift feedback register) 또는 이러한 "Mersenne Twister"알고리즘과 같은 방법을 사용합니다. 그것들은 많은 (휴리스틱) 통계 테스트를 통과하지만, 이론적으로 모든 의사가 효율적으로 계산 가능한 통계 테스트에 대해 의사 난수처럼 보이게한다는 보장은 없습니다. 그러나 이러한 방법은 암호화 프로토콜에서 과학 컴퓨팅, 뱅킹 (아마도)에 …
1
양자 확장기 뒤의 기하학적 그림
(또한 질문 여기에 , 아니 대답) ( d, λ )(디,λ)(d,\lambda)νν\nu유( d)유(디)\mathcal{U}(d)| s u p p ν | =d|에스유피피 ν|=디|\mathrm{supp} \ \nu| =d∥ E유∼ ν유⊗ U†− E유∼ μH유⊗ U†∥∞≤ λ”이자형유∼ν유⊗유†−이자형유∼μH유⊗유†”∞≤λ\Vert \mathbb{E}_{U \sim \nu} U \otimes U^{\dagger} - \mathbb{E}_{U \sim \mu_H} U \otimes U^{\dagger}\Vert_{\infty} \leq \lambdaμHμH\mu_H디디d 해로우와 로우. 내 질문은-양자 확장기는 고전 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.