«intuition» 태그된 질문

I는 I 같은 복잡한 합리적인 이해가 판단 , Θ ( N ) 과 Θ ( N 2 ) .O (1)O(1)\mathcal{O}(1)Θ ( n )Θ(n)\Theta(n)Θ ( n2)Θ(n2)\Theta(n^2) 목록 측면에서 은 지속적인 조회이므로 목록의 머리를 얻는 것입니다. Θ ( n ) 은 전체 목록을 걷는 곳이며 Θ ( n 2 ) 는 목록의 …

59 algorithms  complexity-theory  time-complexity  intuition 

PSPACE가 일반적으로 EXPTIME과 다른 이유를 직관적으로 이해하는 데 어려움을 겪고 있습니다. PSPACE가 입력 크기 의 공간 다항식에서 해결할 수있는 문제의 집합 인 경우 지수 시간이 더 크게 발생하고 지수 공간을 사용하지 않는 일련의 문제 가있을 수 있습니까?f(n)f(n)f(n) Yuval Filmus의 답변은 이미 매우 도움이됩니다. 그러나 PSPACE ≠ EXPTIME (예 : PSPACE가 …

31 complexity-theory  complexity-classes  intuition 

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

30 computability  proof-techniques  undecidability  halting-problem  intuition 

이 질문은 StackOverflow 에 대한 의견에서 영감을 얻었습니다 . Garey Johnson 책의 NP-complete 문제와 다른 많은 것들을 아는 것 외에도; 문제가 NP- 완전 문제인지 아닌지 알기위한 규칙이 있습니까? 나는 엄격한 것을 찾는 것이 아니라 대부분의 경우 작동하는 것을 찾고 있습니다. 물론, 문제가 NP- 완료이거나 NP- 완전 문제의 약간의 변형이라는 것을 …

26 complexity-theory  np-complete  intuition 

때로는 알고리즘을 신중하게 검사하면서 시간의 복잡성을 쉽게 식별 할 수 있습니다. 두 개의 중첩 루프가있는 알고리즘 NNN은 분명히 N2N2N^2 입니다. 두 값 의 NNN 그룹의 가능한 모든 조합을 탐색하는 알고리즘 은 분명히 2N2N2^N 입니다. 그러나 나는 Θ(NlogN)Θ(Nlog⁡N)\Theta(N \log N) 복잡성을 가진 알고리즘을 "스팟"하는 방법을 모른다 . 예를 들어 재귀 병합 …

19 algorithm-analysis  time-complexity  intuition 

저는 계산 이론을 전공하는 대학원생이며, 일단 요청을 받으면 콘텐츠 제작에 심각한 문제가 있습니다. 나는 교과서 (Michael Sipser의 계산 이론 입문)와 강의를 따를 수 있습니다. 그러나 무언가를 증명하거나 특정 TM에 대한 공식적인 설명을 요구할 때, 나는 단지 질식했다. 그런 상황에서 어떻게해야합니까? 내 문제는 추상적 개념을 실제로 사용할 수있는 시점까지 완전히 이해하는 …

19 computability  education  intuition 

나는 의존적 타이핑 (DT)을 올바르게 이해했다고 생각했지만이 질문에 대한 답변 : /cstheory/30651/why-was-there-a-need-for-martin-l%C3% B6f-to-create-intuitionistic-type-theory 는 다르게 생각하게 만들었 습니다. DT를 읽고 그것들이 무엇인지 이해하려고 노력한 후에, 나는 DT의 개념으로 무엇을 얻을 수 있을지 궁금합니다. 비록 "어떻게 / 왜"를 정확하게 이해할 수는 없지만 간단하게 입력 된 람다 미적분학 (STLC)보다 더 유연하고 강력 …

13 logic  type-theory  intuition 

아래에서는 무한 테이프 튜링 기계를 사용한다고 가정합니다. 누군가에게 시간 복잡성의 개념을 설명하고 인스턴스의 입력 크기를 기준으로 측정 한 이유를 설명 할 때 다음 주장을 우연히 발견했습니다. [..] 예를 들어, 두 정수에 3 비트를 곱하는 것보다 두 정수에 100000 비트를 곱하려면 더 많은 단계가 필요합니다. 주장은 설득력이 있지만 어떻게 든 손을 …

12 complexity-theory  time-complexity  intuition 

직장에서 나는 동적 언어에 대한 몇 가지 유형 정보를 유추하는 임무를 맡았습니다. 다음 let과 같이 일련의 명령문을 중첩 된 표현식 으로 다시 작성합니다 . return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

열거 자에서 Turing Machine으로 이동한다는 증거를 얻습니다 (열거를 계속 실행하고 입력과 일치하는지 확인하십시오). 다른 방법이 어떻게 작동하는지 알 수 없습니다. 저의 노트와 저서 (계산 이론 소개-Sipser)에 따르면 Turing 기계에서 Turing 열거자를 얻으려면 기본적으로 알파벳의 모든 조합을 씁니다. 그런 다음이 입력에서 TM을 실행하고 인쇄가 승인되면 새 문자열 반복 광고 무한대로 대체하십시오. …

10 computability  turing-machines  intuition 

이미지 처리에서 컨벌루션 에 대한 많은 문서를 읽었 으며 대부분은 수식, 추가 매개 변수에 대해 말합니다. 이미지에서 컨볼 루션을 수행하는 데있어 직관과 실제 의미를 설명하는 사람은 없습니다. 예를 들어, 그래프에서 유도의 직관은 예를 들어 더 선형 적입니다. 정의에 대한 빠른 요약은 이미지와 커널 사이에 컨볼 루션이 겹친 사각형을 곱한 후 …

9 terminology  intuition  graphics  computer-vision 

주어진 언어 L = {ㅏ엔비엔씨엔}L={anbncn} L= \{a^n b^n c^n\}, 생산 규칙을 ​​보지 않고이 언어가 규칙적이지 않다는 것을 직접 말할 수 있습니까? 나는 펌핑 보조 정리를 사용할 수 있지만 일부 사람들은 이것이 규칙적인 것이 아니라는 문법을보고 있다고 말합니다. 그게 어떻게 가능해?

9 formal-languages  regular-languages  pumping-lemma  intuition