을 시간 ( 시간에 (다중 테이프) 튜링 머신에서 허용 할 수있는 언어 클래스로 정의하십시오 . " "은 표기법을 단순화하고 혼동을 피하기위한 것입니다. 주위 에는 가 없습니다 .F ( N ) + 1 + 1 O ( ⋅ ) F ( N ) + 1D T I M E (f( n …
이면 PH 전체가 붕괴 된다는 것을 알고 있습니다. 다항식 계층 구조가 부분적으로 축소되면 어떻게됩니까? (또는 PH가 특정 지점 이상에서 붕괴 될 수 있다는 것을 이해하는 방법은 무엇입니까?)P=NPP=NPP=NP 간단히 말해 및 의 결과는 무엇입니까?NP=coNPNP=coNPNP=coNPP≠NPP≠NPP\ne NP
다음 질문은 복잡성 이론에 적용된 암호의 아이디어를 사용합니다. 즉, 그것은 순전히 복잡하고 이론적 인 질문이며 답을 얻는 데 필요한 암호 지식은 없습니다. 나는이 질문을 고의적으로 비공식적으로 작성합니다. 세부 사항이 없으면 약간 잘못 설명되었을 수 있습니다. 답변에서 수정 사항을 알려주십시오. 다음 papaper에서 : Nonmalleable 암호화, 대니 돌 레브, 신시아 드 워크 …
의 증명 시도의 일부가 있습니다. 증명 시도는 -완전한 문제 3- 일반 정점 표지에서 SAT 로의 Karp 축소로 구성됩니다 .⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}⊕P⊕P\oplus \mathbf{P}⊕⊕\oplus 입방 그래프 주어지면 , 감소 는 다음 특성을 모두 갖는 CNF 공식 를 출력 합니다.GGGFFF FFF 는 최대 만족스러운 과제를 가지고 있습니다.111 FFF 의 정점 커버 수가 …
공간 계층 정리에서 가 공간 구성 가능한 경우 DSPACE ( )가 DSPACE ( 과 같지 않다는 것이 알려져 있습니다.에프ff2 f ( n ) f ( n ) )2 개 f( n )2f(n)2f(n)에프( n ) )f(n))f(n)) 여기서 DSPACE ( 나는 고정 알파벳이있는 튜링 머신에 의해 공간 에서 해결할 수있는 모든 문제의 …
나는 고전적인 문제 정규 언어 포함에 관심이 있습니다. 정규 표현식 주어지면 , 우리는 그와 관련된 정규 언어 를 로 표시합니다. (일반 표현식은 고정 알파벳 에 있으며 조합, Kleene-star 및 연결이 있습니다.)L ( E ) Σ이자형EE패 ( E)L(E)L(E)ΣΣ\Sigma 입력 : 두 정규 표현식 및 질문 : 그것은 사실이다 ?E 2이자형1E1E_1이자형2E2E_2 패 …
일반적인 질문 공간 계층 정리는 비 균일 계산으로 일반화됩니까? 몇 가지 더 구체적인 질문이 있습니다. 가 ?L / P O 패 Y⊊ P에스피C이자형/ polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly 모든 공간 구성 가능 함수 에프( n )f(n)f(n) 에 대해 D S피C이자형( o ( f( N ) ) ) / P O 패 Y⊊ …
나는 최근 Coudron과 Yuen이 양자 장치를 사용한 무작위 확장에 관한 논문을 보았습니다 . 이 작업의 주요 결과는 일정한 수의 소스로부터 "무한"랜덤 성을 생성 할 수 있다는 것입니다. 즉, 생성 된 랜덤 비트의 수는 소스의 수가 아니라 프로토콜의 라운드 수에만 의존합니다. ). 순진하게, 이것은 결과가 양자 소스와 함께 임의의 알고리즘을 무작위 …
요컨대, 어려운 작업에 대한 계산 능력은 어느 정도 쉬운 작업을 해결하는 데 실제로 도움이됩니다. (이 질문을 흥미롭고 사소한 것으로 만들 수있는 다양한 방법이있을 수 있으며 여기에 그러한 시도가 있습니다.) 질문 1: n 개의 변수가있는 공식에 대한 SAT를 해결하기위한 회로를 고려하십시오. (또는 모서리가 있는 그래프의 해밀턴 사이클을 찾는 데 사용 됩니다.)엔nn …
CNF 공식과 반대의 두 번 읽기에서 각 변수는 두 번, 한 번은 긍정적이고 한 번은 부정적으로 나타납니다. 나는 문제에 관심이 있는데, 이는 CNF 공식과 반대되는 두 만족스러운 할당 수의 패리티를 계산하는 것으로 구성됩니다.⊕Rtw-Opp-CNF⊕Rtw-Opp-CNF\oplus\text{Rtw-Opp-CNF} 이러한 문제의 복잡성에 대한 참조를 찾을 수 없습니다. 내가 찾은 가장 가까운 것은 계산 버전 가 -complete …
있다 알고리즘 그래프 이론 / 숫자 이론 / 조합론 / 정보 이론 / 게임 이론. 알고리즘 수학적 분석이 있습니까? 위키에 따르면 수학적 분석 에는 미분, 통합, 측정, 한계, 무한 시리즈 및 분석 함수 이론이 포함됩니다. 실수 변수의 실수와 실수 함수를 다루는 실수 분석 (wiki) 에 초점을 두는 것이 좋습니다. "알고리즘"은 …
I이 언어가 속하는 클래스에 대해 생각했다 : , 그래프이고 , k는 자연수이고, k는 의 유채색 번호 G }L = { ⟨ G , K ⟩ | G엘={⟨지,케이⟩∣지L =\{ \langle G,k \rangle \mid G 케이케이k케이케이kG }지}G\} 나는 을 (1) "k-1 색의 채색이 없다"와 (2) " k 색의 채색이있다 "라고 생각했다. 이제 …