«reference-request» 태그된 질문

주어진 텍스트 문자열과 모든 하위 문자열을 허용하는 비 주기적 유한 상태 자동 생성기를 생성하는 패턴 일치 알고리즘을 사용하고 있습니다. FSA 알고리즘은 음악 스트림 (예 : MIDI 데이터)을 상징적으로 표현하고 있습니다. 음악 스트림은 각 노래를 레이블이없는 '세그먼트'로 나누기 위해 사전 처리되었습니다. FSA는 각각의 노래의 각 세그먼트에 대해 생성된다 : I가있는 경우에 …

10 formal-languages  reference-request  finite-automata 

선형 프로그램을 고려하십시오 Primal:Ax⃗ ≤b⃗ maxc⃗ Tx⃗ Primal:Ax→≤b→maxc→Tx→\begin{array}{|ccc|} \hline Primal: & A\vec{x} \leq \vec{b} \hspace{.5cm} & \max \vec{c}^T\vec{x} \\ \hline \end{array} Dual:c⃗ ≤y⃗ TAminy⃗ Tb⃗ Dual:c→≤y→TAminy→Tb→\begin{array}{|ccc|} \hline Dual: & \vec{c} \leq \vec{y}^TA \hspace{.5cm} & \min \vec{y}^T\vec{b} \\ \hline \end{array} 약한 이원성 정리는 및 가 제약 조건을 만족하면 입니다. 선형 대수를 …

10 algorithms  reference-request  linear-programming  linear-algebra  duality 

우리는 Cook과 Karp 축소의 관계에 대해 몇 가지 질문을했습니다 . Cook 감소 (다항식 튜링 감소)는 일반적으로 사용되는 Karp 감소 (다항식 다 대일 감소)와 동일한 NP- 완전성 개념을 정의하지 않습니다. 특히, 쿡 감소는 P NP 인 경우에도 NP를 co-NP로부터 분리 할 수 ​​없습니다 . 따라서 일반적인 축소 증명에는 Cook 축소를 사용해서는 …

10 complexity-theory  reference-request  np-complete  reductions 

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

10 algorithms  graph-theory  reference-request 

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

10 reference-request  game-theory 

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

10 reference-request  compilers  semantics 

f 가 계산 가능한 형용사 함수 인 경우에만 함수 구현 (또는 표현) 할 수있는 프로그래밍 언어 (또는 논리)가 있습니까?에프: N → Nf:N→Nf:\mathbb{N}\to \mathbb{N}에프ff

10 reference-request  programming-languages  logic  reversible-computing 

컴퓨터 과학 박사 학위를 추구하려는 사람의 POV에서 나온 것입니다. 박사 학위를받을 때 연구에 집중할 대상을 결정하는 데 어려움을 겪고 있습니다. academia.SE에서이 질문을 참조하십시오 . 그래서 나는 어떤 연구가 진행되고 있고 어떤 연구 논문이 발표되고 있는지에 대한 최신 정보를 읽고 유지하는 것이 좋은 영감의 원천이라고 생각합니다. 알아야 할 좋은 지식. 최근에 …

10 reference-request 

빠른 k- 미스 매치 문자열 일치 알고리즘을 찾고 있습니다. 길이가 m 인 패턴 문자열 P와 길이가 n 인 텍스트 문자열 T가 주어지면 P가 최대 k 개의 일치하지 않는 T의 하위 문자열과 일치하는 모든 위치를 찾으려면 빠른 (선형 시간) 알고리즘이 필요합니다. 이것은 k- 차이 문제 (편집 거리)와 다릅니다. 불일치는 하위 문자열을 …

10 algorithms  reference-request  strings  string-metrics  substrings 

이 질문이 여기에 속하는지 잘 모르겠으며 그렇지 않은 경우 사과드립니다. 내가하고자하는 것은 주어진 끈이 끈으로 묶여 있는지 여부를 확률 적으로 결정할 수있는 프로그래밍 방식을 개발하는 것입니다. 예를 들어, 미국 도시 이름이 10,000 개이고 문자열 "필라델피아"가있는 경우 '필라델피아'가 내가 이미 알고있는 미국 도시 이름을 기반으로하는 미국 도시 이름 일 가능성을 정량적으로 …

10 algorithms  reference-request  string-metrics 

퀀텀 컴퓨터가있는 경우 보안 정의를 변경해야합니까? 어떤 암호화 구조가 깨질까요? 무엇을 변경해야하는지 설명하는 설문 조사 또는 기사를 알고 있습니까?

10 reference-request  cryptography  quantum-computing 

질문의 성격으로 인해 많은 배경 정보를 포함해야합니다 (왜냐하면 질문의 범위를 좁히는가?). 다음과 같이 요약 할 수 있습니다. 매우 큰 조합 검색 공간에서 지역 최적을 찾는 방법은 무엇입니까? 배경 툴 지원 슈퍼 플레이 커뮤니티에서는 비용을 최소화하기 위해 비디오 게임 콘솔 또는 에뮬레이터에 특수 제작 된 (실시간으로 생성되지 않은) 입력을 제공하려고합니다 (보통 …

10 reference-request  machine-learning  combinatorics  optimization  search-problem 

문제는 제목에 거의 있습니다. 일부 언어 시간 적이 있습니까 가진 최소한의 DFA에 의해 받아 들여질 수 상태,하지만 의 반전 ,와 DFA에 의해 받아 들여질 수 상태, ?엘엘L엔엔n엘아르 자형엘아르 자형L^R엘엘L미디엄미디엄mm &lt; n미디엄&lt;엔m<n

10 formal-languages  reference-request  automata  finite-automata 

수학 및 CS 논문에 사용되는 현기증 나는 기호 배열이 있습니다. 그러나 많은 사람들이 한 곳에서 거의 가르치지 않는 기본적인 친숙 함을 가정합니다. 특히 CS 관점에서 다음과 같은 사전을 찾고 있습니다. 모든 기본 수학 기호를 나열하고 의미와 예를 제공합니다. 때로는 동등한 방식으로 사용되는 기호에 대해서도 이야기합니다. 일반적인 초보자 실수가 있습니다. 사전에서 …

10 terminology  reference-request  education 

라틴 사각형과 관련된 문제를 연구 중이며 의사 결정 문제로 본질적으로 요약되는 방법을 원합니다. 입력 : 유한하고 간단한 그래프 G. 출력 : YESG에 사소한 자동 변형이있는 경우 NO그렇지 않은 경우. 그 후... 질문 : 그래프에 사소한자가 형성이 있는지 여부를 결정하는 효율적인 알고리즘이 있습니까? 우리는 Nauty 또는 Bliss (및 다른 패키지)를 사용하여 …

9 algorithms  graphs  graph-theory  reference-request