«terminology» 태그된 질문

알고리즘 가 보다 점진적으로 더 효율적 이라고 말할 때 무엇을 의미 합니까?XXXYYY XXX모든 입력에 가 더 나은 선택입니다. XXX작은 입력을 제외한 모든 입력에 가 더 나은 선택입니다. XXX큰 입력을 제외한 모든 입력에 가 더 나은 선택입니다. YYY 는 작은 입력에 더 나은 선택이 될 것입니다. 이 질문에 대한 링크는 여기에 …

12 algorithms  algorithm-analysis  terminology  asymptotics 

내가 찾고 있어요 구조물의 미적분 과에서의 위치 람다 큐브 . 올바르게 이해하면 큐브의 각 축은 유형이 포함 된 다른 연산을 간단한 유형의 미적분에 추가하는 것으로 생각할 수 있습니다 . 첫 번째 축은 유형 대 연산자, 두 번째 유형 대 연산자 및 세 번째 종속 유형 또는 용어 대 연산자를 추가합니다. …

11 terminology  lambda-calculus  type-theory  dependent-types 

객체 지향 프로그래밍 (용지의 경우)에서 "객체의 상태"에 대한 간결한 정의가 필요합니다. 반나절 동안이 주제에 관해 인용 할 수있는 논문을 검색했지만 찾지 못했습니다. 내가 찾은 모든 논문은 주로 객체 지향 프로그래밍에 대한 일반적인 논문이며 객체의 상태를 정의하지 않았습니다. 확실하지 않지만 최선의 추측은 다음과 같습니다 . 객체의 상태는 객체의 인스턴스 변수 상태에 …

11 terminology  reference-request  programming-languages  object-oriented 

"유도 적으로"와 "재귀 적으로"는 매우 비슷한 의미입니까? 예를 들어, 결정된 첫 번째 k 개의 구성 요소를 기반으로 첫 번째 k + 1 구성 요소를 결정하여 n-dim 벡터를 결정하는 알고리즘이 있고 첫 번째 구성 요소로 초기화 된 경우 재귀 적으로 또는 유도 적으로 작동합니까? 나는 "재귀 적으로"를 사용하고 있지만, 오늘날 누군가는 …

11 algorithms  terminology  recursion  induction 

직장에서 나는 동적 언어에 대한 몇 가지 유형 정보를 유추하는 임무를 맡았습니다. 다음 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 

알고리즘에 대한 입력으로 대수를 제공한다는 의미를 지정하고 그것에 대해 많은 문헌을 찾지 못했습니다. 따라서 먼저 필드에 대한 대수의 복잡성 분석 주제를 다루고 의사 결정 문제를 명확하게 정의 하는 책이나 논문을 추천 할 수 있는지 묻고 싶습니다 . 파고 난 후에 뭔가를 발견 하고 여기에서 공유하고 더 나아가 정의가 의미가 있고 …

11 computability  terminology  decision-problem 

이것은 스택 검사에 대한 다른 고급 질문의 전조 입니다. 스택 검사는 서로 다른 신뢰 수준을 가진 위치에서 발생하는 코드 실행을 처리하기 위해 JVM에 도입 된 보안 메커니즘입니다. 이것은 기능에 대한 간단한 설명을 찾는 것을 목표로합니다. 그래서: 스택 검사는 어떻게 작동합니까?

11 terminology  security  stack-inspection 

깊이 우선 트리에는 트리를 정의하는 에지 (즉, 순회에 사용 된 에지)가 있습니다. 다른 노드 중 일부를 연결하는 남은 가장자리가 있습니다. 교차 가장자리와 앞으로 가장자리의 차이점은 무엇입니까? 위키 백과에서 : 이 스패닝 트리를 기반으로 원래 그래프의 가장자리를 세 가지 클래스로 나눌 수 있습니다. 앞 가장자리는 나무의 노드에서 그 자손 중 하나를 …

11 algorithms  terminology  graphs  graph-traversal 

