이론 컴퓨터 과학

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

1
소스 및 싱크에 대한 최소 등가 그래프
소스 S 와 싱크 T 가있는 DAG (지정 비순환 그래프) 가 주어 집니다. 소스 S 및 싱크 T 가 있고 최소 개수의 모서리가 있는 DAG D '를 찾으십시오 .DDDSSSTTTD′D′D'SSSTTT 모든 쌍 로부터 경로가 U 에 V 에서 D는 로부터 경로가 경우만 U 에 V 에서 D는 ' .u∈S,v∈Tu∈S,v∈Tu \in S, …
2
비정규 그룹 요소의 순열로 달성 할 수있는 사항 결정
유한 그룹 수정하십시오 . 다음 결정 문제에 관심이 있습니다. 입력은 부분 순서가있는 일부 요소이며 질문은 순서를 만족시키는 요소의 순열이 있고 그 요소의 구성이 차수는 그룹의 중립 요소 산출합니다 .G의 전자지GG지GG이자형ee 공식적으로 -test 문제 는 다음과 같습니다. 여기서 그룹 은 수정됩니다.지GG지GG 입력 : 에서 까지 라벨링 기능이 유한 부분 정렬 세트 …
2
효율적인 알고리즘이없는
감안 의 계수되도록 P는 , Q는 에 의해 제한되는 B , 않는 P ≡ q 개의 보류 ?p ( x1, … , x엔) , q( x1, … , x엔) ∈ Z [ x1, … , x엔]p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x_1,\dots,x_n),q(x_1,\dots,x_n)\in \Bbb Z[x_1,\dots,x_n]p , qp,qp,qBBBp≡qp≡qp\equiv q Schwartz-Zippel lemma는 일반 필드와 적용 되며이 문제에 대한 효율적인 …
2
1-in-3 SAT에서 제한된 수의 변수 발생
변수 발생 수가 제한된 1-in-3-SAT의 복잡성 클래스에 대해 알려진 결과가 있습니까? Peter Nightingale과 함께 다음과 같은 비열한 감소를 생각해 냈지만 이것이 알려지면 인용하고 싶습니다. 여기에 우리가 생각 해낸 트릭이 있습니다. 이는 변수 당 3 개의 발생으로 제한되는 1-in-3-SAT가 NP 완료이고 #P 완료 (1-in-3-SAT이므로) 이므로 3-SAT가 3 개의 발생으로 제한됨 은 …
1
어려운 작업에 대한 계산 능력은 어느 정도 쉬운 작업을 해결하는 데 도움이됩니다
요컨대, 어려운 작업에 대한 계산 능력은 어느 정도 쉬운 작업을 해결하는 데 실제로 도움이됩니다. (이 질문을 흥미롭고 사소한 것으로 만들 수있는 다양한 방법이있을 수 있으며 여기에 그러한 시도가 있습니다.) 질문 1: n 개의 변수가있는 공식에 대한 SAT를 해결하기위한 회로를 고려하십시오. (또는 모서리가 있는 그래프의 해밀턴 사이클을 찾는 데 사용 됩니다.)엔nn …
3
CNF 공식 반대의 두 번 읽기 두 번 패리티 계산의 복잡성 ( )
CNF 공식과 반대의 두 번 읽기에서 각 변수는 두 번, 한 번은 긍정적이고 한 번은 부정적으로 나타납니다. 나는 문제에 관심이 있는데, 이는 CNF 공식과 반대되는 두 만족스러운 할당 수의 패리티를 계산하는 것으로 구성됩니다.⊕Rtw-Opp-CNF⊕Rtw-Opp-CNF\oplus\text{Rtw-Opp-CNF} 이러한 문제의 복잡성에 대한 참조를 찾을 수 없습니다. 내가 찾은 가장 가까운 것은 계산 버전 가 -complete …
4
알고리즘 수학적 분석이 있습니까?
있다 알고리즘 그래프 이론 / 숫자 이론 / 조합론 / 정보 이론 / 게임 이론. 알고리즘 수학적 분석이 있습니까? 위키에 따르면 수학적 분석 에는 미분, 통합, 측정, 한계, 무한 시리즈 및 분석 함수 이론이 포함됩니다. 실수 변수의 실수와 실수 함수를 다루는 실수 분석 (wiki) 에 초점을 두는 것이 좋습니다. "알고리즘"은 …
6
이론적 인 CS에 순수한 수학에 관한 주제가 있습니까?
저는 이론적 인 컴퓨터 과학, 특히 근사 알고리즘의 대학원생입니다. 나는 이제 순수한 수학에 더 관심이 있다는 것을 알게되었습니다 (CS 과정보다 수학 과정을 더 많이 즐 겼기 때문에 이것을 말할 수 있습니다). 이론적 인 컴퓨터 과학 분야에서 상당히 순수한 수학 영역 (더 정확하게 말하면, CS에 대한 응용 프로그램을 고려하지 않고 순수 …
2
역 Ackermann과 재미
역 Ackermann 함수는 알고리즘을 분석 할 때 자주 발생합니다. 그것의 좋은 발표는 여기에 있습니다 : http://www.gabrielnivasch.org/fun/inverse-ackermann . α1(n)=[n/2]α1(n)=[n/2]\alpha_1(n) = [n/2] α2(n)=[log2n]α2(n)=[log2⁡n]\alpha_2(n) = [\log_2 n] α3(n)=log∗nα3(n)=log∗⁡n\alpha_3(n) = \log^* n ......... αk(n)=1+αk(αk−1(n))αk(n)=1+αk(αk−1(n))\alpha_k(n) = 1 + \alpha_k(\alpha_{k−1}(n))α(n)=min{k:αk(n)≤3}α(n)=min{k:αk(n)≤3}\alpha(n) = \min\{k: \alpha_k(n)\leq 3\} 내 질문은 : 함수 무엇입니까? 분명히 입니다. 에 어떤 더 엄격한 경계를 …
1
피보나치 단어
나는 오래된 체코 알고리즘 교과서에서 다음과 같은 문제를 겪었고 슬프게도 힌트 나 해결책이 없었습니다. "피보나치 단어를 , , . 여기서 와 는 일반적인 문자입니다. 문자열 (잠재적으로 큰 알파벳 이상) 선형 시간에서 가장 긴 피보나치의 하위 단어를 찾을 수 있습니까? "F0=aF0=aF_{0}=aF1=bF1=bF_{1}=bFn+2=FnFn+1Fn+2=FnFn+1F_{n+2}=F_{n}F_{n+1}aaabbb 나는 이차 시간에 대한 해결책을 알고 있지만 그것을 선형으로 줄일 …
1
논리 프레임 워크 대 타입 이론
논리 프레임 워크와 형식 이론의 차이점은 무엇입니까? 둘 다 유형과 용어를 가지며 종속적으로 유형이 지정된 람다 미적분학을 기반으로합니다. 우리는 lambda-pi 미적분학을 기반으로 한 Edinburg LF를 가지고 있지만 거기에는 약간의 미묘한 차이가있는 것 같습니다.
3
Impredicative Type 이론의 파급 효과
내가 아는 대부분의 유형 이론은 내가 예측하는 것입니다. Void : Prop Void = (x : Prop) -> x 이 pi 유형이 같은 우주에 속하기 때문에 대부분의 정리 프로 버에서 잘 입력 Prop되지 않습니다 Prop : Prop. 이것은 그것들을 예측하고 위와 같은 즉석적인 정의를 허용하지 않습니다. 그러나 System F 나 CoC와 …
1
세마포어와 비교할 때 "의사 시간"이란 무엇입니까
현재 Alan Kays의 연설을 듣고 있습니다. "정말 복잡하거나 복잡하게 만들었습니까?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ) 그는 "세마포어는 나쁜 생각했다 및 우수 하였다 의사 시간이라고 뭔가가 있었다"(링크 된 비디오에 51:40에서이)라고 말한다 곳. 어쩌면 "의사 시간"이라는 단어를 잘못 이해했을 수도 있지만, 그에 대해 아는 것이 있습니까?
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.