«big-list» 태그된 질문

이론적 컴퓨터 과학에서 일부 매개 변수 n을 포함하고 소수의 n과 소수에 대해 입증되었지만 나중에 거짓으로 판명 된 추측이 있습니까? 수 이론에서는 이러한 문제가 존재한다. 로 아론 Meyerowitz는 지적 cyclotomic 다항식의 계수에 대한 하나를. TCS에서 나는 아직 불안정한 회피 성 추측 과 같은 예만을 알고 있습니다 .

17 big-list  primes 

나는 논리의 견고한 배경을 가진 수학의 대학원생입니다. 유한 모델 이론에 대한 대학원 과정과 강제 및 설정 이론에 대한 대학원 과정과 함께 논리에서 1 년 동안의 대학원 과정을 수강했습니다. 대부분의 CS 텍스트는 논리에서 아주 겸손한 배경 만 가정하는 것으로 보이며, 주로 제안 논리 및 1 차 논리의 기본 사항을 다룹니다. 로직의 …

17 lo.logic  soft-question  big-list  books  formal-methods 

성공적인 비 무작위 화의 주요 예는 무엇입니까? P=BPPP=BPPP=BPP 무작위 목표 (경도 무작위성 연결이 아님) 무엇입니까? 내 마음에 오는 유일한 예는 AKS 결정적 다항식 시간 우선 성 테스트입니다 (GRH를 가정하는 방법론이 있었음에도 불구하고). 그렇다면 우리는 무작위 화 (경도 또는 오라클 연결이 아님)에 대해 어떤 구체적인 증거를 가지고 있습니까? 랜덤 화 폴리에서 …

15 cc.complexity-theory  big-list  randomized-algorithms  derandomization  pseudorandom-generators 

Larry Wasserman은 최근 "p-value police"에 대해 이야기하는 게시물을 가지고 있습니다. 그는 흥미로운 점 (모든 강조점) (내가 추가 한 이탤릭체의 전제와 그 아래의 그의 반응)을 만듭니다. 가장 일반적인 불만은 물리학 자와 언론인이 p- 값의 의미를 잘못 설명한다는 것입니다. 예를 들어, p- 값이 0.000001 인 경우 "신호가 진짜라는 99.9999 %의 신뢰도가 있습니다"와 …

15 ds.algorithms  soft-question  big-list 

max{k,n/k}max{k,n/k}\max \left\{k, n/k\right\}k=n−−√k=nk=\sqrt n 이산 로그를 계산하기위한 베이비 스텝 자이언트 스텝 알고리즘 ,O(n−−√)O(n)O(\sqrt n) 시간 및 메모리에서의 정적 2D 직교 범위 계산 ,O(n)O(n−−√)O(n)O(\sqrt n)O(n)O(n)O(n) EXTRACT-MIN이 있고 에 DECREASE-KEY가있는 우선 순위 큐 ,O(1)O ( n−−√케이)O(nk)O(\sqrt[k] n)O ( 1 )O(1)O(1) 다항식 시간에 색상 으로 3 색 그래프를 채색 ,O ( n−−√)O(n)O(\sqrt n) …

15 ds.algorithms  ds.data-structures  big-list  teaching 

인터넷에서 검색했지만 SAT 문제의 변형 된 '큰 목록'을 찾을 수 없었습니다. (공통)을 제외하고 수능, k-SAT, MAX-kSAT, 반토, XOR-SAT, NAE-SAT 다른 변형이 있습니까? (또한 복잡한 클래스가 제공되는 경우 (가능한 경우) 실제로 유용합니다)

14 cc.complexity-theory  sat  big-list 

나는 가을에 박사 학위를 시작하고 논문에 대한 복잡한 이론을 연구 할 계획입니다. 나는 모든 복잡한 이론가들이 알아야 할 중요한 논문 목록을 작성하고있다. 나와 같은 사람에게 어떤 논문을 제안 하시겠습니까? 그리고 왜 논문이 중요하다고 생각하는지 간략하게 설명하십시오.

