«cc.complexity-theory» 태그된 질문

B a c k g r o u n d––––––––––––––Background_\underline{\bf Background} 2005 년에 Regev [1]은 오류와 학습 패리티의 일반화 인 LWE (Learning with Errors) 문제를 도입했습니다. 특정 매개 변수 선택에 대한이 문제의 경도에 대한 가정은 격자 기반 암호화 분야에서 다수의 포스트 퀀텀 암호 시스템에 대한 보안 증명의 기초가되었습니다. LWE의 "정식"버전이 …

9 cc.complexity-theory  ds.algorithms  cr.crypto-security  machine-learning  open-problem 

에있는 것으로 알려진 일부 NP-Complete 문제 ( , 등)가 있습니다 . 하위 선형 공간은 어떻습니까?S T에스ㅏ티 \mathsf{SAT} S U B S E T S U M에스유비에스이자형티에스유미디엄 \mathsf{SUBSETSUM} D S P A C E ( n )디에스피ㅏ씨이자형(엔) \mathsf{DSPACE(n)} 비선형 비결정 공간에 NP-Complete (또는 NP-Intermediate) 문제가 있습니까?

9 cc.complexity-theory  np-hardness  nondeterminism  np-intermediate 

이전 질문 Bicliques를 찾기위한 Parametrized Algorithm에서 , 나는k × kk×kk\times k 꼭짓점 그래프 에서 -biclique 이고 그것이 FPT wrt 이면 열려 있음을 알았습니다 . 대해 동일한 사실이다 계산 -bicliques 또는 이것이 #의 것으로 알려져 -hard WRT (또는 경도의 다른 개념)?엔nn케이kkk × kk×kk\times k여\ [ 1\]W\[1\]W\[1\]kkk 그 계산 알고 유도 -bicliques …

9 cc.complexity-theory  graph-theory  counting-complexity  parameterized-complexity 

두 명의 플레이어 A (lice)와 B (ob)와 R (eferee)이있는 의사 소통 복잡성의 프레임 워크를 가정합니다. A와 B는 서로 직접 통신하지 않습니다. 각각의 통신 라운드에서, 그들 각각은 메시지 ( , )를 R로 전송한다. R은 두 함수 및 하고 그 결과를 그들에게 전송한다. 기능이 수정되었습니다. 아이디어는 플레이어 간의 통신이 제한된다는 것입니다. 또한 …

9 cc.complexity-theory  reference-request  communication-complexity 

DLOGTIME은 http://en.wikipedia.org/wiki/DLOGTIME 에 정의되어 있으며 http://en.wikipedia.org/wiki/L_%28complexity%29 및 정의되어 있습니다 . 은 http://en.wikipedia.org/wiki/NC_%28complexity%29에 정의되어 있습니다 . 엘엘\operatorname{L} 체크 안함체크 안함\operatorname{NC}체크 안함엔체크 안함엔\operatorname{NC}^n DLOGTIME은 가장 작은 것 같습니다. 그 다양한 장소에서 읽은 , 모든 장소 비록 내가 한 발견 균일 상태에서 사용 상태 결과 - 일률. 모든 클래스 결정적이 있는가 되도록 로 …

9 cc.complexity-theory  circuit-complexity 

에서 최대 컷 문제 중 하나는 S와 S 사이의 상보 에지의 수가 가능한 한 크게되도록 주어진 간단한 무향 그래프의 정점의 부분 집합 S를 구하고. Max-Cut은 경계도 그래프 [PY91]에서 APX- 완료이며, 실제로 3 차 그래프 (즉, 3 도의 그래프)에서 APX- 완료 [AK00]입니다. Max-Cut은 최대 3 개의 삼각형이없는 그래프에서 NP- 완료입니다. [LY80] …

9 cc.complexity-theory  approximation-algorithms  approximation-hardness  max-cut 

가장 드문 컷 문제에 대해 읽은 모든 곳에서 문제는 NP 하드라고 알려져 있습니다 . 이것에 대한 증거는 어디서 찾을 수 있습니까? 어떤 가장 알려진 NP- hard 문제가 가장 희박한 절단 문제로 감소합니까? Leighton Rao 알고리즘을 제공하는 Vazirani의 책 Approximation Algorithms 또는 NP 가 완전히 완료되지 않은 많은 문제 를 요약 …

9 cc.complexity-theory  reference-request  np-hardness 

세트 커버를 줄이면 특정 문제가 거의 발생하지 않음을 보여 주려고합니다. 축소는지면 크기의 세트로 인스턴스를 변환합니다.nnn 과 mmm 특정 매개 변수가있는 문제의 인스턴스로 설정됩니다. rrr 크기가 O(n+m)O(n+m)O(n+m). 그런 다음 표지 크기가 s 인 세트 표지의 인스턴스가 최적 솔루션의 크기가있는 내 문제의 인스턴스에 해당함을 보여줄 수 있습니다.2s2s2s(또는 이와 비슷한) 그 반대의 경우도 …

9 cc.complexity-theory  approximation-hardness  set-cover 

Kolmogorov 문자열의 복잡성은 계산할 수 없습니다. 그러나, 사이즈의 임의의 서브 세트에서 길이의 이진 스트링의 , 얼마나 적은 일부 정수보다 복잡성을 가질 것으로 기대된다 이하 (의 함수로서 , 및 )?MMMnnnn0n0n_{0}nnnMMMnnnn0n0n_{0}

9 cc.complexity-theory  kolmogorov-complexity 

꼭지점 이있는 단위 디스크 그래프 세트의 카디널리티에 바운드하고 싶습니다 . 그래프가이 세트의 멤버인지 확인하는 것은 NP-hard 인 것으로 알려져 있습니다. 이것이 P NP를 가정하면 카디널리티의 하한으로 이어 집니까?NNN≠≠\neq 예를 들어 꼭짓점 이있는 모든 그래프에 순서가 있다고 가정 합니다. NP-hardness가 카디널리티가 초과한다는 것을 의미 합니까? 그렇지 않으면 세트를 통해 이진 검색을 …

9 cc.complexity-theory  graph-theory 

허락하다 AAA ~이다 3×33×33 \times 3 또는 4×44×44 \times 4 항목이있는 행렬 aijaija_{ij}. 누군가 나에게 행렬을 제공 할 수 있습니까?BBB 그래서 per(A)=det(B)per⁡(A)=det(B)\operatorname{per}(A) = \det(B)? \ operatorname {per} (A) = \ det (B) 와 같이 알려진 가장 작은 명시 적 는 무엇입니까 ? 명백한 예를 가진 이것에 대한 언급이 있습니까?BBBper(A)=det(B)per⁡(A)=det(B)\operatorname{per}(A) = …

9 cc.complexity-theory  algebraic-complexity  permanent 

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

9 cc.complexity-theory  complexity-classes 

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

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

계산 모델 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