이론 컴퓨터 과학

Polymath 프로젝트에서 대규모 그룹은 공개 된 문제에 대해 연구합니다. 이 프레임 워크에서 어떤 종류의 문제가 가장 잘 작동합니까? 이론적 인 컴퓨터 과학에서 polymath 프로젝트에 대한 좋은 후보자가 있습니까? Polymath 프로젝트가 수학의 다른 영역과 비교하여 이론적 인 컴퓨터 과학에서 성공하기 어렵게 만드는 장애물이 있습니까?

11 soft-question  open-problem  research-practice 

Martin-Löf 유형 이론은 기본적으로 불확실성 없이 유도 성 건축의 추정 적 미적분학 입니까?PropProp\mathtt{Prop} 밀접하게 관련되어 있지만 보다 더 많은 차이점이 있다면 그 차이점은 무엇입니까?PropProp\mathtt{Prop}

11 type-theory  calculus-of-constructions 

나는 현재 자연 계산 문제의 목록이 양자 컴퓨터를 사용할 때 알려진 복잡한 이점이 없는지 궁금합니다. 우선, 편집 거리의 계산은 가장 빠른 알려진 양자 알고리즘이 가장 빠른 알려진 고전 알고리즘 인 것으로 생각합니다. 더 잠정적으로, 나는 알려진 가장 빠른 단가 워드 RAM 알고리즘과 비교하여 알려진 양자 속도 향상이없는 또 다른 문제로 …

11 ds.algorithms  quantum-computing  big-list 

Earley 파싱을 볼 때 매우 우아해 보이며 GLR 기술이 인기를 얻는 이유가 궁금합니다. Tomita가 GLR을 만든 Earley 구문 분석의 문제점을 아는 사람이 있습니까? 공연? 이 토론에 대한 모든 출판물은 높이 평가됩니다.

11 parsing 

정확성 증명, 나는 프로그램 등가의 가능한 개념을 찾고 있어요 Barendregt의 순수 타입 시스템 (PTS 값)에 대한; 충분한 특정 유형 시스템의 경우 누락되었습니다. 내 목표는 단순히 개념을 사용하는 것이지, 그 자체로 조사하지 않는 것입니다.≅≅\cong 이 개념은 " 확장 적 " 이어야합니다 . 특히 임을 증명하려면 t 1 을 증명하기에 충분해야합니다.t1≅t2t1≅t2t_1 \cong …

11 pl.programming-languages  type-theory  operational-semantics 

컴퓨터 과학 에 adic 숫자를 적용한 구체적인 사례 (또는 풍부한 출처)가 있습니까?피pp

11 survey 

넣어야 의 최소 출력도 G 및 의해 δ - ( G ) 에서도 최소한.δ+( G )δ+(G)\delta^+(G)지GGδ−( G )δ−(G)\delta^-(G) A의 관련 질문 , 나는의 Ghouila - Houri 확장 언급 한 해밀턴 사이클에 디랙의 이론 제시, 그 경우 다음, G는 해밀턴이다.δ+( G ) , δ−( G ) ≥ N2δ+(G),δ−(G)≥n2\delta^+(G),\delta^-(G) \geq \frac{n}{2} 그의 …

11 reference-request  graph-theory 