14 cc.complexity-theory  reference-request  big-list 

"너무 좋아서"데이터 구조의 존재를 배제한 결과가 알려져 있습니까? 예를 들어 , 주문 유지 보수 데이터 구조 에 and 기능을 추가 하고 ( Dietz 및 Sleator STOC '87 참조 ) 여전히 시간 작업을 얻을 수 있습니까?에스P l i t에스피엘나는티Split제이o 나 n제이영형나는엔JoinO (1)영형(1)\mathcal{O}(1) 또는 정수 키와 시간 연산으로 순서 집합을 구현할 수 …

14 ds.data-structures  big-list  lower-bounds  time-complexity 

알고리즘 게임 이론 (또는 일반적으로 CS와 관련된 게임 이론)에서 어떤 종류의 추측과 주요 문제가 가장 중요합니까? 예를 들어 PPAD가 완료된 NASH의 해결책은 해결 될 때까지 가장 큰 해결책이라고 생각합니다. (추가 : PPAD와 P 및 NP의 관계를 해결하는 것은 하나의 좋은 열린 문제이지만 계산 복잡성에 깊숙이 뿌리 내리지 않은 다른 것도 …

14 big-list  gt.game-theory 

내가 포함시킬 두 가지 논문은 다음과 같습니다. D. Kozen, " 하위 재귀 클래스의 인덱싱" , STOC, 1978. R. Ladner, "다항식 시간 중복성의 구조" , JACM, 1975.

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity 

일반적인 청중 대화에 대한 사람들의 직관에 반하는 결과의 예를 찾고 있습니다. 전문가가 아닌 사람들에게 "직관이 무엇을 말해 주는가?" cs / math의 학부생들에게 결과 설명을 쉽게 설명 할 수 있어야합니다. 나는 주로 컴퓨터 과학의 결과를 찾고 있습니다. 귀하의 지역에서 가장 반 직관적이고 예기치 않은 결과는 무엇입니까?

14 big-list  teaching  intuition 

전문 프로그래밍 과정 (/ 자기 생각)을 수강했지만 대학 수준의 수학을 공부하지 않은 프로그래머와 만나고 있다고 가정합니다. 그들에게 TCS의 아름다움을 보여주기 위해, 쉽게 설명 할 수있는 TCS에서 나오는 멋진 결과 / 공개 질문을 수집하고 싶습니다. 이 목적에 적합한 후보 (IMHO)는 중지 문제를 결정할 수 없음을 보여줍니다. 다른 하나는 비교 기반 정렬의 …

13 soft-question  big-list  big-picture  teaching 

온라인 알고리즘에 관한 최근 책이 있습니까? 나는 그 주제에 관한 두 권의 책만 알고 있습니다. Allan Borodin과 Ran El-Yaniv의 온라인 계산 및 경쟁 분석 :이 책은 고전적이지만 오래된 책이며이 분야의 최근 발전 내용이 많이 포함되어 있지 않습니다. Niv Buchbinder와 Joseph (Seffi) Naor 의 Primal-Dual Approach를 통한 경쟁 온라인 알고리즘의 설계 …

13 reference-request  big-list  online-algorithms 

Alan Turing 탄생 100 주년을 축하하기 위해 그의 삶에 관한 다큐멘터리를보고 싶습니다. 그러나 몇 가지 다큐멘터리가 있습니다. Alan Turing에 대한 어떤 다큐멘터리가 가장 좋아합니까? 답변 당 하나의 다큐멘터리 만 포함하십시오.

13 reference-request  soft-question  big-list  ho.history-overview 

컴파일러 이론은 꽤 검증 된 주제 인 것 같습니다. 이 분야에서 진행중인 개방형 문제 또는 현재 연구는 무엇입니까?

13 soft-question  big-list  open-problem  compilers