이론 컴퓨터 과학

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

2
그래프의 스펙트럼 파티셔닝을위한 논문
경우 무향 인 정규적인 그래프와 기수의 정점의 집합이다 통화 에지 확장 의 금액d S ≤ | V | / 2 SG = ( V, E)G=(V,E)G=(V,E)디dd에스SS≤ | V| / 2≤|V|/2\leq |V|/2에스SS ϕ ( S) : = E디지즉 S ( S, V− S)디⋅ | 에스| ⋅ | V− S|ϕ(S):=Edges(S,V−S)d⋅|S|⋅|V−S|\phi(S) := \frac {Edges(S,V-S)}{d\cdot …
2
Parity-L = P의 결과는 무엇입니까?
Parity-L 은 비 결정적 튜링 머신에 의해 인식되는 언어 세트로, 짝수 또는 홀수의 "수락"경로 (0 또는 0이 아닌 허용 경로가 아닌) 만 구별 할 수 있습니다. 대수 공간에서 작동하도록 제한되었습니다. ℤ 2 이상의 방정식의 선형 시스템을 푸는 것은 Parity-L의 완전한 문제이므로 Parity-L은 P에 포함됩니다. Parity-L과 P가 같으면 다른 어떤 복잡한 …
3
에 자연적인 문제에 대한 후보가 있습니까?
불균일성이 실제로 컴퓨팅 기능에 도움이되는지 알고 싶습니다. 함수가 있음을 보여주고 , 계산할 수없는 함수 취하고 , 간단한 비 균일 회로를 갖는 언어 { }를 고려하는 것이 쉽습니다 그러나 균일하게 계산할 수는 없지만 이것은 내가 관심있는 기능이 아닙니다.P/poly−PP/poly−PP/poly - Pfff0f(n):n∈ω0f(n):n∈ω0^{f(n)}:n\in \omega 불균일하게 계산 될 수 있다는 것을 알고 있지만 균일하게 계산 …
6
어떤 SAT 문제가 쉬운가요?
만족스러운 "쉬운 영역"이란 무엇입니까? 다시 말해, 일부 SAT 솔버가 존재한다고 가정하여 만족스러운 할당을 찾을 수있는 충분한 조건입니다. 한 가지 예는 각 절이 LLL의 건설적 증거 로 인해 다른 절과 변수를 공유 하는 경우 해당 줄을 따라 다른 결과가 있습니까? 거기에 상당한 문학 믿음 전파 쉬운 지역에가, satisfiability에 대한 그 라인을 …
6
기하 급수적으로 긴 분해능 증명이 필요한 잘 알려진 부울 수식 클래스
SAT 솔버에서 절단 평면 방법, 가변 전파, 분기 및 바운드, 절 학습, 지능형 역 추적 또는 핸드 메이드 인간 휴리스틱을 찾을 수 있습니다. 그러나 수십 년 동안 최고의 SAT 솔버는 해상도 증명 기술에 크게 의존해 왔으며 단순히 다른 스타일의 조합을 사용하여 도움을주고 해상도 스타일을 직접 검색했습니다. 분명히 어떤 알고리즘이라도 적어도 …
4
교회 정리와 고델의 불완전 성 정리
나는 최근 계산 능력에 관해 다양한 논리 학자와 수학자들이 수행 한 획기적인 연구의 아이디어와 역사를 읽었습니다. 개별적인 개념은 제게 분명하지만, 상호 관계와 그것들이 모두 연결되어있는 추상적 수준을 확실히 파악하려고합니다. 우리는 교회의 정리 (또는 Alonzo Church와 Alan Turing 의 Hilbert의 Entscheidungs ​​문제 의 독립적 증거 )가 일반적으로 공식 시스템에서 주어진 수학적 …
2
BQP를 캡처하는 대략적인 계산 문제
블랙 박스 모델에서, 입력 상에서 BPP 머신 의 출력을 결정하는 문제는 가산 오차 1/3 (예를 들어) 인 을 결정하는 대략적인 카운팅 문제이다 .xM(x,r)M(x,r)M(x,r)xxxErM(x,r)ErM(x,r)E_r M(x,r) BQP에도 비슷한 문제가 있습니까? Ken Regan의이 의견 은 그러한 문제를 제안합니다 BPP 질문을 단일 #P 함수에 가깝게 줄일 수 있지만 BQP를 사용하면 두 #P 함수의 차이점을 …
6
계산에서 실수는 어떻게 지정됩니까?
이것은 기본적인 질문 일지 모르지만 내쉬 평형 계산 및 선형 퇴행성 테스트와 같은 주제에 대한 논문을 읽고 이해하려고 시도했으며 실수가 입력으로 지정되는 방법을 확신하지 못했습니다. 예를 들어, LDT에 특정 다항식 하한이 있다고 언급 될 때 실수는 입력으로 취급 될 때 어떻게 지정됩니까?
4
양자 근사 알고리즘
일반적으로 양자 컴퓨터가 NP- 완전 문제를 효율적으로 해결할 수있을 것 같지는 않습니다. 고전적인 경우 이러한 문제를 해결하는 한 가지 방법은 근사 알고리즘을 사용하는 것입니다. 양자가 고전적인 근사 방법에 비해 상당한 속도 향상을 제공하는 양자 컴퓨팅을 사용한 근사 알고리즘에 대한 연구가 있습니까? "중요한"이라는 말은 반드시 지수가 아니라 반드시 해당 정확한 알고리즘보다 …
1
PLANAR SAT에 대한 서브 지수 알고리즘이 알려져 있습니까?
일반 그래프에서 지수가되는 일부 NP-hard 문제는 트리 폭이 최대 이고 트리 폭에서 지수 이기 때문에 평면 그래프에서 하위 지수입니다.4.9 | V( G ) |−−−−−−√4.9|V(G)|4.9 \sqrt{|V(G)|} 기본적으로 NP-complete 인 PLANAR SAT에 대한 하위 지수 알고리즘이 있는지에 관심이 있습니다. 하자 변수에 CNF 식 수 는 AND 번째 절은 .x i i c …
1
크기의 나무의 평균 높이 가 또는 가 아닌 일반 트리 언어가 있습니까?
우리는 TATA 책에서와 같이 규칙적인 트리 언어 를 정의합니다 . 그것은 비결정론 적 유한 트리 오토 마톤 (1 장)에 의해 허용되는 나무들의 집합입니다. 두 형식주의는 잘 알려진 끈 유사체와 유사하다. 크기의 나무의 평균 높이 가 또는 가 아닌 일반 트리 언어가 있습니까?Θ ( n ) Θ ( √nnnΘ(n)Θ(n)\Theta(n)Θ(n−−√)Θ(n)\Theta(\sqrt{n}) 분명히 나무의 …
1
라빈-카르 프 및 카르 프-라빈
Wikipedia의 현명한 다른 편집자들은 Rabin–Karp 알고리즘 의 Wikipedia 기사를 Rabin–Karp 이름이 더 자주 사용된다는 이유로 Karp–Rabin 알고리즘이라고하는 생각 으로 옮기라 는 요청을 거부 했습니다. 구글 학자의 숫자로 가거나 거짓으로 들린다면 (거의?) 원래 출판 이름 순서는 Karp and Rabin으로, 알파벳 순으로 이론 논문에서와 같이 알파벳 순서로 이동을 요청했습니다. Rabin–Karp 이름 순서의 …
1
매트릭스 파워 링의 복잡성
하자 사각형 정수 행렬 및하자 n은 양의 정수를합니다. 다음 의사 결정 문제의 복잡성에 관심이 있습니다.NMMMnnn M ^ n 의 오른쪽 상단 항목이 MnMnM^n양수입니까? 반복 된 제곱 (또는 다른 명시 적 계산)의 명백한 접근 방식은 두 배의 지수 크기, 즉 지수 적으로 많은 비트를 갖는 정수를 잠재적으로 처리해야합니다. 그러나이 문제는 Allender …
1
누가 Pi를 계산하기 위해 Monte Carlo 알고리즘 사용을 처음 제안 했습니까?
나는 모든 사람들이 18 세기 부폰의 바늘 실험에 대해 알고 있다고 확신 한다. 이것은 를 계산하는 최초의 확률 알고리즘 중 하나이다 .ππ\pi 컴퓨터에서 알고리즘을 구현하려면 일반적으로 또는 삼각 함수를 사용해야합니다.이 함수는 잘린 시리즈로 구현 되더라도 목적에 맞지 않습니다.ππ\pi 이 문제를 피하기 위해 잘 알려진 거부 방법 알고리즘이 있습니다 : 단위 …
2
임계 3-SAT 밀도를위한 현재 가장 엄격한 한계
중요한 3- 만족도 (3-SAT) 밀도 있습니다. 무작위로 생성 된 3-SAT 절의 수가 이상인 경우 그러한 가 존재한다고 추측 됩니다. 거의 만족할 수 없습니다. (여기서 은 작은 상수이고 은 변수의 수입니다.) 숫자가 이하이면 거의 확실하게 만족할 수 있습니다.αα\alphaαα\alpha(α+ϵ)n(α+ϵ)n(\alpha + \epsilon) nϵϵ\epsilonnnn(α−ϵ)n(α−ϵ)n(\alpha - \epsilon) n Elitza Nikolaeva Maneva의 제약 만족 문제 문제 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.