컴퓨터 과학

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

2
DFS가 공간 복잡성 을 갖는 것으로 간주되는 이유는 무엇 입니까?
따르면 이러한 노트 , DFS는 것으로 간주되는 공간 복잡도, 트리의 분기 인자이며 상태 공간의 모든 경로의 최대 길이이다.O(bm)O(bm)O(bm)bbbmmm 이 Wikibook 페이지에서 정보가없는 검색 에 대해서도 마찬가지입니다 . 이제 DFS 에 관한 Wikipedia 기사 의 "infobox" 는 알고리즘의 공간 복잡성에 대해 다음을 제시합니다. O(|V|)O(|V|)O(|V|) , 전체 그래프를 반복하지 않고 순회하는 경우 …
2
최소 제약 값은 무엇입니까?
제약 만족 문제에서 휴리스틱은 박진 추적 솔버의 성능을 향상시키는 데 사용될 수 있습니다. 간단한 역 추적 솔버를 위해 일반적으로 제공되는 3 가지 휴리스틱은 다음과 같습니다. 최소 남은 값 (이 변수에 유효한 값의 수) 휴리스틱 정도 (이 변수의 영향을받는 다른 변수 수) 최소 구속 값 (다른 변수에 대해 어떤 값이 다른 …
5
O (n) 복잡성의 순서를 갖는 단어 빈도
Java 개발자 입장 인터뷰에서 다음과 같은 질문을 받았습니다. 두 가지 매개 변수를 취하는 함수를 작성하십시오. 텍스트 문서를 나타내는 String 반환 할 항목 수를 제공하는 정수 가장 자주 발생하는 단어 인 단어 빈도별로 정렬 된 문자열 목록을 반환하도록 함수를 구현하십시오. 솔루션은 시간에 실행되어야합니다. 여기서 은 문서의 문자 수입니다.O(n)O(n)O(n)nnn 다음은 내가 의사 …
5
모든 정수 선형 프로그래밍 문제가 NP-Hard입니까?
내가 알기 로, 헝가리어 알고리즘이 다항식 시간-O (n 3 )으로 해결할 수 있기 때문에 할당 문제 는 P에 있습니다 . 또한 할당 문제는 정수 선형 프로그래밍 문제이지만 Wikipedia 페이지에 이것이 NP-Hard라고 표시되어 있습니다. 나에게 이것은 할당 문제가 NP-Hard에 있음을 의미합니다. 그러나 할당 문제는 P와 NP-Hard 모두에있을 수 없습니다. 그렇지 않으면 …
3
문맥없는 언어의 보완은 무엇입니까?
어떤 클래스의 CFL이 닫히는 지, 즉 어떤 세트가 CFL을 보완하는지 알아야합니다. CFL이 보수로 폐쇄되지 않았 음을 알고 있으며 P가 보수로 폐쇄되었음을 알고 있습니다. CFL PI는 CFL의 보완이 P (right?)에 포함되어 있다고 말할 수 있습니다. CFL의 보수가 P의 적절한 부분 집합인지 전체 P인지에 대한 의문이 여전히 남아 있습니다.⊊⊊\subsetneq
2
비이성적 인 언어는 CFL이 아닙니다
나는 교과서에서 열심히 연습하고 있으며, 진행 방법을 알 수 없습니다. 여기에 문제가 있습니다. 언어가 있다고 가정합니다 여기서 는 비이성적 인 숫자입니다. 이 문맥없는 언어가 아님 을 어떻게 증명할 수 있습니까?L = { a i b j : i ≤ j γ , i ≥ 0 , j ≥ 1 } …
2
P와 NP의 불평등에 대한 모순 증거?
계층 구조 정리를 사용하여 N이 NP가 아니라고 주장하려고합니다. 이것이 나의 주장이지만, 내가 선생님과 공제 후에 그것을 보여 주었을 때, 이것은 내가 받아 들여야 할 설득력있는 이유를 찾을 수 없을 때 문제가 있다고 말했다. 우리는 P=NPP=NPP=NP 라고 가정하여 시작합니다 . 그런 다음 를 산출 한 다음 뒤에옵니다 . 우리는 모든 언어 …
2
중간에있는 사람이 메시지를 읽지 못하게 할 수 있습니까?
나는 이러한 모든 Man-In-The-Middle Attack 예방에 대해 들었고 중간에있는 사람이 스트림을 수신하고 메시지 자체를 변경하고 싶지 않은 경우 이것이 어떻게 작동 할 수 있는지 궁금합니다. 중간에있는 사람은 상대방이 교환 한 키를 가져 와서 키를 변경 한 다음 메시지를 다시 해독하고 암호화 할 수 있습니까? 인증서가 어떻게 이것을 방지 할 수 …
2
K2가 뒤집힌 K 결합기 인 경우 SK2 미적분이 완전한 기초입니까?
즉, I 새로운 정의 경우 K2케이2K_2 로 K2=λx.(λy.y)K2=λx.(λy.y)K_2 = \lambda x. (\lambda y. y) 대신 ( λ y . y ) 것이다 -calculus은 경쟁 기반 일?K=λx.(λy.x)K=λx.(λy.x)K = \lambda x. (\lambda y. x){S,K2,I}{S,K2,I}\{S, K_2,I\} 내 추측은 "아니오"입니다. 단지 , 및 콤비 에서 일반 K 콤비 를 구성 할 수없는 것처럼 보이지만 …
2
베타 확장의 합류
하자 될 에서 - 환원 -calculus. -expansion 를 정의하십시오 .→β→β\to_\betaββ\betaλλ\lambdaββ\beta←β←β\leftarrow_\betat′←βt⟺t→βt′t′←βt⟺t→βt′t'\leftarrow_\beta t \iff t\to_\beta t' 가 합류는? 즉, 에 대해 이면 와 같은 가 있습니다. ?←β←β\leftarrow_\betal,d,rl,d,rl,d,rl→∗βd←∗βrl→β∗d←β∗rl \to_\beta^* d\leftarrow_\beta^* ruuul←∗βu→∗βrl←β∗u→β∗rl\leftarrow_\beta^* u \to_\beta^* r 키워드 : 상향 합류, 거꾸로 CR 속성 나는 더 약한 속성 인 로컬 합류 (즉, 이면 )를 . 이것이 …
5
람다 미적분 생성기
이 질문을 할 다른 곳을 모르겠습니다. 이곳이 좋기를 바랍니다. 람다 미적분 생성기를 만드는 것이 가능한지 궁금합니다. 본질적으로 무한 시간이 주어진 루프는 가능한 모든 람다 미적분 함수를 생성합니다. (문자열 형태로). 람다 미적분학이 너무 단순하여 표기법에 몇 가지 요소 만 있으면 가장 간단한 조합으로 시작하여 해당 표기법 요소의 모든 가능한 조합을 생성하여 …
2
의존적으로 유형이 지정된 제거기를 파생시키는 방법은 무엇입니까?
종속적으로 유형이 지정된 프로그래밍에는 데이터를 분해하고 재귀를 수행하는 두 가지 주요 방법이 있습니다. 종속 패턴 일치 : 함수 정의는 여러 절로 제공됩니다. 통일은 모든 생략 된 경우가 불가능하고 외부 솔버가 재귀가 잘 이루어 지도록합니다. 제거기 : 각 유도 데이터 유형 에는 유도 상수 역할을하는 상수 와 유형 값을 분해하는 재귀 …
2
이 정리 / 정렬 문제의 이름은?
길이 의 배열이 제공 됩니다. 배열의 각 요소는 클래스 중 하나에 속합니다 . 당신은 그래서 스왑 작업의 최소 번호를 사용하여 배열을 정렬 해야하는 모든 요소 로부터 같은 클래스 가 연속 된 부분 배열을 형성 항상 함께 그룹화됩니다. 예 : 3 개의 다른 유효한 배열이 남아 있습니다.nnnKKK[2,1,3,3,2,2]⟶[2,2,2,1,3,3], or[2,1,3,3,2,2]⟶[1,2,2,2,3,3], or[2,1,3,3,2,2]⟶[3,3,2,2,2,1].[2,1,3,3,2,2]⟶[2,2,2,1,3,3], or[2,1,3,3,2,2]⟶[1,2,2,2,3,3], or[2,1,3,3,2,2]⟶[3,3,2,2,2,1]. …
1
맨체스터 컴퓨터에서 튜링의 신비한 작은 프로그램은 무엇을 계산 했습니까?
Turing의 "컴퓨팅 기계 및 인텔리전스"논문 ( https://www.csee.umbc.edu/courses/471/papers/turing.pdf )을 읽고 다음과 같은 부분을 발견했습니다. 나는 맨체스터 컴퓨터에 단지 1,000 단위의 저장 장치를 사용하는 작은 프로그램을 설정했습니다. 나는 시도하지 않은 가치에 대한 답을 예측할 수있을 정도로 프로그램에 대해이 답장에서 배우는 사람을 무시할 것입니다. 그것은 나에게 기계 학습 문제처럼 보이지만 AI에 대한 관심을 …
2
실험적으로 런타임을 비교하기위한 표준이 있습니까?
내 상황 개발 한 소프트웨어 모듈에 대한 논문을 작성 중이며 동일한 작업을 위해 런타임을 다른 모듈과 비교하고 싶습니다. 나는 런타임 실험의 단점을 알고 있지만 내 경우에는 그 주위에 방법이 없다고 가정하십시오. (이론적으로 이론적으로 일부 속성을 추론 할 수 있지만 모든 것에 충분하지는 않습니다.) 벤치마킹에 사용하려는 특정 시나리오 에는 문제 의 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.