최소 사각형으로 간단한 오목 다각형을 덮으려고합니다. 내 직사각형은 길이가 가능하지만 최대 너비를 가지며 다각형은 예각을 갖지 않습니다. 오목 다각형을 삼각형으로 분해하여 각 삼각형을 최소한으로 묶은 최소 겹치는 사각형 세트를 생성 한 다음 해당 사각형을 더 큰 사각형으로 병합하려고합니다. 그러나 이것이 다각형 가장자리의 작은 노치에는 효과가 없다고 생각합니다. 해당 노치의 반사 …
고려 값 세트 (중복되지 정렬 된 배열로 표현하고, 알려진 크기 (예. 크기는 O (1)) 값은 O 평등에 대한 테스트 할 수 있습니다. (1) 시간을 얻을 수 있습니다. 내가 원하는 n 중 적어도 k 개의 상이한 세트에 존재하는 값 세트를 획득하기 위해 .nnnkkknnn 이를 수행하는 확실한 알고리즘은 모든 세트를 거치고 각 …
LISP에 관한 책을 번역하고 있으며 자연스럽게 λλ\lambda 미적분의 일부 요소에 닿습니다. 따라서 확장 성의 개념은 λλ\lambda 미적분 의 일부 모델과 함께 언급 됩니다. 즉, 피ωPω\mathcal{P}_\omega 및 디∞D∞D^\infty (예, 무한대가 맨 위에 있음). 그리고 피ωPω\mathcal{P}_\omega 는 확장 적이며 디∞D∞D^\infty 는 확장 되지 않는다고합니다. 그러나 ... 나는 Barendregt의 Lambda Calculus, Syntax and …
NL⊈PNL⊈P\mathsf{NL} \nsubseteq \mathsf{P} 지금 회로 오라클 게이트 가족 고려 - 말을 , 다른 클래스 오라클 접속 LOGSPACE 포함하는 회로의 복잡성 클래스 에 기초하여 추가 오라클 게이트 통해 . 그러한 클래스로 알려진 Ladner-Lynch 논문과 정신적으로 유사한 병리학적인 예가 있습니까? 그러한 클래스에 필요한 RST와 같은 제한은 무엇입니까? 실제로 그러한 예가있는 경우, RST …
양자의 상태가 주어지는 들의 세트로부터 임의로 선택 혼합 상태 정확하게 식별하는 최대 평균 확률 무엇 ? N ρ 1 . . . ρ N AρㅏρA\rho_A엔NNρ1. . . ρ엔ρ1...ρN\rho_1 ... \rho_NㅏAA 이 문제는 를 와 구별하는 문제를 고려하여 두 가지 상태 구별 문제로 전환 될 수 있습니다 .ρ B = 1ρㅏρA\rho_Aρ비= …
선형 방정식 시스템에 대한 Harrow, Hassidim 및 Lloyd의 논문 Quantum 알고리즘을 읽고 있습니다. 그 논문의 세 번째 페이지에는 다음으로 조건부 해밀턴 진화를 적용합니다. on | Ψ 0 ⟩ C ⊗ | B ⟩ ...∑T−1τ=0|τ⟩⟨τ|C⊗eiAτto/T∑τ=0T−1|τ⟩⟨τ|C⊗eiAτto/T\sum_{\tau=0}^{T-1} \left|\tau\right>\left<\tau\right|^{C}\otimes e^{iA\tau t_{o}/T}|Ψ0⟩C⊗|b⟩…|Ψ0⟩C⊗|b⟩…\left|\Psi_{0}\right>^{C}\otimes\left|b\right>\dots 내 인생에서 나는 의 의미를 알 수 없다 . 거기서 뭐하는거야? 어떻게 것 …
이것은 각 변수의 할당은 알고 있지만 부울 연산자의 할당은 알지 못한다는 점을 제외하고는 SAT와 유사합니다. 이 경우 각 연산자의 할당을 찾고 있으므로식이 주어진 부울 값으로 NPC 문제를 평가합니까? 실제로, 정수 산술 표현 (예 : = 10) 을 만족시키기 위해 산술 연산자의 할당을 찾는 것이 NP가 완전한지 궁금합니다.111 op1op1op_1 333 op2op2op_2 …
비공식적으로, 직접 제품 정리 는 함수 의 인스턴스를 계산하는 것이 한 번 계산하는 것보다 어렵다고 말합니다 .f f케이kk에프ff에프ff 일반적인 직접 제품 정리 (예를 들어, 치아의 XOR 명제)에서 보면 평균 케이스 복잡도 이고, (매우 약) 주장 크기의 회로에 의해 계산 될 수 더 이상의 확률 , 그런 다음 사본 에 의해 …
열 모음 이 전체 순위 라는 속성을 가진 실제 k × nk×nk\times n ( ) 행렬 를 보자 .Ak ≤ nk≤nk\le nㅏA{\bf A}케이kk Q : 증강 행렬 가 와 동일한 속성을 유지하도록 벡터 를 결정적으로 찾는 효율적인 방법이 있습니까? : 모든 열이 전체 순위입니다.A ' = [ Aㅏa{\bf a}A kㅏ'= …
우리는 matroid가 주어집니다. 우리의 목표는 마토 로이드의 모든 밑면과 비어 있지 않은 최소 크기의 요소 집합을 찾는 것입니다. 문제가 이전에 연구 되었습니까? P에 있습니까? 예를 들어, 스패닝 트리 matroid에서 최소 타격 세트는 최소 컷이어야합니다. 감사.
Dana Angluin ( 1987 ; pdf )은 멤버십 쿼리와 이론 쿼리 (제안 된 함수에 대한 예)로 학습 모델을 정의합니다. 최소한 DFA로 표시되는 일반 언어 것을 취미 쇼 상태들이 함께 (제안 기능 DFAS을 어디) 다항식 시간에 학습 가능하다 최대 멤버십 쿼리와 이론 쿼리 ( 튜터가 제공하는 가장 큰 반대 예의 크기입니다). …
3-Clique Partition 문제는 그래프의 꼭짓점 (예 : )을 3 개의 clique로 분할 할 수 있는지 여부를 결정하는 문제입니다 . 이 문제는 3 색성 문제를 간단히 줄임으로써 NP-hard입니다. 또는 때이 문제에 대한 답이 쉬운 지 알기 어렵지 않습니다 . 문제는 때 자체에서 간단한 감소로 인해 NP-hard 상태로 남아 있습니다 (그래프 주어지고 …
답 : 알려지지 않음 이 질문을 수정하는 데 도움을 주신 모든 분들께 감사드립니다. 이 위키의 정의는 최신 TCS 위키 " P에 PA 또는 ZFC와 독립적 인 언어가 포함되어 있습니까? (TCS 커뮤니티 위키) " 의 시작점을 제공했습니다 . 최신 위키는이 위키의 정의와 명명법이이 오래된 위키보다 훨씬 정교하기 때문에 선호됩니다. 특히,이 오래된 …