이론 컴퓨터 과학

4

때 해결하기 쉬운 "쉬운" 및 일부 값 p 0 , p 1의 경우 p = p 1 일 때 "hard" 인 실수 값 p로 매개 변수화 된 문제가 있다고 가정 합니다 .p=p0p=p0p=p_0p=p1p=p1p=p_1p0p0p_0p1p1p_1 한 가지 예는 그래프에서 스핀 구성을 계산하는 것입니다. 가중치가 부여 된 적절한 색소, 독립적 인 세트, Eulerian 하위 …

20 cc.complexity-theory counting-complexity approximation-hardness phase-transition

5

협업을위한 버전 관리 (단어 수준 차이)?

대부분의 논문은 현재 공동으로 작성되며 공동 작업자는 종종 다른 장소에 있습니다. 필자는 항상 문서와 코드에 버전 제어 시스템을 사용해 왔으며 공동 작업 소프트웨어 프로젝트에 버전 제어가 중요하다는 사실을 발견했지만 이론적으로 많은 연구원들이 공동 논문 작성에 사용하지 않는 것 같습니다. 공동 작업자에게 버전 관리 (개정 제어)가 함께 작업하기에 좋은 아이디어임을 확신시키기 …

20 soft-question research-practice software writing

1

Immerman-Szelepcsenyi 정리의 다른 증거

Immerman과 Szelepcsenyi는 독립적으로 임을 증명했습니다 . Borodin et al 은 유도 계수 기술을 사용하여 S A C i 가 i > 0에 대한 보완 상태에서 닫 혔음을 입증했습니다 . Reingold의 정리 ( S L = L ) 이전에, Nisan과 Ta-Shma 는 로그 공간 균일 투영 감소를 사용하여 S L = …

20 cc.complexity-theory space-bounded

2

NC와 P 사이의 문제 :이 목록에서 몇 개가 해결 되었습니까?

Greenlaw, Hoover 및 Ruzzo (PS)의 "P에 대한 완전한 문제 요약" (PDF) 에는 NC에 알려지지 않았거나 P- 완전하지 않은 것으로 알려진 P의 문제 목록이 있습니다. . (이 목록 은 Karp and Ramachandran의 우수 조사 에서 공개 된 모든 문제를 포함합니다 .) 공개 된 문제 목록은 89 페이지에서 시작합니다. 이 목록에서 몇 …

20 cc.complexity-theory open-problem circuit-complexity

4

긍정적 인 토폴로지 순서, 3

n x n 행렬이 있다고 가정합니다. 상위 삼각 행렬을 얻도록 행과 열의 순서를 바꿀 수 있습니까? 이 질문은이 문제에 의해 유발됩니다 : 긍정적 인 위상 순서 원래의 결정 문제는 이것만큼 어렵 기 때문에 NP- 완전성 결과로도 해결할 수 있습니다. 편집 : 라즐로 Vegh와 안드라스 프랭크는 해당 문제에 대한 내 관심은 …

20 ds.algorithms np-hardness open-problem matrices

2

다항식 시간의 평균 추정

하자 함수일 우리는 평균 추정 할. ]이다 : 입니다.F E [ F ( N ) ] = 2 - N Σ X ∈ { 0 , 1 } N F ( X )에프: { 0 , 1 }엔→ ( 2− n, 1 ]f:{0,1}n→(2−n,1]f \colon \lbrace 0,1 \rbrace ^ n \to …

20 ds.algorithms randomized-algorithms black-box

1

모든 복잡성 클래스에는 리프 언어 특성이 있습니까?

리프 언어는 많은 복잡한 클래스를 균일하게 정의 할 수있는 아름다운 방법입니다. 대부분의 복잡성 클래스는 일반적으로 계산 모델 (예 : 결정적 / 임의의 TM) 및 자원 바운드 (로그 시간, 폴리 공간 등)에 의해 지정됩니다. 그러나 리프 언어 공식에는 계산 모델이 하나만 있으며 클래스는 리프 언어를 제공하여 지정됩니다. 자세한 내용은 설명하기에 너무 …

20 cc.complexity-theory complexity-classes

2

노름 보존 튜링 기계

