이론 컴퓨터 과학

관련 분야의 이론 컴퓨터 과학자 및 연구자를위한 Q & A

1
볼록 껍질에 유닛 볼이 있는지 확인하는 것이 NP입니까?
차원 유클리드 공간 에서 점이 주어지면 , 볼록 껍질에 원점을 중심으로 한 볼이 포함되어 있는지 확인하는 것이 문제입니다.엔엔n디디d NP에이 문제가 있습니까? 볼록 껍질 외부의 볼을 증인으로 지적하고 선형 프로그래밍을 사용하여이 사실을 확인할 수 있기 때문에 공동 NP에 있습니다. 제 관심은 제곱근과 관련된 컴퓨터 정밀도에 중점을 두지 않습니다. ( /mathpro/141782/efficiently-determine-if-convex-hull-contains-the-unit-ball 관련 …
2
나무에 걸친 완성도
잎의 집합이 호스트 그래프에서 완전한 하위 그래프를 유도하는 경우 그래프의 스패닝 트리를 완전성 트리라고합니다. 그래프 와 정수 k가 주어지면, G 가 최대 k 개의 잎을 가진 완전성 트리를 포함 하는지 여부를 결정하는 복잡성은 무엇 입니까?GGGkkkGGGkkk 이 질문을하는 이유는 독립 트리에 대한 해당 문제 가 NP- 완료이기 때문입니다. 여기에서 독립 트리는 …
2
언어를 생성하는 가장 작은 부울 회로
길이가 인 이진 문자열의 비어 있지 않은 언어 을 고려하십시오 . I는 설명 할 수 부울 회로와 와 입력과 하나 개의 출력되도록 에만 true 인 이 공지이다.엘LLnnnLLLCCCnnnC(w)C(w)C(w)w∈Lw∈Lw \in L 그러나 출력을 가진 부울 회로 와 과 같은 특정 수의 입력으로 을 표현하고 싶습니다. 따라서 가능한 입력 각각에 대한 의 출력 …
2
형식 이론에서 유한 집합 이론의 형식화
대부분의 교정 보조원은 "유한 세트"개념을 공식화했습니다. 그러나 이러한 형식화는 크게 다릅니다 (그러나 모두 본질적으로 동일하기를 희망하지만). 이 시점에서 내가 이해하지 못하는 것은 관련된 디자인 공간과 각 공식화의 장단점입니다. 특히 다음을 이해하고 싶습니다. 간단한 유형 이론에서 유한 세트 (즉, 유한 한 수의 주민이 거주하는 유형)를 축약화할 수 있습니까? 시스템 F? 이 …
1
,,클래스
나는이 수업을 이해하려고 노력했지만 항상 혼란스러워했습니다 ... 질문은 다음과 같습니다. 와 의 관계는 무엇입니까 ? 특히 공개 질문입니까?# P에프엔피FNPFNP# P#P\#P 와 의 관계는 무엇입니까 ? 이 질문이 열려 있습니까?N P⊕ P⊕P\oplus P엔피NPNP 와 의 관계는 어떻습니까? 이 질문이 열려 있습니까?P F N P피HPHPH피에프엔피PFNPP^{FNP}
2
0-1 프로그래밍을위한 정확한 지수 시간 알고리즘
순진 알고리즘을 능가하는 다음 문제에 대한 알려진 알고리즘이 있습니까? 입력 : A 시스템 의 m 선형 불평등.A x ≤ bAx≤bAx \le b미디엄mm 출력 : 실행 가능한 솔루션 경우).엑스※∈ { 0 , 1 }엔x∗∈{0,1}nx^*\in \{0,1 \}^n 와 b 에 정수 항목이 있다고 가정하십시오 . 최악의 상황에 관심이 있습니다.ㅏAAbbb
1
UP
그래프 동형화 (결정 문제) 입니까? 여기서 U P 는 모호하지 않은 튜링 머신에서 허용되는 결정 문제의 클래스입니다 ( 복잡성 동물원 참조 ).UP∩coUPUP∩coUP\mathsf{UP}\cap \mathsf{coUP}UPUP\mathsf{UP}
1
에서 자연 문제
복잡성 클래스 (에서 다음과 같이 정의된다 위키 )에스피2S2P\textrm{S}_2^\textrm{P} 언어 인 S P 2 다항식 시간 술어가 있으면 P가 되도록엘LL에스피2S2PS_2^P피PP 경우 , 다음 존재 Y 되도록 모든 Z , P ( X , Y , Z ) = 1x ∈ Lx∈Lx \in L와이yy지zz피( x , y, z) = 1P(x,y,z)=1P(x,y,z)=1 경우 , …
1
다항식의 정수근
정수 계수 를 갖는 다항식 의 모든 정수 근을 찾기 위해 어떤 알고리즘을 사용할 수 있습니까?에프( x )에프(엑스)f(x) 세이지가 모든 계수 가 매우 큰 경우에도 몇 초 안에 뿌리를 찾을 수 있음을 관찰합니다 . 어떻게 그렇게 할 수 있습니까?에프( x)에프(엑스)f(x)
4
트리 분석이 쉽지 않은 SAT의 쉬운 사례
CNF 공식 의 자연적 클래스 가 있습니까 -바람직하게는 문헌에서 이전에 연구 된 것 – 다음과 같은 특성을 갖습니다 :CCC C F ∈ CCCC 는 예를 들어 혼 또는 2-CNF와 같은 SAT의 쉬운 경우이다. 즉, 구성원 은 다항식 시간으로 테스트 될 수 있고, 식 는 다항식 시간에서 만족 스러운지 테스트 될 …
1
로그 순위 추측 사용이 실제보다 순위가 높은 이유는 무엇입니까?
통신 복잡성에서 로그 순위 추측은 cc(M)=(logrk(M))O(1)cc(M)=(log⁡rk(M))O(1)cc(M) = (\log rk(M))^{O(1)} 여기서 은 M ( x , y ) 의 통신 복잡도 이고 r k ( M ) 은 실수에 대한 M (행렬) 의 순위입니다 .cc(M)cc(M)cc(M)M(x,y)M(x,y)M(x,y)rk(M)rk(M)rk(M)MMM 그러나 계급 방법을 사용하여 하한 을 사용 하는 경우 편리한 모든 필드에서 r k 를 사용할 …
1
증명
Razborov 의 연설 에서 호기심 많은 작은 진술이 게시됩니다. FACTORING이 어렵다면, 에서 Fermat의 작은 정리는 증명할 수 없습니다 S12S21S_{2}^{1}. 란 무엇 S12S21S_{2}^{1}이며 왜 현재 증명이 S12S21S_{2}^{1} 없는가?
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.