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

다음 모델을 고려하십시오. n 비트 문자열 r = r 1 ... r n 은 무작위로 균일하게 선택됩니다. 다음으로, 각각의 인덱스 i∈ {1, ..., n}은 독립 확률 1/2의 세트 A에 놓인다. 마지막으로, 각 i∈A마다 원한다면, i 를 뒤집을 수 있습니다. 내 질문은 이것입니다 : 결과 문자열 (r '이라고 부름)을 RP 또는 …

19 cc.complexity-theory  randomized-algorithms  derandomization  extractors 

정점 채색 문제가 P에 있지만 독립 세트 문제가 NP 완료 인 그래프 클래스의 예가 있습니까?

19 cc.complexity-theory  graph-theory  complexity-classes 

임의의 k (및 주요한 힘에 특별한 관심을 기울임)에 대해 선형 방정식 modulo k 를 풀기의 복잡성에 관심이 있습니다. 문제. 알려지지 않은 modulo 의 선형 방정식 의 주어진 시스템에 대해 어떤 해가 있습니까?미디엄미디엄m엔엔n케이케이k 자신의 종이에 추상에서 구조 및 LOGSPACE-MOD 클래스의 중요성 클래스에 의 MOD 케이 L은 , Buntrock는, 당국이는 Hertrampf 및 …

19 cc.complexity-theory  dc.parallel-comp  linear-algebra  nt.number-theory 

나는 현재 만족스럽지 않고 최소 크기 인 3-CNF 공식을 얻고 (또는 구성) 연구하는 데 관심이 있습니다. 즉, 가능한 한 적은 절 (m = 8)과 가능한 한 적은 고유 변수 (n = 4 이상)로 구성되어야합니다. 따라서 하나 이상의 절을 제거하면 수식을 만족시킬 수 있습니다. 보다 공식적으로, 적격 3-CNF 공식 F는 다음 …

19 cc.complexity-theory  sat 

주식 시장을 예측하는 것은 어렵습니다! TCS가이 정서를보다 공식적으로 만들 수 있습니까? 최근 저는 금융에 대해 조금 생각하기 시작했으며 TCS에 대한 지식이 어떻게 도움이 될지 궁금했습니다. 헤지 펀드와 투자 회사는 항상 알고리즘 거래, 기계 학습 및 AI를 사용하는 것처럼 보이지만 TCS 결과는 거의 없습니다. 특히, 나는 두 종이 만 알고있다 : …

19 cc.complexity-theory  reference-request  survey  ce.computational-finance  algorithmic-lens 

정수 인수 분해, 소수 / 복소수 이산 로그 문제 및 타원 곡선 포인트 그룹 (및 더 높은 차원의 abelian 품종)에 대한 변형과 ​​같이 암호화에서 발생하는 특정 하드 문제에 대한 회로 하한에 대한 세부 정보를 제공하는 참조가 있습니까? 숨겨진 부분 군 문제? 특히 이러한 문제 중 하나라도 선형 복잡도 하한값 이상을 …

19 cc.complexity-theory  complexity-classes  cr.crypto-security  circuit-complexity 

관계형 데이터베이스 에서 쿼리 대한 답을 찾으려면 시간 가 필요하며 지수 제거 할 수없는 것으로 알려져 있습니다. .D | D | | Q | | Q |큐QQ디DD| D || Q ||D||Q||D|^{|Q|}| Q ||Q||Q| 로 매우 클 수 데이터베이스가 실제로는 전혀 작동 이유, 우리는 궁금합니다.디DD 실제 응용 프로그램에서 일반적인 쿼리가 전혀 …

19 cc.complexity-theory  time-complexity  descriptive-complexity  db.databases 

2011/02/08에서 편집 : 일부 참고 자료 찾기 및 읽기 후에 원래 질문을 두 개의 개별 질문으로 분리하기로 결정했습니다. UP과 NP에 관한 부분은 다음과 같습니다. 구문 및 의미 클래스의 경우 구문 및 의미 클래스의 이점을 참조하십시오 . U PUP\mathsf{UP} (명백한 다항식 시간, 참조를 위해 위키 및 동물원 참조)은 -기계에 의해 결정된 …

19 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

하자 에프( n )f(n)f(n) 이 될 크기의 입력에 문제시 실행되는 최악의 경우 엔nn . 우리는이 문제 고정함으로써 조금 이상한합시다 에프( n ) = n2f(n)=n2f(n) = n^2 에 대한 N = 2 Kn=2kn=2k 이지만 에프( n ) = nf(n)=nf(n) = n 에 대한 N = 2 K + 1n=2k+1n=2k+1 . 그렇다면 …

19 cc.complexity-theory  time-complexity 

패리티와 은 분리 할 수없는 쌍둥이와 같습니다. 아니면 지난 30 년 동안 보였습니다. Ryan의 결과에 비추어 소규모 수업에 대한 관심이 다시 생길 것입니다.C0ㅏ씨0AC^0 Furst Saxe Sipser to Yao to Hastad는 모두 패리티 및 임의 제한입니다. Razborov / Smolensky는 패리티 (ok, mod gates)가있는 근사 다항식입니다. Aspnes 등은 패리티에서 약한 정도를 사용합니다. …

19 cc.complexity-theory  complexity-classes  lower-bounds  circuit-complexity 

독특한 게임 추측을 설명하기 위해 그림을 어떻게 디자인 하시겠습니까? 다음 AMS 공동 회의에서 독창적 인 게임과 제작 될 소책자에 대한 "현재 이벤트"프레젠테이션을위한 것입니다. 과거에 제작 된 삽화의 예는 http://www.ams.org/meetings/lectures/current-events-bulletin 2006 년판을 클릭하면 Madhu Sudan이 PCP에 대한 그의 이야기를 설명하는 데 사용한 그림을 볼 수 있습니다. 나는 가제트를 사용하여 독특한 게임을 …

19 cc.complexity-theory  unique-games-conjecture 

복잡성 이론에서 제가 가장 좋아하는 정리는 시간 계층 정리입니다. 그러나 이것은 1965 년에 이루어졌습니다. Quantum Computing과 비슷한 것이 있는지 알고 싶었습니다. 또한이 방향으로 일하는 사람들 / 그룹은 무엇입니까?

19 cc.complexity-theory  quantum-computing 

Coq와 같은 증명 어시스턴트를 사용하여 복잡한 이론의 이론과 증명을 공식적으로 검증하는 진행중인 프로젝트가 있습니까? 이를 수행하는 데 경계가 있습니까?

18 cc.complexity-theory  complexity  proof-assistants 

인스턴스없이 무한 집합 어떤 NP 완전 문제가 있습니다 의 회원하도록 Φ는 다항식 시간에 결정 될 수 있으며, 모든 X ∈ Φ , X는 다항식 시간에 해결할 수있다? ( P ≠ N P 가정 )ΦΦ\PhiΦΦ\Phix∈Φx∈Φx \in \PhixxxP≠NPP≠NPP \neq NP

18 cc.complexity-theory  np-complete  heuristics 

P 공식 클레이 문제 설명에서는 NP 대는 명시된 것 있는 것 "모든 언어 게재 따를 E를 [언어의 클래스 결정적 튜링 머신 지수 시간 인식] 부울 회로 군에 의해 계산 될 수있다 < B n > 적어도 하나의 n에 대해 , B n 은 부울 함수 f 를 계산하는 데 필요한 …

18 cc.complexity-theory  circuit-complexity