«reference-request» 태그된 질문

간단히 말해서 : 유형 체계는 학문적 맥락에서 어떻게 분류 되는가; 특히, 다른 종류의 시스템 유형을 구별 할 수있는 평판 좋은 출처를 어디에서 찾을 수 있습니까? 어떤 의미 에서이 질문의 어려움은 대답을 찾을 수 없다는 것이 아니라 너무 많이 찾을 수 있다는 것입니다. 배경은 Haskell 위키에서 타이핑 에 관한 기사를 개선하려고 …

23 reference-request  programming-languages  type-theory 

알고리즘 설계와 관련하여 종종 다음 기술을 사용합니다. 다이나믹 프로그래밍 욕심 전략 나누고 정복 처음 두 가지 방법에는 잘 알려진 이론적 기초, 즉 Bellman Optimity Principle과 matroid (regre. greedoid) 이론이 있지만 D & C 기반 알고리즘의 일반적인 프레임 워크를 찾을 수는 없습니다. 먼저, 나는 우리 (또는 오히려 교수)가 "알고리즘 스켈레톤 (algorithmic …

22 algorithms  reference-request  divide-and-conquer 

이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 15 세의 젊은이를위한 좋은 초보자 컴퓨터 과학 책은 무엇입니까? CS에서 시작하고 싶지만 어디서부터 시작해야할지 모르겠습니다. 프로그래밍 경험이 제한적입니다.

21 education  reference-request 

Cormen의 Intro to Algorithms 책에서 대부분의 자료를 완성했으며 Corman의 저서 이외의 자료를 다루는 알고리즘 책을 찾고 있습니다. 추천 사항이 있습니까? 참고 : 나는 이것을 stackoverflow에 요청했지만 대답에 너무 만족하지는 않았습니다. 참고 : 대부분의 의견을 보면서 이상적으로는 이 과정 설명 에서 787 과정의 내용을 다루는 책을 찾고 싶습니다 .

21 algorithms  reference-request  books 

나는 종종 계산 문제 (또는 그 복잡성)에 대한 알고리즘을 요구하는 사람들과 상호 작용하지만, 우리 (컴퓨터 과학자)가 이해할 수있는 엄격한 방식으로 표현하지는 않습니다. CLRS와 같은 책을 참조하는 것은 도움이되지 않습니다. 예를 들어 그래프의 인접 목록과 두 개의 정점이 주어진 정점 사이의 최단 경로를 계산할 때 일반적으로 매우 간단한 방법으로 엄격하게 진술 …

20 algorithms  reference-request  books 

