컴퓨터 과학

좋아하는 책 목록이있는 10 명의 사람이 있다고 가정하겠습니다. 주어진 사람 X의 경우, X만이 좋아하는 X 책의 특별한 부분 집합을 찾고 싶습니다. 즉, X의 특별한 부분 집합에서 모든 책을 좋아하는 사람은 없습니다. 이 특수한 부분 집합을 X의 고유 한 "지문"이라고 생각합니다. 그런 세트를 찾는 접근법에 대한 제안을 부탁드립니다. (이것은 숙제 문제처럼 …

11 algorithms  sets 

에서 위키 백과 정보 검색 은 정보 자원 모음에서 정보 요구와 관련된 정보 자원을 얻는 활동입니다. 검색은 메타 데이터 또는 전체 텍스트 인덱싱을 기반으로 할 수 있습니다. 에서 위키 백과 정보 추출 (IE) 은 비정형 및 / 또는 반 정형 기계 판독 가능 문서에서 정형 정보를 자동으로 추출하는 작업입니다. 대부분의 …

11 data-mining  natural-language-processing 

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

11 terminology  reference-request  programming-languages  object-oriented 

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

11 algorithms  terminology  recursion  induction 

나는 다음과 같은 흥미로운 문제를 겪었습니다. 를 실수의 필드에 대한 다항식으로하고 그들의 계수가 모두 정수라고 가정합시다 (즉,이 다항식의 유한 한 정확한 표현이 있습니다). 필요한 경우 두 다항식의 차수가 같다고 가정 할 수 있습니다. 다항식 (resp. ) 의 일부 (실수 또는 복소수) 근의 최대 절대 값을 (resp. )로 나타내겠습니다 . 속성을 …

11 computability  undecidability  computer-algebra 

나는 양자 컴퓨터가 튜링 기계보다 계산적으로 더 강력하지 않다는 말을 들었습니다. 누군가가 그 사실을 설명하는 참고 문헌을 제공하는 데 친절하게 도움을 줄 수 있습니까?

11 computability  reference-request  turing-machines  quantum-computing 

사각형, ABCD를 고려하십시오. 직관적으로 색도 다항식은 이며 색상을 사용할 수 있는 것으로 보입니다 .λ(λ−1)(λ−1)(λ−2)λ(λ−1)(λ−1)(λ−2)\lambda(\lambda - 1)(\lambda - 1)(\lambda - 2)λλ\lambda 가되어 그λλ\lambda , A의 색상을 선택할 수있는 방식이 있으며, B 및 D의 색상을 선택하는 방법 은 λ−1λ−1\lambda - 1 방법 (B 및 D는 A에 인접 해 있음)과 λ−2λ−2\lambda - 2 …

11 graph-theory  colorings 

그래서 나는이 질문을 통해 진술을 증명합니다. O(n)⊂Θ(n)O(n)⊂Θ(n)O(n)\subset\Theta(n) ... 나는 그것을 증명하는 방법을 알 필요가 없다. 단지 내 마음에는 이것이 의미가 없으며 오히려 이어야한다고 생각한다 .Θ(n)⊂O(n)Θ(n)⊂O(n)\Theta(n)\subset O(n) 내 이해는 은 보다 나쁘지 않은 모든 함수의 집합 이고 은 n보다 나쁘지 않은 모든 함수의 집합이라는 것입니다.O(n)O(n)O(n)nnnΘ(n)Θ(n)\Theta(n) 이것을 사용하여 상수 함수 의 예를 …

11 asymptotics  mathematical-analysis  landau-notation 

일부 그래프의 경우 DFS 및 BFS 검색 알고리즘은 노드가 모두 동일한 노드에서 시작되는 경우 노드를 정확하게 동일한 순서로 처리합니다. 두 가지 예는 경로 인 그래프와 별 모양의 그래프입니다 ( 임의의 수를 가진 깊이 나무 ). 이 속성을 만족시키는 그래프를 분류하는 방법이 있습니까?111

11 algorithms  graphs  graph-traversal 

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

정수 배열에서 k 번째로 큰 원소 를 찾는 잘 알려진 최악의 경우 선택 알고리즘 이 있습니다. 그것은 중간 값 접근법을 사용하여 충분한 피벗을 찾고 입력 배열을 제자리에 놓은 다음 재귀 적으로 k 번째로 큰 요소 검색을 계속합니다 .O(n)O(n)O(n) kkkkkk 입력 배열을 건드리지 않으면 O ( n ) 시간 에서 번째로 …

11 algorithms  algorithm-analysis  space-complexity  lower-bounds 

많은 수의 하위 문제가있는 동적 프로그래밍. 그래서 인터뷰 거리 에서이 문제를 해결하려고합니다. 그리드 워킹 (50 점 점수) 당신은에 위치하고 있습니다 엔NN 위치에 차원 그리드 ( x1, x2, … , x엔)(x1,x2,…,xN)(x_1,x_2,\dots,x_N) . 격자의 치수는 ( D1, D2, … , D엔(D1,D2,…,DN(D_1,D_2,\dots,D_N )입니다. 한 단계에서 엔NN 차원 중 하나에서 한 단계 앞뒤로 걸을 …

11 algorithms  efficiency  dynamic-programming 

현대의 SAT 솔버는 많은 실제 SAT 인스턴스 예를 해결하는 데 매우 능숙합니다. 그러나 어려운 것을 생성하는 방법을 알고 있습니다. 예를 들어 , 인수 분해에서 SAT 로 축소를 사용 하고 RSA 번호를 입력으로 제공합니다. 이것은 쉽게 팩토링의 예를 들면 어떨까요? 대신에 두 개의 큰 소수를 복용 I가 소수 걸릴 경우 어떻게 …

11 complexity-theory  satisfiability  sat-solvers  factoring 

Borůvka 알고리즘은 그래프 위해 스패닝 트리 최소 계산을위한 표준 알고리즘 중 하나 인 와 .G = ( V, E)지=(V,이자형)G = (V,E)| V| =n, | 이자형| =m|V|=엔,|이자형|=미디엄|V| = n, |E| = m 의사 코드는 다음과 같습니다. MST T = empty tree Begin with each vertex as a component While number of …

11 algorithms  algorithm-analysis  spanning-trees 

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

11 computability  terminology  decision-problem