«open-problem» 태그된 질문

Alon and Spencer의 책 Probabilistic Method 1 장은 다음과 같은 문제를 언급합니다. 그래프 주어지면 가장자리 연결이 n / 2 이상인지 여부를 결정하십시오 .지GGn / 2n/2n/2 저자는 (A)의 존재를 언급 Matula하여 알고리즘 및 그것을 개선 O ( N 8 / 3 로그 N ) .O ( n삼)O(n3)O(n^3)O ( n8 / 3로그n …

13 ds.algorithms  open-problem  graph-algorithms 

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

13 soft-question  big-list  open-problem  compilers 

2004 년 솔 Schleimer 의해 작업을 통해 삼각 주어진 3 매니 폴드 3 구가 있는지의 여부를 결정하는 NP되어 알려진 "NP의 구형 인식 거짓" arXiv : 수학 / 0407047v1 [math.GT] . 지난 5-6 년 동안 이것이 NP 완료로 설정되었는지 궁금합니다. 3- 매니 폴드 매듭 속 문제와 같은 유사한 문제가 NP- 완료로 …

13 cc.complexity-theory  reference-request  open-problem  topology 

Greibach 유명 언어 정의 소위 결정적 버전 의 D 2 어떤 CFL의 역수가 형태 적 화상이되도록, H를 . DCFL에 대해 비슷한 형태가 존재하며, 허용되는 형태에 대한 제한이 있습니까?HHH디2D2D_2HHH (예 : M. Autebert, J. Berstel 및 L. Boasson. 문맥없는 언어 및 푸시 다운 오토마타 참조. R. Rozenberg 및 A. Salomaa, 편집자, …

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

다양한 수의 이론 / 대수 문제의 알려진 또는 알려지지 않은 복잡성에 대한 목록을 찾고 있습니다. 예를 들어 GCD 가 열려 있습니다.엔씨1NC1NC^1 인수 분해 가 열려 있습니다.피PP 컴퓨팅 뭉치 상동 성은 -hard# P#P\#P , Arora와 Barak 은 팩토링의 변형이 라고 말합니다 ( NP- 완전 팩토링의 변형 에 대한 논의에 따르면 명확하지는 …

12 cc.complexity-theory  big-list  algebra  open-problem 

다음 특성에 문제점이 있습니다. 1) 그것들은 PSPACE- 완전한 (아마도 잘 알려진) 문제의 제한입니다. 2) 제한된 버전은 PSPACE에 있지만 PSPACE가 완료된 경우 (또는 NP 하드 인 경우에도) 열린 문제 입니다. "퍼즐 & C"의 4 가지 예 : 1x1 러시 아워 [1]의 복잡성 (크기 2x1의 블록에 대해 PSPACE- 완료); [ 해결하고자 ] …

12 big-list  open-problem 

으로 http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf 경우 PSPACE 완성 언어이며, .P A = N P AㅏAA피ㅏ= N피ㅏPA=NPAP^{A}=NP^{A} 경우 결정적 다항식 시간 오라클, 인 (가정 ).P B ≠ N P B P ≠ N P비BB피비≠ N피비PB≠NPBP^{B}\ne NP^{B}피≠ N피P≠NPP\ne NP # P P ⊆ P P ⊆ P S P A C E피피PPPP 는 및 대한 …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

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

11 soft-question  open-problem  research-practice 

통신 복잡성에서 로그 순위 추측은 cc(M)=(logrk(M))O(1)cc(M)=(log⁡rk(M))O(1)cc(M) = (\log rk(M))^{O(1)} 여기서 은 M ( x , y ) 의 통신 복잡도 이고 r k ( M ) 은 실수에 대한 M (행렬) 의 순위입니다 .cc(M)cc(M)cc(M)M(x,y)M(x,y)M(x,y)rk(M)rk(M)rk(M)MMM 그러나 계급 방법을 사용하여 하한 을 사용 하는 경우 편리한 모든 필드에서 r k 를 사용할 …

10 cc.complexity-theory  big-picture  linear-algebra  open-problem  communication-complexity 

나는 과학 "다항식 자원과 집단 상태를 사용하여 다항식 시간에 NP- 완전한 문제를 계산하는 방법"에 실린 기사를 발견 했다. Memcomputing은 상호 작용하는 메모리 셀 (약간 프로세서)을 사용하여 동일한 물리적 플랫폼에 정보를 저장하고 처리 하는 새로운 비 Turing 패러다임 계산 방식입니다. 최근 에 memcomputing 기계가 비 결정적 Turing 기계와 동일한 계산 능력을 …

9 np-complete  open-problem 

우리는 알고 L⊆NL⊆P⊆NPL⊆NL⊆P⊆NP\mathcal{L}\subseteq \mathcal{N\!L}\subseteq\mathcal{P}\subseteq\mathcal{N\!P}. 사 비치 정리에서NL⊆L2NL⊆L2\mathcal{N\!L}\subseteq\mathcal{L}^2Space Hierarchy Teorem에서 L≠L2L≠L2\mathcal{L}\neq\mathcal{L}^2. 우리가 알지 못하는 것처럼L≠PL≠P\mathcal L\neq\mathcal P, 우리는 모른다 L2⊆PL2⊆P\mathcal L^2\subseteq\mathcal P또는 우리는 그것을 알고 있습니까 L2⊈PL2⊈P\mathcal L^2\not\subseteq\mathcal P? 아무도 그것을 증명하려고 노력 했습니까?L2⊆PL2⊆P\mathcal L^2\subseteq\mathcal P? 이런 식으로 최신 결과 또는 노력은 무엇입니까? 이 주제에 대한 설문을 작성하려고했지만 관련성이 없습니다. 또한 …

9 reference-request  complexity-classes  open-problem  hierarchy-theorems 

B a c k g r o u n d––––––––––––––Background_\underline{\bf Background} 2005 년에 Regev [1]은 오류와 학습 패리티의 일반화 인 LWE (Learning with Errors) 문제를 도입했습니다. 특정 매개 변수 선택에 대한이 문제의 경도에 대한 가정은 격자 기반 암호화 분야에서 다수의 포스트 퀀텀 암호 시스템에 대한 보안 증명의 기초가되었습니다. LWE의 "정식"버전이 …

9 cc.complexity-theory  ds.algorithms  cr.crypto-security  machine-learning  open-problem