이론 컴퓨터 과학

CS의 일부 연구 분야에서 우리는 매우 흥미로운 결과를 얻었습니다. 이제 우리는 그것들을 출판하는 것에 대해 생각하고 있습니다. 우리 그룹의 철학은 회의 논문에 즉각적으로 작은 것을 게시하는 것입니다. 이제 저는 이러한 "작은 것들"을 더 많이 모아서 JCR 논문으로 출판합니다. 영향 요인은 2 이상입니다. 여기서 제 질문은 JCR 저널에 알맞은 논문을 준비 …

9 soft-question  research-practice  writing  paper-review  conferences 

귀납적 유형의 선언 순서가 중요한지 궁금합니다. 예를 들어 Coq에서는 다음 Nat중 하나를 정의 할 수 있습니다 . Inductive Nat := | O : Nat | S : Nat -> Nat. 또는 Inductive Nat := | S : Nat -> Nat | O : Nat. 이것은 아마도 자동으로 생성 된 제거기에서 …

9 lo.logic  type-theory  coq  dependent-type 

중요한 점이 아니더라도이 질문에 관한 문헌은 보이지 않습니다. 상대화 결과가 있습니까? NP 머신의 모든 가능한 경로를 탐색하여 비 결정적 시간 계층 정리를 적용하여 엄격한 포함을 증명하는 것이 매우 간단하지 않습니까?

9 cc.complexity-theory  complexity-classes 

그래프 열거의 주요 문제점 중 하나는 그래프의 '모양', 예를 들어 특정 그래프의 동형 클래스를 결정하는 것입니다. 모든 그래프가 대칭 행렬로 표현 될 수 있음을 충분히 알고 있습니다. 그러나 모양을 얻으려면 행 / 열 순열 모음이 필요하므로 행렬이 조금 적합하지 않습니다. 그래프가 일단 그 형태에 있으면 '보는'것이 조금 더 어렵습니다. 내 …

9 graph-theory  co.combinatorics  algebra 

세트가 있습니다 엘LL집합의 요소 목록 엔= { 1 , 2 , 3 , . . . , n }N={1,2,3,...,n}N = \{ 1, 2, 3, ..., n \}. 각 요소엔NN 단일 목록에 나타납니다 엘LL. 다음 업데이트를 수행 할 수있는 데이터 구조를 찾고 있습니다. c o n c a t ( x …

9 ds.algorithms  graph-algorithms  ds.data-structures 

관계형 데이터베이스에 대해 널리 사용되는 쿼리 언어에서는 많은 리소스가 필요한 쿼리를 생성 할 수 있습니다. 실제로 데이터베이스 관리자 는 쿼리 당 메모리 양을 제한 하고 데이터베이스 속도가 느려지면 장기 실행 쿼리를 확인하여이를 관리합니다. 이것은 다소 임시적인 것 같습니다. 이것에 대한 TCS 솔루션이 있습니까? 효율적인 쿼리 만 구현할 수있는 쿼리 언어가 …

9 cc.complexity-theory  pl.programming-languages  db.databases  finite-model-theory 

금요일이기 때문에 CW 질문을 할 시간입니다. 최적화 문제에서 널리 사용되는 휴리스틱을 찾고 있습니다. 범위를 '이론 친화적'휴리스틱으로 제한하기 위해 규칙은 다음과 같습니다 (일부 임의, 일부는 아님) 많은 매개 변수가없고 구체적인 실행 시간이있는 잘 정의 된 방법이어야합니다 (반복 당) 그것과 관련된 몇 가지 알려진 이론적 결과를 가져야합니다 (수렴 률, 근사치, 고정 특성 …

9 ds.algorithms  reference-request  optimization  heuristics 

힐버트 공간을 고려 H=H1⊗⋯⊗HnH=H1⊗⋯⊗HnH = H_1 \otimes \dots \otimes H_n. UPB (Unextendable Product Basis)는 일련의 제품 벡터입니다.|vi⟩=|v1i⟩⊗⋯⊗|vni⟩|vi⟩=|vi1⟩⊗⋯⊗|vin⟩\vert v_i \rangle = \vert v_i^1 \rangle \otimes \dots \otimes \vert v_i^n \rangle 그런 : a) 모두 |vi⟩|vi⟩\vert v_i \rangle 서로 직교하다 b) 모두에 직교하는 생성물 벡터가 없다 |vi⟩|vi⟩\vert v_i \rangle c) 기초는 사소하지 …

