이론 컴퓨터 과학

또 다른 스레드 에서 Joe Fitzsimons는 "3SAT에서 가장 좋은 현재 하한값"에 대해 물었습니다. 나는 다른 길로 가고 싶습니다 : 3SAT 에서 가장 좋은 현재 상한 은 무엇입니까 ? 다시 말해, 가장 효율적인 SAT 솔버의 시간 복잡성은 무엇입니까? 특히, SAT에 대한 하위 지수 (아직 초 다항식) 알고리즘을 찾는 것이 가능합니까?

43 cc.complexity-theory  ds.algorithms  sat  upper-bounds 

SAT 솔버가 실제로 성공하기 위해 어떤 이론적 설명이 있습니까? 누군가 "wikipedia-style"개요와 설명을 함께 묶을 수 있습니까? 유추 하여, 심플 렉스 알고리즘에 대한 평활화 된 분석 ( arXiv 버전 )은 최악의 경우 지수 시간이 걸리고 NP- 전능 한 ( arXiv 버전 ) 사실에도 불구하고 실제로 왜 잘 작동하는지 설명하는 훌륭한 역할을합니다 …

43 cc.complexity-theory  ds.algorithms  sat  heuristics 

이 질문 , 특히 Or의 답변의 마지막 단락에서 영감을 얻은 다음 질문이 있습니다. TCS에서 대칭 그룹의 표현 이론에 대한 적용을 알고 있습니까? 대칭 그룹 은 그룹 연산 구성을 사용하여 의 모든 순열 그룹입니다 . 의 표현은 에서 수없는 복소수 행렬 의 일반 선형 그룹에 대한 동질성입니다 . 표현은 행렬 곱셈에 …

42 co.combinatorics  permutations  fourier-analysis  gr.group-theory 

이론적 물리학의 결과에 의해 이론적 컴퓨터 과학의 많은 서브 필드가 크게 영향을받은 것으로 보인다. 이것의 두 가지 예는 양자 계산 통계 학적 역학 결과는 복잡성 분석 / 휴리스틱 알고리즘에 사용됩니다. 내 질문은 내가 놓친 주요 영역이 있습니까? 저의 동기는 매우 간단합니다. 저는 양자 정보를 통해 TCS에 온 이론 물리학 자이며 …

42 soft-question  quantum-computing  statistical-physics  physics 

현재 TCS의 계층 정리에 대한 설문을 작성 중입니다. 관련 논문을 검색하면서 나는 계층이 TCS와 수학뿐만 아니라 신학과 사회학에서 생물학과 화학에 이르기까지 수많은 과학에서 근본적인 개념이라는 것을 알았습니다. 정보의 양이 엄청 나기 때문에이 커뮤니티의 도움을 요청할 수 있기를 바랍니다. 물론, 나는 당신이 나를 위해 서지 검색을하고 싶지 않지만 오히려 두 종류의 …

42 cc.complexity-theory  reference-request  big-list  survey 

실제 컴퓨터에는 메모리가 제한되어 있고 유한 한 수의 상태 만 있습니다. 그래서 그들은 본질적으로 유한 한 오토마타입니다. 이론적 인 컴퓨터 과학자들이 왜 튜링 머신 (및 기타 동등한 모델)을 사용하여 컴퓨터를 연구합니까? 실제 컴퓨터와 관련하여 훨씬 강력한 모델을 연구하는 요점은 무엇입니까? 유한 오토마타 모델이 충분하지 않은 이유는 무엇입니까?

42 soft-question  fl.formal-languages  automata-theory  big-picture  turing-machines 

저는 이론적으로 2 학년 대학원생입니다. 나는 작년에 문제를 연구 해 왔습니다 (그래프 이론 / 알고리즘). 어제까지 나는 내가 잘하고 있다고 생각했다 (종이에서 정리를 확장하고 있었다). 오늘 나는 간단한 실수를했다는 것을 깨달았습니다. 나는 내가 의도 한 일을하는 것보다 훨씬 힘들다는 것을 깨달았습니다. 나는 대학원을 떠나는 것에 대해 생각하고 너무 실망 느낀다. …

41 soft-question  research-practice 

누구든지 이론적 컴퓨터 과학에 대한 Gröbner 기반 의 흥미로운 응용에 대해 알고 있습니까? Gröbner베이스는 일반적으로 NP-hard 문제인 다변량 다항식을 풀기 위해 사용됩니다. TCS 또는 TCS 관련 영역 (콤비 네이터, 코딩 이론)에서 효율적인 알고리즘 / 구성 / 증거를 제공하기 위해 다루기 쉬운 특수 사례가 사용되는지 궁금했습니다.

