이론 컴퓨터 과학

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

1
랜덤 3-SAT : 임계 값의 합의 실험 범위는 무엇입니까?
임의의 3-SAT에 대한 변수에 대한 절의 임계 비율은 3보다 크고 6보다 작으며 일반적으로 "4.2 주위"또는 "4.25 주위"로 설명됩니다. Mezard, Parisi 및 Zecchina는 (물리적 의미에서) 임계 비율이 4.256 임을 증명하고, 첫 번째 및 세 번째 저자 는 그것이 4.267 임을 증명 합니다. What is the range of values that the critical …
1
가장 긴 트레일 문제가 가장 긴 경로 문제보다 쉬운가요?
가장 긴 경로 문제는 NP-hard입니다. (보통?) 증명은 Hamiltonian 경로 문제 (NP- 완료)의 감소에 의존합니다. 여기서 경로는 (노드-) 단순한 것으로 간주됩니다. 즉, 경로에서 정점이 두 번 이상 발생할 수 없습니다. 따라서 가장자리도 단순합니다 (경로에서 가장자리가 두 번 이상 발생하지 않음). 따라서 (노드) 단순 경로를 찾는 요구 사항을 없애고 가장자리 단순 경로 …
2
읽기 전용 스택을 사용하여 정렬
다음 설정을 고려하십시오. 우리는 스택 주어진다 sss 포함 nnn 항목을. 상수 O(1)O(1)O(1) 개의 추가 스택을 사용할 수 있습니다 . 이러한 스택에 다음 작업을 적용 할 수 있습니다. 스택이 비어 있는지 확인하십시오. 두 스택의 최상위 항목을 비교하고 스택에서 최상위 항목을 삭제하고 상단 항목을 스택으로 인쇄하고 스택의 최상위 항목을 다른 스택에 복사 …
2
신념 전파 방법의 실행 시간에 대한 이론적 보증?
신념 전파는 확률 적 그래픽 모델 연구를 통해 매우 강력한 방법으로 나타났습니다. 그러나 BP에 대해서는 MCP 방법과 비교할만한 것이 없으며, P- 완전 문제에 대해 FPRAS (완전 다항식 근사화 방식)를 사용할 수 있습니다. 누군가 나를 언급 할 수 있습니까?
1
두 개의 카운터 머신이
다음 지침에 따라 표준 2 카운터 ( )를 가공 할 수 있습니다.c1,c2c1,c2c_1,c_2 1) ADD 1 to c_i, GOTO label_j 2) IF c_i = 0 GOTO label_j, OTHERWISE SUB 1 to c_i and GOTO label_k 3) GOTO label_j 4) HALT and ACCEPT|REJECT 다음 언어를 결정하십시오. L={n2∣n≥1}L={n2∣n≥1}L = \{ n^2 \mid n …
5
경계 트리 폭 그래프에서 r- 도미 네이션 세트에 대한 정확한 알고리즘
그래프 주어 , I는 최적의 찾을 r에 대한 -domination G를 . 그게 내가 부분 집합의 원 인 S 의 V는 모든 정점 있도록 G는 최대의 거리에있다 연구 의 일부 정점에서 S 의 크기를 최소화하면서, S를 .G=(V,E)G=(V,E)G = (V, E)rrrGGGSSSVVVGGGrrrSSSSSS 찾는이 관련 문제가 있습니다 : 내가 지금까지 확인 한 바로는, 나는 …
1
SAT의 NP-hardness에 필요한 최소 감소 깊이는 얼마입니까?
모두가 아시다시피, SAT는 대한 완료 다항식 시간 많은 한 감소를 WRT. 여전히 wrt 많은 일 감소입니다.N P엔피\mathsf{NP}C0ㅏ씨0\mathsf{AC^0} 내 질문은 축소에 필요한 최소 깊이는 얼마입니까? 더 공식적으로 최소한의 무엇입니까 SAT가되도록 -hard WRT 많은 일 감소?디디dN P엔피\mathsf{NP}C0디ㅏ씨디0\mathsf{AC^0_d} 나에게 보인다 충분해야한다? 누구든지 참조를 알고 있습니까?C02ㅏ씨20\mathsf{AC^0_2}
1
ACC 크리 큐트의 Beigel-Tarui 변환
Arora 및 Barak의 Computational Complexity 책 에서 NEXP의 ACC 하한에 대한 부록을 읽고 있습니다. http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf 핵심 정리 중 하나는 회로에서 다항식 차수 및 준 다항식 계수를 갖는 정수에 대한 다중 선 다항식으로 변환하는 것입니다. 동등하게, 회로 클래스 . 이것은 폴리 폴리 알릭스 팬인 (polylogarithmic fan-in)과 함께 최하위에 준 폴리 노 …
6
SAT의 변형
인터넷에서 검색했지만 SAT 문제의 변형 된 '큰 목록'을 찾을 수 없었습니다. (공통)을 제외하고 수능, k-SAT, MAX-kSAT, 반토, XOR-SAT, NAE-SAT 다른 변형이 있습니까? (또한 복잡한 클래스가 제공되는 경우 (가능한 경우) 실제로 유용합니다)
6
계산의 기하학적 해석
물리학에서 나는 기하학적 관점에서 많은 문제를 조사하도록 훈련되었습니다. 예를 들어, 역학 시스템 등에서 매니 폴드의 차등 기하학. 컴퓨터 과학의 기초를 읽을 때, 나는 항상 기하학적 해석을 찾으려고 노력합니다. 재귀 적으로 열거 가능한 집합에 대한 그럴듯한 기하학적 해석처럼 수식) 또는 숫자 정렬을위한 간단한 알고리즘의 아름다운 기하학적 결과. 나는 전문가가 아니지만 기하학적 …
4
Haskell의 seq 연산과 호환되는 기능에 대한 eta-equivalence가 있습니까?
Lemma : 에타와 동등하다고 가정하면 (\x -> ⊥) = ⊥ :: A -> B. 증명 : ⊥ = (\x -> ⊥ x)에타 동등성 및 (\x -> ⊥ x) = (\x -> ⊥)람다 감소. Haskell 2010 보고서, 섹션 6.2 seq는 두 가지 방정식으로 함수를 지정합니다 . seq :: a-> b-> b …
2
더 많은 컴퓨터 과학을 배우기를 희망하는 수학자들을위한 자료
배경 : 수학 석사 학위를 마치고 8 월에 논리 박사 학위를 시작할 것입니다. 더 많은 논리를 연구할수록 이론과 컴퓨터 이론에 더 많이 노출됩니다. 나의 주요 관심 분야 (집합 이론 및 범주 이론)에도 컴퓨터 과학 분야의 응용 프로그램이 있지만, 지금까지 순수 수학의 관점에서만 연구했습니다. 문제: 컴퓨터 과학에 대한 배경 지식이 부족하여 …
2
평등 대신 양성 테스트
Alice와 Bob은 n 비트 문자열을 가지고 있으며 통신이 거의없는 동안 동일한 지 확인하려고합니다. 표준 무작위 솔루션은 n 비트 문자열을 차수 다항식으로 취급 한 다음 보다 큰 필드에서 무작위로 선택된 몇 가지 요소에 대해 다항식을 평가하는 것 입니다. 이 걸립니다 통신을.nnnnnnO(log|F|)O(log⁡|F|)O(\log |F|) 대신에 문자열에 대한 사전 식 순서를 고치고 어떤 문자열이 …
2
PP에 Parity-P가 포함되어 있습니까?
이 질문은 Jan Pax가 Foundations of Mathematics 메일 링리스트 에서 물었습니다 . 확실히 이지만 이 질문에 대한 답변에서 ⊕ P ⊆ P P (또는 P P 가 그 질문에 대한 가능한 답이 될 것임) 인지 알 수없는 것으로 의심됩니다. 알 수없는 경우 오라클 분리가 있습니까?P⊕P⊆P#P=PPPP⊕P⊆P#P=PPPP^{\oplus P} \subseteq P^{\#P} = P^{PP}⊕P⊆PP⊕P⊆PP\oplus …
1
GCD 계산을위한 양자 NC 알고리즘이 있습니까?
에 대한 의견에서 MathOverflow 내 질문 중 하나 에있는 질문에 대한 GCD 것을 나는 느낌을 얻을 대 P가 에있는 정수 인수 분해에 관한 질문에 가깝다 P 대 N P를 .NCNC\mathsf{NC}PP\mathsf{P}PP\mathsf{P}NPNP\mathsf{NP} 정수 인수 분해를위한 양자 다항식 시간 ( B Q P ) 알고리즘 이 있기 때문에 GCD에 대한 "양자 "알고리즘과 같은 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.