이론 컴퓨터 과학

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

3
고정 그래프에 대한 문제
우리가 알고 있듯이 kkk clique 함수 CLIQUE(n,k)CLIQUE(n,k)CLIQUE(n,k) 는 완전한 n- 정점 그래프 K n 의 ( 스패닝 ) 하위 그래프 G⊆KnG⊆KnG\subseteq K_n 을 취하고 출력 1 iff G 는 k- 크릭을 포함합니다 . 이 경우 변수 는 K n의 모서리 에 해당합니다 . 3 ≤ k ≤ n / 2 …
5
근사 알고리즘에 대한 이론적 응용
최근에 NP-hard 문제에 대한 근사 알고리즘을 조사하기 시작했으며 이론적 인 이유를 연구하고 있습니다. (질문은 염증성이 아닙니다. 단지 궁금합니다.) PCP 정리와 근사 경도 사이의 연결, UGC 추측, Goeman-Williamson 근사 알고리즘 등 근사 알고리즘에 대한 연구에서 실제로 아름다운 이론이 나왔습니다. Traveling Salesman, Asymmetric Traveling Salesman 및 기타 변형, 메커니즘 설계의 다양한 문제 …
3
정렬 된 목록의 대략적인 합계
최근에는 정렬 된 음이 아닌 숫자 목록의 대략적인 합계를 계산하는 문제를 연구했습니다. 고정 된 에 대해, 시간 근사 방식이 합에 대해 근사값을 제공하도록 도출되었습니다 . 이 논문은 아직 마무리되지 않은 http://arxiv.org/abs/1112.0520에 게시되어 있습니다.ϵ>0ϵ>0\epsilon>0O(logn)O(log⁡n)O(\log n)(1+ϵ)(1+ϵ)(1+\epsilon) 이 문제에 대한 기존의 작품을 찾고 있었지만 원격으로 관련된 몇 가지 논문 만 가져와 인용했습니다. 이 …
1
합니까
가능성을 배제 다항식 크기 회로 (즉 subexponential 크기 가지고 임의 그럴듯한 복잡성 / 크립토 가설 있는가 과 ε &lt; 1 경계 심도 () D = O ( 1 ) ) 회로?2O(nϵ)2O(nϵ)2^{O(n^\epsilon)}ϵ&lt;1ϵ&lt;1\epsilon<1d=O(1)d=O(1)d = O(1) 우리는에 의해 모든 기능 계산 가능한 것을 알 회로는 크기에 의해 계산 될 수있다 (2) O ( …
1
Coq + Excluded Middle이 일치한다는 증거는 어디에 있습니까?
나는 Coq에 배제 된 중간의 고전적 공리를 추가하는 것이 안전하다고 주장하는 것을 보았지만 들었다. 그러나 나는이 주장을 뒷받침하는 논문을 찾을 수 없다. Coq Wiki 에 제외 된 중간에 대한 논문 이 표시되면 Impredicative Set과 일치하지 않습니다. 실제로 Coquand는 Excluded Middle ( 의 주민)을 추가하는 것이 CoC 의 메타 데이터에 대한 …
2
채색 평면 그래프
모든 내부면이 삼각형 인 평면 그래프 세트를 고려하십시오. 홀수 정도의 내부 점이있는 경우 그래프를 3 색으로 표시 할 수 없습니다. 모든 내부 점이 균등 한 정도를 가지면 항상 3 색일 수 있습니까? 이상적으로는 작은 반례를 원합니다.
2
큰 확률 문자가 없을 때 허프만 코드는 얼마나 좋습니까?
확률 분포 대한 허프만 코드 ppp는 최소 가중 평균 코드 워드 길이 갖는 접두사 코드이며 ∑piℓi∑piℓi\sum p_i \ell_i, 여기서 ℓiℓi\ell_i 는 iii 번째 코드 워드 의 길이입니다 . 허프만 코드의 심볼 당 평균 길이는 H(p)H(p)H(p) 와 H(p)+1H(p)+1H(p)+1 이며, 여기서 H(p)=−∑ipilog2piH(p)=−∑ipilog2⁡piH(p) = -\sum_i \, p_i \log_2 p_i 는 확률 분포의 Shannon …
3
완전 단일 정수형 선형 프로그램을 얼마나 빨리 해결할 수 있습니까?
(이 질문에 대한 후속 조치 와 답변 입니다.) 다음과 같은 완전히 단일 모듈 식 (TU) 정수 선형 프로그램 (ILP)이 있습니다. 여기서 는 모두 입력의 일부로 주어진 양의 정수입니다. 변수 x i j 의 지정된 서브 세트는 0으로 설정되며 나머지는 양의 정수 값을 취할 수 있습니다.ℓ , m , n1, n2, …
4
푸시 다운 오토마타를 사용하여 문맥이없는 언어에 대한 펌핑 보조 성 증명
일반 언어에 대한 펌핑 보조 정리 , 공부 언어를 인식하는 유한 상태 자동 장치를 고려 상태의 수보다 길이 더 큰 문자열을 따기, 그리고 비둘기 집 원리를 적용하여 입증 할 수있다. 그러나 문맥이없는 언어 (약간 일반적인 Ogden의 정리)에 대한 펌핑 보조 는 연구 된 언어의 문맥이없는 문법을 고려하고 충분히 긴 문자열을 …
2
희소 그래프에서 5주기를 효율적으로 찾기.
(MathOverflow에서 크로스 포스트) 안녕, 나는이 스레드를 읽고 있었다 : /mathpro/16393/finding-a-cycle-of-fixed-length 그래프에서 5주기를 찾고 싶습니다. 실제로, 내가 정말로 원하는 것은 적어도 5의 길이의 가장 짧은 홀수 사이클이지만, 아마도 그 지점 옆에 약간 있습니다. 내 목적을 위해 복잡성 분석에서 과 을 동일하게 취급 합니다. n엠mm엔nn 이 경우 5주기를 찾기 위해 색상 코딩보다 …
4
DNA 알고리즘 및 NP- 완전성
DNA 알고리즘 과 Turing 기계를 사용하여 정의 된 복잡성 클래스 사이의 관계는 무엇입니까 ? DNA 알고리즘에서 시간과 공간과 같은 복잡성 측정은 무엇에 해당합니까? 폰 노이만 기계가 실제로 실현할 수없는 TSP와 같은 NP- 완전 문제를 해결하는데 사용될 수 있습니까?
3
병렬 컴퓨팅으로 제한
P에서 알고리즘 병렬화에 대해 알려진 것에 대해 광범위하게 궁금합니다.이 주제에 대한 다음 위키 백과 기사를 찾았습니다. http://en.wikipedia.org/wiki/NC_%28complexity%29 이 기사에는 다음 문장이 포함되어 있습니다. NC = P인지 여부는 알 수 없지만 대부분의 연구자들은 이것이 거짓이라고 생각합니다. 이는 아마도 "내재적으로 순차적"이며 병렬 처리를 사용하여 크게 가속화 될 수없는 다루기 어려운 문제가 있음을 …
1
set union을 사용한 컨센서스 클러스터링
나는 이미이 질문을 MathOverflow 에 이미 게시 했지만 내 지식을 최대한 활용하기 위해 여전히 열려 있으므로 누군가가 그것에 대해 들었을 것이라는 희망으로 여기에 다시 게시하고 있습니다. 문제 설명 하자 , 및 셋이 분할 수 비어 있지 않은 부분 (붙이고 의, 의 및 세트의 { 'S) }. 를 최소화하는 두 개의 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.