컴퓨터 과학

양자 튜링 기계를 정의하는 방법 에 대한 토론을 겪었습니다. 그리고 나는 양자 TM과 비 결정적 TM이 하나 라고 생각합니다 . 다른 질문에 대한 답은 그 점에 영향을 미치지 않습니다. 이 두 모델은 동일하고 동일합니까? 그렇지 않다면 퀀텀 TM과 NDTM의 차이점은 무엇입니까? NDTM이 Quantum TM보다 더 빠른 계산이 있습니까? 이 경우 …

30 computability  turing-machines  quantum-computing  nondeterminism 

나는 대각선 화를 기반으로 중지 문제 (예를 들어 Papadimitriou의 교과서에서 제공)의 결정 불가능한 증거를 이해합니다. 증거가 설득력 이 있지만 (각 단계를 이해합니다), 문제만으로 시작하여 누군가가 어떻게 그것을 이끌어 낼지 알지 못한다는 의미에서 나 에게는 직관적이지 않습니다. 이 책에서 증명은 다음과 같습니다. "MHMHM_H 입력에 정지 문제 해결M;xM;xM;x 이며, 결정 튜링 기계 …

30 computability  proof-techniques  undecidability  halting-problem  intuition 

무작위 알고리즘과 비 결정적 알고리즘의 차이점과 관계는 무엇입니까? 위키 백과에서 확률 적 알고리즘은 그 로직의 일부로서 난수의 정도를 사용하는 알고리즘이다. 이 알고리즘은 일반적으로 가능한 모든 랜덤 비트 선택에 대해 "평균 경우"에서 우수한 성능을 달성하기 위해 동작을 안내하기 위해 보조 입력으로 균일하게 랜덤 비트를 사용합니다. 공식적으로, 알고리즘의 성능은 임의의 비트에 의해 …

30 algorithms  terminology  computation-models  nondeterminism  randomness 

크기가 nnn 인 모든 무 방향 그래프를 열거하고 싶지만 각 동 형사상 클래스의 인스턴스 하나만 필요합니다 . 다시 말해, nnn 개의 꼭짓점 에서 모든 비 동형 (비 방향) 그래프를 열거하고 싶습니다 . 어떻게해야합니까? 보다 구체적으로, I는 무향 그래프의 시퀀스 생성 알고리즘 원하는 G1,G2,…,GkG1,G2,…,GkG_1,G_2,\dots,G_k 다음과 같은 속성 : 모든 무향 그래프 …

30 algorithms  graphs  data-compression  graph-isomorphism 

나는 Lambda 미적분학에 대해 몇 주 동안 읽었지만 기존의 수학 함수와 실질적으로 다른 것을 보지 못했으며 그것이 단지 표기법의 문제인지 또는 새로운 것이 있는지 알고 싶습니다. 모든 수학 함수에 적용되지 않는 람다 미적분학 공리에 의해 생성 된 속성 또는 규칙. 예를 들어, 나는 그것을 읽었습니다. "익명 함수가있을 수 있습니다" : …

29 lambda-calculus  functional-programming 

나는에 의해 문 아래에 발생 앨런 M. 튜링 여기 : "기계가 놀라움을 일으키지 않는다는 견해는 필자가 생각하기에 철학자와 수학자가 특히 다루고있는 오류에 기인한다. 이것은 사실이 사실로 떠오르 자마자 그 사실의 모든 결과가 떠오른 것으로 가정한다. 그것은 많은 상황에서 매우 유용한 가정이지만, 그것이 거짓이라는 것을 너무 쉽게 잊어 버립니다. " 나는 …

29 turing-machines  computability  computation-models 

나는 잠시 동안 컴파일러를 연구 해 왔고, 문법에서 "문맥"의 의미와 문법이 "문맥이없는"의미를 의미하지만 결과는 없습니다. 그래서 누구든지 이것을 도울 수 있습니까?

29 terminology  context-free  formal-grammars 

Church-Turing 논문은 물리적으로 계산할 수있는 모든 것이 Turing Machine에서 계산 될 수 있다고 명시하고 있습니다. 논문 "신경망을 통한 아날로그 계산"(Siegelmannn and Sontag, Theorytical Computer Science , 131 : 331–360, 1994; PDF )은 특정 형태의 신경망 (설정이 논문에 제시되어 있음)이 더 강력하다고 주장합니다. 저자들은 기하 급수적으로 그들의 모델이 튜링 머신 모델에서 …

