이론 컴퓨터 과학

분산 시스템에서 험담하는 문제는 다음과 같습니다. 우리는 n 개의 꼭짓점 이있는 그래프 GGG 를 가지고 있습니다 . 각 정점 v 에는 모든 노드에 보내야 하는 메시지 m v 가 있습니다.nnnvvvmvmvm_v 이제 제 질문은 애드혹 네트워크 모델과 관련이 있습니다 (우리는 노드에 네트워크의 토폴로지, 인 / 아웃 정도 및 이웃 집합에 대한 …

13 reference-request  dc.distributed-comp 

배경 : 기계 학습에서 종종 높은 차원 확률 밀도 함수를 나타 내기 위해 그래픽 모델 을 사용합니다. 밀도가 1에 통합되는 (제한) 제약 조건을 무시하면 정규화되지 않은 그래프 구조 에너지 함수를 얻게 됩니다 . 그래프 G = ( V , E ) 에 정의 된 에너지 함수 가 있다고 가정 합니다. …

13 reference-request  machine-learning  lg.learning  boolean-functions 

2004 년 솔 Schleimer 의해 작업을 통해 삼각 주어진 3 매니 폴드 3 구가 있는지의 여부를 결정하는 NP되어 알려진 "NP의 구형 인식 거짓" arXiv : 수학 / 0407047v1 [math.GT] . 지난 5-6 년 동안 이것이 NP 완료로 설정되었는지 궁금합니다. 3- 매니 폴드 매듭 속 문제와 같은 유사한 문제가 NP- 완료로 …

13 cc.complexity-theory  reference-request  open-problem  topology 

다른 주제에 대한 Dana Moshkovitz의 답변을받을 때 문제가 발생했습니다 . 하자 LLL 수 NP 언어 및하자 RLRLR_L 각각의 수 NP의 관계. 우리는 다음과 같은 다항식 가 있음을 알고 있습니다 ppp. ∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL\forall x \in L, \\, \exists w \in \\{0,1\\}^{p(|x|)} \quad (x,w) \in R_L 위의 진술 은 그러한 p 의 존재 …

13 cc.complexity-theory  np 

고려중인 응용 프로그램에서 다음 문제의 통신 복잡성을 알아야합니다. 을 감안할 때 ,하자 S가 의 정수들의 집합 1 에 해당 . Alice, Bob 및 Carol은 각각 A , B 및 C 로 표시된 S 의 하위 집합을받습니다 . 그들은 A , B 및 C 가 S 의 파티션을 형성 하는지 여부를 …

13 cc.complexity-theory  communication-complexity 

요소 고유성 / 차별성 문제에 대한 로그 선형 하한에 대한 몇 가지 증거가 있지만 (대수 계산 트리 또는 적대적 인수에 기초 함) 알고리즘 분석 및 설계의 첫 번째 과정에서 사용할 수있는 간단한 것을 찾고 있습니다. 정렬에 대한 하한과 동일한 "난이도"가 좋습니다. 또한, 모든 접근법 (예를 들어, 조합 또는 정보 이론에 …

13 cc.complexity-theory  lower-bounds  proofs 

Monotone-2CNF 공식은 각 절이 정확히 2 개의 양의 리터럴로 구성된 CNF 공식입니다. 이제 Monotone-2CNF 공식 있습니다. S 를 F를 만족시키는 할당 의 집합으로 하자 . 또한 다음 정보를 제공 할 수 있는 오라클 O 가 있습니다.FFFSSSFFFOOO 세트 의 카디널리티 (즉, F 의 솔루션 수 )SSSFFF 변수 주어지면 : xxx 양의 …

13 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

그래프의 S 세트 (유한 그래프이지만 무한한 수)와 S에 작용하는 순열 그룹 P가 있다고 가정합니다. 인스턴스 : P의 순열 p 질문 : S에 automorphism p를 인정하는 그래프 g가 있습니까? 이 문제가 일부 세트 S에 대해 NP- 완전입니까? 그래프가 순열 p (즉, 인증서)를 허용하는지 쉽게 확인할 수 있습니다. 또한 문제가 NP- 완전하지 …

13 cc.complexity-theory  graph-theory  np-hardness  automorphism 

평면에 n 개의 점이 주어졌고 볼록한 n 다각형을 형성하는지 여부, 즉 모두 볼록 껍질에 있는지 확인하려고한다고 가정합니다. 누군가가 o (nlogn) 시간에, 즉 CH를 계산하지 않고이 작업을 수행하는 방법을 알고 있는지 궁금합니다.

13 cg.comp-geom 

2 개의 이진 검색 트리는 순차 순회에 동의 할 때 선형 적으로 동일하다고합니다. 다음 정리는 왜 나무 회전이 그렇게 근본적인지를 설명합니다. A와 B를 이진 검색 트리로 둡니다. 그런 다음 A와 B는 일련의 트리 회전으로 연결된 경우에만 선형 적으로 동일합니다. 오래 전에 데이터 구조에 대해 처음 알게되었을 때이 결과를보고 트리 회전의 …

13 reference-request  ds.data-structures 

Chong, Han 및 Lam 은 프로세서를 사용 하여 시간 내에 EREW PRAM에서 무 방향 st 연결성을 해결할 수 있음을 보여주었습니다 . 지향성 st-connectivity에 가장 잘 알려진 병렬 알고리즘은 무엇입니까 ? 실행 시간, 결정 론적 / 무작위 화 알고리즘 및 사용 된 PRAM 모델을 명시하십시오 (프로세서 수가 다항식이라고 가정). 그곳에된다 시간 …

13 dc.parallel-comp 

제목에서 알 수 있듯이 tree 의 올바른 정의는 무엇입니까? 트리와 부분 트리에 대해 제한된 트리 폭을 가진 그래프의 대체 정의로 사용 되는 몇 가지 논문이 있으며 , 많은 겉보기에 잘못된 정의가 있습니다. 예를 들어, 최소한 한 곳에서 다음과 같이 트리를 정의 합니다.k k k케이kk케이kk케이kk케이kk 그래프 불리며 - 트리 여부 및 …

13 graph-theory  treewidth 

"공통 참조 문자열 및 임의 Oracle 모델의 거부 가능성"이라는 제목의 논문에서 Rafael Pass는 다음과 같이 말합니다. RO [Random Oracle] 모델에서 표준 제로 지식 정의에 따라 보안을 입증 할 때 시뮬레이터는 일반 모델 시뮬레이터에 비해 두 가지 장점이 있습니다. 시뮬레이터는 당사자가 오라클에 어떤 값을 쿼리하는지 확인할 수 있습니다. 시뮬레이터는 응답이 "보여"괜찮다면 …

13 cc.complexity-theory  cr.crypto-security  oracles  black-box 

논문에서 Quantum Random Walks Exponentially Faster ( arXiv : quant-ph / 0205083 ) Kempe는 퀀텀 워크 (Quantum Walk) 문헌에서별로 인기가없는 퀀텀 워크 ( 하이 큐브)에 대한 히트 시간에 대한 개념을 제공합니다. 다음과 같이 정의됩니다. 명중 한 샷 양자 시간 : 이산 시간 양자 거리가있다 (T,p)(T,p)(T,p) 원샷 (|Ψ0⟩,|Ψf⟩)(|Ψ0⟩,|Ψf⟩)(|\Psi_0\rangle,|\Psi^f\rangle) -hitting 시간의 경우를 …

13 quantum-computing  random-walks  markov-chains  quantum-walk 

그래서, 나는 길이가 수십 ~ 수십 인 약 100-200 개의 매우 희박한 정사각형 부울 행렬을 얻었고 그들의 제품을 계산해야합니다. 나는 그것들을 연속적으로 곱하면 제품은 일반적으로 각 단계에서 스파 스로 유지됩니다. 이 경우 특히 빠르게 작동하는 매트릭스 체인 제품 알고리즘이 있습니까? 높은 수준에서 문제는 대부분의 요소가 0-3 이하로 매핑되는 상당히 작은 …

13 ds.algorithms  automata-theory  matrix-product  sparse-matrix