이론 컴퓨터 과학

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

2
최대 독립 세트에서 약속 된 상한을 사용한 대략적인 그래프 색상
내 직업에서 다음과 같은 문제가 발생합니다. 독립적 인 차수 65를 사용하지 않고 그래프의 색도를 근사하는 알려진 알고리즘이 있습니까? (따라서 alpha (G) <= 64가 알려져 있고 | V | / 64는 사소한 하한, | V | 사소한 상한입니다. 그러나이 특별한 조건에서 더 잘 입증 된 근사가 있습니까?) 분수 색수로 이완하면 어떻게 …
1
고유 한 SAT 및 정확히
고유 한 SAT는 잘 알려진 문제입니다. CNF 공식 주어지면 F 에 정확히 하나의 모형이 있다는 것이 사실 입니까?FFFFFF « 정확한 SAT»문제에 관심이 있습니다 : CNF 공식 F 와 정수 m > 1이 주어지면 F 가 정확히 m 개의 모형을 가지고 있다는 것이 사실 입니까?mmmFFFm>1m>1m>1FFFmmm 두 문제는 비슷해 보입니다. 그래서 내 …
1
Feige-Fiat-Shamir가 부호 비트가없는 제로 지식이 아닌 이유는 무엇입니까?
에서 HAC (10.4.2)의 10 장 , 우리는 제곱근이 요인 어려운 복합 모듈로 추출 (추정) 어려움을 사용하여 영 지식 증명을 기반으로 잘 알려진 Feige - 피아트 - 샤미르 식별 프로토콜을 참조하십시오. 나는 그 계획을 내 자신의 말로 줄 것이다. 더 간단한 체계로 시작합시다 : 은 팩토링이 난해 할 정도로 충분히 큰 …
2
Kolmogorov의 복잡성을 사용한 채널 코딩 결과
일반적으로 Shannon 엔트로피는 채널 코딩 결과를 증명하는 데 사용됩니다. 소스 채널 분리 결과에도 섀넌 엔트로피가 사용됩니다. Shannon (전역) 대 Kolmogorov (현지) 정보 개념 사이의 동등성을 감안할 때 이러한 결과에 Kolmogorov 복잡성을 활용하는 연구가 있었습니까 (또는 소스 채널 분리 결과에서 소스 코딩 부분을 대체 할 수는 없었습니까)?
1
퀀텀에서 클래식 랜덤 워크로 전환
빠른 버전 결 어긋남의이 모델은 라인의 양자 산책 있습니까 우리는 조정 등의 확산에 산책 할 수 있도록 어떤을위한 1 / 2 ≤ K ≤ 1 ?Θ ( 톤케이)Θ(tk)\Theta(t^k)1 / 2 ≤ K ≤ 11/2≤k≤11/2 \leq k \leq 1 자극 고전적인 랜덤 워크는 알고리즘 설계에 유용하며, 양자 랜덤 워크는 다수의 멋진 …
1
거의 2SAT 문제의 고정 매개 변수 다루기 힘든 이진 부울 CSP에 대한 결과가 있습니까?
하자 2CNF 식 수 및 k는 음수가 아닌 정수. 이 논문 에서 φ를 만족 시키기 위해 최대 k 개의 절을 삭제할 수 있는지 여부를 결정하는 문제 는 고정 매개 변수 다루기 쉬운데, 여기서 k 는 매개 변수 라는 것이 입증되었다 . 내 질문은이 결과를 다른 이진 부울 CSP로 일반화하는 작업이 …
2
패리티
입력 및 게이트는 팬 아웃 바운드이 NOT 게이트 및 바운드 팬에서 AND 및 OR 게이트와 일정 깊이 다항식 크기 회로의 클래스이다.C0AC0AC^0 이제 새로운 클래스를 고려하십시오. A C 0 과 비슷 하지만 입력 및 게이트에 대해 최대 O ( 1 )의 팬 아웃이 있습니다. 이 클래스는 분명히 A C 0 입니다. …
1
스왑 수에 따른 최적 정렬 알고리즘
의 순서 감안할 때 숫자, 그것은으로 정렬 할 수 있습니다 O ( N LN N ) 비교와 O ( N ) 교환 / 이동? Ω ( n ln n ) 하한을 나타내는 해당 사안 또는 반론에 대한 출판물에 대한 모든 포인터 가 도움이 될 것입니다.nnnO(nlnn)O(nln⁡n)O(n \ln n)O(n)O(n)O(n)Ω(nlnn)Ω(nln⁡n)\Omega(n \ln n)
1
마이너가 서브 큐빅 그래프의 토폴로지 마이너임을 나타내는 인용
경우 최대도 3 그래프 및 미성년자 H 다음 G는 의 위상 미성년자 H .지GGHHH지GGHHH Wikipedia는이 결과를 Diestel의 "Graph Theory"에서 인용합니다. 이 책은 최신 버전의 책에 Prop 1.7.4로 표시되어 있습니다. 이 책에는 증거 나 인용이 없습니다. 이것에 대한 (원래) 증거로 알려진 소재가 있습니까? 또한, 가 클로의 경로 또는 세분이고 H 의 …
2
설명 언어가 약한 Kolmogorov의 복잡성
우리는 Kolmogorov 문자열 복잡성을 xxx가장 짧은 프로그램 의 길이로 생각 하고 x = P ( y )가 되도록 y를PPP 입력 할 수 있습니다. 일반적으로 이러한 프로그램은 일부 Turing-complete 세트에서 가져옵니다 ( P 는 Turing 머신에 대한 설명이거나 LISP 또는 C의 프로그램 일 수 있음). 리소스가 제한된 콜로 모고 로프 (Colmogorov) …
2
PSPACE에 없을 가능성이 높은 중첩 깊이 1로 모달 논리가 축소 되었습니까?
나는 모달 중첩 깊이 1의 유한 공리 세트에 의해 축합되고 만족도 / 파생 문제가 PSPACE에있을 것 같지 않은 모달 논리를 찾고 있습니다. 모달 중첩 깊이에 대한 제한 없이는 문제가되지 않습니다 (예 : PDL 참조). 그러나 튜링 기계의 타일링 문제 또는 수용 문제를 줄임으로써 예를 들어 EXPTIME-hardness를 증명할 때 깊이 2에서 …
2
특별한 무엇입니까
에서 작은 암호화 알고리즘 : 라운드의 대칭을 기반으로 간단한 공격을 막기 위해 여러 가지 마법 상수를 사용합니다. 매직 상수, 또는 2,654,435,769 9E3779B9 16 이되도록 선택되는 , φ는 황금비이다.232/ ϕ232/ϕ2^{32}/ \phi 이 문맥에서 어떤 속성이 유용합니까?232/ ϕ232/ϕ2^{32}/ \phi
4
효율적인 그래프 알고리즘을 설계 할 때 가장 중요한 희소성 개념은 무엇입니까?
"스파 스 그래프"라는 여러 가지 경쟁 개념이 있습니다. 예를 들어 표면 매립형 그래프는 드문 것으로 간주 될 수 있습니다. 또는 경계 밀도가 제한된 그래프. 또는 둘레가 큰 그래프. 확장이 큰 그래프. 경계가있는 그래프입니다. (랜덤 그래프의 서브 필드 내에서도 희소라고 할 수있는 것은 약간 모호합니다.) Et cetera. 효율적인 그래프 알고리즘의 설계에 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.