이론 컴퓨터 과학

Chernoff 유형의 불평등은 독립적 인 랜덤 변수의 합이 예상 값에서 크게 벗어날 확률이 예상 값과 편차에서 기하 급수적으로 작음을 보여줍니다. 쌍별 독립 랜덤 변수의 합에 대한 Chernoff 유형 불평등이 있습니까? 즉, 다음과 같은 결과가 나타납니다. 쌍별 독립 랜덤 변수 의 합이 예상 값에서 벗어날 확률은 예상 값과 편차가 기하 급수적으로 …

13 derandomization  pr.probability  chernoff-bound 

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

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

이것은 H 프리 컷 문제 에서 영감을 얻은 질문 입니다. 그 정점 세트의 파티션 그래프 주어 에 R의 부분 V 1 , V 2 , ... , V의 R은 인 H의 경우 -free는 G [ V I ]는 사본 유도하지 않는 H를 모두 I , 1 ≤ i가 ≤ R …

13 graph-theory  np-hardness  co.combinatorics 

그 정수 포인트 D 차원 격자를 주어진 검증하기 쉬운 정규 인접하여 한 크기의 세퍼레이터 찾을 수 없음 (D) - (1) (다만 어떤 중간 초평면을 선택하고, 전체 삭제 정점). 또한 분리막의 크기가 Ω ( n d - 1 ) 이어야한다는 것을 확인하는 것은 너무 어렵지 않지만 (즉각적이지는 않습니다 ) . 아무도 …

13 reference-request  cg.comp-geom  lower-bounds 

간단히 말해서 : oracles가있는 Turing 기계와 oracles가있는 균일 한 회로 제품군 간의 대응 관계는 무엇입니까? 주어진 오라클 튜링 머신에 대해 동일한 계산 모델을 얻기 위해 후자는 어떻게 정의됩니까? 이것은 기본적인 질문 일지 모르지만 어디에서 볼 것인지는 분명하지 않으며, 나는 나의 기초가 양질의 박격포를 사용하고 있는지 확인하는 것을 좋아하는 사람입니다. 표준 …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

유전자 알고리즘을 사용하여 해결 된 실제 문제는 무엇입니까? 무엇이 문제입니까? 이 문제를 해결하기 위해 사용되는 체력 테스트는 무엇입니까?

13 ds.algorithms  machine-learning  ai.artificial-intel  application-of-theory  ne.neural-evol 

페일리는 그래프 P의 Q는 그 정점을 설정 주어진다들이다 유한 필드 프라임 힘 q≡1 MOD (4)에 대한 GF (Q), 2 개의 정점에 인접한 곳에 있다면하고는 다를 경우에만 2 일부 ∈ GF (q). q가 소수 인 경우, 유한 필드 GF (q)는 정수 모듈로 q의 세트 일 뿐이다. A의 최근 논문 , 및 …

13 ds.algorithms  graph-theory 

Immerman과 Szelepcsényi 덕분에 경우 (공간을 구성 할 수없는 함수 일지라도 라는 것이 알려져 있습니다.f = Ω ( 로그 )N S P A C E (f) = c o N S P A C E ( f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)에프= Ω ( 로그 )f=Ω(log)f=\Omega(\log) 같은 논문에서 Immerman은 로그 스페이스 대체 계층 구조가 …

13 cc.complexity-theory  reference-request  space-bounded  alternating-hierarchy 

2D 그리드에 배열 된 많은 객체 인 데이터 세트가 있습니다. 엄격한 순서로 각 행 내에서 왼쪽에서 오른쪽으로 갈수록 증가하고 각 열 내에서 위쪽에서 아래쪽으로 증가한다는 것을 알고 있습니다. 예를 들어 1 2 3 4 6 7 5 8 9 순진 정렬을 개선하여 전체 데이터 세트를 선형으로 정렬 할 수 있습니까 …

13 ds.algorithms  total-ordering  sorting 

우리는 Haskell이나 Idris와 같이 가비지 수집없이 시스템 프로그래밍을 목표로하고 런타임이없는 (또는 적어도 C와 Rust "런타임"을 넘지 않는) 형식적이고 순수한 기능적 프로그래밍 언어를 원한다고 가정 해 봅시다. 베어 메탈에서 어느 정도 실행될 수있는 것. 수동 메모리 관리 또는 런타임 가비지 수집이 필요없는 정적 메모리 안전 옵션에는 어떤 것이 있으며, Haskell 또는 …

13 pl.programming-languages  language-design 

그의 책 Computational Complexity 에서 Papadimitriou는 다음과 같이 FNP 를 정의 합니다. LLL 이 NP 의 언어 라고 가정합니다 . 법안 9.1에는 다항식 시간 결정 가능, 다항식 균형 관계 이있어 RLRLR_L모든 문자열 xxx : x ∈ L 인 경우에만 R L ( x , y )을 갖는 문자열 yyy 가 …

13 complexity 

복잡성 등급 PPAD 는 Christos Papadimitriou가 그의 1994 년 논문 에서 발명했습니다 . 이 클래스는 "유향 그래프의 패리티 인수"에 의해 솔루션의 존재가 보장되는 검색 문제의 복잡성을 포착하도록 설계되었습니다. 유향 그래프에 불균형 정점이 있으면 다른 것이 있어야합니다. 그러나 일반적으로 클래스는 공식적으로 ANOTHER END OF THE LINEANOTHER END OF THE LINE\mathsf{ANOTHER\ END\ …

13 cc.complexity-theory  reductions  search-problem  ppad 

솔직히 말하면, 난수가 어떻게 생성되는지에 대해 많이 알지 못하지만 (의견은 환영합니다!) 다음 이론적 모델을 가정 해 봅시다. 에서 균일하게 임의의 정수를 얻을 수 있으며 우리의 목표는 [1,3]에서 균일하게 임의의 정수를 출력합니다.[1,2n][1,2n][1,2^n] 예상 실행 시간이 다항식 인 간단한 솔루션 은 다음과 같습니다. 나머지 정수의 수를 으로 나눌 수 있도록 생성 된 …

13 cc.complexity-theory  np-hardness  randomized-algorithms 

이제 우리는 것을 알 수 있습니다 교회 와 관련이 있었다 간단히 입력 된 람다 미적분 . 실제로, 그는 Lambda 미적분에 대한 오해를 줄이기 위해 Simply Typed Lambda 미적분학을 설명한 것 같습니다. 이제 John McCarthy가 Lisp를 만들었 을 때 Lambda 미적분학에 기반 을 두었습니다 . 이것은 "심볼 표현의 재귀 함수와 기계에 …

13 lambda-calculus  term-rewriting-systems  lisp 

Treewidth 및 pathwidth는 그래프가 나무 또는 경로에 근접한지를 각각 측정하는 일반적인 매개 변수입니다. 실제로 treewidth는 너무 인기가있어 많은 논문, 서적 및 강의 노트에 소개되어 treewidth의 알고리즘 측면에 대한 소개를 제공합니다 (예 : Downey & Fellows 책 참조). 일반적으로 이러한 자료는 트리 분해에 대한 동적 프로그래밍을 통해 다항식 시간에 NP- 하드 …

13 reference-request  graph-algorithms  parameterized-complexity