«proof-techniques» 태그된 질문

다중 정리 증명을위한 일반적인 방법 및 기술에 대한 질문. 단일 진술의 증거에 대해 질문 할 때는 그 증거의 내용과 관련된 태그를 대신 사용하십시오.

3
알고리즘 분석의 마법 뒤에 시스템이 있습니까?
알고리즘의 실행 시간을 분석하는 방법에 대한 많은 질문이 있습니다 (예 : 런타임 분석 및 알고리즘 분석 참조 ). 예를 들어 중첩 루프 또는 분할 및 정복 알고리즘의 비용 분석을 요구하는 경우와 유사하지만 대부분의 답변은 맞춤형으로 보입니다. 반면에, 다른 일반적인 질문에 대한 답변 은 몇 가지 예를 통해 더 큰 그림 …
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는 그렇게하기 위해서는 모든 정규 표현 (또는 모든 유한 한 오토마타 또는 모든 왼쪽 선형 문법)에 …
2
공동화 란 무엇입니까?
나는 (구조적) 유도에 대해 들었습니다. 작은 구조에서 유한 구조를 만들 수 있으며 그러한 구조에 대한 추론에 대한 증명 원칙을 제공합니다. 아이디어는 충분히 분명하다. 그러나 공동화는 어떻습니까? 어떻게 작동합니까? 무한 구조에 대해 결정적인 것을 어떻게 말할 수 있습니까? 해결해야 할 두 가지 각도, 즉 사물을 정의하는 방법과 증명 기법으로 공동화가 있습니다. …
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 } …
4
서로에 대한 문제를 줄이는 일반적인 기술은 무엇입니까?
계산 및 복잡성 이론 (및 기타 분야)에서 감소는 어디에나 있습니다. 이 많은 종류가 있지만 원칙은 동일하게 유지 : 하나의 문제가 있음을 보여 다른 문제로 하드로 적어도입니다 에서 매핑 인스턴스에 의한 의 솔루션 상응하는 것들 . 기본적으로 대한 모든 솔버 가 축소 기능을 전처리 사용할 수 있도록 허용하면 도 해결할 수 …
5
컴파일러가 죽은 코드를 감지 할 수 없음을 증명
저는 다양한 주제로 겨울 코스를 가르 칠 계획입니다. 그 중 하나는 컴파일러가 될 것입니다. 이제 저는 이번 분기 내내 과제를 생각하면서이 문제를 겪었습니다. 그러나 나는 그것을 예를 들어서 대신 사용할 수있게되었습니다. public class DeadCode { public static void main(String[] args) { return; System.out.println("This line won't print."); } } 위의 프로그램에서 …
7
대각선 화보다 정지 문제의 결정 불가능 성을 더 직관적으로 증명할 수 있습니까?
나는 대각선 화를 기반으로 중지 문제 (예를 들어 Papadimitriou의 교과서에서 제공)의 결정 불가능한 증거를 이해합니다. 증거가 설득력 이 있지만 (각 단계를 이해합니다), 문제만으로 시작하여 누군가가 어떻게 그것을 이끌어 낼지 알지 못한다는 의미에서 나 에게는 직관적이지 않습니다. 이 책에서 증명은 다음과 같습니다. "MHMHM_H 입력에 정지 문제 해결M;xM;xM;x 이며, 결정 튜링 기계 …
3
상대화가 왜 장벽인가?
우리가 가질 수있는 오라클, P=NPP=NP\mathsf{P} = \mathsf{NP} , 그리고 친구에게 P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} 를 가질 수있는 오라클이 있다는 베이커-길-솔로 니아의 증거를 설명 할 때 , 왜 그런지에 대한 의문이 생겼습니다. 이러한 기술은 P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} 문제 를 입증하는 데 적합 하지 않으며 만족스러운 답변을 드릴 수 없습니다. 좀 더 구체적으로 …
2
욕심 많은 알고리즘이 올바른지 증명하는 방법
나는 욕심 많은 알고리즘을 가지고 있다고 생각하지만 확실하지 않습니다. 올바른지 어떻게 확인합니까? 욕심 많은 알고리즘의 정확성을 입증하는 데 사용할 기술은 무엇입니까? 일반적인 패턴이나 기술이 있습니까? 나는 이것이 초보자를 가리키는 데 사용할 수 있는 참조 질문 이되기를 희망 합니다. 따라서 일반적인 범위보다 광범위합니다. 적어도 하나의 예로 설명되어 있지만 많은 상황을 다루는 …
2
사선 화, 자기 참조 또는 환원성 이외의 이유로 결정 불가능한 것으로 알려진 특정 문제가 있습니까?
내가 아는 모든 결정 불가능한 문제는 다음 범주 중 하나에 해당합니다. 대각선으로 인해 결정 불가능한 문제 (간접 자기 참조). 정지 문제와 같은 이러한 문제는 언어에 대해 결정된 결정자를 사용하여 행동이 모순으로 이어지는 TM을 구성 할 수 있기 때문에 결정 불가능합니다. Kolmogorov의 복잡성에 대한 결정 불가능한 많은 문제를이 캠프에 집중시킬 수도 …
2
문제가 NP- 완료임을 증명하기 위해 문제 간 축소를 구성하는 방법은 무엇입니까?
나는 복잡한 과정을 겪고 있으며 NPC 문제 사이의 감소를 생각해내는 데 어려움을 겪고 있습니다. 문제 사이의 감소를 어떻게 찾을 수 있습니까? 사용할 수있는 일반적인 트릭이 있습니까? 문제가 NPC임을 증명하도록 요청하는 문제에 어떻게 접근해야합니까?
2
언어에 컨텍스트가 없음을 증명하는 방법은 무엇입니까?
있습니다 많은 기술 언어임을 증명 하지 문맥 자유는 있지만, 어떻게 언어는 것을 증명 할 것이다 문맥 자유? 이것을 증명하기 위해 어떤 기술이 있습니까? 분명히, 한 가지 방법은 언어에 대해 문맥이없는 문법을 보여주는 것입니다. 주어진 언어에 대해 문맥이없는 문법을 찾는 체계적인 기술이 있습니까? 일반 언어의 경우,이 있는 체계적인 방법으로 일반 문법 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.