컴퓨터 과학

컴퓨터 과학의 학생, 연구원 및 실무자를위한 Q & A

1
랜덤 그래프의 클릭 횟수
노드를 갖는 랜덤 그래프 패밀리가 있습니다 ( Gilbert 때문에 ). 각각의 가능한 모서리는 확률 로 독립적으로 삽입됩니다 . 를 단위의 크기 의 하자 .G(n,p)G(n,p)G(n, p)nnnG(n,p)G(n,p)G(n, p)pppXkXkX_kkkkG(n,p)G(n,p)G(n, p) 나도 알아 E(Xk)=(nk)⋅p(k2)E(Xk)=(nk)⋅p(k2)\mathbb{E}(X_k)=\tbinom{n}{k}\cdot p^{\tbinom{k}{2}} ,하지만 난 그것을 어떻게 증명합니까? 어떻게 것을 보여주기 위해 E(Xlog2n)≥1E(Xlog2⁡n)≥1\mathbb{E}(X_{\log_2n})\ge1 에 대한 n→∞n→∞n\to\infty ? 그리고 어떻게 보여 E(Xc⋅log2n)→0E(Xc⋅log2⁡n)→0\mathbb{E}(X_{c\cdot\log_2n}) \to …
2
벡터 합계의 최대 성분 최소화
주어진 음이 아닌 정수의 경우 :이 최적화 문제에 대해 뭔가 알아 보려면 함수를 찾을 수 발현을 최소화 fㅏI , J , Kai,j,ka_{i,j,k}에프ff 최대케이∑나는ㅏ나는 , f( i ) , kmaxk∑iai,f(i),k\max_k \sum_i a_{i,f(i),k} 다른 공식을 사용하는 예가 더 명확해질 수 있습니다. { {(3, 0, 0, 0, 0), (1, 0, 2, 0, 0)}, …
4
주어진 난수 생성기를 사용하여 1-100을 인쇄하는 가장 효율적인 알고리즘
RandNum501-50 범위의 균일 한 난수를 생성하는 난수 생성기가 제공됩니다. 이 난수 생성기 만 사용하여 1에서 100까지의 모든 정수를 임의의 순서로 생성하고 인쇄 할 수 있습니다. 모든 숫자는 정확히 한 번만 와야하며 어느 위치에서나 발생할 수있는 확률은 같아야합니다. 가장 효율적인 알고리즘은 무엇입니까?
1
무한 재귀 집합의 하위 집합
최근 시험 문제는 다음과 같습니다. 는 무한 재귀 열거 가능 집합입니다. A 에 무한 재귀 하위 집합이있음을 증명하십시오.ㅏAAㅏAA 를 A 의 무한 재귀 서브 세트라고 하자 . C 에는 재귀 적으로 열거 할 수 없는 하위 집합이 있어야 합니까?씨CCㅏAA씨CC 나는 이미 1. 대답했다. 2. 나는 긍정적으로 대답하고 다음과 같이 주장했다. …
1
슬라이스의 요소를 계산하기 위해 배열을 사전 처리합니다 (RMQ?로 줄입니까?).
배열을 지정해 자연수 ≤ K , k는 상수이고, 난에 응답 할 O ( 1 ) 형태의 질의는 "횟수 않는다 m은 인덱스 간의 배열에 나타나는 I 및 j "?ㅏ1, ... ,엔a1,…,ana_1,\ldots,a_n≤ k≤k\leq k케이kkO ( 1 )O(1)O(1)미디엄mm나는ii제이jj 어레이는 선형 시간으로 사전 처리되어야합니다. 특히 범위 최소 쿼리가 줄어든 지 알고 싶습니다. 경우 간격 …
2
목록 대신 검색 트리를 사용하여 해싱
해싱 및 이진 검색 트리 자료로 어려움을 겪고 있습니다. 그리고 동일한 해시 값으로 항목을 저장하기 위해 목록을 사용하는 대신 이진 검색 트리를 사용할 수도 있습니다. 그리고 작업에서 최악의 경우와 평균 경우의 실행 시간을 이해하려고합니다. insert, find 과 delete 가치가 있습니다. 평균 사례. 그들은 목록과 관련하여 개선합니까?
1
건전성과 추론의 완전성의 예
다음 예제는 추론 알고리즘이 건전 하고 완전 한지 여부에 대해 정확 합니까? 건초 더미에 바늘 a, b, c가 있고 바늘을 찾도록 설계된 추론 알고리즘이 있다고 가정합니다. 소리 -바늘 a, b 및 c 만 획득됩니다. 완료 -바늘 a, b 및 c를 얻습니다. 다른 건초도 얻을 수 있습니다.
11 logic 
2
마스터 정리가 적용되지 않습니까?
다음과 같은 재귀 방정식이 주어지면 티( n ) = 2 T( n2) +n로그엔티(엔)=2티(엔2)+엔로그⁡엔 T(n) = 2T\left(\frac{n}{2}\right)+n\log n우리는 마스터 정리를 적용하고 엔로그2( 2 )= n 입니다.엔로그2⁡(2)=엔. n^{\log_2(2)} = n. 이제 우리는 대한 처음 두 경우를 확인 ε > 0ε>0\varepsilon > 0합니다. N 로그N ∈ O ( N1 − ε)엔로그⁡엔∈영형(엔1−ε)n\log n \in …
1
서로 최대 거리를 갖도록 큐브에 오브젝트를 분배하십시오.
우주에서 여러 물체를 추적하기 위해 컬러 카메라를 사용하려고합니다. 각 객체의 색상이 다르며 각 객체를 잘 구별하기 위해 객체에 할당 된 각 색상이 다른 객체의 색상과 가능한 한 다른지 확인하려고합니다. RGB 공간에서, 우리는이 큐브에서 세 가지면, 0에서 255 사이의 값을 가진 모든이 , I는 배포하고자하는 자신과 사이에 많은 거리로이되도록 색상을 가능한 …
1
랜덤 파티셔닝을 통한 선택에 대한 집중력?
어레이에 중간 요소를 찾는 보통 간단한 알고리즘 의 숫자이다 :AAAnnn 샘플 의 요소 에 여분으로n3/4n3/4n^{3/4}AAABBB 정렬 와 순위 찾을 수 요소 과 의BBB|B|±n−−√|B|±n|B|\pm \sqrt{n}lllrrrBBB 그 확인 과 중앙값의 양측에있는 대부분에 있다는 것을 내의 요소 사이 및 일부 적절한 상수에 대한 . 그렇지 않으면 실패합니다.lllrrrAAACn−−√CnC\sqrt{n}AAAlllrrrC>0C>0C > 0 그렇지 않으면 과 사이 …
1
대수 데이터를 사용한 구속 조건 기반 유형 유추
ML 계보의 표현 기반 언어를 연구하고 있으므로 자연스럽게 형식 유추가 필요합니다. 이제 EOPL (Friedman and Wand)의 간단한 구현을 기반으로 유형을 유추하는 문제로 제약 조건 기반 솔루션을 확장하려고하지만 대수 데이터 유형을 우아하게 회피합니다. 지금까지 내가 한 것은 매끄럽게 작동합니다. 식이 경우 e이고 a + b, e : Int, a : Int및 …
2
고차원 피쳐 공간에서 K- 가장 가까운 이웃과 같은 비모수 적 방법
k-Nearest-Neighbour 의 주요 아이디어는 k 가장 가까운 포인트 를 고려하고 다수결로 데이터의 분류를 결정합니다. 그렇다면, 위치에 민감한 해싱 과 같은 방법이 가장 가까운 이웃을 효율적으로 찾을 수 있기 때문에 더 높은 차원의 데이터에 문제가 없어야합니다 .kkk 또한 베이지안 네트워크를 통한 기능 선택으로 데이터의 차원을 줄이고 학습을 더 쉽게 할 수 …
4
생물 정보학의 배후에있는 자연 과학에 관한 입문서
내 질문은 컴퓨터 생물학 알고리즘에 관심이있는 사람들에게 간다. 저는 올 가을에 생물 정보학에 대해 강의 할 것입니다. 그러나 문제는 생물학과 화학에 대한 배경 지식이 너무 적어서 해당주기의주기에 대비할 준비가되어 있지 않다는 것입니다. 생물 정보학이 중점을 둔 자연 과학 문제에 대한 좋은 소개를 제공하는 책을 추천 해 주시겠습니까?
2
Hoare 스타일 정확성 증명 중 배열 처리 방법
이 질문에 대한 토론 에서 Gilles는 배열을 사용하는 알고리즘의 정확성 증명이 범위를 벗어난 배열 액세스가 없음을 증명해야한다고 올바르게 언급합니다. 런타임 모델에 따라 런타임 오류가 발생하거나 배열이 아닌 요소에 액세스 할 수 있습니다. 이러한 정확성 증명을 수행하는 일반적인 기술 중 하나는 (최소 저학년 연구 및 아마도 자동화 된 검증에서) Hoare 논리 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.