41 cc.complexity-theory  reference-request  algebra  polynomials 

1937 년 튜링은 튜링 머신을 설명했습니다. 그 이후로 실제 컴퓨터와 유사하지만 알고리즘을 설계하고 분석 할 수있을 정도로 단순한 모델을 찾기 위해 많은 계산 모델이 설명되었습니다. 결과적으로 다양한 계산 모델에 대한 SORT 문제와 같은 수십 개의 알고리즘이 있습니다. 불행하게도, 비트 벡터 연산이 허용 된 워드 RAM에서 실행 시간 O (n)을 가진 …

41 ds.algorithms  reference-request  soft-question  machine-models 

MathOverflow에서 Timothy Gowers는 " 엄격함을 증명하는 것 "이라는 제목의 질문을했습니다 . 증거의 중요성을 보여주는 사례에 대한 대부분의 토론이 있었는데, CSTheory의 사람들은 아마 확신 할 필요가 없습니다. 필자의 경험에 따르면 증거는 연속 수학의 많은 부분보다 이론적 컴퓨터 과학에서 더 엄격해야합니다. 왜냐하면 우리의 직관은 종종 이산 구조에 대해 잘못된 것으로 판명되고 구현을 …

41 big-list  soft-question  proofs 

분산 컴퓨팅 분야는 분산 알고리즘을 설명하는 단일 수학적 이론을 개발하는 데 크게 어려움을 겪었습니다. 단순히 서로 호환되지 않는 몇 가지 '모델'과 분산 계산 프레임 워크가 있습니다. 다양한 시간적 속성 (비동기, 동기, 부분 동기화), 다양한 통신 기본 요소 (메시지 전달 대 공유 메모리, 브로드 캐스트 대 유니 캐스트), 여러 결함 모델 …

41 big-picture  dc.distributed-comp 

다음과 같은 문제를 생각하고 있습니다. 특정 문자열 집합 (예 : 유효한 전자 메일 주소)과 일치하고 다른 문자열과 일치하지 않는 (잘못된 전자 메일 주소) 정규식을 찾고 싶습니다. 정규식으로 정의 된 유한 상태 기계를 의미한다고 가정하면, 정확한 용어에 익숙하지 않지만 허용되는 표현 클래스에 동의합시다. 수동으로 표현식을 작성하는 대신 긍정적이고 부정적인 예를 제시하고자합니다. …

41 np-hardness  fl.formal-languages  lg.learning  regular-expressions 

저는 이론 컴퓨터 과학 분야의 4 학년 박사 과정 학생입니다. 나는 학계에 머물고 싶어서 내 경력을 발전시키는 최선의 방법에 대해 생각하고 있습니다. 분명히 최선의 방법은 좋은 논문을 많이 작성하는 것이지만, 또 다른 질문은 그 논문을 더 많이 단일 저자로 만들어야하는지 여부입니다. 지금까지 나는 단 하나의 저자 논문 만 가지고 있습니다 …

40 soft-question  career 

수년간의 수업에도 불구하고 연구 주제를 선택할 때 여전히 상실하고 있습니다. 여러 분야의 논문을 살펴 보았고 교수들과 이야기를 나누었으며 이것이 잘못된 접근법이라고 생각하기 시작했습니다. 흥미로운 문제를 발견하고 (해당 영역을 신경 쓰지 않음) 그 문제를 해결하는 데 도움이된다는 것을 읽었습니다. 교과서는 유명한 미해결 책을 언급하지만 직접 다루고 싶지는 않습니다. 연구 논문은 실패한 …

40 soft-question  research-practice  advice-request  career 

그래프 동형 문제 (GI)이 틀림위한 최상의 공지 후보 NP-중간 문제. 가장 잘 알려진 알고리즘은 런타임 . 다항식 계층 구조가붕괴되지 않는 한,GI는NP-완전하지않다는 것이 알려져있다.2O ( n 로그엔√)2O(nlog⁡n)2^{O(\sqrt{n \log n})}NPNP\mathsf{NP} Graph Isomorphism 문제에 대한 준 다항식 시간 알고리즘의 복잡한 이론적 결과는 무엇입니까? GI에 대한 준 다항식 시간 알고리즘이 복잡한 이론에서 유명한 추측을 …

40 cc.complexity-theory  ds.algorithms  graph-theory  graph-isomorphism