컴퓨터 과학

1

나는 Ukkonen 알고리즘의 점근 적 실행 시간에 대한 문제에 관심이 있습니다. 아마도 선형 (?) 시간에 접미사 트리 를 구성하는 가장 인기있는 알고리즘 일 것 입니다. Dan Gusfield (섹션 6.5.1)의 "문자열, 나무 및 시퀀스에 대한 알고리즘"책에서 인용 한 내용은 다음과 같습니다. "... Aho-Corasick, Weiner, Ukkonen 및 McCreight 알고리즘은 모두 공간이 필요하거나 …

19 algorithms data-structures algorithm-analysis strings

1

언어 을 인식하는 Turing 기계를 무제한 문법으로 변환하는 방법은 무엇입니까?

이 Wikipedia 기사 에 따르면 무제한 문법은 튜링 머신과 동일합니다. 이 기사에서는 Turing 기계를 무제한 문법으로 변환 할 수 있지만 문법을 Turing 기계로 변환하는 방법 만 보여줍니다. 실제로 어떻게 언어 을 인식하는 Turing 기계를 무제한 문법으로 변환합니까? 전환 규칙을 문법 규칙으로 바꾸려고했지만 튜링 머신은 다양한 상태 구성을 가질 수 있습니다.LLL

19 formal-grammars turing-machines simulation

1

n 개의 정수 목록에 대해 다른 최대 힙이 몇 개 있습니까?

엔엔n 정수 목록에 대해 다른 최대 힙이 몇 개 있습니까? 예 : list [1, 2, 3, 4] 최대 힙은 다음 중 하나 일 수 있습니다 4 3 2 1. 4 / \ 3 2 / 1 또는 4 2 3 1: 4 / \ 2 3 / 1

19 data-structures combinatorics heaps

3

두 알고리즘을 비교하기 위해 런타임 대신 비교를 사용하는 이유는 무엇입니까?

몇 개의 CS 연구 논문에서 두 알고리즘의 효율성을 비교하기 위해 실제 컴퓨팅 시간 자체가 아닌 알고리즘의 총 키 비교 수가 사용됩니다. 두 프로그램을 모두 실행하고 알고리즘을 실행하는 데 필요한 총 시간을 계산하여 어느 것이 더 나은지 비교할 수없는 이유는 무엇입니까?

19 algorithms algorithm-analysis runtime-analysis

2

규칙 110 튜링은 어떻게 완료됩니까?

셀룰러 오토마타에서 규칙 110 에 대한 Wikipedia 페이지를 읽었으며 그 규칙 이 어떻게 작동하는지 알고 있습니다 (규칙 집합이 다음 1 또는 0을 그릴 위치를 결정합니다). 방금 튜링이 완료되었다는 것을 읽었지만 '룰 110'에서 어떻게 '프로그램'하겠습니까?

19 computability automata turing-completeness cellular-automata

3

선은 두 세트의 점을 분리합니다

두 개의 점 세트가 선으로 분리 될 수 있는지 식별 할 수있는 방법이 있습니까? 우리는 두 지점의 세트가 와 B를 분리하는 라인이있는 경우 와 B가 같은 모든 지점 만 라인의 한쪽에, 그리고 모든 지점 B 만 B 반대편에.ㅏAA비BBㅏAA비BBㅏAAㅏAA비BB비BB 내가 찾은 가장 순진한 알고리즘은 와 B에 볼록 다각형을 만들고 교차점을 테스트하는 …

19 algorithms machine-learning computational-geometry

1

마지막 N 숫자의 가중치 합계

스트림에서 숫자를 받고 있다고 가정합니다. 각 숫자를받은 후에는 마지막 숫자 의 가중치 합계를 계산해야합니다. 여기서 가중치는 항상 동일하지만 임의적입니다.NNN 계산에 도움이되는 데이터 구조를 유지할 수 있다면 얼마나 효율적으로 할 수 있습니까? 우리는 보다 더 잘 할 수 있습니까 ? 즉 숫자를받을 때마다 합계를 다시 계산할 수 있습니까?Θ(N)Θ(N)\Theta(N) 예를 들어, 가중치가 …

19 algorithms data-structures online-algorithms

3

주어진 반지름의 최대 둘러싸는 원

