이론 컴퓨터 과학

이 질문 에 약간의 추론 을하면서 그래프 가 k 채색이 불가능한 모든 다른 이유를 식별하려고 노력했습니다 . 이것이 내가 지금까지 확인할 수 있었던 유일한 두 가지 이유입니다.G=(VG,EG)G=(VG,EG)G = (V_G,E_G)kkk 는 k + 1 크기의 도가니를 포함합니다. 이것이 명백한 이유입니다.GGGk+1k+1k+1 G 의 하위 그래프 가 있으므로 다음 두 진술이 모두 참입니다.H=(VH,EH)H=(VH,EH)H …

21 graph-theory  co.combinatorics  graph-colouring  clique 

에 accoring에 KW 레이건의 기사 "연결 별" , 그는 그것이 추가, 곱셈,을 비교 한 작업이 선형 시간에 계산 가능한이되도록 정수의 표현을 찾기 위해 열린 여전히 문제가 있다는 말에 언급 : 더하기, 곱하기 및 비교가 모두 선형 시간으로 가능하도록 정수 표현이 있습니까? 기본적으로, 이산 주문 된 선형 시간이 있습니까? (1) 비교하지 …

21 ds.algorithms  ds.data-structures  worst-case 

숫자 ππ\pi 와 나타납니다. 실행 시간에 지수에황금비 또는π가포함 된 알고리즘에 대해 알고 싶습니다.(1+5–√)/2(1+5)/2(1+\sqrt5)/2ππ\pi

21 reference-request  big-list 

다음 학기에는 언어와 오토마타에 관한 표준 학부 수업을 진행할 것이며 합법적 인 무료 또는 저렴한 텍스트를 사용하는 것을 선호합니다. 어떤 제안? 나는 Sipser 텍스트를 좋아하지만 최신 버전은 196 달러이며 무료 코스의 시대에 똑바로 말하기가 어렵습니다.

21 soft-question  teaching  books 

곱셈의 시간 복잡성에 대해 알려진 가장 좋은 상한은 Martin Fürer의 바운드 이며, 이는 선형 시간 복잡도를 더한 것 이상입니다. 곱셈보다 덧셈이 본질적으로 쉽다는 증거가 있습니까?nlogn2O(log∗n)nlog⁡n2O(log∗⁡n)n\log n2^{O(\log^* n)}

21 cc.complexity-theory  time-complexity 

저는 학부생이며 최근 이론적 인 컴퓨터 과학에 대한 연구를 수행 할 지식이 없거나 박사 과정에 입학하여 이수 할 수 없다는 사실에 동의합니다. 그러나 나는 여전히 이론적 컴퓨터 과학에 관심이 있다는 것을 알고 싶습니다. 지금까지 내가 생각할 수있는 박사 학위를 요구하지 않는 이론적 컴퓨터 과학 분야의 유일한 직업은 일부 대학의 이론 …

21 soft-question  career 

BPP에 있지만 RP 또는 co-RP에없는 것으로 알려진 자연 문제의 예가 있습니까?

21 cc.complexity-theory  complexity-classes  randomness 

1 차원 이동 영업 사원 경로 문제는 분명히 분류와 같은 것이므로 시간의 비교로 정확하게 해결할 수 있지만 근사와 정확한 근사 방식으로 공식화됩니다. 해결책이 합리적입니다. 계산 모델의되는 입력 실수가 있으며 정수로 라운딩하는 것은 그것이 내로 근사 쉽게 가능하다 인자, 어떤 일정에 대한 시간에, : 최소값과 최대 값을 찾아 모든 값을 원래 …

21 ds.algorithms  approximation-algorithms  sorting  tsp 

AND & OR 게이트는 두 개의 입력이 주어지고 AND와 OR을 반환하는 게이트입니다. 회로는 팬 아웃없이 AND & OR 게이트로만 만들어져 임의 계산을 수행 할 수 있습니까? 보다 정확하게 다항식 시간 계산 로그 공간이 AND & OR 회로로 환원 될 수 있습니까? 이 문제에 대한 나의 동기는 다소 이상하다. 여기 에 …

21 cc.complexity-theory  circuit-complexity 

다음과 같은 추론을 고려하십시오. 하자 K(x)K(x)K(x) 나타내는 콜 모고 로프의 복잡성 문자열의 xxx . 차이 틴의 불완전 성 정리 는 일관되고 충분히 강력한 형식 시스템 SSS , 문자열 x 에 대해 S 가 K ( x ) ≥ T 임을 증명할 수없는 상수 TTT (형식 시스템 및 해당 언어에 따라 …

21 cc.complexity-theory  reference-request  lo.logic  circuit-complexity  kolmogorov-complexity 

누구나 다음의 차이점을 설명 할 수 있습니다. 대수 데이터 타입 (나는 상당히 익숙하다) 일반화 된 대수 데이터 유형 (일반화하는 이유) 유도 형 (예 : Coq) (특히 귀납적입니다.) 감사합니다.

21 lo.logic  pl.programming-languages  type-theory  dependent-type 

캐리 예측 알고리즘을 사용하여 다항식 크기 ​​깊이 5 (또는 4?) 회로 제품군을 사용하여 추가를 계산할 수 있습니다 . 깊이를 줄일 수 있습니까? 캐리 예측 알고리즘에 의해 얻어진 것보다 깊이가 낮은 다항식 크기 ​​회로 패밀리를 사용하여 두 개의 이진수의 덧셈을 계산할 수 있습니까?C0AC0AC^0 가 2 또는 3 인 회로 제품군 컴퓨팅 …

21 cc.complexity-theory  circuit-complexity  lower-bounds  upper-bounds 

알파벳 이상의 일반 언어 는 자연스럽게 포세 및 실제로 격자로 생각할 수 있습니다. 또한 빈 언어 ϵ 와의 연결 은 조인에 대해 분산 적 인이 범주에서 엄격한 일회성 구조를 정의합니다 (만약 확실하지 않습니다). 이것이 정규 언어의 이론이나 실천에 유용한 구성입니까? Kleene 스타를 하나로 정의 할 수있는 좋은 부가 기능이 있습니까?ΣΣ\Sigmaϵϵ\epsilon …

21 fl.formal-languages  regular-language  ct.category-theory 

Luca Trevisan은 유사 난수 생성기의 구성이 실제로 추출기 구성으로 간주 될 수있는 방법을 보여줍니다. http://www.cs.berkeley.edu/~luca/pubs/extractor-full.pdf 의미있는 대화가 있습니까? 즉, 추출기의 "자연적인"구성을 PRG (pseudorandom generator) 구성으로 생각할 수 있습니까? 추출기 구성은 PRG에 대한 분포 와 일치하는 것으로 보입니다 (분류 기가 거의 모든 것을 구별하는 데 성공하지 못함). 알려진 응용 프로그램이 있습니까?

21 cc.complexity-theory  pseudorandomness  pseudorandom-generators  extractors 

문제 는 P-hard라고 알려진 팩토링 에서 영감을 얻었으며 현재 비슷한 지식 상태가 그래프 동형의 경도에 대해 궁금합니다. GI가 P에 있는지 현재 알려지지 않았지만 확신합니다. GI가 현재 가장 어려운 클래스는 무엇입니까? (이것은 비슷한 소리 질문에 대답하지 않았습니다 ) 의견 중 일부를 해결하기 위해 GI가 현재 알려진 최대 클래스를 알고 싶습니다. 문제가 …

21 cc.complexity-theory  complexity-classes  graph-isomorphism