컴퓨터 과학

신속하게 다음을 수행 할 수 있도록 0에서 65535 범위의 정수에 컬렉션을 유지해야합니다. 새로운 정수 삽입 연속 정수 범위 삽입 정수 제거 정수 아래의 모든 정수를 제거 정수가 존재하는지 테스트 내 데이터에는 컬렉션에 종종 정수가 포함되어 있습니다. 예를 들어, 특정 시점의 콜렉션은 다음과 같습니다. { 121, 122, 123, 124, 3201, 3202, …

10 data-structures  efficiency  search-trees  integers 

알고리즘에 런타임 반복 관계가 있다고 가정하십시오. T( n ) = {g( n )+T( n - 1 )+T(⌊δn ⌋ )f( n ): n ≥ n0: n &lt; n0티(엔)={지(엔)+티(엔−1)+티(⌊δ엔⌋):엔≥엔0에프(엔):엔&lt;엔0 T(n) = \left\{ \begin{array}{lr} g(n)+T(n-1) + T(\lfloor\delta n\rfloor ) & : n \ge n_0\\ f(n) & : n < n_0 \end{array} \right. 일부 …

10 asymptotics  recurrence-relation 

또는 하나의 NFA가 허용하는 문자열 집합을 적어도 생성하여 다른 NFA에 공급할 수 있습니다. NFA의 모든 경로를 검색하면 효과가 있습니까? 시간이 오래 걸리지 만

10 algorithms  regular-languages  finite-automata 

이 문제는 소프트웨어 테스트에서 발생했습니다. 문제를 설명하기가 약간 어렵습니다. 먼저 예를 들어 문제를 일반화하려고합니다. 테스트 할 항목은 A에서 J로, 동시에 3 개의 항목을 테스트 할 수있는 테스트 도구가 있습니다. 테스트 도구의 항목 순서는 중요하지 않습니다. 물론 철저한 테스트를 위해서는 항목 조합이 필요합니다.10C310C3^{10}C_{3} 문제는 더 복잡합니다. 한 쌍의 항목을 함께 테스트 …

10 algorithms  combinatorics  software-testing 

저의 배경은 주로 C, C ++ 및 Python과 같은 명령형 언어에서 나왔습니다. 몇 년 후 스칼라, 에를 랑, 그리고 하스켈을 집어 들고 기능 프로그래밍과 그 배후의 형식에 관심을 가지게되었습니다. 또한 동시 및 분산 프로그래밍에 관심이 있으며, 특히 "조명"(예 : 실제 사용 또는 최소한 어딘가 구현)을 조금이라도 본 형식론의 형식주의를 검토하고 …

10 distributed-systems  concurrency 

(Shannon) 행렬 엔트로피 에서 제한된 최적화 문제가 있습니다. 행렬 는 형식의 랭크 1 행렬의 합으로 쓸 수 있습니다 여기서 는 주어진 정규화 된 벡터입니다. 랭크 1 행렬의 계수는 우리가 최적화하는 미지수이며 0보다 크고 1까지 합산해야합니다.(sum(entr(eig(A))))(sum(entr(eig(A))))\mathtt{(sum(entr(eig(A))))}AAA[vivTi][viviT][v_i\,v_i^T]viviv_i CVX와 유사한 구문에서 문제는 다음과 같습니다. 주어진 변수c(n)c(n)\mathtt{c(n)} minimizesum(entr(eig(A)))minimizesum(entr(eig(A)))\text{minimize} \qquad \mathtt{sum(entr(eig(A)))} subject toA∑cici=∑civivTi=1≥0subject toA=∑civiviT∑ci=1ci≥0\begin{align} \text{subject …

10 optimization  entropy 

이진 계열 길이가 단 정렬 순서되고 각각의 것을 하나이고 0 또는 1 . 이러한 모든 이진 시퀀스를 생성하기 위해 다음과 같은 방식으로 명백한 이진 트리 구조를 사용할 수 있습니다. 루트는 "빈"이지만 각 왼쪽 자식 은 기존 문자열 에 0 을 추가 하고 오른쪽 자식을 1에 추가합니다 . 이제 각 이진 …

10 algorithms  graphs  binary-trees 

페블 링은 방향이없는 그래프 에서 실행되는 솔리테어 게임으로 , 각 정점에는 0 개 이상의 자갈이 있습니다. 단일 pebbling 움직임은 정점에서 두 자갈을 제거하는 구성 V 및 임의의 이웃 한 블 추가 V . (물론, 정점 (V)이 이동하기 전에 적어도 두 자갈을 가져야한다.)를 PebbleDestruction 문제 묻는다 그래프 주어진 G = ( …

10 algorithms  graph-theory  np-complete 

주어진 숫자 와 같이 에는 숫자 의 순열 인 되도록A 1 ≤ A 2 ≤ . . . ≤ K K Σ 난 = 1 난 = K ( 2 K + 1 ) I 1 , I 2 , . . . , i 2 k 1 , 2 …

10 np-complete  decision-problem 

나는 내년 가을 학사 컴퓨터 과학 과정을 시작하지만 기능 프로그래밍의 맥락에서 λ- 미적분학을 실제로 이해할 수는 없습니다. 나는 이것을 완전히 잘못 해석 할 수도 있지만 , 스탠포드 철학 백과 사전 의이 정의에 근거하면 , 이것은 함수에 대한 또 다른 표기 일뿐입니다. 이 경우 입니다 만, 왜 알고리즘의 실행 시간을 계산하는 …

10 programming-languages  lambda-calculus 

길이 이상의 유도주기가없는 경우 그래프 는 화음 입니다. 파벌 트리 의 트리의 정점의 최대 파벌되는 나무입니다 . 의 모서리 는 최소 구분 기호에 해당합니다. 별개의 클리크 트리의 수는 화음 그래프에서 꼭짓점의 수에 지수적일 수 있습니다.지GG444티TT지GG지GG티TT 감소 도당 그래프 모든 나무 도당의 조합 인 . 즉, 정점이 모두 같고 가능한 모든 …

10 algorithms  graph-theory  reference-request 

토지의 공정한 분할 (즉, 부러움없는 분할 또는 적어도 비례 분할) 절차에 관심이 있습니다. 잘 연구 된 케이크 분할 문제와 대조적으로, 토지 분할은 2 차원 적이다. 즉, 사용자의 선호도는 수평 및 수직으로 변할 수있다. 따라서 알고리즘을 병렬 컷으로 제한하는 것은 실용적이지 않습니다. 내가 지금까지 찾은 유일한 참조는 Karthik Iyer와 Michael Huhns, …

10 reference-request  game-theory 

SR 래치가 어떻게 작동하는지 머리를 감쌀 수 없습니다. 겉보기에는 R의 입력 라인과 S의 입력 라인을 연결하면 및 결과가 나타납니다 .QQQQ′Q′Q' 그러나 R과 S 모두 상대방의 출력에서 ​​입력이 필요하고 상대방의 출력에서 ​​상대방의 출력에서 ​​입력이 필요합니다. 닭고기 나 계란이 먼저 나오는 이유는 무엇입니까? 이 회로를 처음 연결하면 어떻게 시작됩니까?

10 circuits  sequential-circuit 

프로그램 분석 을 시작하는 데 필요한 리소스를 찾고 있습니다. 제가이 주제에서 찾은 유일한 책은 Nielson &amp; Nielson 책입니다. 그 외에는 "프로그램 분석"이 챕터 또는 그 행을 따르는 "컴파일러"책만있는 것 같습니다. 사람들이 다른 자원을 알고 있습니까?

10 reference-request  compilers  semantics 

SVM 분류를 배우고 있는데 문제가 있습니다. 이 딜레마에 대한 용어가 있는지 확실하지 않습니다. 건강한 사람 (성별)과 간암 환자 (성별)를 고려하여 환자를 SVM으로 분류한다고 가정합니다. 건강한 사람 샘플을 클래스 1로, 암 환자를 클래스 2로 레이블링하면 이진 SVM을 훈련시키고 분류기 1을 얻어 새로운 환자를 예측할 수 있습니다. 이제 다른 시나리오를 상상해보십시오. 먼저 …

10 machine-learning