«reference-request» 태그된 질문

동기 부여 : 데이터 버전 관리를위한 도구를 개발하는 동안 우리는 정수 세트를 다른 정수 세트로 가져 오는 일련의 변환을 통해 두 세트의 정수를 "확산"하는 알고리즘을 찾아 보았습니다. 우리는 거리를 편집 하고 , 스와핑으로 그룹화하고 , 최소 공통 문자열 파티션 을 연결하는 것으로 보이는 다음과 같은 매우 자연스러운 문제로 그 문제를 …

10 cc.complexity-theory  ds.algorithms  reference-request  string-matching  edit-distance 

이 알파벳 Σ 와 관련하여 매개 변수화 된 언어 라고 가정하십시오 . L 의 k- 슬라이스 는 L k = L ∩ { ( x , k ) ∣ x ∈ Σ ∗ } 이며, 매개 변수 k 가 있는 L 의 인스턴스 집합입니다 . 복잡성 클래스 X P는 매개 …

10 cc.complexity-theory  reference-request  parameterized-complexity 

하자 AAA 유한 필드 위에 행렬 F2={0,1}F2={0,1}\mathbb{F}_2 = \{0,1\} 및 xxx , yyy 공간 벡터 일 Fn2F2n\mathbb{F}_2^n . 내가 거기에 존재하는지 여부를 결정하는 계산 복잡도에 관심이 t∈Nt∈Nt \in \mathbb{N} 등이 Atx=yAtx=yA^t x = y 유한 필드 이상 선형 동적 시스템에 대한 접근 가능성의 문제에서, 즉,. 문제는 분명히 NPNP\mathbf{NP} (추측 0≤t<2n0≤t<2n0 …

10 cc.complexity-theory  reference-request  linear-algebra 

확률 적 오토마타에 대한 소개와 그들이 인식하는 것 (단어에서 까지의 특정 기능)은 어디에서 찾을 수 있습니까 ? 결정적 유한 오토마타 (DFA)가 인식하는 "일반 언어"와 유사한 확률 적 오토마타에 의해 인식되는 이러한 기능에 대한 표준 용어가 있습니까?[ 0 , 1 ][0,1][0,1] DFA 및 표현력, 폐쇄 및 결정 가능성 속성과 같은 일반 …

10 reference-request  fl.formal-languages  probabilistic-automata 

여기에서 고려되는 변환기는 Wikipedia가 유한 상태 변환기를 호출하는 변환기 입니다. 변환기의 동작 , 그 계산의 관계가 기록되어있다, : 워드 위한 출력 인 IFF .[ T ] y x x [ T ] y티TT[ T][T][T]와이yy엑스xxx [ T] yx[T]yx[T]y 질문 : 다음 문제를 결정할 수 있습니까? 주어진 : 트랜스 듀서 와 정규 …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

다음 문제를 고려하십시오. 행렬 주어지면 계산을위한 곱셈 알고리즘의 추가 수를 최적화하려고합니다 .미디엄미디엄Mv ↦ MVV↦미디엄Vv \mapsto Mv 행렬 곱셈의 복잡성과 관련이 있기 때문에이 문제가 흥미 롭습니다 (이 문제는 제한된 행렬 곱셈 버전입니다). 이 문제에 대해 무엇을 알고 있습니까? 이 문제와 관련하여 행렬 곱셈 문제의 복잡성과 관련된 흥미로운 결과가 있습니까? 이 문제에 …

10 cc.complexity-theory  reference-request  circuit-complexity  matrices  arithmetic-circuits 

( 0 = 1 ) → ⊥(0=1)→⊥(0=1) \to \bot ( 0 = 1 ) → ⊥(0=1)→⊥(0=1) \to \botp → ⊥p→⊥p \to \bot피pp 그러나 누가 이것을 처음 증명했는지 찾을 수 없습니다! 누구든지 참조가 있습니까?

10 reference-request  lo.logic  pl.programming-languages  type-theory  dependent-type 

Hartmanis and Stearns 의 1965 년 기사 " 알고리즘의 계산 복잡성 "에서, 저자는 실시간 Turing Machine이 실수 을 계산할 경우 , 예를 들어 밑이 10 인 경우 은 유리수 또는 a라고 가정합니다. 초월 번호.rrrrrr 예를 들어 10 진법과 같은 실시간 튜링 머신에서 계산할 수없는 계산 가능한 초월 번호가 있습니까?

10 cc.complexity-theory  reference-request  examples 

증명 복잡도는 계산 복잡도 이론의 가장 기본적인 영역입니다. 이 영역의 궁극적 인 목적은 를 증명 하는 것입니다. 즉, 모든 입력자가 주어진 입력 수식이 만족스럽지 않다는 증거를 제공 할 수 없습니다. 엔피≠ c o N피엔피≠씨영형엔피NP\neq coNP 그래프는 공식적인 증명 모델 중 하나입니다. 내 질문은이 모델에 대한 추가 제한에 관한 것입니다. 증명은 …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

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

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

Planar 3-SAT의 표준 정의는 무엇입니까? 나는 여러 가지 다른 정의를 보았다. 그것을 정의하고 NP- 완전하다는 것을 증명 한 최초의 논문은 무엇입니까?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

어떤 다항식 시간 만 P! = NP 경우에 풀 수있는 문제, 그리고에, 그렇지 않으면 풀 수 있는가 (말) 시간?O(2n)O(2n)O(2^n) 간단한 예는 다음과 같습니다. P! = NP 인 경우 임의의 n 비트 수에 대한 원시성 테스트를 계산하고, 그렇지 않으면 각 측면에 2n 조각으로 nxn 보드의 일반화 된 체스 에서 임의의 최악의 …

10 cc.complexity-theory  reference-request 

를 최소화 하는 차원 단위 구 ( )에서 무작위 벡터, 대한 분포를 찾으려고합니다. 는 \ mathbb {E} [x_i ^ Tx_j] = 0 제약 조건을 따릅니다 .nnnx1,…,xnx1,…,xnx_1,\ldots, x_nkkkn>kn>kn > kmaxi≠jVar(xTixj)maxi≠jVar(xiTxj)\max_{i\neq j} \mathrm{Var}(x_i^T x_j)E[xTixj]=0E[xiTxj]=0\mathbb{E}[x_i^Tx_j]=0 나는 일부 분포를 시도했고 거의 모든 분산이 1/k1/k1/k 입니다. 예를 들어, 각 x_i 의 각 좌표가 \ left …

10 reference-request  randomized-algorithms 

Nancy Lynch의 "분산 알고리즘"책의 13 장 "원자 개체"에서 선형성 (원 자성이라고도 함)은 안전 속성으로 입증되었습니다. 즉 , 8.5.3 절에 정의 된대로 해당 추적 특성이 비어 있지 않고 접두사로 닫히고 한계로 닫힙니다 . 비공식적으로, 안전 속성은 종종 특정 "나쁜"일이 결코 발생하지 않는다고 말하는 것으로 해석됩니다. 이를 바탕으로 첫 번째 문제는 다음과 …

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency 

유향 그래프가 주어지면, 균일 한 길이의 유향 사이클이 포함되는지 여부를 결정하려고합니다. 의이 1,997 종이 YUSTER와 Zwick의는 문제가있는 것으로 알려져 있지 않다한다고 도 아니다 것으로 알려져있다 - 완전한.피피P엔피엔피NP 직접 그래프에서 짝수 사이클 문제의 복잡성을 해결하는 최근 결과가 있습니까?

10 cc.complexity-theory  reference-request  graph-theory