@Marzio가 언급했듯이 다음 게임은 Generalized Geography 로 알려져 있습니다. 그래프 및 시작 정점 주어지면 게임은 다음과 같이 정의됩니다.G=(V,E)G=(V,E)G=(V,E)v∈Vv∈Vv \in V 매 턴마다 (두 플레이어가 번갈아 가며) 플레이어는 를 선택하고 다음과 같은 일이 발생합니다.u∈N(v)u∈N(v)u\in N(v) vvv 와 모든 모서리가 에서 제거됩니다 .GGG u→vu→vu\to v (즉, 는 꼭짓점 업데이트됩니다 ).vvvuuu "데드 엔드"(즉, …

11 graph-theory  graph-algorithms  gt.game-theory 

DFA를 사용하여 시뮬레이션하기 위해 2 개 이상의 n 개 상태 가 필요한 개 상태 의 nD (여기서 n 은 중요하지 않은 경우, 4 이상) 가있는 2DFA가 있습니까?nnnnnn2n2n2^n 양방향 DFA (2DFA)는 한 방향으로 만 입력 헤드를 이동시킬 수 유한 상태 오토 마톤 달리 읽기 전용 입력 테이프 진퇴시킨다 결정적 유한 상태 …

11 automata-theory  lower-bounds 

N 여왕 문제는 다음과 같습니다. 입력 : N 출력 : NXN 체스 판에 N "퀸"을 배치하여 두 개의 퀸이 같은 행, 열 또는 대각선에 놓이지 않도록합니다. 이것에 대한 Google 검색을 수행하면서 많은 교수의 많은 슬라이드가 이것이 NP-Hard 문제라고 주장했습니다 (예 : web.mst.edu/~ercal/387/slides/NP-Hard.ppt) 그러나 나는 증거를 찾을 수 없었습니다. 내가이 질문을하는 …

11 cc.complexity-theory  np-hardness  csp 

Gross and Tucker의 Topological Graph Theory에 따르면 , 표면에 그래프를 셀에 삽입 하면 ( '표면'으로 여기에 핸들 이있는 구를 의미하며, S n 아래 에 정확히 n이 있는 구를 나타냅니다 원래 그래프의면을 꼭짓점으로 처리하고 해당면이 원본 그래프에서 공통으로 갖는 모든면에 대해 두 꼭짓점 사이에 가장자리를 추가하여 이중 다중 그래프를 정의 할 …

11 ds.algorithms  reference-request  graph-theory  cg.comp-geom  topological-graph-theory 

나는 뉴런의 쌍 또는 그룹 사이의 상호 정보를 정량화하는 계산 신경 과학 실험실에서 일합니다. 최근에 상사는 "신경 역학의 복잡성"측정에 초점을 맞췄다. 이 연구 라인을 추구하면서, 우리 그룹의 일부 사람들은 "복잡한"과 "높은 엔트로피가있다"를 동일시하는 것으로 보입니다. 누구든지 정보 이론적 의미에서 계산 복잡성 (CS 의미에서)과 엔트로피의 관계가 무엇인지 안내해 줄 수 있습니까? …

11 cc.complexity-theory  it.information-theory 

근사 알고리즘은 일정한 상수까지 출력을 줄 수 있습니다. 이것은 정확한 알고리즘보다 만족스럽지 않습니다. 그러나 시간 복잡성에서는 일정한 요소가 무시됩니다. 따라서 다음과 같은 트릭이 가능한지 또는 일부 문제 를 해결하기 위해 사용되었는지 궁금합니다 .B∘AB∘AB \circ A 근사 알고리즘을 사용하여 문제 를 해결 하여 솔루션 를 일정한 인수 로 얻습니다 .SAAASSS 런타임이 …

11 ds.algorithms  big-list  approximation-algorithms 

이 질문은 기술적이지 않을 수 있습니다. 비 원어민 강사이자 알고리즘 클래스의 TA로서 나는 항상 '가제트'또는 '가변 가제트'에서 가제트가 무엇을 의미 하는지 궁금했습니다 . 사전은 가제트가 기계 또는 장치라고 말하지만 NP- 완전 증거와 관련하여 구어체가 어떤 의미인지는 잘 모르겠습니다.

11 cc.complexity-theory  np-hardness  terminology  reductions 

CNF 공식이 모노톤 (변인은 무시되지 않음) 인 SAT 변형에 관심이 있습니다. 이러한 공식은 분명히 만족할 만하다. 그러나 진정한 변수의 수는 솔루션이 얼마나 좋은지 측정하는 것이라고 말합니다. 따라서 다음과 같은 문제가 있습니다. 최소 참 모노톤 3SAT INSTANCE : 리터럴이 변수 (부정되지 않음) 인 변수의 U, 3 개의 리터럴의 분리 절 모음 …

11 cc.complexity-theory  np-hardness  sat