이론 컴퓨터 과학

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

1
다항식 시간 단축에서 지수의 유효성
나는 cs.stackexchange 10 일 전에이 질문을 여기 하지만 난 어떤 대답을 didn'y. A의 매우 유명 용지 (네트워킹 커뮤니티), 왕 및 Crowcroft 일부 제시 여러 첨가제 / 곱셈 제약 조건 경로 계산의 결과를 -completeness. 첫 번째 문제는 다음과 같습니다.N P엔피\mathsf{NP} 방향 그래프 와 모서리에 두 개의 가중치 메트릭 w 1 과 …
3
로그 교대를 가진 정량화 된 부울 공식
나는 대수의 대수를 번갈아 가며 정량화 된 부울 수식 클래스에 어려운 문제를 연구하고 있습니다. 이 클래스의 문제는 다음과 같습니다. ∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalogn−1,…xalogn)F∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalog⁡n−1,…xalog⁡n)F\forall (x_1, x_2, \ldots x_{a_1}) \exists (x_{{a_1}+1}, \ldots x_{a_2}), \ldots \exists(x_{a_{\log n - 1}}, \ldots x_{a_{\log n}})F 여기서 로그 N = N , 및 변수의 부울 식이다 .alogn=nalog⁡n=na_{\log n} = nFFFx1…xnx1…xnx_1 …
2
유한 필드에서 선형 시스템을 해결하기위한 Raghavendra의 알고리즘 상태
2012 년 Lipton은 Prasad Raghavendra의 유한 필드에서 선형 시스템을 해결하기위한 새로운 알고리즘에 대한 블로그 항목을 작성 했습니다. 주제에 Raghavendra의 초안 용지에 대한 링크는 이제 죽었다 , 나는 Raghavendra의 웹 사이트의 주제에 아무것도 찾을 수 없습니다. 결과가 맞습니까? 어디서나 쓸 수 있습니까? 감사!
2
이론적 컴퓨터 과학이 무엇인지 더 배울 수있는 곳은?
저는 수학을 전공하는 대학원생이며 이론적 인 컴퓨터 과학은 주제에 대해 잘 읽을 수 없었기 때문에 그것이 무엇인지 이해하지 못하는 영역입니다. 이 도메인이 실제로 어떤 주제인지, 어떤 주제에 관심이 있는지, 어떤 필수 구성 요소가 필요한지 등을 알고 싶습니다. 지금은 알고 싶습니다. 이론적 인 컴퓨터 과학에 대한 좋은 입문서는 무엇입니까? 그런 것이 …
2
(어떻게) 튜링 계산 모델이 없을 때 NP 문제를 발견 / 분석 할 수 있습니까?
순전히 추상적 인 수학 / 계산 추론 관점에서 3-SAT, 부분 집합, 출장 세일즈맨 등과 같은 문제를 어떻게 발견하거나 추론 할 수 있을까요? 기능적인 관점 만으로도 의미있는 방식으로 그들에 대해 추론 할 수 있을까요? 가능할까요? 나는 람다 미적분학 계산 모델 학습의 일환으로 자체 질문의 관점에서 순수 하게이 질문에 궁리했습니다. 나는 그것이 …
3
돌이킬 수없는 언어
이것은 반드시 연구 질문이 아닙니다. 호기심에 대한 질문 : "돌이킬 수없는"언어를 정의 할 수 있는지 이해하려고합니다. 첫 번째 추측으로, 로 및 로 쓸 수 있으면 언어 L을 "환원 가능"이라고합니다 . 그렇지 않으면 언어를 " 불가능"이라고합니다. . 사실입니까?A ∩ B = ∅ | A | , | B | > 1L=A⋅B엘=ㅏ⋅비L …
1
증명에 "고차 추론 기술"이 필요한지 여부를 결정하는 방법은 무엇입니까?
질문: 공리와 목표로 구성된 문제에 대한 사양이 있다고 가정합니다 (즉, 관련된 증거 문제는 모든 공리가 주어지면 목표를 충족시킬 수 있는지 여부입니다). 또한 문제가 공리들 사이에 불일치 / 모순이 포함되어 있지 않다고 가정하자. 문제를 증명하는 데 "고차 추론"이 필요한지 미리 결정하는 방법이 있습니까 (즉, 완전한 증거를 먼저 작성하지 않고)? "고차 추론"이란 …
2
유한 오토마타에 대해 잘 정의 된 나눗셈 연산이 있습니까?
배경: 두 개의 결정 론적 유한 오토마타 A와 B가 주어지면 C의 상태를 A의 상태와 B의 상태의 데카르트 곱으로함으로써 제품 C를 형성합니다. 그런 다음 전환, 초기 상태 및 최종 상태를 선택합니다. C는 A와 B 언어의 교차점입니다. 질문 : (1) C를 B로 "분할"하여 A를 찾을 수 있습니까? 동형까지도 독특합니까? 우리는 여기와 아래의 …
3
BPP에서 P 로의 비 무작위 화의 예
성공적인 비 무작위 화의 주요 예는 무엇입니까? P=BPPP=BPPP=BPP 무작위 목표 (경도 무작위성 연결이 아님) 무엇입니까? 내 마음에 오는 유일한 예는 AKS 결정적 다항식 시간 우선 성 테스트입니다 (GRH를 가정하는 방법론이 있었음에도 불구하고). 그렇다면 우리는 무작위 화 (경도 또는 오라클 연결이 아님)에 대해 어떤 구체적인 증거를 가지고 있습니까? 랜덤 화 폴리에서 …
1
동적 프로그래밍이 Greedy보다 약한 적이 있습니까?
회로 복잡성에서 우리는 다양한 회로 모델의 전력을 분리합니다. 증명 복잡성에서 우리는 다양한 증명 시스템의 힘을 구분합니다. 그러나 알고리즘에서 우리는 여전히 알고리즘 패러다임의 힘 사이의 분리가 거의 없습니다 . 아래의 질문은 두 가지 패러다임 인 욕심과 동적 프로그래밍에 대한 후자의 문제를 다루는 것입니다. 우리는 기본 요소 집합과 일부 해당 하위 집합을 …
2
4주기 자유 그래프 주어지면 2 차 시간에 3주기가 있는지 여부를 결정할 수 있습니까?
다음 -cycle 문제이다 :케이케이k 인스턴스 : 그래프 방향성이 가진 정점과 최대 \ n을 2 선택 가장자리를.지지G엔엔n( n2)(엔2)n \choose 2 질문 : G에 (적절한) 케이케이k 사이클이 있습니까?지지G 배경 : 모든 고정 케이케이k 에 대해 O (n ^ 2) 시간 내에 2 개 k2케이2k 사이클을 해결할 수 있습니다 .O ( n2)영형(엔2)O(n^2) Raphael …
1
k-Clique의 2FA 상태 복잡성?
간단한 형태로 : 양방향 유한 오토 마톤 이 o ( v 3 ) 상태 의 삼각형을 포함하는 - vvvvertex 그래프를 인식 할 수 있습니까 ?o(v3)o(v3)o(v^3) 세부 여기서 주목할 것은 일련의 에지를 사용하여 인코딩 된 vvv 버텍스 그래프이며, 각 에지는 과 별개의 정점 쌍입니다 {0,1,…,v−1}{0,1,…,v−1}\{0,1,\dots,v-1\}. 가정 되도록 양방향 유한 오토마타 (결정 …
1
XOR 게이트를 사용하는 가장 작은 회로 크기
n 개의 부울 변수 x_1, ..., x_n과 m 함수 y_1 ... y_m 세트가 주어 졌다고 가정합니다. 여기서 각 y_i는 이러한 변수의 (주어진) 서브 세트의 XOR입니다. 목표는 이러한 모든 y_1 ... y_m 함수를 계산하기 위해 수행해야하는 최소 XOR 연산 수를 계산하는 것입니다. XOR 연산의 결과, 예를 들어 x_1 XOR x_2는 여러 …
2
이 TSP 변형에 대해 알려진 것은 무엇입니까?
이 질문은 이전에 컴퓨터 과학 스택 거래소에 게시했습니다 여기에 . 전국의 고객을 보유한 매우 성공적인 여행 세일즈맨이라고 상상해보십시오. 운송 속도를 높이기 위해 각각 유효 거리가 50km 인 일회용 배달 드론을 개발했습니다. 이 혁신을 통해 물품을 배달하기 위해 각 도시로 여행하는 대신 50km 이내에 헬리콥터를 비행하면 드론이 작업을 완료 할 수 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.