«big-list» 태그된 질문

3SAT [ 1 ]의 하한에 대한 토론에 이어, 시공간 상충 관계로 공식화 된 주요 하한 결과가 무엇인지 궁금합니다. 나는 Savitch의 정리와 같은 결과를 배제하고있다. 좋은 입장은 단일 문제와 그 한계에 초점을 맞출 것입니다. 예를 들면 다음과 같습니다. "T와 S는 모든 SAT 알고리즘의 실행 시간과 공간 경계가되게하십시오. 그러면 T⋅S≥n2cos (π / …

13 cc.complexity-theory  ds.algorithms  big-list  space-time-tradeoff 

다양한 수의 이론 / 대수 문제의 알려진 또는 알려지지 않은 복잡성에 대한 목록을 찾고 있습니다. 예를 들어 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 

거대한 데이터 스트림에서 작동하는 유용한 알고리즘은 무엇이며 결과도 상당히 작으며 결과를 병합하여 두 스트림을 혼합하여 결과를 계산할 수 있습니까? 몇 가지 이름을 지정할 수 있습니다. sum, min, max, count, top-K 등과 같은 명백한 것 히스토그램, 별개의 항목 수 계산 또는 Quantile 계산을위한 대략적인 "스케치 기반"스트림 알고리즘 다른 사람이 있습니까? (이 …

12 ds.algorithms  big-list  data-streams 

사실 인 경우 PH가 붕괴되어야한다는 잘 알려지지 않은 주장은 무엇입니까? 참조와 함께 짧은 상위 수준의 어설 션이 포함 된 회신을 주시면 감사하겠습니다. 나는 운없이 역 검색을 시도했다.

12 cc.complexity-theory  complexity-classes  big-list 

축소를 위해 NP-hard 문제 를 강하게 찾고 있습니다. 지금까지 나는 다음과 같은 문제를 발견했다. 3 분할 문제 빈 포장 문제 숫자 3 차원 매칭 TSP 수치 데이터가없는 NP- 완전 문제 (예 : 만족도, 적혈구주기, 3 색). 누구든지 강력한 NP-hard 문제 목록을 알고 있습니까? 그렇지 않다면 여기에 하나 만들어 봅시다. NP …

11 np-hardness  big-list  hamiltonian-paths 

1996 년, 오랜 개방 문제가 컴퓨터에 의해 해결되었습니다. 즉, Robbins 대수 와 부울 대수는 동일합니다. 증명은 자동 정리 증명 자에 의해 발견되었습니다. 또한, 4 색 정리의 알려진 증거는 컴퓨터 생성 구성 요소를 포함합니다. 이 질문의 목적은 컴퓨터에서 발견 된 증명 (완전히 또는 부분적으로)을 증명하는 것입니다 (유일하게 알려진 증명이든 처음 발견 …

11 soft-question  big-list  proofs  automated-theorem-proving 

내가 알고있는 모든 컴퓨터 관련 박물관과 전시회는 컴퓨팅 기계의 역사만을 다루는 것 같지만 컴퓨터 과학에 관한 주제는 없습니다. 귀하는 다양한 컴퓨팅 / 컴퓨터 과학 / 통신 / 수학 주제에 대해 일반 대중을 교육하고, 즐겁게하며, 영감을주기 위해 새로운 전산 박물관을 설립하는 데 참여하고 있습니다. 역사와 유명인이 전시회의 일부가 될 수 있지만 …

11 soft-question  big-list  ho.history-overview 

저는 CS 학생입니다. 우리는 한 과정에서 그래프 이론을 수행했습니다. 나는 그것을 흥미로웠다. 컴퓨터 과학 분야에서 그래프 이론의 실제 응용은 무엇입니까? 예를 들어, 그래프 이론의 일부 개념을 사용하여 네트워크를 설계 할 수 있음을 발견했습니다. 다른 유사한 응용 프로그램은 무엇입니까?

11 graph-theory  co.combinatorics  big-list  application-of-theory 

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

11 ds.algorithms  quantum-computing  big-list 

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

11 ds.algorithms  big-list  approximation-algorithms 

배경 : 트랜잭션 처리는 데이터베이스 이론에서 전통적인 연구 주제였습니다. 오늘날 분산 트랜잭션 은 일반적으로 데이터 파티션 (샤딩이라고도 함) 및 데이터 복제를 포함하는 대규모 분산 스토리지 시스템에 의해 대중화됩니다 . 분산 트랜잭션의 주요 연구 문제는 무엇입니까? (이론적) 개선이 필요한 잘 알려진 이론과 솔루션이 있습니까? 모든 참조를 부탁드립니다.

10 reference-request  big-list  dc.distributed-comp  db.databases 

나는 임의의 구성보다 나은 복잡성 이론의 구성 예에 관심이 있습니다. 내가 아는 그러한 구성의 유일한 예는 오류 수정 코드 분야입니다. 대수 기하학 코드는 임의의 코드보다 일부 범위의 매개 변수에서 더 좋습니다. 그러한 인공적인 예를 쉽게 구성 할 수 있습니다. 대수 기하학 코드와 같은 예제에 관심이 있습니다. 여기서 무작위 구성을 쉽게 …

10 reference-request  big-list  derandomization  pr.probability 

저는 컴퓨터 과학에 관심이있는 동성애 이론가입니다. 이론적 컴퓨터 과학에서 동종 학 대수학 (모델 범주, 무한대 범주, 단순 범주 등)의 흥미로운 응용이 무엇인지 묻고 싶습니다.

9 big-list  algebraic-topology 

허락하다 ΣΣ\Sigma알파벳, 즉 비어 있지 않은 유한 집합이어야합니다. 문자열은 다음에서 나오는 요소 (문자)의 유한 시퀀스입니다.ΣΣ\Sigma. 예로서,{ 0 , 1 }{0,1} \{0, 1\} 이진 알파벳이고 011001100110 이 알파벳의 문자열입니다. 일반적으로 ΣΣ\Sigma 하나 이상의 요소를 포함하며 요소의 정확한 수 ΣΣ\Sigma중요하지 않습니다. 기껏해야 다른 상수로 끝납니다. 즉, 이진 알파벳, 숫자, 라틴 알파벳 또는 …

9 big-list  encoding  examples