이론 컴퓨터 과학

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

6
문법을 통해 어떤 계산 모델을 표현할 수 있습니까?
이것은 문법 프로그램입니까? 의 재구성입니다 . Vag가 이전에 요청했으며 주석 작성자의 많은 제안이 있습니다. 문법은 어떤 방식으로 계산 모델을 지정하는 것으로 볼 수 있습니까? 예를 들어 다음과 같은 간단한 문맥없는 문법을 사용하는 경우 G ::= '1' -> '0' '+' '1' '1' -> '1' '+' '0' '2' -> '2' '+' '0' …
3
무결성 갭과 근사 비율
최소화 문제에 대한 근사 알고리즘을 고려할 때이 문제에 대한 IP 공식의 적분 갭은 특정 클래스의 알고리즘 (예 : 반올림 또는 기본 이중 알고리즘)에 대한 근사 비율의 하한을 제공합니다. 실제로, 근사 비율이 적분 갭과 일치하는 많은 문제가 있습니다. 일부 알고리즘은 일부 문제의 적분 갭보다 더 나은 근사화 비율을 가질 수 있지만 …
1
쿼드 에지 데이터 구조 (Delaunay / Voronoi)
계산 계 또는 대수학자를위한 2 가지 질문 : 나는 방금 계산 기하학으로 뛰어 들기 시작했고 그것을 좋아하고 있습니다 =) 나는라고 Guibas 및 Stolfi로 유명한 기사 읽으려고하고있다 "일반적으로 구획의 조작과 보로 노이 다이어그램의 계산을위한 프리미티브" 들로네 삼각 분할 알고리즘을 구현하기 위해서입니다. 나는 모든 이론적 인 내용을 건너 뛰고 시간을 절약하기 위해 …
2
PH에 대한 시간 계층 정리가 있습니까?
이것은 시간의 다항식 계층 풀 수있는 문제가있는 것은 사실이다 으로 풀 수없는 (다항식 계층의 일부 레벨 기계 튜링 교류에 의해) 의 다항식 계층의 모든 수준? 다시 말해, P와 NP에 대한 다항식 계층에 대한 시간 계층 정리가 존재 하는가? 있다면-참조가 좋을 것입니다.O(nk)O(nk)O(n^k)O(nk−1)O(nk−1)O(n^{k-1}) 내가 직면 한 어려움은 모든 레벨의 계층에서 머신을 시뮬레이션 …
5
P = NP가 P = AP를 의미하지 않는 이유는 무엇입니까 (예 : P = PSPACE)?
이면 다항식 계층 구조가 붕괴되고 것으로 잘 알려져 있습니다.P = N P P=NP\mathbf{P}=\mathbf{NP}P = P HP=PH\mathbf{P}=\mathbf{PH} 이것은 oracle machine을 사용하여 쉽게 유도 할 수 있습니다. 문제는-왜 우리는 지속적인 교대 수준 이상의 유도 과정을 계속하고 (일명 )?P = A l t T i m e ( n O ( 1 ) …
2
암시 적 vs 명시 적 서브 타이핑
이 페이지 는 많은 언어가 암시 적 서브 타이핑 (구조적 동등성)을 사용하지 않고 명시 적 / 선언 된 서브 타이핑 (선언 동등성)을 선호합니다. 나는 주로 명시 적 subtyping 을 사용하는 프로그래밍 언어를 사용했습니다 . 위의 참고에서 설명한대로 암시 적 하위 유형의 장점은 무엇입니까?
3
Brzozowski의 정규 표현식을 문법으로 파생시키는 방법의 일반화?
Brzozowski의 미분법 은 정규식에서 결정 론적 오토마타를 대수적으로 만드는 매우 훌륭한 기술입니다. 더 큰 문법 클래스를 처리하기 위해이 기술의 귀여운 일반화를 수행했지만 알고리즘은 이전에 발견 된 것처럼 보일 정도로 간단합니다. 그러나이 기술의 자손에 대한 인터넷 검색은 많이 나타나지 않습니다. 아는 사람 있나요?
6
TCS 전문가가 P! = NP라는 증거를 읽으려면 돈을 청구해야합니까?
P 대 NP 문제에 관심이있는 수많은 아마추어 (자체 포함)가 있다는 것이 잘 알려져 있습니다. 이 문제를 해결하려고 시도한 많은 사람들이 있습니다. 제가 TCS 커뮤니티가 겪고 있다고 생각하는 한 가지 문제는 상대적으로 높은 관심사 대 전문가 비율입니다. 이로 인해 전문가들은 P! = NP라는 증거로 침수되고이 상황에 의해 매우 당황스럽고 압도적이라는 사실을 …
5
간단하고 실용적인 결정 알고리즘, 복잡한 실행 시간
종종 알고리즘의 실행 시간이 복잡한 표현 인 경우 알고리즘 자체도 복잡하고 실용적이지 않습니다. 점근 적 실행 시간의 각 큐브 루트 및 요인은 알고리즘에 복잡성을 더하고 실행 시간에 상수 요인을 숨기는 경향이 있습니다.로그로그엔log⁡log⁡n\log \log n 이 경험 법칙이 실패한 놀라운 예가 있습니까? 물론 아주 간단한 최악의 실행 시간이 있더라도 구현하기 어려운 …
4
P = BQP 인 경우 PSPACE (= IP) = AM을 의미합니까?
최근 Watrous 등은 QIP (3) = PSPACE가 놀라운 결과임을 입증했습니다. 이것은 나 자신에게 가장 적은 말을 한 놀라운 결과였으며 생각을 떨쳐 버렸습니다 ... Quantum Computers가 Classical Computers로 효율적으로 시뮬레이션 될 수 있는지 궁금했습니다. IP와 AM으로 나누기와 관련이있을 수 있습니까? 내 말은 IP는 다항식 수의 고전적 상호 작용을 특징으로하는 반면 AM은 …
1
논리 및 기타 공식적인 증거 시스템에서 비유 도성을 나타내는 기법
고전 명제 로직 증명 시스템에서 하나의 특정 화학식 보여 것인지 단지 유도 한 방송 아니다 ¬ ψ는 (다른 기술은 확실히 가능하지만)이 유도 될 수있다. 비파 생성은 본질적으로 증거 시스템의 건전성과 완전성에서 비롯됩니다.ψψ\psi¬ ψ¬ψ\neg\psi 불행히도 고전적이지 않은 논리와보다 이국적인 증거 시스템 (예 : 운영 의미론의 기본 규칙)에는 그러한 직접적인 기술이 없습니다. …
18 lo.logic 
1
지배적 세트 문제가 최대 3 NP- 완전의 평면 이분 그래프로 제한됩니까?
누구든지 최대 등급 3의 평면 이분 그래프 클래스로 제한되는 그래프의 DOMINATING SET 문제에 대한 NP- 완전성 결과에 대해 알고 있습니까? 최대 3 도의 평면 그래프 클래스 (Garey와 Johnson 책 참조)와 최대 3 도의 2 분자 그래프 (M. Chlebík 및 J. Chlebíková 참조, "근사 경도 경계도 그래프에서 설정된 문제를 지배 함 …
2
중앙값 선택을위한 스토리지 요구 사항 (2 개의 패스 알고리즘)
고전 논문 Munro와 Paterson 은 알고리즘이 무작위로 정렬 된 배열에서 중앙값을 찾는 데 얼마나 많은 저장 공간이 필요한지에 대한 문제를 연구합니다. 특히 다음 모델에 중점을 둡니다. 입력은 P 번 여러 번 왼쪽에서 오른쪽으로 읽습니다. 그것은 도시되는 의 메모리 셀은 충분하지만,이 하부 P = 1 만 알려져 결합 대응. P> 1에 …
1
도마 퍼즐
문제점 : 정수 길이를 갖는 스틱 세트가 제공됩니다. 길이의 총합은 n (n + 1) / 2입니다. 다항식 시간 에 크기가 스틱을 얻기 위해 그것들을 분해 할 수 있습니까 ? 1 , 2 , … , n1,2,…,n{1,2,\ldots,n} 놀랍게도,이 문제에 대한 유일한 참조는이 고대 토론입니다. http://www.iwriteiam.nl/cutsticks.html 이 문제에 대해 알려진 것이 무엇입니까? …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.