«reference-request» 태그된 질문

이 게시물을 개선하고 싶습니까? 인용과 답변이 올바른 이유에 대한 설명을 포함하여이 질문에 대한 자세한 답변을 제공하십시오. 세부 사항이없는 답변은 편집하거나 삭제할 수 있습니다. 저는 소규모 회사 (약 15 명)를위한 알고리즘에 관한 책 라이브러리를 만드는 일을했습니다. 예산은 5k 이상이지만 확실히 10k 미만이므로 상당한 수의 책을 구입할 수 있습니다. 여기에있는 모든 사람들은 …

11 algorithms  reference-request  data-structures  books 

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

11 terminology  reference-request  programming-languages  object-oriented 

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

11 computability  reference-request  turing-machines  quantum-computing 

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

모든 사람은 "Garey & Johnson"을 알고 있는데, 이는 NP-hardness 증거를 위해 변환해야 할 문제가 필요할 때마다 참조 할 수있는 곳입니다. 그러나 나는 최근에 APX-hardness 증거가 필요하다는 것을 알게되었고, APX-hard로 밝혀진 비슷한 (그리고 더 최신의 ..?) 모음이 있는지 궁금합니다. 아무도 이와 같은 것을 알고 있습니까? 이러한 문제를 체계적으로 수집하는 웹 사이트가 …

11 complexity-theory  reference-request  time-complexity  complexity-classes 

폐쇄되었습니다 . 이 질문은 의견 기반 입니다. 현재 답변을받지 않습니다. 이 질문을 개선하고 싶습니까? 이 게시물 을 편집 하여 사실과 인용으로 답변 할 수 있도록 질문을 업데이트하십시오 . 휴일 3 년 전 . 나는 수학적 우아함과 엄격함을 좋아하며 알고리즘 및 알고리즘 분석에 대한 문헌을 찾고 있습니다. 이제 어떤 알고리즘이 적용 …

11 algorithms  algorithm-analysis  reference-request  books 

Brzozowski의 알고리즘은 Moore automata로 확장 될 수 있지만 시간 복잡성은 일반적으로 기하 급수적입니다. Moore automata를 최소화하기위한 다른 알고리즘이 있습니까? 이 알고리즘의 실행 시간은 무엇입니까?

11 reference-request  automata  optimization  finite-automata  transducers 

종속적으로 유형이 지정된 프로그래밍에는 데이터를 분해하고 재귀를 수행하는 두 가지 주요 방법이 있습니다. 종속 패턴 일치 : 함수 정의는 여러 절로 제공됩니다. 통일은 모든 생략 된 경우가 불가능하고 외부 솔버가 재귀가 잘 이루어 지도록합니다. 제거기 : 각 유도 데이터 유형 에는 유도 상수 역할을하는 상수 와 유형 값을 분해하는 재귀 …

10 reference-request  recursion  type-theory  dependent-types  inductive-datatypes 

길이 의 배열이 제공 됩니다. 배열의 각 요소는 클래스 중 하나에 속합니다 . 당신은 그래서 스왑 작업의 최소 번호를 사용하여 배열을 정렬 해야하는 모든 요소 로부터 같은 클래스 가 연속 된 부분 배열을 형성 항상 함께 그룹화됩니다. 예 : 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 

내 상황 개발 한 소프트웨어 모듈에 대한 논문을 작성 중이며 동일한 작업을 위해 런타임을 다른 모듈과 비교하고 싶습니다. 나는 런타임 실험의 단점을 알고 있지만 내 경우에는 그 주위에 방법이 없다고 가정하십시오. (이론적으로 이론적으로 일부 속성을 추론 할 수 있지만 모든 것에 충분하지는 않습니다.) 벤치마킹에 사용하려는 특정 시나리오 에는 문제 의 …

10 algorithm-analysis  reference-request  runtime-analysis  experimental-analysis 

나는 아마도 오 탐지 (false positive)를 갖는 그래프 동형에 대한 접근 방식을 설명하고 그것이 작동하지 않음을 나타내는 문헌이 있는지 궁금합니다. 두 개의 인접 행렬 감안 , 동형 검사의시피 순 방법은 각 행에 대한 여부를 확인하는 의 , 로우가 의 행의 순열 붙이고, . 문제는 약간 더 엄격 합니다. 모든 행에 …

10 reference-request  graph-isomorphism 

논문의 일부로 작성중인 Haskell 프로그램의 일부에 대한 증거를 제공하고 싶습니다. 그러나 지금까지 좋은 참고 자료를 찾지 못했습니다. 그레이엄 허튼의 입문 책 하스켈 프로그램 ( Google 도서는 다음과 같은 프로그램에 대해 추론을위한 몇 가지 기술을 하스켈-접촉을 배우면서) 본인은 - 어떤 방정식 추론 겹치지 않는 패턴 사용 목록 유도 13 장에 있지만 …

10 reference-request  proof-techniques  functional-programming  books  software-verification 

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

10 terminology  reference-request  functional-programming  programming-paradigms 

궁금합니다. 적어도 관련 알고리즘 하위 집합 (분석 할 수있는 알고리즘)에서 작동하는 자동 런타임 분석 방법이 있습니까? 나는 나에게 준 "자동 알고리즘 분석"인터넷 검색 이 하지만 너무 mathy된다. 내가 이해할 수있는 psuedocode의 간단한 예를 원합니다. 너무 구체적일지도 모르지만, 나는 그만한 가치가 있다고 생각했습니다.

10 algorithms  algorithm-analysis  reference-request  runtime-analysis