이론 컴퓨터 과학

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

1
현실에 대한 NP 완전성
최근에 BSS 계산 모델을 연구하고 있습니다 (예 : 복잡성 및 실제 계산; Blum, Cucker, Shub, Smale 참조). 실수 , 다항식 f 1 , ⋯ , f m ∈ R [ x 1 , ⋯ , x n ] 시스템 에서 0의 존재는 N P R- 완전 함을 나타냅니다. 그러나, 만약 …
3
과반수 함수의 회로 복잡성
하자 대부분의 기능 즉, 수 F ( X ) = 1 경우에만, Σ N 난 = 1 X I > N / 2 . 다음 사실에 대한 간단한 증거가 있는지 궁금합니다 ( "단순"이란 Valiant 84와 같은 확률 적 방법이나 네트워크 정렬에 의존하지 않음을 의미합니다. 바람직하게는 회로의 명시적이고 간단한 구성을 제공합니다).에프: …
3
PH = PSPACE의 결과는 무엇입니까?
최근의 질문 ( NP = PSPACE의 결과 참조 )은 의 "불쾌한"결과를 요구했다 . 답은 N P = c o N P 등을 포함하여 상당히 소수의 붕괴 결과를 나열하며 N P ≠ P S P A C E 를 믿을만한 많은 이유를 제공합니다 .NP=PSPACENP=PSPACENP=PSPACENP=coNPNP=coNPNP=coNPNP≠PSPACENP≠PSPACENP\neq PSPACE 다소 덜 극적인 붕괴의 결과는 무엇입니까? …
1
DAG 부분 집합은 대략적인가?
우리는 비순환 그래프 관한 주어진다 (각 꼭지점과 관련된 번호 g : V → N ), 및 대상 번호 T ∈ N을 .G = ( V, E)G=(V,E)G=(V,E)지: V→ Ng:V→Ng:V\to \mathbb{N}티∈ NT∈NT\in \mathbb{N} DAG 하위 집합 합계 문제 (다른 이름으로 존재할 수 있으며 참조가 우수 할 것임)는 정점이 있는지 묻습니다 . . …
1
구간 그래프로 분할
그래프 가 있다고 가정하십시오 . 만약 I는 테스트하려는 V는 두 개의 분리 된 세트들로 분할 될 수 V 1 과 V 2 에 의해 유도 된 서브 그래프되도록 V 1 과 V 2 단위 구간 그래프이다.G=(V,E)G=(V,E)G=(V,E)VVVV1V1V_1V2V2V_2V1V1V_1V2V2V_2 구간 번호를 결정하는 NP- 완전성에 대해 알고 있지만 위의 문제는 다릅니다. 이제 문헌에서 나는 …
4
기술적 배경이없는 프로그래머에게 쉽게 설명 할 수있는 흥미로운 TCS 결과
전문 프로그래밍 과정 (/ 자기 생각)을 수강했지만 대학 수준의 수학을 공부하지 않은 프로그래머와 만나고 있다고 가정합니다. 그들에게 TCS의 아름다움을 보여주기 위해, 쉽게 설명 할 수있는 TCS에서 나오는 멋진 결과 / 공개 질문을 수집하고 싶습니다. 이 목적에 적합한 후보 (IMHO)는 중지 문제를 결정할 수 없음을 보여줍니다. 다른 하나는 비교 기반 정렬의 …
2
이론적 인 컴퓨터 과학이란 무엇입니까?
이론적 인 컴퓨터 과학이란 정확히 무엇입니까? 다양한 언어로 코딩하고 플랫폼에서 앱을 만드는 법을 배우고 있습니까? 아니면 컴퓨터에서보다 효율적으로 작업을 수행 할 수 있도록 더 빠르고 더 빠른 알고리즘을 생각하고 있습니까? 아니면 컴퓨터에서 시뮬레이션 할 수있는 새로운 삶의 상황을 프로그래밍하고 생각하고 있습니까? 여기서 정확히 무엇을하려고합니까? 예를 들어, 물리학은 그것을 지배하는 모든 …
3
과도 피드백 아크 세트 (TFAS) : NP- 완료?
얼마 전에 두 세트가 카디널리티와 관련이없는 속성을 충족시키는 가장자리의 2 파티션을 찾고자하는 그래프 문제 에 대한 참조 요청 을 게시 했습니다 . 나는 다음과 같은 문제가 NP-hard라는 것을 증명하려고 노력했다. 토너먼트 가 주어지면, 전 이적 관계를 정의하는 피드백 아크 세트 F ⊆ E 가 G 에 있습니까?G = ( V, …
1
단일 테이프 튜링 머신에서 입력 길이 계산
이 질문 과 관련 하여 단일 테이프 단일 헤드 Turing 기계가 입력 길이를 계산하는 데 시간이 얼마나 복잡합니까? 구체적으로, 테이프 알파벳이 이고 입력이 ( 0 + 1 ) 안에있는 문자열이라고 가정합니다. * 공백으로 둘러싸인 기계는 가장 왼쪽에있는 입력 기호에서 시작하며 문자열의 가장 왼쪽 심볼 ( 0 + 1 ) *{0,1,b}{0,1,b}\{0,1,b\}(0+1)∗(0+1)∗(0+1)^*(0+1)∗(0+1)∗(0+1)^*입력 …
1
다양한 자원 한계에 대한 단방향 기능
비공식적으로, 단방향 함수는 PTIME 알고리즘과 관련하여 정의됩니다. 다항식 시간에서는 계산 가능하지만 평균 경우 다항식 시간에서는 되돌릴 수 없습니다. 이러한 기능의 존재는 이론적 인 컴퓨터 과학에서 중요한 공개 문제입니다. 다른 리소스 범위와 관련하여 정의 된 단방향 기능 (암호화 응용 프로그램에는 해당되지 않음)에 관심이 있습니다. 이러한 자원 한계는 LOGSPACE 또는 한계 비결 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.