컴퓨터 과학

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

2
coNP- 완전성은 NP- 경도를 의미합니까?
coNP- 완전성은 NP- 경도를 의미합니까? 특히, 저는 coNP-complete 인 것으로 나타났습니다. 그것이 NP-hard라고 주장 할 수 있습니까? coNP-hardness를 주장 할 수는 있지만 그 용어가 표준인지 확실하지 않습니다. NP- 완전 문제가 coNP에 속하면 NP = coNP라는 주장에 편안합니다. 그러나이 강의 노트 는 NP- 하드 문제가 coNP에 속하면 NP = coNP라고 설명합니다. …
2
신경망에서 날짜를 입력으로 인코딩하는 방법은 무엇입니까?
시계열을 예측하기 위해 신경망을 사용하고 있습니다. 지금 당면한 질문은 날짜 / 시간 / 일련 번호를 어떻게 인코딩합니까? 신경망에 대한 입력으로 설정된 각 입력의? 여기에 설명 된대로 인코딩 범주에 사용되는 C 인코딩 중 하나를 사용해야 합니까? 아니면 그냥 시간을 공급해야합니까 (1-1-1970 이후 밀리 초)? 아니면 나머지 데이터를 시간순으로 공급하는 한 불필요하게 …
3
러셀 식 이론과 형식 시스템의 관계
나는 최근 Haskell에서 볼 수 있듯이 Russellian 유형 이론과 유형 시스템 사이에 어떤 종류의 관계가 있음을 깨달았습니다. 실제로 Haskell의 유형 표기법 중 일부는 유형 이론에 선구자가있는 것 같습니다. 그러나 1908 년의 IMHO, Russell의 동기는 Russell의 역설을 피하는 것이었고, 그것이 컴퓨터 과학의 유형 시스템과 어떻게 관련되는지는 확실하지 않습니다. 러셀의 역설은 어떤 …
1
배열의 연속 된 하위 배열의 합계 수 계산
모든 과 함께 배열 이 제공 됩니다.a [ i ] > 0a [ 1 … n ]a[1…n]a[1 \ldots n]a [ i ] > 0a[i]>0a[i]>0 이제 우리는 서브 어레이 배열, 즉, 연속 된 범위이다 (그 서브 어레이로부터 형성 될 수 얼마나 많은 고유 합 찾아야 일부 , 합계 모두의 합은 하위 …
2
모노톤 부울 공식의 만족도 결정에 대한 NP- 완전성 입증
이 문제를 해결하려고 노력하고 있으며 실제로 고심하고 있습니다. 모노톤 부울 수식은 모두 리터럴 양성 명제 논리 수식이다. 예를 들어 ( x1∨ x2) ∧ ( x1∨ x삼) ∧ ( x삼∨ x4∨ x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4 \lor x_5) 모노톤 부울 함수입니다. 반면에 ( x1∨ …
2
나무에 대한 선형 시간 레이블 알고리즘?
정점에 레이블을 지정하려는 방향이없는 트리가 있습니다. 리프 노드에는 레이블이 하나 있어야합니다. 그런 다음 나뭇잎이 제거되었다고 가정하십시오. 남아있는 나무에서는 잎에 2를 표시해야합니다. 이 과정은 모든 정점이 레이블을 가질 때까지 계속 진행됩니다. 이 작업을 수행하는 이유는 정점을 대기열에 저장하고 "첫 번째 잎"을 통과하기 때문입니다. 이 O(n+m)O(n+m)O(n+m) 시간 을 수행하는 쉬운 방법이 있습니까? …
12 algorithms  trees 
2
정사각형으로 직교 다각형 타일링
직교 다각형 (변이 축과 평행 한 다각형)을 감안할 때, 결합이 다각형과 같은 가장 작은 내부 분리 사각형 세트를 찾고 싶습니다. 다음과 같이 약간 다른 문제에 대한 몇 가지 참조가 있습니다. 취재 사각형 직교 다각형 - 내 문제와 유사한를하지만, 커버 사각형이 겹쳐 사용할 수 있습니다. 이 문제에는 다항식 솔루션이 있습니다 ( …
4
입력이 단항 인코딩 될 때 강력한 NP-hard 또는 -complete 문제의 복잡성이 변경됩니까?
입력이 이진 인코딩 대신 단 항일 때 강력한 NP-hard 또는 NP-complete 문제 (예 : 여기에 정의 된대로 ) 의 난이도가 변경됩니까? 강력한 NP-hard 문제의 입력이 단항 인코딩되면 어떤 차이가 있습니까? 예를 들어 약한 NP-complete Knapsack 문제를 예로 든다면 바이너리 인코딩시 NP- 완료이지만 단항 인코딩시 동적 프로그래밍으로 다항식 시간으로 해결할 수 …
3
CFG에 대한 Chomsky 일반 양식과 같은 일반 양식의 중요성
문맥이없는 문법은 문맥이없는 언어를 표현하는 데 사용될 수 있다는 것을 이해합니다. 또한 Chomsky 및 Greibach 일반 형식 과 같은 일반 형식이 있습니다. 나는 그 필요성을 이해할 수 없었다. 언어 이론에서 왜 중요한가? 내가 언급 한 모든 교과서는 이러한 일반적인 형태에 대해서는 말하지만 그 중요성에 대해서는 아무 것도 말하지 않았습니다.
5
내 NP의 결함 = CoNP 증명?
나는 NP = CoNP에 대해 매우 간단한 "증거"를 가지고 있으며 어딘가에 잘못한 것으로 생각하지만 잘못된 것을 찾을 수 없습니다. 누군가 나를 도울 수 있습니까? A는 NP에서 문제가되고 M은 A의 결정자로하자. B는 보수가된다. 즉 B는 CoNP에있다. M은 결정자이므로이를 사용하여 B도 결정할 수 있습니다 (답을 뒤집기 만하면 됨). 똑같은 M으로 NP와 CoNP …
4
기계 학습과 시스템 식별?
누구나 기계 학습과 시스템 식별의 차이점과 유사점을 설명해 줄 수 있습니까? 이것들은 같은 것의 두 이름입니까? 이 페이지 에서는 다음 과 같이 말합니다. 기계 학습 및 시스템 식별 커뮤니티는 제한적이거나 시끄러운 관찰로부터 모델을 구성해야하는 유사한 문제에 직면 해 있습니다. 또한 Christopher M. Bishop의 유명한 책인 패턴 인식 및 기계 학습의 …
3
'삼림 벌채'는 프로그램에서 '나무'를 어떻게 제거합니까?
삼림 벌채가 어떻게 폴드와 펼치기 기능에서 동시에 목록을 소비하고 생성하는지 이해합니다. ( CodeReview 에서이 좋은 답변을 참조하십시오.)이 기술에 대한 위키 백과 항목 과 비교했을 때 '제거'에 대해 이야기했습니다. 프로그램에서 나무. 프로그램을 구문 분석 구문 분석 트리로 구문 분석하는 방법을 이해하지만 (그렇습니다?) 어떤 종류의 프로그램 단순화를 위해 산림 벌채를 사용한다는 의미는 …
2
이
라고 말합니다 L⊆{0}∗L⊆{0}∗L \subseteq \{0\}^*. 그러면 L∗L∗L^* 가 규칙적 임을 어떻게 증명할 수 있습니까? LLL 이 규칙적 이라면 물론 L∗L∗L^* 도 규칙적입니다. LLL 이 유한 인 경우 , 규칙적이며 다시 L∗L∗L^* 가 규칙적입니다. 또한 L={0p∣p is a prime}L={0p∣p is a prime}L = \{0^p \mid p \text{ is a prime}\} 이고, …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.