«reference-request» 태그된 질문

Turing의 모델이 계산을 설명 할 때 "표준"이되었다는 것을 이해하고 있습니다. 왜 이것이 사실인지 알고 싶습니다. 즉, TM 모델이 다른 이론적으로 동등한 (내 지식과 같은) 모델보다 더 널리 사용되는 이유는 무엇입니까? 전자는 나중에까지 나타나지 않았고 후자는 원래 계산 모델로 특별히 설계되지 않았지만 대안이 처음부터 존재했음을 보여줍니다). 내가 생각할 수있는 것은 TM …

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

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

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

누구든지 이론적 컴퓨터 과학에 대한 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 

이것은 math.stackexchange 의 크로스 포스트입니다 . 정수 인수 분해 문제를 나타내는 사실을 보자 : 주어진 찾을 소수 및 정수 하도록n∈N,n∈N,n \in \mathbb{N},pi∈N,pi∈N,p_i \in \mathbb{N},ei∈N,ei∈N,e_i \in \mathbb{N},n=∏ki=0peii.n=∏i=0kpiei.n = \prod_{i=0}^{k} p_{i}^{e_i}. RSA가 이고 가 소수 인 특수한 인수 분해 문제를 나타냅니다 . 즉, 이러한 인수 분해가없는 경우 소수 또는 NONE을 찾습니다 .n=pqn=pqn …

39 cc.complexity-theory  reference-request  np-hardness  cr.crypto-security  factoring 

나는 "정말로 임의의"숫자의 생성이 Turing 계산 가능한지 아닌지에 대한 확실한 대답을 찾고 있습니다. 나는 이것을 정확하게 표현하는 방법을 모른다. "임의의 숫자 생성을위한 효율적인 알고리즘"에 대한이 StackExchange 질문 은 내 질문에 대한 대답과 비슷합니다. Charles Stewart는 그의 대답에서 "[Martin-Löf randomity]는 기계에 의해 생성 될 수 없습니다"라고 말합니다. 로스 스나이더는 "튜링 / …

39 reference-request  computability  turing-machines  randomness 

기하 복잡도 이론은 대수 기하학, 표현 이론과 같은 순수한 수학에 대한 많은 지식이 필요한 것 같습니다. 저는 CS 학생이며 매우 추상적이고 순수한 수학 수업은 없지만이 프로그램에 관심이 있습니다. 이 이론을 배우기위한 "최소 지식"의 목록이 있습니까? 이 목록에는 CS 또는 수학 부서의 강의 노트, 저널 또는 컨퍼런스 설문 조사 및 순수 …

38 reference-request  big-list  survey  gct 

증명 기법으로 TCS 정리를 구성하고 논의하는 참고 자료 (온라인 또는 서적 형식)가 있습니까? Garey와 Johnson 은 NP- 완전성 증명 (특히 3 장)에 필요한 다양한 종류의 위젯 구성을 위해이를 수행하지만, TCS에서 증명 기술을보다 광범위하게 다루는 것이 있는지 궁금합니다. 예를 들어, 주제에는 사용 된 구성 유형에 따라 세분화 된 대각선 화가 포함될 …

38 reference-request  proof-techniques 

이론적 인 컴퓨터 과학과 수학의 경계가 항상 구분하기 쉽지 않기 때문에 상당히 모호한 질문을 할 것입니다. 질문 : ZFC와 독립적이거나 (즉, 표준 집합 이론), 원래 ZFC (+ 다른 공리)에서 입증되었고 나중에 ZFC 알론에서 증명 된 CS의 흥미로운 결과를 알고 있습니까? 나는 박사 학위 논문을 마치기 위해 가까이 왔기 때문에 묻고 …

37 reference-request  lo.logic  set-theory 

기하학적 문제 수가 고려 될 때 쉽게 하지만에서 NP-완료 R의 D 에 대한 D ≥ 2 (내 좋아하는 문제들 중 하나의 단위 디스크 커버를 포함).R1아르 자형1R^1Rd아르 자형디R^dd≥2디≥2d\geq2 누구든지 과 R 2에 대해 polytime 해결할 수있는 문제를 알고 있지만 R d에 대해 NP-complete , d ≥ 3을 알고 있습니까? R1아르 자형1R^1R2아르 …

37 cc.complexity-theory  reference-request  cg.comp-geom 

점점 더 복잡 해지는 컴퓨터 프로그램과 점점 더 사회에서 컴퓨터의 중요성이 높아짐에 따라 코드가 올바르게 작동한다는 공식적인 증거를 제공해야하는 프로그래밍 언어를 집단적으로 사용하지 않는 이유가 궁금합니다. 이 용어는 '인증 ​​컴파일러'라고 생각합니다 ( 여기서 찾았습니다 ). 코드를 작성해야 할뿐만 아니라 코드의 사양을 명시하고 코드가 코드를 준수한다는 것을 입증하는 프로그래밍 언어를 컴파일하는 …

37 reference-request  complexity-classes  computability  pl.programming-languages 

이것은 기술적이지 않은 질문이지만 TCS 커뮤니티와 관련이 있습니다. 부적절한 것으로 간주되면 자유롭게 닫으십시오. 복잡성 동물원 웹 페이지 (http://qwiki.stanford.edu/index.php/Complexity_Zoo) 확실히 년간 TCS 커뮤니티에 큰 봉사하고있다. 분명히 꽤 오랜 시간이 지났기 때문에 다운되었습니다. 나는 누군가가 여전히 그것을 유지하고 있는지, 이동했는지, 백업 서버가 있는지, 또는 복잡한 클래스, 관계 및 인용에 대한 훌륭한 데이터베이스를 …

36 cc.complexity-theory  reference-request  soft-question 

일반적으로 우리는 함수가 주어진 입력에서 특정 값을 취하는 지 테스트하는 것이 복잡하다는 것은 그 입력에서 함수를 평가하는 것보다 쉽다는 것을 알고 있습니다. 예를 들면 다음과 같습니다. 음이 아닌 정수 행렬의 지속성을 평가하는 것은 # P-hard이지만, 그러한 지속성이 0인지 아닌지를 나타내는 것은 P에 있습니다 (이분자 일치). n 개의 실수 , 이러한 …

36 cc.complexity-theory  reference-request  algebraic-complexity 

문제는 다항식 입니다. 모든 계수가 기계어에 적합하다고 가정합니다. 즉, 단위 시간으로 조작 할 수 있습니다.(1x + b1) × ⋯ × ( a엔x + b엔)(a1x+b1)×⋯×(anx+bn)(a_1 x + b_1) \times \cdots \times (a_n x + b_n) FFT를 트리 방식으로 적용하여 시간을 수행 할 수 있습니다 . 당신이 할 수 O는 ( N …

35 ds.algorithms  reference-request  open-problem  polynomials 

다음 계산 문제 (또는 관련 결정 문제)를 고려하십시오. 이진수로 인코딩 된 두 개의 양의 정수가 주어지면 최대 공약수 (gcd)를 계산하십시오. 이 문제에 포함 된 가장 복잡한 클래스는 무엇입니까? 당신은 참조를 제공 할 수 있습니까? 이 질문에서 나는 주로 실행 시간에 점근선 경계에 관심이 없지만 복잡한 클래스에 관심이 있습니다. AC에 문제가 …

33 cc.complexity-theory  reference-request  complexity-classes  nt.number-theory