컴퓨터 과학

여러 패턴 검색을 지원하는 문자열 검색 알고리즘을 연구 중입니다. 실행 시간 측면에서 가장 강력한 후보 인 Aho-Corasick 및 Rabin-Karp 두 알고리즘을 발견했습니다 . 그러나 두 알고리즘 사이의 포괄적 인 비교를 찾을 수 없었습니다. 어떤 알고리즘이 더 효율적입니까? 또한 병렬 컴퓨팅 및 다중 패턴 검색에 더 적합한 것은 무엇입니까? 마지막으로 어떤 …

11 algorithms  algorithm-analysis  runtime-analysis  strings 

하자 정수, 그리고하자 모든 정수의 집합을 나타낸다. 하자 정수 나타내고 간격 .nnnZZ\mathbb{Z}[a,b][a,b][a,b]{a,a+1,a+2,…,b}{a,a+1,a+2,…,b}\{a,a+1,a+2,\dots,b\} 맵을 나타내는 데이터 구조를 찾고 있습니다. 데이터 구조가 다음 작업을 지원하기를 원합니다.f:[1,n]→Zf:[1,n]→Zf:[1,n] \to \mathbb{Z} get(i)get(i)\text{get}(i) 는 반환해야합니다 .f(i)f(i)f(i) set([a,b],y)set([a,b],y)\text{set}([a,b],y) 는 를 업데이트 하여 즉, f 를 새로운 맵으로 업데이트 해야합니다. f ' 되도록 F ' ( I ) …

11 algorithms  data-structures  trees  intervals 

다항식 시간 근사 방식에 대한 Wikipedia 기사에 따르면 : FPTAS의 모든 문제는 고정 매개 변수 다루기 쉽습니다. 이 결과는 놀랍습니다.이 클래스는 서로 완전히 다른 것처럼 보입니다. FPTAS는 근사하기 쉬운 방법으로 문제를 특성화하고, FPT는 일부 매개 변수에 비해 어려움으로 문제를 특성화합니다. 불행히도, Wikipedia (현재이 질문을하는 시점)는 이에 대한 인용을 제공하지 않습니다. …

11 complexity-theory  reference-request  approximation  parameterized-complexity 

나는 Sipser를 읽고 있는데 k 테이프가있는 k Turing 기계를 제공하면 하나의 테이프로 동등한 Turing 기계를 뱉어 낼 수있는 과정이 무엇인지 이해하기가 어렵습니다. 좋은 예가 될 것입니다. 실제로 테이프 가있는 TM에서 1 개의 테이프가있는 TM으로 이동하는 방법을 보여주는 예제가 실제로 찾고 있습니다. 지금까지 찾지 못했습니다. 나는 또한 어떤 증거도 찾고 있지 …

11 turing-machines  simulation 

나는 인공 지능을 공부하기 시작했고 8- 퍼즐의 도달 가능한 상태 공간이 이유가 궁금합니다 . 타일의 순열 수는그러나 주어진 상태에서 퍼즐의 가능한 상태의 절반에 도달 할 수없는 이유는 바로 알 수 없습니다. 누구나 정교하게 만들 수 있습니까?9 !9 ! / 29!/29!/29 !9!9! 왼쪽의 임의 구성 및 오른쪽의 목표 상태를 참조하기위한 8- …

11 artificial-intelligence 

이 질문에 내가 놓친 사소한 대답이 있으면 죄송합니다. 결정 불가능한 것으로 입증 된 문제를 연구 할 때마다 그 증거가 결정 불가능한 것으로 입증 된 다른 문제의 감소에 의존한다는 것을 알았습니다. 문제의 난이도에 따라 일종의 질서를 생성한다는 것을 이해합니다. 그러나 내 질문은-결정 불가능한 모든 문제를 결정할 수없는 다른 문제로 줄일 수 …

11 computability  reductions  undecidability 

짧은 문장을위한 텍스트 분류기를 만들고 있습니다. 사용자에게 "입력 한 텍스트의 범주는 C입니다"라고 말하는 것 외에도이 결정을 내린 이유를 간단하고 이해하기 쉽게 설명하고 싶습니다. 예를 들어, 나는 사용자에게 "나는 당신의 문장을 복잡한 3 계층 신경망에 넣었고 이것이 최고의 점수를 얻은 답"이라고 말하고 싶지 않습니다. "훈련 데이터에 나타나는 X, Y 및 Z와 …

