«reference-question» 태그된 질문

예약 됨-대부분의 새로운 질문에 사용해서는 안됩니다. 증명 방법, 알고리즘 분석 도구 또는 컴퓨터 아키텍처의 기초와 같은 일반적인 방법 및 개념에 대한 광범위한 질문. 참고 문헌, 즉 책이나 기사를 묻는 질문에는 해당되지 않습니다.

7
, , complete 및 hard 정의
나는 컴퓨팅 과 복잡성 에 대해 배우고 있는데 , 이러한 용어의 의미를 이해할 수 없습니다. 내가 아는 것은 NP가 NP-complete의 하위 집합이며 NP-hard의 하위 집합이라는 것이지만, 그것이 실제로 무엇을 의미하는지 전혀 모른다. 설명이 여전히 너무 높기 때문에 Wikipedia 도별로 도움이되지 않습니다.
3
알고리즘 분석의 마법 뒤에 시스템이 있습니까?
알고리즘의 실행 시간을 분석하는 방법에 대한 많은 질문이 있습니다 (예 : 런타임 분석 및 알고리즘 분석 참조 ). 예를 들어 중첩 루프 또는 분할 및 정복 알고리즘의 비용 분석을 요구하는 경우와 유사하지만 대부분의 답변은 맞춤형으로 보입니다. 반면에, 다른 일반적인 질문에 대한 답변 은 몇 가지 예를 통해 더 큰 그림 …
4
유한 오토마타를 정규식으로 변환하는 방법?
표준 알고리즘 (예 : Thompson 's algorithm )을 사용하면 정규식을 동일한 언어를 수용하는 (최소) NFA로 쉽게 변환 할 수 있습니다 . 그러나 다른 방향은 더 지루한 것처럼 보이고 때로는 결과 표현이 지저분합니다. NFA를 동등한 정규식으로 변환하기위한 알고리즘은 무엇입니까? 시간 복잡성 또는 결과 크기와 관련하여 장점이 있습니까? 이것은 참조 질문이어야합니다. 방법에 …
5
P = NP를 해결하지 않는 방법?
또는 를 증명하려는 많은 시도가 있으며 , 당연히 많은 사람들이이 두 가지 방향을 증명하기위한 아이디어를 가지고 질문에 대해 생각합니다.P ≠ N PP = N PP=NP\mathsf{P} = \mathsf{NP} P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} 나는 작동하지 않는 것으로 입증 된 접근법이 있으며, 아마도 실패의 역사가있는 접근법이 더 많이 있다는 것을 알고 있습니다. 또한 많은 …
3
어떤 시간 복잡도 분석 표기법을 사용해야하는지 어떻게 알 수 있습니까?
대부분의 입문 알고리즘 클래스에는 (Big O) 및 와 같은 표기법 이 도입되며 일반적으로 학생은이 중 하나를 사용하여 시간 복잡성을 찾는 방법을 배웁니다.Θ영형OOΘΘ\Theta 그러나 , 및 와 같은 다른 표기법이 있습니다 . 한 표기법이 다른 표기법보다 선호되는 특정 시나리오가 있습니까?Ω ω영형ooΩΩ\Omegaωω\omega
11
일련의 숫자에 대한 되풀이 관계를 풀거나 근사화
컴퓨터 과학에서 우리는 종종 되풀이 관계 를 풀어야하는데 , 그것은 재귀 적으로 정의 된 일련의 숫자에 대한 닫힌 형태 를 찾는 것 입니다. 런타임을 고려할 때 종종 시퀀스의 점근 적 성장 에 관심이 있습니다. 예는 아래쪽으로 스테핑 꼬리 재귀 함수의 실행시 에서 본문은 소요 시간 :000nnnf(n)f(n)f(n) T(0)T(n+1)=0=T(n)+f(n)T(0)=0T(n+1)=T(n)+f(n)\qquad \begin{align} T(0) &= …
5
언어에 컨텍스트가 없음을 증명하는 방법은 무엇입니까?
문맥없는 언어 클래스 에 대해 배웠습니다 C F LCFL\mathrm{CFL}. 그것은 모두 특징 문맥 자유 문법 과 푸시 다운 오토마타 가 주어진 언어는 문맥 자유 것을 보여 쉽게 있도록. 그래도 어떻게 반대를 보여줄 수 있습니까? 내 TA는 그렇게하기 위해 모든 문법 (또는 오토마타)에 대해 현재 사용중인 언어를 설명 할 수 없다는 …
10
언어가 규칙적이지 않다는 것을 증명하는 방법?
우리는 정규 언어 클래스 에 대해 배웠습니다 . 정규 표현식, 유한 오토마타 및 왼쪽 선형 문법 중 하나의 개념이 특징이므로 주어진 언어가 규칙적임을 쉽게 알 수 있습니다.REGREG\mathrm{REG} 그래도 어떻게 반대를 보여줄 수 있습니까? 내 TA는 그렇게하기 위해서는 모든 정규 표현 (또는 모든 유한 한 오토마타 또는 모든 왼쪽 선형 문법)에 …
6
숫자에 대한 기본 연산에 일정한 시간이 걸린다고 어떻게 가정 할 수 있습니까?
일반적으로 알고리즘에서는 숫자의 비교, 덧셈 또는 뺄셈에 신경 쓰지 않습니다 . 시간 에서 실행한다고 가정 합니다. 예를 들어, 비교 기반 정렬이 이라고 말할 때 이것을 가정 하지만, 숫자가 레지스터에 맞지 않을 때는 일반적으로 숫자를 배열로 나타내므로 기본 연산에는 요소 당 추가 계산이 필요합니다.O ( 1 )O(1)O(1)O ( n 로그n )O(nlog⁡n)O(n\log …
1
LL과 LR 문법의 언어 이론 비교
사람들은 종종 LR (k) 파서가 LL (k) 파서 보다 강력 하다고 말합니다 . 이 진술은 대부분 모호하다. 특히, 고정 대한 클래스 k케이k또는 모든 대한 결합을 비교해야 k케이k합니까? 상황은 어떻습니까? 특히, 나는 LL (*)이 어떻게 적용되는지에 관심이 있습니다. 내가 아는 한, LL 및 LR 파서가 허용하는 각 문법 세트는 직교이므로 각 …
8
언어가 규칙적임을 증명하는 방법?
언어가 규칙적이지 않다는 것을 증명하는 방법이 많이 있지만, 어떤 언어 가 규칙적 이라는 것을 증명하려면 어떻게해야 합니까? 예를 들어, 이 규칙적이라고한다면 다음 도 규칙적 임을 어떻게 증명할 수 있습니까?LLLL′L′L' L′:={w∈L:uv=w for u∈Σ∗∖L and v∈Σ+}L′:={w∈L:uv=w for u∈Σ∗∖L and v∈Σ+}\qquad \displaystyle L' := \{w \in L: uv = w \text{ for } …
1
알고리즘, 언어 및 문제의 차이점은 무엇입니까?
이 사이트에서 사람들은 종종 "알고리즘"과 "문제"를 혼동하기 위해 다른 사람들을 수정하는 것 같습니다. 이것들의 차이점은 무엇입니까? 알고리즘을 고려하고 문제를 고려해야하는시기를 어떻게 알 수 있습니까? 그리고 이것이 공식 언어 이론의 언어 개념과 어떤 관련이 있습니까?
4
서로에 대한 문제를 줄이는 일반적인 기술은 무엇입니까?
계산 및 복잡성 이론 (및 기타 분야)에서 감소는 어디에나 있습니다. 이 많은 종류가 있지만 원칙은 동일하게 유지 : 하나의 문제가 있음을 보여 다른 문제로 하드로 적어도입니다 에서 매핑 인스턴스에 의한 의 솔루션 상응하는 것들 . 기본적으로 대한 모든 솔버 가 축소 기능을 전처리 사용할 수 있도록 허용하면 도 해결할 수 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.