컴퓨터 과학

컴퓨터 과학의 학생, 연구원 및 실무자를위한 Q & A

1
NP- 완전 문제 해결을위한 모든 알려진 알고리즘이 건설적인가?
인증서를 암시 적으로 생성하지 않고 NP- 완전 문제에 "예"를 올바르게 출력하는 알려진 알고리즘이 있습니까? 나는 만족도 오라클을 만족스러운 할당 파인더로 바꾸는 것이 간단하다는 것을 이해한다. 만족할만한 오라클이 원래의 문제와 그 변수의 결합을 해결할 것을 요구할 때마다 변수를 반복한다. 그러나 그러한 포장지가 유용할까요? 모든 앉은 솔버가 가능한 할당 공간을 검색합니까? 또는 …
2
만족도를 결정하는 것보다 만족도 문제의 해결책을 찾기가 어렵습니까?
주어진 부울 표현식이 실제로 계산에 대한 솔루션을 찾는 것과 계산적으로 구별 가능한지 여부를 결정하는 문제가 있습니까? 다시 말해, 불리언 변수에 대한 '올바른 설정'을 명시 적으로 결정하지 않고 주어진 표현식이 만족 스럽다는 것을 발견하는 다른 방법이 있습니까? 또는 모든 가능한 증명이 다항식 시간을 '올바른 설정'으로 줄입니까? 나의 무지를 용서해라, 나는 단지 …
1
Big-Oh 시간 복잡도에 둘 이상의 변수가 포함될 수 있습니까?
예를 들어 두 문자열을 분석 해야하는 문자열 처리를하고 있다고 가정 해 봅시다. 나는 그들의 길이가 어떻게 될지에 대한 정보를 제공하지 않았으므로 그들은 두 개의 별개의 가족에서 나왔습니다. 알고리즘 또는 의 복잡성을 호출하는 것이 용납 될 수 있습니까?O(n∗m)O(n∗m)O(n * m)O(n+m)O(n+m)O(n + m) 비슷한 맥락에서, 우리가 선택한 알고리즘에는 실제로 두 단계가 필요하다고 …
1
중지 오라클로 해결할 수없는 기존 문제가 있습니까?
나는 멈춤 오라클이 있다면 대부분의 문제는 사소한 것임을 이해한다 (또는 동등하게 하이퍼 계산이라고 생각한다). 그러나 튜링 머신에서는 Halting Problem을 나타내는 주장을 적용하는 것이 불가능합니다. 또한 Turing + oracle이 Turing + oracle의 Halting Problem을 결정하는 것은 불가능하다는 것을 보여줍니다. 중지 오라클로 해결할 수없는 실제적이고 실용적인 문제의 예가 있습니까? 참고 : "oracle"이란 …
3
NDTM의 답을 효율적으로 뒤집을 수없는 이유는 무엇입니까?
나는 NDTM의 답을 효율적으로 뒤집을 수 없다는 것을 여러 번 읽었습니다. 그러나 나는 왜 그런지 이해하지 못한다. 예를 들어, 에서 실행 되는 NDTM 이 주어진 경우 , 이 텍스트 (섹션 3.3)는 다른 NDTM 가 시간에 의 답 을 뒤집는 방법을 어떻게 결정할 수 있는지 불분명하다고 말합니다 .O ( n ) …
2
주어진 문자열을 수락하고 다른 주어진 문자열을 거부하는 가장 작은 DFA
주어 두 세트는 문자 위에 문자열 우리 (DFA) 작은 결정 성 유한 상태 오토 마톤을 계산할 수 M 이되도록 \ SUBSETEQ의 L (M) 와 L (M) \ SUBSETEQ \ 시그마 ^ * \ setminus의 B를 ?A,BA,BA,BΣΣ\SigmaMMMA⊆L(M)A⊆L(M)A \subseteq L(M)L(M)⊆Σ∗∖BL(M)⊆Σ∗∖BL(M) \subseteq \Sigma^*\setminus B 즉, AAA 는 일련의 긍정적 인 예를 나타냅니다. A의 …
2
종속 형 이론의 우주
Homotopy Type Theory 온라인 서적 에서 종속 유형 이론에 대해 읽고 있습니다 . 의 섹션 1.3에서 유형 이론 장, 그것의 계층 구조의 개념을 소개하고 우주를 : , 어디U0:U1:U2:⋯U0:U1:U2:⋯\mathcal{U}_0 : \mathcal{U}_1 : \mathcal{U}_2 : \cdots 모든 우주 는 다음 우주 U i + 1 의 요소입니다 . 또한, 우리는 우리 우주가 …
1
세트의 파티션을 나타내는 간단한 방법은 무엇입니까?
세트 파티션을 나타내는 효율적인 데이터 구조 가 있습니다 . 이러한 데이터 구조는 Union 및 Find와 같은 작업에는 시간이 복잡하지만 특히 공간 효율적이지는 않습니다. 세트의 파티션을 나타내는 공간 효율적인 방법은 무엇입니까? 가능한 출발점은 다음과 같습니다. 요소가 있는 세트 의 파티션 수 는 번째 벨 번호 인 이라는 것을 알고 있습니다. 따라서 …
1
결정론적인 맥락없는 언어를위한 펌핑 보조기구?
일반 언어에 대한 펌핑 보조는 특정 언어가 규칙적이지 않다는 것을 증명하는 데 사용될 수 있으며, 문맥이없는 언어에 대한 펌핑 보조는 (오그 덴의 정리와 함께) 특정 언어에 문맥이없는 것을 증명하는 데 사용될 수 있습니다. 결정론적인 문맥없는 언어를 위한 펌핑 보조기가 있습니까? 즉, 언어가 DCFL이 아님을 보여주기 위해 사용할 수있는 펌핑 렘마와 …
3
DFT에서 크로스 에지와 포워드 에지의 차이점
깊이 우선 트리에는 트리를 정의하는 에지 (즉, 순회에 사용 된 에지)가 있습니다. 다른 노드 중 일부를 연결하는 남은 가장자리가 있습니다. 교차 가장자리와 앞으로 가장자리의 차이점은 무엇입니까? 위키 백과에서 : 이 스패닝 트리를 기반으로 원래 그래프의 가장자리를 세 가지 클래스로 나눌 수 있습니다. 앞 가장자리는 나무의 노드에서 그 자손 중 하나를 …
1
ML 유형 유추의 지수 비용에 대한 간결한 예
OCaml과 같은 기능적 언어에서 형식 유추 비용이 매우 높을 수 있다는 점에 주목했습니다. 청구 범위는 각 표현에 대해 대응하는 유형의 길이가 표현의 길이에 대해 지수가되도록 일련의 표현이 존재한다는 것이다. 아래 순서를 고안했습니다. 내 질문은 : 동일한 유형을 달성하는 더 간결한 표현이있는 시퀀스를 알고 있습니까? # fun a -> a;; - …
2
복잡성 이론에서 의사 결정 문제가 일반적으로 사용되는 이유는 무엇입니까?
에서 위키 백과 : 계산 문제의 유형 : 가장 일반적으로 사용되는 문제는 의사 결정 문제 입니다. 그러나 복잡성 클래스는 함수 문제, 계산 문제, 최적화 문제, 약속 문제 등을 기반으로 정의 할 수 있습니다. 또한 NP-complete, NP-hard, NP, ...의 정의가 의사 결정 문제에 대해서만 정의되는 것을 보았습니다. 왜 그런지 궁금합니다. 다른 …
2
A가 리덕 터블을 B에 매핑하면 A의 보수는 리덕 터블을 B의 보수에 매핑합니다
나는 계산 이론에서 마지막을 위해 공부하고 있으며,이 진술이 거짓인지 아닌지에 대한 올바른 대답 방법으로 고심하고 있습니다. 의 정의 에 의해 다음 문장을 구성 할 수 있습니다.≤m≤m\leq_m 승 ∈ A⟺에프( w ) ∈ B → w ∉ A⟺에프( w ) ∉ Bw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A \iff f(w) \in B \rightarrow w \notin …
2
언어에 대한 검증자가 없음을 보여줌으로써 언어가 계산 가능하지 않다는 것을 보여줄 수 있습니까?
계산 가능하게 열거 가능한 (반복적으로 열거 가능하고, 반 결정 가능에 해당) 집합의 정의 중 하나는 다음과 같습니다. decidable 언어가 IFF에 CE입니다 V ⊆ Σ * 모든 일 (검증이라고 함) X ∈ Σ *가 ,⊆ Σ※ㅏ⊆Σ※A \subseteq \Sigma^*V⊆ Σ※V⊆Σ※V\subseteq \Sigma^*x ∈ Σ※엑스∈Σ※x\in \Sigma^* 존재 IFF에 Y ∈ Σ * 세인트 ⟨ …
3
효율적인 계산 개념
다항식 시간 튜링 머신 알고리즘은 최악의 경우 런타임이 입력 크기의 다항식 함수에 의해 제한되는 경우 효율적인 것으로 간주됩니다. 나는 강력한 교회 튜링 논문을 알고있다 : Turing 머신에서 모든 합리적인 계산 모델을 효율적으로 시뮬레이션 할 수 있습니다 그러나 나는 미적분학 알고리즘의 계산 복잡성을 분석하기위한 견고한 이론을 알지 못합니다.λλ\lambda 알려진 모든 계산 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.