다음과 같은 추가 제한이있는 Monotone 3CNF 공식을 고려하십시오. 모든 변수는 정확히 절로 나타납니다 .222 절이 주어지면 최대 변수를 공유 합니다.222111 그러한 공식의 만족스러운 과제를 계산하는 것이 얼마나 어려운지 알고 싶습니다. 업데이트 06/04/2013 12:55 또한 만족스러운 과제 수의 패리티를 결정하는 것이 얼마나 어려운지 알고 싶습니다. 2013 년 11 월 4 일 …
다음은 문자열에 대한 두 가지 해시 함수 계열입니다. :엑스⃗ = ⟨엑스0엑스1엑스2…엑스미디엄⟩x→=⟨x0x1x2…xm⟩\vec{x} = \langle x_0 x_1 x_2 \dots x_m \rangle 들면 프라임 , 위한 \에서 \ mathbb {Z}를 _p . Dietzfelbinger et al. "다항식 해시 함수는 신뢰할 수 있음"에서 \ forall x \ neq y, P_a (h ^ 1_a (x) = …
모든 모서리가 단위 용량을 갖는 그래프를 고려하십시오. 다항식 시간에서 최소 컷을 찾을 수 있습니다. 용량을 늘릴 수 있다고 가정 해 봅시다. 케이kk가장자리를 무한대로 (가장자리 양쪽의 노드를 병합하는 것과 동일). 최적의 세트를 선택하는 최적의 방법은 무엇입니까케이kk 최소 컷을 최대화하기 위해 가장자리 (누가 용량이 무한대로 증가 할 것인가)?
유한 필드에서 작업한다고 가정합니다. 이 필드에 대해 큰 고정 다항식 p (x) (즉, 차수 1000)가 제공됩니다. 이 다항식은 미리 알려져 있으며 "초기 단계"에서 많은 리소스를 사용하여 계산을 수행 할 수 있습니다. 이러한 결과는 비교적 작은 조회 테이블에 저장 될 수 있습니다. "초기 단계"의 끝에서, 알려지지 않은 작은 다항식 q (x)가 …
양자 컴퓨팅 문헌의 대부분은 회로 모델에 중점을 둡니다. 단열 양자 컴퓨팅은 일련의 단일 연산자를 적용하는 것이 아니라 시간에 따른 해밀턴을 변경하는 것입니다. 다음 중 하나에 대한 통찰력을 찾고 있습니다. 단열 양자 컴퓨팅은 회로 모델만큼 강력합니까, 아니면 본질적으로 덜 강력합니까? 회로 모델이 아닌 단열 컴퓨팅과 관련된 복잡성 클래스가 있습니까? 단열 컴퓨팅의 …
저는 인도에서 온 대학원생입니다. 저는 저명한 교수들이 주최하는 워크샵, 컨퍼런스 및 초청 강사에 관심이 있습니다. 평소와 같이 대화가 끝나면 일부 사람들이 질문을하고 화자가 답변합니다. 그러나 내 문제는 대부분의 질문과 답변을 이해하지 못한다는 것입니다. 질문을해도 화자가 제공 한 답변을 이해할 수 없습니다. 누군가 내 경험과 제안을 내 문제에 공유 할 수 …
소개 나는 ( '소프트웨어 제품'에서와 같이) 제품 에 작용할 수있는 수정 ( 델타 라고도 함)에 대한 추상 대수적 설명 인 추상 델타 모델링 (ADM) 에 관한 박사 학위 논문을 쓰고 있습니다. 이를 통해 관련 제품 세트 ( '제품 라인')를 간단한 핵심 제품 및 조건부 적용 델타 세트로 구성하여 기본 아티팩트를 …
나는 쉬운 운동 (아래 스포일러) 인 다음과 같은 질문에 직면했다. 우리는 주어진다 nnn 정지 문제의 사례 (즉, TM) M1,...,MnM1,...,MnM_1,...,M_n), 우리는 정확히 어느 것이 중단되는지 결정해야합니다. ϵϵ\epsilon. 즉, 우리는 출력해야합니다{ 나는 :미디엄나는ϵ }에서 정지 {i:Mi halts on ϵ}\{i: M_i\text{ halts on }\epsilon\}. 중지 문제에 대한 오라클이 제공되지만 최소한의 횟수 만 사용해야합니다. …
일부 사람들은 -calculus 의 구문을 제시 할 때 함수 응용 프로그램에 Krivine의 표기법을 사용하는 것을 보았습니다 . 예를 들어, term (함수 응용 프로그램이 왼쪽에 연결하는 일반적인 규칙에 따라 실제로는 )는 로 작성 (실제로 와 유사한 규칙 ) 가장 안쪽 주위에 또 다른 괄호 쌍이 있다는 점을 보지 못했습니다 . 사람들은 …
우리는 알고 L⊆NL⊆P⊆NPL⊆NL⊆P⊆NP\mathcal{L}\subseteq \mathcal{N\!L}\subseteq\mathcal{P}\subseteq\mathcal{N\!P}. 사 비치 정리에서NL⊆L2NL⊆L2\mathcal{N\!L}\subseteq\mathcal{L}^2Space Hierarchy Teorem에서 L≠L2L≠L2\mathcal{L}\neq\mathcal{L}^2. 우리가 알지 못하는 것처럼L≠PL≠P\mathcal L\neq\mathcal P, 우리는 모른다 L2⊆PL2⊆P\mathcal L^2\subseteq\mathcal P또는 우리는 그것을 알고 있습니까 L2⊈PL2⊈P\mathcal L^2\not\subseteq\mathcal P? 아무도 그것을 증명하려고 노력 했습니까?L2⊆PL2⊆P\mathcal L^2\subseteq\mathcal P? 이런 식으로 최신 결과 또는 노력은 무엇입니까? 이 주제에 대한 설문을 작성하려고했지만 관련성이 없습니다. 또한 …
닫은. 이 질문은 주제에 맞지 않습니다 . 현재 답변을받지 않습니다. 이 질문을 개선하고 싶습니까? 이론적 인 컴퓨터 과학 스택 교환에 대한 주제가 되도록 질문을 업데이트하십시오 . 휴일 칠년 전에 . " "를 1 차 공식으로 어떻게 표현할 수 있습니까?P=PSPACEP=PSPACEP=PSPACE 어떤 수준의 산술 계층 구조에이 수식이 포함되어 있습니까 (그리고 현재 포함 …
작동중인 세트에 지정된 요소 가있는 알려진 그룹 조치 제품군이 있습니까? \: 그룹에서 (실질적으로 균일하게) 샘플을 추출하고 역 연산을 계산합니다. \: 그룹 작업을 계산하고 그룹 작업을 계산 무시할 수없는 확률로 성공 하기 위한 효율적인 양자 알고리즘 은 알려져 있지 않다 . \: 그룹 조치의 색인 및 결과를 입력으로 제공 \: 지정된 …
메타 휴리스틱에 대한 과정을 가르치고 있으며 프로젝트라는 용어에 대한 고전적인 조합 문제의 흥미로운 사례 를 생성해야합니다 . TSP에 집중하자. 우리는 차원 그래프를 다루고 있습니다 . 물론 임의의 에서 가져온 값으로 비용 행렬을 사용하여 그래프를 생성하려고 시도했지만 경로 비용에 대한 히스토그램 (많은 임의의 경로를 샘플링하여 그려 짐)이 있음을 알았습니다. 매우 좁은 …
혼란 스러워요. 나는 정렬의 문제가 있다는 것을 증명하려면 하여 행렬 즉, 행과 열이 오름차순으로되어있다 . 보다 빠르게 수행 할 수 있다고 가정하고 m 요소를 정렬하는 데 필요한 비교를 위해 하한 을 위반하려고합니다 . 두 가지 상충되는 답변이 있습니다.엔nn엔nnΩ (엔2로그n )Ω(n2logn)\Omega(n^2\log n)엔2로그엔n2lognn^2\log n로그( m ! )log(m!)\log(m!) 우리는 의 정렬 된 행렬에서 …