이론 컴퓨터 과학

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

3
자연적 증거와 기하학적 복잡성의 구성 성
최근 Ryan Willams는 Natural Proof의 Constructivity가 복잡한 클래스 ( 및 T C 0) 의 분리를 유도 할 수 없음을 증명했습니다 . NEXPNEXP\mathsf{NEXP}TC0TC0\mathsf{TC}^{0} 자연 증명의 구성 성은 회로 복잡성의 모든 조합 증명이 만족하는 조건이며 (또는 다른 "하드"복잡도 클래스) 의 대상 함수 가 실행되는 알고리즘에 의해 "하드"속성을 갖는지 여부를 결정할 수 있습니다 …
5
TCS 외부의 복잡성 이론 추측의 수학적 의미
다른 수학 분야 (예 : 이론적 컴퓨터 과학 외부)에서 복잡도 이론에 대한 (표준) 추측의 흥미로운 결과를 알고 있습니까? 다음과 같은 경우 답변을 선호합니다. 복잡성 이론 추측은 가능한 한 일반적이고 표준입니다. 나는 특정 문제의 경도에 대한 결과도 괜찮지 만 문제가 광범위하게 어렵다고 생각되면 (또는 적어도 두 장 이상의 논문에서 연구 된 …
3
가정없는 암호화 – 개요를 추구
라고 가정 하고 SAT에 대한 빠른 선형 시간 알고리즘이 내일 나타납니다. 갑자기 RSA는 안전하지 않으며, 현대의 통신 시스템의 대부분이 손상되었으며, 비밀을 유지하는 방법을 재고해야합니다.피= N피피=엔피P = NP 질문 : 난 도성 가정 없이 암호화 (및 "보안"의 관련 분야)에서 가능한 것에 대한 큰 그림을 볼 수있는 좋은 단일 참조 (또는 짧은 …
3
컨텍스트 프리 언어를 캡처하는 정규식의 확장이 있습니까?
문맥없는 문법 (CFG)과 관련된 많은 논문에서, 그러한 문법의 예는 종종 그들이 생성하는 언어의 쉬운 특성화를 인정합니다. 예를 들면 다음과 같습니다. S→aaSbS→aaSbS \to a a S b S→S→S \to 생성 {a2ibi|i≥0}{a2ibi|i≥0}\{ a^{2i} b^i | i \geq 0\} , S→aSbS→aSbS \to a S b S→aaSbS→aaSbS \to a a S b S→S→S \to …
2
때로는 전혀 게시하지 않는 것이 더 낫습니까?
나는 이것이 정치적으로 잘못된 질문이 아니길 바란다. 그러나 일반적으로 CCC / ITCS / ICALP (그리고 때때로 FOCS / STOC)에 출판하는 박사 과정 학생에게는 덜 중요한 작품을 출판하는 것이 해로울 수있다 (경력 적으로). 덜 유명한 회의 (예 : MFCS, FCT, STACS, IPL)? 그러한 서류를 ECCC / arXiv에 두는 것이 더 좋을까요?
1
희소 그래프의 규칙 성 정리
Szemeredi의 규칙 성 Lemma는 모든 고밀도 그래프는 O(1)O(1)O(1) 많은 이분자 확장 그래프 의 합집합으로 근사 될 수 있다고 말합니다 . 보다 정확하게는 대부분의 정점이 O(1)O(1)O(1) 세트 로 분할되어 대부분 의 세트 쌍이 이분 확장기를 형성합니다 (파티션의 세트 수 및 확장 매개 변수는 근사 매개 변수에 따라 다름). http://en.wikipedia.org/wiki/Szemer%C3%A9di_regularity_lemma "잘 동작하는"희소 …
2
숫자 필드에서 팩토링의 복잡성
일반 숫자 필드에서 인수 분해 정수의 계산 복잡성에 대해 알려진 것은 무엇입니까? 더 구체적으로: 정수에서 이진 확장을 통해 정수를 나타냅니다. 일반 숫자 필드에서 정수의 유사한 표현은 무엇입니까? 숫자 필드의 우선 순위가 P 또는 BPP에 있다는 것이 알려져 있습니까? 숫자 필드를 인수 분해하는 데 가장 잘 알려진 알고리즘은 무엇입니까? ( 익스프레스 …
3
"그래프는 제품이다"의 복잡성
이 질문은 순수한 호기심에서 비롯됩니다 ( 문자열을 섞지 않는 것에 대해 생각하면서 나왔지만 실제로 관련이 있는지 확실하지 않습니다). 그래서 나는 그것이 적절하기를 바랍니다. 다양한 그래프 제품이 있으며 여기에 관심이 있습니다. 그래프 가 사소한 제품과 동형 인지 여부를 결정하는 복잡성은 무엇입니까 ? (직교 카티 전 곱의 경우 K = K ◻ …
2
중앙값을 계산하기위한 정확한 비교 횟수
크 누스의의 볼륨 III 컴퓨터 프로그래밍의 예술 (3.2 절 제 5 장)을 나열하는 다음 표 포함 정확한 비교의 최소 번호가 선택해야 규모의 정렬되지 않은 세트에서 일 작은 요소 모두를 위해, . 이 표는 공지 된 폐쇄 형태의 표현과 함께 과 나타내고, 대부분 이 기술 분야의 상태 1976 등을 .n 1 …
2
고정 그래프가 다른 그래프의 마이너인지를 결정하는 복잡성
Robertson과 Seymour 의 결과 는 고정 그래프 가 의 마이너스 인지 테스트하기위한 알고리즘을 보여줍니다 . 이 주제에 대해 2.5 가지 질문이 있습니다.G HO ( n삼)O(n3)O(n^3)지GGHHH 1) 이후이 알고리즘이 개선 된 것으로 보입니다. 현재 가장 잘 알려진 알고리즘은 무엇입니까? 2a) 사람들은 무엇을 최적의 경계로 추측합니까? 고정 표면에 임베드하기위한 Mohar의 알고리즘 과 …
3
페어 단위 거리에서 오차의 합계를 최소화하기위한 반올림
다음 문제의 복잡성에 대해 알려진 것 : 주어진 숫자 : 유리수 .x1&lt;x2&lt;…&lt;xnx1&lt;x2&lt;…&lt;xnx_1 < x_2 < \dotso < x_n 출력 : 정수 .y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n 목표 : 최소화 여기서∑1≤i&lt;j≤ne(i,j),∑1≤i&lt;j≤ne(i,j),\sum_{1 \le i < j \le n} e(i,j),e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j) = | (y_j-y_i) - (x_j-x_i)|. 즉, 유리수를 정수로 반올림하여 쌍 거리의 …
2
첫 TCS 회의 참석을위한 조언
나는 첫 컴퓨터 과학 회의에 참석할 것이며 회의 개선 방법에 대한 조언을 읽은 후 대학원생들이 첫 회의에 참석하는 것에 대한 몇 가지 제안을 발견했습니다. 첫 번째 컨퍼런스에 참석하는 대학원생에게 어떤 조언이 있으며 그의 초점은 무엇입니까?
2
완벽한 매칭을 허용하는 계산 유도 서브 그래프의 계산 복잡성
무향 및 가중 그래프 주어 및 짝수 정수 , 정점 카운트 세트 계산량 무엇 되도록 및 서브 그래프 정점 세트에 제한은 는 완벽한 매칭을 인정합니까? 복잡성이 # P- 완전합니까? 이 문제에 대한 참조가 있습니까?k S ⊆ V | S | = k G SG=(V,E)G=(V,E)G=(V,E)kkkS⊆VS⊆VS\subseteq V|S|=k|S|=k|S|=kGGGSSS 문제는 일정의 코스 쉬운 것을 …
2
SAT 솔버간에 왜 큰 차이가 있습니까?
SAT 솔버는 대수 공격 에서 매우 중요 합니다 (예 : walksat 및 minisat) . 그러나 여기에서 사용 가능한 벤치 마크 문제를 해결할 때 두 문제 사이에 엄청난 성능 차이가 있습니다. 이러한 문제는 Walksat이 minisat보다 훨씬 빠릅니다. 왜 이런거야? 이 walksat 구현은 성능이 약간 개선 된 것으로 보입니다 . 국제 SAT …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.