이론 컴퓨터 과학

1

이라고 믿거 나 N L ≠ L 이라고 믿을만한 근거가 있는지 궁금합니다 .엔L = LNL=LNL=L엔L ≠ LNL≠LNL\neq L 것으로 알려져있다 . R L의 무작위 화 해제에 관한 문헌 은 R L = L 임을 확신합니다 . 누구나 N L ≠ L 임을 설득하는 기사 나 아이디어에 대해 알고 있습니까?엔L ⊂ …

22 cc.complexity-theory reference-request complexity-classes space-bounded

1

NP- 경도는 P- 경도를 의미합니까?

문제가 다항식 시간 단축을 사용하여 NP-hard 인 경우 P-hard (로그 공간 또는 NC 축소 사용)임을 의미합니까? NP의 문제만큼 어려운 경우 P의 문제만큼 어려운 것이 직관적이지만, 감소를 연결하고 로그 공간 (또는 NC) 감소를 얻는 방법을 모르겠습니다.

22 cc.complexity-theory np-hardness

5

실제 세계의 버텍스 커버 애플리케이션

버텍스 커버 문제 는 실제로 어떤 응용 프로그램을 가지고 있습니까? 버텍스 커버 문제에 대한 이론적 결과를 기반으로 실제로 구현 된 소프트웨어를 사용하는 산업 또는 연구 프로젝트는 무엇입니까? 특히 사용 된 소프트웨어에서 다음과 같은 이론적 결과가 구현됩니까? 정점 커버에 대한 근사 알고리즘 Vertex Cover의 지수 시간 알고리즘 정점 표지에 대한 고정 …

22 ds.algorithms graph-theory graph-algorithms

2

그래프 등급 인식의 경도와 금지 된 서브 그래프 특성의 관계

금지 된 하위 그래프로 특징 지을 수있는 그래프 클래스를 고려하고 있습니다. 그래프 클래스에 금지 된 하위 그래프의 유한 세트가있는 경우 사소한 다항식 시간 인식 알고리즘이 있습니다 (단 하나는 무차별 대입을 사용할 수 있음). 그러나 금지 된 하위 그래프의 무한 계열은 경도를 의미하지 않습니다. 금지 된 하위 그래프의 무한 목록이있는 클래스에는 …

22 cc.complexity-theory graph-theory np-hardness

1

분할 가능한 스택

다음 두 가지 작업을 수행하는 일련의 항목을 유지할 수있는 데이터 구조에 대해 알려진 것은 무엇입니까? 푸시 (x) : 시퀀스의 끝에 x를 추가하고 시퀀스에서 해당 위치의 식별자를 반환합니다. 추출 (S) : 순서가 지정되지 않은 식별자 세트가 주어지면 해당 위치의 항목을 순서에서 제거하고 제거 된 항목의 목록을 순서대로 리턴하십시오. 원하는 경우 이것을 …

22 ds.data-structures

3

인수 분해로 표현되는 정수를 추가하는 것은 인수 분해만큼 어렵습니까? 참조 요청

다음 결과에 대한 참조를 찾고 있습니다. 인수 분해 표현에 두 정수를 추가하는 것은 일반적인 이진 표현에서 두 정수를 인수 분해하는 것만 큼 어렵습니다. (이것은 내가 언젠가 궁금해했던 것이기 때문에 인쇄본에서 마침내 보았을 때 흥분되어 있기 때문에 그것이 확실하다고 확신합니다.) "인수 분해 된 표현에 두 개의 정수를 더하는 것"은 문제입니다. 와 …

22 cc.complexity-theory reference-request time-complexity factoring encoding

1

Ford-Fulkerson 및 DFS를 사용한 최대 흐름

이 질문은 DFS를 사용하여 증강 경로를 찾을 때 Ford-Fulkerson 최대 흐름 알고리즘 의 시간 복잡성에 관한 것 입니다. DFS를 사용하면 최대 흐름에서 선형 반복 횟수가 필요할 수 있음을 보여주는 잘 알려진 예가 있습니다 (위의 Wikipedia 페이지 참조). 그러나 나는이 예제를 실제로 확신하지 못합니다. 표준 DFS 구현은 경로의 첫 번째 노드로 …

22 ds.algorithms reference-request max-flow

1

가역 게이트 분류

1941 년 Emil Post가 기술 한 Post 's lattice 는 기본적으로 단일 톤 함수, GF (2)를 통한 선형 함수 및 모든 함수와 같이 구성으로 닫히는 부울 함수 세트의 완전한 포함 다이어그램입니다. (포스트는 상수 0과 1을 무료로 사용할 수 있다고 가정하지 않았기 때문에 격자가 다른 것보다 훨씬 복잡해졌습니다.) 내 질문은 Toffoli …