양자 컴퓨팅 ( here , here , here ) 에 대한 최근 스레드를 읽으면 일종의 -norm 보존 기계 의 힘에 관한 흥미로운 질문을 기억할 수 있습니다.ℓ피ℓp\ell_p 양자의 복잡성에가는 복잡성 이론에서 일하는 사람들에게 좋은 입문 텍스트는 여호수아 Grochow에 의해 게시 된 링크 Fortnow의 논문입니다 여기 . 이 논문에서 양자 튜링 머신은 …

20 cc.complexity-theory quantum-computing computability turing-machines norms

3

다른 메트릭스에서의 부동산 테스트?

"속성 테스트"에 대한 많은 문헌이 있는데, 두 경우를 구별하기 위해 함수 에 적은 수의 블랙 박스 쿼리를 만드는 문제가 있습니다.에프: { 0 , 1 }엔→ Rf:{0,1}n→Rf\colon\{0,1\}^n \to R 에프ff 는 일부 함수 클래스 의 멤버입니다.기음C\mathcal{C} 에프ff 는 클래스의 모든 함수와 는 입니다.Cεε\varepsilon기음C\mathcal{C} 함수 의 범위 은 때때로 부울입니다. 이지만 항상 …

20 reference-request lg.learning metrics property-testing black-box

4

양자 알고리즘에 대한 무작위 화와 동등한가?

임의의 무작위 알고리즘을 사용하면 알고리즘을 무작위 화하지 않고 (가능한 런타임에 임의의 비트 사용)을 제거하고 목표에 대한 하한을 최대화합니다 (일반적으로 이론은 임의의 예상 성능에 관한 사실을 사용하여 계산 됨) 연산). 양자 알고리즘에 해당하는 것이 있습니까? "탈 양자화"의 잘 알려진 결과가 있습니까? 아니면 이런 종류의 기술에는 기본 상태 공간이 너무 큽니까?

20 derandomization quantum-computing

2

그래프의 간결한 회로 표현

복잡성 클래스 PPAD (예 : 다양한 내쉬 평형 계산)는 END OF THE LINE으로 환원 가능한 총 검색 문제 세트로 정의 할 수 있습니다 . 라인 END : 주어 회로 S 및 P 와 N 개의 입력 비트들과 N 개의 출력 비트되도록 P (0 , n은 ) = 0 N ! …

20 reference-request combinatory-logic graph-theory ppad

3

공간이 제한된 TM 및 오라클

일반적으로 오라클의 쿼리 테이프는 TM의 공간 복잡성을 고려합니다. 그러나 쓰기 전용 oracle-tape (L 공간 축소에 사용되는 것과 같은)을 허용하는 것은 그럴듯 해 보입니다. 그러한 구성이 유용합니까? 특히 터무니없는 결과가 나옵니까?

20 cc.complexity-theory space-bounded oracles

1

Deolalikar의 논문에 대한 Gurvits의 텐서 순위 해석 설명

[참고 : 나는이 질문이 Deolalikar의 논문의 정확성 또는 부정확성에 좌우되지 않는다고 믿는다.] 스콧 애런 슨의 블로그에 슈 테틀 최적화 , NP 대 P에 Deolalikar의 최근 시도에 대한 토론에, 레오 니드 Gurvits는 다음 만든 코멘트를 : 나는 접근법을 이해 / 개조하려고 노력했으며, 여기에 나의, 아마도 아주 미니멀 한 시도가 있습니다 : …

20 cc.complexity-theory lower-bounds tensor-rank

3

최적의 추가 사슬을 찾기가 어렵습니까?

또한 쇄 양의 정수의 시퀀스 인 , X (1) = 1 및 각 인덱스 i가 ≥ 2 , 우리가 X I = X J + X (k)를 어떤 지수에 대해 1 ≤ J , k < i . 부가 사슬 의 길이 는 n 이고; 추가 체인 의 목표 는 …

20 reference-request np-hardness

3

재귀 적 형태의 고델의 진술이 가능합니까?

P / NP 문제의 자기 참조 성은 때때로 그 해결의 장벽으로 강조되어왔다. 예를 들어 Scott Aaronson의 논문 은 P 대 NP가 공식적으로 독립적 인가? P / NP에 대한 여러 가지 가능한 해결책 중 하나는 문제가 공식적으로 ZFC와 무관하거나 사실이지만 입증 할 수 없음을 보여주는 것입니다. 문제의 자기 참조가 독립성 증명에 …

20 cc.complexity-theory lo.logic