11 machine-learning  classification 

내 문제. 주어지면 유효한 다중 집합 의 수를 세고 싶습니다 . 멀티 세트 는 다음과 같은 경우에 유효합니다.S SnnnSSSSSS 의 요소의 합 은 이며NSSSnnn 에서 까지의 모든 숫자 는 의 일부 요소의 합계로 고유하게 표현 될 수 있습니다 .N 개의 S111nnnSSS 예. 예를 들어, 이면 이 유효합니다.{ 1 , 1 …

11 algorithms  integers 

최근에 나는 이 문제 , 즉 하노이 탑의 변형을 발견했다 . 문제 설명: 잘 알려진 문제 하노이 타워의 다음과 같은 변형을 고려하십시오. 우리는 타워와 1 , 2 , 3 , … , m 크기의 m 디스크가 일부 타워에 쌓여 있습니다. 목표는 관리 할 수있는 횟수만큼 적은 수의 이동만으로 모든 디스크를 …

11 algorithms  combinatorics  recursion 

다음은 NP-complete 문제입니까? (그렇습니다). 입력 : 에지 세트가 두 개의 에지 분리 된 간단한 사이클로 분해 될 수있는 무 방향 그래프 ( 입력의 일부 는 아님 ).k∈N,G=(V,E)k∈N,G=(V,E)k \in \mathbb{N},G=(V,E) 질문 : 길이가 보다 큰 간단한주기가 있습니까?kGGGkkk 분명히 문제는 NP에 있고 의 최대 정도 는 이지만 도움이되지 않는 것 같습니다.≤ 4GGG≤4≤4\leq …

11 graph-theory  np-complete  decision-problem 

입자들 사이에 힘 을 시뮬레이션하는 세포 오토 마톤 (2D)이 있습니까?1 / r1/아르 자형1/r 보다 구체적으로, 엄격하게 로컬 업데이트 규칙을 사용하여 두 모델 (모델 내에 정의 된)이 힘으로 서로를 끌어들이는 것이 가능한지 알고 싶습니다 . 여기서 은 객체를 분리하는 거리입니다. 이것은 특히 물체 (입자)가 서로 가까워 질 때 가속을 수반합니다.1 / …

11 simulation  cellular-automata 

는 사실을 감안할 때 - 경로 열거 효율적인 방법이 될 수있다, A #의 P-완전한 문제입니다 컴퓨팅 (또는 적어도 평균)의 평균 길이 - 경로를 열거하지? 경로가 정점을 다시 방문하도록 허용되면 어떻게됩니까?에스에스s티티t에스에스s티티t 특수 그래프에 대한 관련 결과도 도움이 될 수 있습니다.

11 algorithms  complexity-theory  graphs  approximation  enumeration 

이것은 어리석은 질문 일 수 있습니다. FSA는 유한하기 때문에 입력 문자열의 기호 수를 상태 수에 의해 제한되는 수까지만 계산할 수 있습니다. 그러나 이제 FSA에 출력 (예 : 인쇄) 기능이 있다고 가정합니다. 그러면 읽는 각 심볼마다 하나의 심볼을 인쇄 할 수있는 기계를 구성하는 것이 매우 쉽습니다. 그 계산으로 계산됩니까? 그렇지 않다면 …

11 automata  finite-automata 

사진을 촬영할 때 태양이 비추 었는지 여부를 주어진 사진에 대해 알고리즘 적으로 어떻게 감지 하시겠습니까? 예 산 정상 에서이 웹캠 의 샘플 : 분명히 태양이 빛나고 있습니다. 이 다른 샘플에서는 훨씬 덜 명확합니다. 중앙의 예배당에서 작은 교회 첨탑을 식별하려고하면 안개가 있는지 여부를 쉽게 알 수 있습니다. 그러나 이미지 처리에 대해 …

11 algorithms  image-processing 

공정한 케이크 절단 문제 에 대한 일반적인 진술은 모든 명의 플레이어가 동시에 점유율을 얻는 것으로 가정합니다 . 그러나 많은 경우 플레이어가 점차적으로 도착합니다. 예를 들어, 케이크를 명의 플레이어로 나눌 수 있지만, 새로운 플레이어가 도착하여 공유를 원합니다.nnnnnnn 일반적으로 공정한 케이크 분할에는 많은 수의 노력이 필요합니다 (예를 들어 플레이어가 많은 쿼리에 응답해야 …

11 algorithms  game-theory  online-algorithms