22 circuit-families

3

반원 프로그램 분석에 대한 교육 자료 또는 설문 조사?

근사 알고리즘을 설계 할 때 반올림 단계가 뒤 따르는 반정의 프로그램을 해결하는 경우가 있습니다. 이를 설명하기 위해 자주 사용되는 예는 Max-Cut입니다. (예 : Vijay Vazirani의 근사 알고리즘 참조) Max-Cut 문제를 넘어서서 더 복잡한 반올림 알고리즘과 분석에 사용되는 기술을 설명하기위한 훌륭한 교육 자료 나 설문 조사가 있습니까? SDP 솔루션의 벡터가 초구에 …

22 ds.algorithms reference-request approximation-algorithms semidefinite-programming csp

5

문제 교육 계산 성

계산 함수의 개념을 가르치는 데 어려움이 있습니다. Hilbert / Ackermann / Godel / Turing / Church / ...와 같은 연구원들이 왜 '계산 성'이라는 개념을 발명했는지에 대한 아이디어를 개발하려고 노력했습니다. 학생들은 즉시 물었습니다 : "계산은 무엇을 의미합니까?" 튜링 머신을 가르치지 않으면 대답 할 수없고 "튜링 머신이 계산하면 함수를 계산할 수 있습니다"라고 …

22 soft-question computability turing-machines teaching

1

BosonSampling 논문은 복잡한 매트릭스를 쉽게 분류하지 못합니까?

에서는 선형 광학 계산 복잡성 ( ECCC TR10-170 ) 스콧 론슨 알렉스 Arkhipov 양자 컴퓨터를 효율적 전형적인 컴퓨터에서 시뮬레이션 할 수 있다면 다항식 계층은 제 3 단째에 접한다고 주장한다. 동기 문제는 선형 광학 네트워크에 의해 정의 된 분포에서 샘플링하는 것입니다. 이 분포는 특정 행렬의 영구적으로 표현 될 수 있습니다. 전형적인 …

22 cc.complexity-theory quantum-computing

1

계산시 에너지 고려 사항

내 이해를 확인하기 위해 계산의 에너지 요구 사항에 대한 생각을 나누고 싶습니다. 이것은 이전 질문에 대한 후속 조치 이며 보존법에 관한 Vinay의 질문 과 관련이있을 수 있습니다 . 열역학적 관점에서 볼 때 수평 라인을 따라 무게를 움직이는 것과 유사하게 계산을 실행할 수 있다고 생각합니다. 유일한 에너지 손실은 마찰력으로 인한 것입니다. …

22 cc.complexity-theory big-picture physics

2

프로토콜 파티션 번호 및 결정적인 통신 복잡성

게다가 (결정적) 통신 복잡도 의 관계에서의 R , 필요한 통신의 양에 대한 또 다른 측정은 염기성 인 프로토콜 파티션 번호 P는 P ( R ) . 이 두 측정 값 사이의 관계는 상수 요소까지 알려져 있습니다. Kushilevitz와 Nisan의 논문 (1997)은c c ( R )기음기음(아르 자형)cc(R)아르 자형아르 자형R p p ( …

22 fl.formal-languages lower-bounds open-problem regular-expressions communication-complexity

4

효율적인 알고리즘이없는 문제가 있습니까, 존재 이론이 그러한 알고리즘이 존재해야한다는 것이 증명 되었습니까?

효율적인 알고리즘이 존재하지 않음을 입증하는 존재 이론에도 불구하고 효율적인 알고리즘이 알려지지 않은 CS에 문제가 있습니까? 이러한 문제는 무엇입니까? 더 자세한 정보는 어디서 찾을 수 있습니까?

22 ds.algorithms reference-request terminology

1

입방 센티미터에 얼마나 많은 계산 능력이 적합합니까?

이 질문은 Aadita Mehra가 요청한 DNA 알고리즘 에 대한 질문에 대한 후속 조치입니다 . 이에 대한 의견에서 Joe Fitzsimmons는 다음과 같이 말했습니다. 이를 피하기 위해 시스템의 반경은 질량에 비례하여 확장되어야합니다. 계산 능력은 질량에서 최대 선형으로 확장됩니다. 따라서 기하 급수적 인 기계의 기하 급수적 반지름을 갖습니다. 빛보다 빠르게 신호를 보낼 수 …

22 cc.complexity-theory quantum-computing ne.neural-evol physics natural-computing