다음 문제에 대한 접근 방식을 찾으려고합니다. 점 와 반지름 r 의 세트로 , 원이 세트의 최대 점 수를 포함하도록 원의 중심점을 찾으십시오. 실행 시간은 O ( n 2 ) 여야합니다 .에스SS아르 자형rrO ( n2)O(n2)O(n^2) 처음에는 에서 쉽게 해결할 수있는 가장 작은 엔 클로징 서클 문제와 비슷한 것으로 보였습니다 . 아이디어는 …

19 algorithms computational-geometry

1

랜덤 테스트 그래프 알고리즘을위한 입력을 생성합니까?

알고리즘을 테스트 할 때 일반적인 접근 방식은 무작위 테스트입니다. 일부 분포 (일반적으로 균일)에 따라 상당한 수의 입력을 생성하고 알고리즘을 실행하고 정확성을 확인합니다. 최신 테스트 프레임 워크는 알고리즘 시그니처가 주어지면 입력을 자동으로 생성 할 수 있지만 몇 가지 제한 사항이 있습니다. 입력이 숫자, 목록 또는 문자열 인 경우 이러한 입력을 간단하게 …

19 algorithms graphs randomness software-testing

2

가라 쓰바, 가우스 및 Strassen 곱셈의 일반적인 아이디어

곱셈 알고리즘에 사용되는 아이덴티티 가라 쓰바 (정수) 가우스 (복소수) 스트라 센 (행렬) 매우 밀접한 관련이 있습니다. 일반적인 추상 프레임 워크 / 일반화가 있습니까?

19 algorithms matrices

2

모든 입력에서 최대 50 단계로 정지하는 튜링 기계 세트를 결정할 수 있습니까?

하자 F={⟨M⟩:M is a TM which stops for every input in at most 50 steps}F={⟨M⟩:M is a TM which stops for every input in at most 50 steps}F = \{⟨M⟩:\text{M is a TM which stops for every input in at most 50 steps}\} . F 가 결정 가능한지 또는 재귀 …

19 computability undecidability

2

무 방향 그래프의 최단 경로?

그래서 나는 (이것은 다소 기본적인) 질문이 여기에 속한다고 생각했습니다. 10x10 패턴으로 배열 된 100 노드 크기의 그래프가 있다고 가정 해보십시오 (체크 보드 생각). 그래프는 방향이 지정되지 않고 가중됩니다. 그래프를 통해 이동하려면 세 개의 공간을 앞으로 이동하고 한 공간을 오른쪽 또는 왼쪽으로 이동합니다 (체스 기사가 보드를 가로 질러 움직이는 방법과 유사). …

19 algorithms graphs graph-theory search-algorithms shortest-path

4

보조 정리는 언어 증명하기 위해 펌프 사용하여

이 규칙적이지 않다는 것을 증명하기 위해 펌핑 보조 정리를 사용하려고합니다 .L = { ( 01 )미디엄2미디엄∣ m ≥ 0 }L={(01)m2m∣m≥0}L = \{(01)^m 2^m \mid m \ge0\} 이것이 지금까지 내가 가진 것입니다 : 이 규칙적이고 가 펌핑 길이 라고 가정 하면 입니다. 어떤 펌프 분해 고려 같은 그 및 .p w …

19 formal-languages regular-languages pumping-lemma

1

분산 알파 베타 가지 치기

분산 아키텍처에서 알파-베타 가지 치기 기능 을 갖춘 체스의 미니 맥스 검색 트리를 처리 할 수있는 효율적인 알고리즘을 찾고 있습니다 . 내가 찾은 알고리즘 (PVS, YBWC, DTS는 아래 참조)은 모두 오래된 것입니다 (1990 년 최신). 그 이후로 많은 발전이 있었다고 생각합니다. 이 분야의 현재 표준은 무엇입니까? 또한 내가 읽은 연구 …

19 algorithms distributed-systems board-games

3

모든 계산 가능한 함수

모든 계산 가능한 함수 들어 에프ff 에서 최상의 해결 될 수있는 문제가 존재 Θ ( f( n ) )Θ(f(n))\Theta(f(n)) 시간이나 계산 가능 함수가 에프ff 등을 그 해결 될 수있는 모든 문제 O ( f( n ) )O(f(n))O(f(n)) 과 같은 수 o ( f( n ) )o(f(n))o(f(n)) 시간 안에 해결되어야 합니까? …

19 complexity-theory