나는 최근에 약간의 문헌을 읽었으며 다소 흥미로운 데이터 구조를 발견했습니다. 업데이트 시간을 최악의 업데이트 시간 [1-7]으로 낮추는 다양한 방법을 연구했습니다 .O ( 1 )O(1)\mathcal{O}(1) 최근에는 효율적인 동시 액세스를 지원하기 위해 잠금없는 데이터 구조를 살펴보기 시작했습니다. 잠금이없는 데이터 구조의 구현 에 이러한 최악의 경우 업데이트 시간 기술이 사용 되었습니까?O ( 1 …

20 reference-request  data-structures  time-complexity  concurrency  search-trees 

최근에 나는 논문 [1]에서 2 / 2 / 4-SAT 라는 특수 대칭 버전의 SAT를 발견했다 . 그러나 많은 변형이 있습니다 (예 : MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...NPNP\text{NP} - SAT , Planar-NAE- SAT 등의 다른 변형이 있습니다 .222SATSAT\text{SAT}SATSAT\text{SAT} NP- 완료 (또는 P ) 로 입증 된 모든 (이상한) 변형을 …

20 complexity-theory  reference-request  satisfiability 

문맥이없는 언어는 보완 없이 닫히지 않습니다 . 내가 이해 하는 한 , 일부 문자 a , b 의 의 일부인 문맥없는 언어는 보완 (!?)으로 닫힙니다.ㅏ※비※a∗b∗a^*b^*a , ba,ba,b 여기 내 주장이 있습니다. 각 CF 언어 엘LL 에는 반 선형 Parikh 이미지 π( L ) = { ( m , n ) …

20 formal-languages  reference-request  context-free  closure-properties 

일부 복잡한 알고리즘 ( union-find )은 점근 적 시간 복잡성에 나타나는 거의 일정한 역 Ackermann 함수를 가지며, 거의 일정한 역 Ackermann 항이 무시되는 경우 최악의 시간 최적입니다. 역 행성 Ackermann보다 근본적으로 느리게 성장하는 함수 (예 : 다항식 또는 지수 등의 변환에서 Ackermann과 동등하지 않은 함수의 역수)를 포함하여 알려진 가장 최악의 …

20 reference-request  algorithm-analysis  time-complexity  runtime-analysis 

시작하기 전에, 이것이 실제 문제가 아니기 때문에 이것이 주제의 경계에 있음을 알고 있습니다 (이 사이트의 질문 도움말을 읽었습니다). 하나: Google에서 관련 항목을 찾을 수 없습니다 순수한 관점에서 보면 반드시 컴퓨터 과학에 속해야합니까? 어쨌든, 내가 경계를 넘어 서면 다른 SE 사이트의 열렬한 사용자이므로 폐쇄를 사과하고 환영하므로 문제를 이해합니다. 주의 사항은 다음과 …

20 reference-request  human-computing 

파티션 세분화 는 유한 객체 세트로 시작하여 세트를 점진적으로 분할하는 기술입니다. DFA 최소화와 같은 일부 문제는 파티션 세분화를 매우 효율적으로 사용하여 해결할 수 있습니다. Wikipedia 페이지에 나열된 것 이외의 파티션 세분화를 사용하여 일반적으로 해결되는 다른 문제는 모르겠습니다. 이러한 모든 문제 중 위키 백과 페이지에는 파티션 세분화를 기반으로하는 알고리즘이 선형 시간으로 …

20 algorithms  reference-request  data-structures  partitions  sets 

NC 클래스에서 제공하는 "병렬 알고리즘으로 효율적으로 해결됨"이라는 복잡한 이론적 견해를 받아들이는 데 문제가있었습니다 . NC는 시간에 병렬 알고리즘에 의해 해결 될 수있는 문제의 클래스 을 P ( N ) ∈ O ( N K ) 와 프로세서 C , K ∈ N .O(logcn)O(logc⁡n)O(\log^cn)p(n)∈O(nk)p(n)∈O(nk)p(n) \in O(n^k)c,k∈Nc,k∈Nc,k \in \mathbb{N} PRAM 이라고 가정 …

20 complexity-theory  reference-request  parallel-computing 

내가 일반적으로 구현하는 많은 최대 흐름 알고리즘, Dinic의 알고리즘, 푸시 레이블 등은 동적 트리 (링크 컷 트리라고도 함)를 사용하여 점근 적 시간 비용을 개선 할 수 있습니다 . 푸시 레이블 재 지정은 또는 또는 정상적으로 실행되지만 동적 트리O(V2E)O(V2E)O(V^2E)O(V3)O(V3)O(V^3)O(V2E−−√)O(V2E)O(V^2\sqrt{E})O(VElog(V2/E))O(VElog⁡(V2/E))O(VE \log(V^2/E)) Dinic의 알고리즘은 에서 실행되지만 동적 트리O(V2E)O(V2E)O(V^2E)O(VElog(V))O(VElog⁡(V))O(VE\log(V)) 그러나 대부분의 라이브러리에서 max-flow 알고리즘의 …

20 reference-request  graphs  data-structures  network-flow 

누가 "기계 학습"이라는 용어를 만들 었는지 알아 내려고합니다. 부수적 인 질문은 1959 년 Arthur Samuel이 "기계 학습"분야를 다음과 같이 정의한 곳에서 인용 한 것입니다. 컴퓨터에 명시 적으로 프로그래밍하지 않고도 학습 할 수있는 연구 분야 ? 인터넷에서이 정의에 대한 수많은 참조를 찾을 수 있지만 소스를 추적 할 수는 없습니다. 어떤 사람들은 …

19 terminology  reference-request  machine-learning  history 

다음 문제를 고려하십시오. 입력 : 길이 의 배열 와 두 개 ( 여기서 는 정렬 된 순서)ㅏAA비BB엔nn비BB 질의 : 않습니다 와 (자신의 다양성과) 같은 항목을 포함?ㅏAA비BB 이 문제에 대한 가장 빠른 결정 론적 알고리즘 은 무엇입니까 ? 정렬하는 것보다 빠르게 해결할 수 있습니까? 이 문제를 결정적인 선형 시간으로 해결할 수 …

19 algorithms  reference-request  sorting