이론 컴퓨터 과학

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

1
차수 1의 n 다항식 곱하기
문제는 다항식 입니다. 모든 계수가 기계어에 적합하다고 가정합니다. 즉, 단위 시간으로 조작 할 수 있습니다.(1x + b1) × ⋯ × ( a엔x + b엔)(a1x+b1)×⋯×(anx+bn)(a_1 x + b_1) \times \cdots \times (a_n x + b_n) FFT를 트리 방식으로 적용하여 시간을 수행 할 수 있습니다 . 당신이 할 수 O는 ( N …
8
왜 이론적 인 컴퓨터 과학 / 연구에 가는가?
저는 현재 대학 [컴퓨터 과학]을 시작하고 있으며 연구를 시작할 수있는 많은 기회가 있습니다. 이 웹 사이트를 찾기 전에는 이런 식으로 진행할 의사가 없었지만 [AI와 함께 일하고 싶었을 것입니다. 아마도 게임 개발자 일 것입니다.] 그러나 이제는 선택을하기 위해 [또는 필요] 할 수 있습니다. 이 "세계"에 참여하도록 설득 할 수 있습니까? 어떤 …
3
NC = P 결과?
복잡성 동물원에있는 항목에 지적 EXP 이 경우 L = P 후 PSPACE = EXP. Savitch의 NPSPACE = PSPACE 이기 때문에 기본 패딩 인수가 로 표시되도록 말할 수있는 한 우리는 또한 Ruzzo의 자원 제한적 교대 계층 구조를 통한 L NL NC P를 알고 있습니다.(NL=P)⇒(PSPACE=EXP).(NL=피)⇒(스페이스=경험치).(\text{NL} = \text{P}) \Rightarrow (\text{PSPACE} = \text{EXP}).⊆⊆\subseteq ⊆⊆\subseteq …
8
고차 알고리즘
잘 알려진 알고리즘의 대부분은 입력 및 출력이 "일반"데이터라는 점에서 1 차입니다. 일부는 사소한 방식으로 정렬, 해시 테이블 또는 맵 및 폴드 함수와 같이 2 차입니다. 함수에 의해 매개 변수화되지만 다른 입력 데이터에서 호출하지 않는 한 실제로 흥미로운 것은 없습니다. 일부는 2 차이지만 다소 흥미 롭습니다. monoid로 매개 변수화 된 핑거 …
9
복잡성의 놀라운 결과 (복잡성 블로그 목록에 없음)
복잡성에서 가장 놀라운 결과는 무엇입니까? 예상치 못한 / 놀라운 결과 목록을 작성하는 것이 도움이 될 것이라고 생각합니다. 여기에는 놀라운 결과가 나오지 않았으며 예상치 못한 결과와 다른 결과가 포함됩니다. 편집 : 주어진 목록 (@Zeyu 지적) 복잡성 블로그에 Gasarch, 루이스, 그리고 래드 너에 의해,의없는 자신의 목록에 결과에 대한이 커뮤니티 위키 초점을 맞출 …
3
확장 된 교회 순회 논문
이 사이트에서 가장 많이 논의 된 질문 중 하나는 교회 예배 주제를 반박하는 것이 무엇을 의미 하는가 입니다. 이것은 Dershowitz와 Gurevich가 2008 년에 교회 튜링 논문이 Symbolic Logic의 게시판이라는 증거를 발표했기 때문입니다. (나는 여기서 논의하지는 않지만 링크와 광범위한 의견은 원래 질문을 참조하십시오. -뻔뻔한 자체 프로모션- 내가 쓴 블로그 항목 ) …
1
포함하는 결과
많은 사람들이 합니다. 그러나 가 다항식 계층 구조의 두 번째 수준에 있다는 것만 알고 있습니다 . 즉, 입니다. 를 표시하기위한 단계 는 먼저 다항식 계층의 첫 번째 수준 (예 : 입니다.BPP=P⊆NPBPP=P⊆NP\mathsf{BPP} = \mathsf{P} \subseteq \mathsf{NP}BPPBPP\mathsf{BPP}BPP⊆ΣP2∩ΠP2BPP⊆Σ2P∩Π2P\mathsf{BPP}\subseteq \Sigma^ \mathsf{P}_2 \cap \Pi^ \mathsf{P}_2BPP=PBPP=P\mathsf{BPP} = \mathsf{P}BPP⊆NPBPP⊆NP\mathsf{BPP} \subseteq \mathsf{NP} 격리는 비결정론이 다항식 시간에 대한 임의성만큼 …
8
컴퓨터 과학에 Alan Turing의 공헌
(이론적) 컴퓨터 과학의 선구자 중 한 사람인 Alan Turing 은 Turing 기계 정의, 교회-투어링 논문, 결정 불가능 성 및 Turing 테스트 정의를 포함하여 우리 분야에 많은 과학적 기여를했습니다. 그러나 그의 중요한 발견은 내가 열거 한 것으로 제한되지 않습니다. 그의 100 번째 생일을 기리기 위해, 나는 그의 작품에 대한 더 나은 …
11
P의 문제에 대한 근사 알고리즘
일반적으로 NP-hard 문제에 대한 해결책을 보장하는 것에 대해 생각합니다. 이미 P로 알려진 문제를 근사화하는 연구가 있습니까? 여러 가지 이유로 좋은 아이디어가 될 수 있습니다. 내 머리 꼭대기에서 근사 알고리즘은 훨씬 더 낮은 복잡성 (또는 훨씬 더 작은 상수)으로 실행될 수 있으며 공간을 덜 사용하거나 훨씬 더 병렬화 할 수 있습니다. …
3
아이템 찾기를위한 비교 기반 데이터 구조
정렬되지 않은 항목의 배열을 취하고 에서 사전 처리를 수행 하고 쿼리에 응답 하는 데이터 구조가 있습니까? 목록에 일부 요소 가 있고 각 쿼리는 최악의 시간 입니까?nnnO(n)O(n)O(n)xxxO(logn)O(log⁡n)O(\log n) 나는 실제로 없다고 생각하므로 아무도 없다는 증거도 환영합니다.
3
P에있는 팩토링의 결과?
팩토링은 NP- 완전한 것으로 알려져 있지 않습니다. 이 질문은 팩토링이 NP-complete라는 결과를 요구했습니다. 흥미롭게도, P에있는 팩토링의 결과를 요구 한 사람은 아무도 없었습니다 (아마도 그러한 질문은 사소한 것이기 때문입니다). 그래서 내 질문은 : P에있는 팩토링 의 이론적 결과는 무엇입니까? 복잡성 클래스의 전반적인 그림이 그러한 사실에 어떻게 영향을 받습니까? P에있는 팩토링 의 …
6
학술 논문의 코드
학업 경력에서 다양한 컴퓨터 과학 주제에 관한 학술 논문을 많이 읽었습니다. 많은 것들이 구현과 그 구현에 대한 일부 평가를 포함하지만, 실제로 사용 된 코드를 게시하는 사람은 거의 없습니다. 나에게 실제 구현을 포함하면 다음과 같은 이점이 있습니다. 신뢰 또는 재현성 확장 (직접 테스트하십시오!) 모호함의 명확화 (특히 모국어가 아닌 사람이 작성한 논문의 …
1
Plotkin-Shmoys-Tardos 및 Arora-Kale 솔버의 장난감 예제
Arora-Kale SDP 솔버가 거의 선형 시간에 Goemans-Williamson 이완을 근사화하는 방법, Plotkin-Shmoys-Tardos 솔버가 거의 선형 시간의 분수 "패킹"및 "커버링"문제를 근사화하는 방법 및 알고리즘을 이해하고 싶습니다. "전문가로부터의 학습"추상 프레임 워크의 인스턴스입니다. Kale의 논문은 훌륭한 프리젠 테이션을 가지고 있지만 추상 프레임 워크로 직접 들어가는 것이 매우 어렵다는 것을 알았습니다. 나는해야 할 일이 명백한 …
3
가중치가 주어진 경우, 각 가중치를 상위 가중치의 합으로 대체하는 O (V + E) 알고리즘이 있습니까?
물론 문제는 이중 계산입니다. 특정 클래스의 DAG = 트리 또는 직렬 병렬 트리에 대해 수행하기가 쉽습니다. 합리적인 시간에 일반 DAG에서 작동하는 유일한 알고리즘은 대략적인 알고리즘 (시놉시스 확산)이지만 정밀도를 높이는 것은 비트 수에 기하 급수적이며 많은 비트가 필요합니다. 배경 :이 작업은 BBChop (http://github.com/ealdwulf/bbchop)의 확률 계산의 일부로 간헐적 인 버그 (예 : …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.