29 computability  turing-machines  church-turing-thesis 

어머니는 일종의 사서가되기 위해 온라인 과정을 밟고 있습니다.이 과정에서 부울 검색을 다루므로 데이터베이스를 효율적으로 검색 할 수 있지만 다음과 같은 소리가납니다. "x OR y"를 검색하면 105 000 개의 적중이 발생하지만 x 만 검색하면 80 000 개의 적중이 발생하고 y 만 검색하면 35,000 개의 적중이 발생합니다. 결합 된 개별 검색이 115 …

29 sets  counting 

Dijkstra, Depth First 등의 경로 찾기 알고리즘을 구현하고 있습니다. 처음에는 몇 가지 자체 제작 그래프를 사용했지만 이제는 조금 더 도전을하고 싶습니다. 벤치 마크에 사용 된 그래프; 실제 도시의 그래프 (또는 Google지도 또는 기타 가능한 경우 다른 종류의 소스에서 해당 정보를 다운로드하는 방법). 가능한 경우 다른 크기의 그래프 세트에 대해 알고리즘을 …

29 algorithms  graphs  data-sets  benchmarking 

백프로 프 네트워크는 완전히 연결된 (적어도 2 개 이상의 숨겨진 계층을 가진 계층 간) 백프로 프 네트워크입니다. 불행히도, 그들은 종종 배우기가 느리고 지나치게 적합하거나 어색한 일반화를하는 경향이 있습니다. 이 네트워크에 장난을 치면서 나는 가장자리의 일부를 잘라내는 것이 (무게가 0이고 변경이 불가능하도록) 네트워크가 더 빨리 배우고 일반화되는 경향이 있음을 관찰했습니다. 이것에 …

29 machine-learning  network-topology  neural-networks 

저는 현재 알고리즘과 복잡성으로 책을 읽고 있습니다. 현재 계산 가능한 함수와 계산할 수없는 함수에 대해 읽고 있으며, 저의 저서에는 계산 가능한 것보다 계산할 수없는 더 많은 함수가 있다고 말하고 있습니다. 실제로 대다수는 계산할 수 없습니다. 어떤 의미에서 나는 직관적으로 받아 들일 수 있지만이 책은 공식적인 증거를 제시하지도 않고 주제에 대해 …

29 computability  turing-machines  combinatorics 

유 방향 그래프에서 두 노드 사이에 경로가 있는지 여부를 결정하는 쉬운 다항식 알고리즘이 있습니다 (심도 우선 검색으로 일상적인 그래프 탐색 만 수행). 그러나 놀랍게도 존재 여부를 테스트하는 대신 경로 수 를 계산 하려는 경우 문제가 훨씬 어려워집니다 . 우리는 재사용 정점에 경로를 허용하는 경우 다음에서 경로의 수를 찾을 수있는 동적 …

29 algorithms  complexity-theory  graph-theory 

3SUM의 문제 시도 3 개 식별하는 정수 세트로부터는 의 크기 이되도록 .S n a + b + c = 0a,b,ca,b,ca,b,cSSSnnna+b+c=0a+b+c=0a + b + c = 0 이차보다 더 나은 해결책이 없다고 추측된다. 즉 . 또는 다르게 말하면 입니다.o ( n log ( n ) + n 2 )o(n2)o(n2)\mathcal{o}(n^2)o(nlog(n)+n2)o(nlog⁡(n)+n2)\mathcal{o}(n \log(n) + …

29 complexity-theory  combinatorics  complexity-classes 

함수 열거의 개념에 대해 배웠습니다. 실제로는 프로그래밍 언어에 해당합니다. 지나가는 말에서 교수는 모든 총 함수의 클래스 (즉, 모든 입력에서 항상 종료되는 함수)는 열거 할 수 없다고 언급했습니다 . 그것은 우리가 모든 함수를 작성할 수있게하는 프로그래밍 언어를 고안 할 수 없다는 것을 의미합니다. 적절한 계산 능력을 원한다면 어떻게 비 종료 가능성을 …

29 computability  semi-decidability  enumeration