에서 위키 백과 : 계산 문제의 유형 : 가장 일반적으로 사용되는 문제는 의사 결정 문제 입니다. 그러나 복잡성 클래스는 함수 문제, 계산 문제, 최적화 문제, 약속 문제 등을 기반으로 정의 할 수 있습니다. 또한 NP-complete, NP-hard, NP, ...의 정의가 의사 결정 문제에 대해서만 정의되는 것을 보았습니다. 왜 그런지 궁금합니다. 다른 …

11 complexity-theory  terminology 

길이 의 배열이 제공 됩니다. 배열의 각 요소는 클래스 중 하나에 속합니다 . 당신은 그래서 스왑 작업의 최소 번호를 사용하여 배열을 정렬 해야하는 모든 요소 로부터 같은 클래스 가 연속 된 부분 배열을 형성 항상 함께 그룹화됩니다. 예 : 3 개의 다른 유효한 배열이 남아 있습니다.nnnKKK[2,1,3,3,2,2]⟶[2,2,2,1,3,3], or[2,1,3,3,2,2]⟶[1,2,2,2,3,3], or[2,1,3,3,2,2]⟶[3,3,2,2,2,1].[2,1,3,3,2,2]⟶[2,2,2,1,3,3], or[2,1,3,3,2,2]⟶[1,2,2,2,3,3], or[2,1,3,3,2,2]⟶[3,3,2,2,2,1]. …

10 terminology  reference-request  sorting  arrays 

대략적으로, 방향이없는 그래프는 각 가장자리 (v, w)에 대해 항상 가장자리 (w, v)가있는 직접 그래프와 매우 유사합니다. 이는 방향이없는 그래프를 방향이 지정된 그래프의 하위 집합으로 볼 수 있음을 나타냅니다 (가장자리 추가 / 삭제는 일치하는 쌍으로 만 수행 할 수 있다는 추가 제한이있을 수 있음). 그러나 교과서는 일반적으로이 처리를 따르지 않으며 방향이없는 …

10 graphs  terminology 

나는이 질문을하는 데 올바른 용어를 알지 못하므로 대신 많은 단어로 설명 할 것입니다. Background , 우리는 같은 페이지에 있습니다 : 프로그램에는 종종 캐시가 포함되어 있습니다-시간 / 메모리 균형. 일반적인 프로그래머의 실수는 업스트림 소스 / 전례 중 하나를 변경 한 후 캐시 된 값을 업데이트하는 것을 잊는 것입니다. 그러나 데이터 흐름 …

10 terminology  reference-request  functional-programming  programming-paradigms 

에 따르면 피터 셀린 , 람다 미적분은 대수이다 (PDF). 이 기사 초반에 그는 다음과 같이 말합니다. 그것은 만족하지 않기 때문에 람다 계산법의 조합 적 해석이 불완전한 것으로 알려져 - 규칙 : 해석 하에서, 의미하는 것은 아니다 (Barendregt, 1984).ξξξM=NM=NM = Nλx.M=λx.Nλx.M=λx.N\lambda x.M = \lambda x.N 질문 : 여기서 어떤 종류의 동등성이 …

10 terminology  lambda-calculus  combinatory-logic 

big-O 표기법에서 함수 계수를 논의하기 위해 어떤 표기법이 사용됩니까? 두 가지 기능이 있습니다. f(x)=7x2+4x+2f(x)=7x2+4x+2f(x) = 7x^2 + 4x +2 g(x)=3x2+5x+4g(x)=3x2+5x+4g(x) = 3x^2 + 5x +4 분명히 두 함수는 모두 O(x2)O(x2)O(x^2) 이며 실제로 Θ(x2)Θ(x2)\Theta(x^2) 이지만 그보다 더 이상 비교할 수는 없습니다. 계수 7과 3에 대해 논의하는 방법 계수를 3으로 줄이면 점근 …

10 terminology  asymptotics  landau-notation 

함수 또는 계산을 위해 다음과 같은 용어가 있습니다. 결정론 – 결정론 순수 – 순도 이제 부작용이없는 올바른 해당 명사는 무엇 입니까? "부작용 자유"? "부작용의 자유"? "비 효과적"?

10 terminology  programming-languages