«intuition» 태그된 질문

이 질문이 약간 모호한 경우 유감이지만, 성공적인 연구자들이 TCS 결과에 대해 어떻게 "느낌"을 얻는 지 궁금합니다. 예를 들어, 선형 대수학은 기하학적으로 또는 물리적 해석 (고유 벡터는 시스템에서 "안정적인 점"으로 간주 될 수 있음)의 관점에서 이해 될 수 있습니다. 프로토콜은 계산 능력이 크게 다른 두 개체 사이의 일종의 "게임"으로 시각화 될 …

27 soft-question  intuition 

이면 다항식 계층 구조가 붕괴되고 것으로 잘 알려져 있습니다.P = N P P=NP\mathbf{P}=\mathbf{NP}P = P HP=PH\mathbf{P}=\mathbf{PH} 이것은 oracle machine을 사용하여 쉽게 유도 할 수 있습니다. 문제는-왜 우리는 지속적인 교대 수준 이상의 유도 과정을 계속하고 (일명 )?P = A l t T i m e ( n O ( 1 ) …

18 cc.complexity-theory  polynomial-hierarchy  intuition 

데이터 구조에 대한 강의를 진행하고 있으며 다음 주 초에 스플레이 트리를 다룰 예정입니다. 스플레이 트리에 관한 논문을 여러 번 읽었으며 데이터 구조의 분석과 직관에 익숙합니다. 그러나 Sleator와 Tarjan이 분석에 사용하는 잠재적 기능에 대한 확실한 직감을 찾을 수 없습니다. 분석은 트리 내의 임의의 중량을 각각의 소자에 할당함으로써 동작 wiwiw_i 후, 크기 …

16 ds.data-structures  intuition  amortized-analysis 

AFAIK, 고차 함수 사용에 대한 첫 번째 증거는 Schönfinkel의 1924 년 논문 인 "수학적 논리의 빌딩 블록에 관한 것"으로 되돌아갑니다. 흥미로운 것 같습니다. 그러나 그의 작업 (및 Curry의 확장 기능)에 대해 읽은 모든 것은 어떤 형태 또는 다른 형태로 한 가지를 암시하는 것처럼 보입니다. [고차 함수] ... 이것은 바운드 변수의 …

15 lo.logic  soft-question  ho.history-overview  intuition  function 

일반적인 청중 대화에 대한 사람들의 직관에 반하는 결과의 예를 찾고 있습니다. 전문가가 아닌 사람들에게 "직관이 무엇을 말해 주는가?" cs / math의 학부생들에게 결과 설명을 쉽게 설명 할 수 있어야합니다. 나는 주로 컴퓨터 과학의 결과를 찾고 있습니다. 귀하의 지역에서 가장 반 직관적이고 예기치 않은 결과는 무엇입니까?

14 big-list  teaching  intuition 

-calculus 가 무엇인지, 왜, 어떻게 사용되는지에 대해 머리를 감싸려고 했지만 "왜 작동합니까?"를 이해하지 못했습니다.λλ\lambda "직관적으로"나는 Turing Machines (TM)의 계산 모델을 얻는다. 그러나이 -abstraction은 나를 혼란스럽게합니다.λλ\lambda TM이 존재하지 않는다고 가정합시다. 그러면 계산법이라는 개념을 포착하는 -calculus의 능력에 대해 어떻게 "직관적으로"확신 할 수 있을까요? 모든 기능과 그 기능에 대한 많은 기능을 갖는 것이 …

12 soft-question  computability  lambda-calculus  ho.history-overview  intuition