9 quantum-computing  linear-algebra  quantum-information 

다음 문제에 이름이나 관련 결과가 있는지 궁금합니다. 를 가중 그래프로 하자. 여기서 는 와 사이의 간선의 무게를 나타내고 모든 , . 문제는 인접한 가장자리의 가중치 합계를 최대화하는 정점의 하위 집합을 찾는 것입니다. 서브 세트 내부와 서브 세트 외부에있는 모서리를 세고 있습니다. 이것이이 문제를 max-cut과 구별하는 것입니다. 그러나 u 와 v …

9 reference-request  graph-theory  approximation-algorithms  terminology  approximation-hardness 

잠시 동안 나를 괴롭힌 문제가 있습니다. 문자열 이 1과 0 의 시퀀스이고 와일드 카드 문자열 이 1, 0 및? s 의 시퀀스 라고 가정하겠습니다 . 모든 문자열과 와일드 카드 문자열의 길이는 같습니다. 이들은 표준 UNIX 와일드 카드입니다. 10 ?? 1은 10011, 10111 등과 일치합니다. 해당 위치에서 1 또는 0과 일치합니다. …

9 ds.algorithms  ds.data-structures  approximation-algorithms  string-matching  string-search 

별 그래프로만 구성된 그래프 가 있습니다. 별 모양 그래프는 다른 모든 노드에 가장자리가있는 하나의 중앙 노드로 구성됩니다. 을 있는 서로 다른 크기의 별표 그래프라고 합시다 . 별표 중심에있는 모든 노드 세트를 호출합니다 .지지GH1,H2, ... ,H엔H1,H2,…,H엔H_1, H_2, \ldots, H_n지지G아르 자형아르 자형R 이제 이러한 스타 그래프가 다른 스타 그래프에 대한 에지를 구축하여 …

9 graph-theory  co.combinatorics  puzzles 

계산 모델 MPostBQP를 PostBQP와 동일하게 정의합니다. 단, 포스트 선택 및 최종 측정 전에 다 항적으로 많은 큐 비트 측정이 가능합니다. MPostBQP가 PostBQP보다 강력하다는 증거를 제시 할 수 있습니까? MPostBQP [k]를 정의하여 최종 측정을하기 전에 여러 라운드의 측정 및 사후 선택이 가능합니다. MPostBQP [1] = PostBQP 및 MPostBQP [2] = MPostBQP …

9 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs 

나는 Smoothed Analysis의 특별한 폭발에 매료되었고, 정수형 프로그래밍의 Smoothed Analysis 논문에서 주장했다 . 이것은 Polynomially Bounded 경우 Integer Linear Programming이 Smoothed P에 있음을 나타냅니다. 이것은 정수 프로그래밍이 의사 다항식이라는 미덕에 필수적이었습니다! 따라서 문제는 다음과 같습니다. 이것이 보편적으로 다른 문제로 이어 집니까? 특히 어떤 제약이 있습니까?

9 cc.complexity-theory  smoothed-analysis 

이 질문은 암호화의 맥락에서 생겨 났지만, 여기서는 사람들이 후자에 대해 더 잘 알고 있기 때문에 복잡성 이론의 관점에서 제시 할 것입니다. 이 질문은 NP의 문제 와 관련이 있지만 Oracle Access의 Average-P / poly 및 Beating Nonuniformity는 아닙니다 . 비공식적 진술 : 비 균일 한 적 (즉, 다 규모의 회로 계열)이 …

9 cc.complexity-theory  cr.crypto-security  np  advice-and-nonuniformity  average-case-complexity 

부울 함수의 의사 결정 트리 복잡성에서 하한 방법은 함수를 나타내는 (대략) 다항식을 찾는 것입니다. Paturi 는 표시되는 수량을 기준으로 대칭 부울 (부분 및 총) 함수의 특성을 나타 냈습니다.ΓΓ\Gamma: 정리 ( Paturi ) : Let에프ff 일정하지 않은 대칭 함수이며 에프케이= f( x )fk=f(x)f_k=f(x) 언제 | x | =k|x|=k|x|=k (즉, 해밍 무게 …

9 cc.complexity-theory  quantum-computing  lower-bounds  boolean-functions  query-complexity