컴퓨터 과학

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

4
원하는 특정 속성을 모두 갖춘 정렬 알고리즘이 없습니까?
에 정렬 알고리즘 웹 사이트 , 다음과 같은 주장한다 : 이상적인 정렬 알고리즘은 다음과 같은 속성을 갖습니다. 안정 : 동일한 키가 재정렬되지 않습니다. 추가 공간이 필요한 제자리에서 작동 합니다.O(1)O(1)O(1) 최악의 경우 키 비교.O(n⋅lg( n ) )O(n⋅lg⁡(n))O(n\cdot\lg(n)) 최악의 경우 스왑.O ( n )O(n)O(n) 적응 형 : 데이터가 거의 정렬되거나 고유 키가 …
7
두 배열에서 다른 하나의 요소입니다. 효율적으로 찾는 방법?
코딩 인터뷰를 준비 중이며이 문제를 해결하는 가장 효율적인 방법을 알 수 없습니다. 정렬되지 않은 숫자로 구성된 두 개의 배열이 있다고 가정 해 봅시다. 배열 2에는 배열 1에없는 숫자가 포함됩니다. 두 배열 모두 반드시 같은 순서로 또는 같은 인덱스에있는 숫자가 무작위로 없습니다. 예를 들면 다음과 같습니다. 배열 1 [78,11, 143, 84, …
4
5 개 요소를 정렬 (순서 정렬)하는 데 필요한 최소 비교 수
5 개의 요소를 정렬 (순서 정렬)하는 데 필요한 최소 비교 수를 찾고이 수의 비교를 사용하여 이러한 요소를 정렬하는 알고리즘을 고안하십시오. 해결책 : 5가 있습니다! = 120 개의 가능한 결과. 따라서 정렬 절차를위한 이진 트리의 수준은 7 단계 이상입니다. 실제로 ≥ 120은 h ≥ 7을의미합니다. 그러나 7 번의 비교로는 충분하지 않습니다. …
11
왜 입니까?
이것을 증명하는 규칙이 있는지 알고 싶습니다. 예를 들어, 분배 법을 사용하면 만 얻습니다 .( A ∨ A ) ∧ ( A ∨ ¬ B )(A∨A)∧(A∨¬B)(A \lor A) \land (A \lor \neg B)
1
추론을 결정할 수있는 가장 강력한 알려진 유형 시스템은 무엇입니까?
Hindley-Milner 형식 유추 ( 다형성이 있는 단순 형식의 미적분)에는 형식 유추가 결정 가능 하다는 것이 잘 알려져 있습니다. 주석없이 모든 프로그램의 기본 형식을 재구성 할 수 있습니다.λλ\lambda Haskell 스타일 유형 클래스를 추가하면이 결정 성을 유지하는 것처럼 보이지만 추가를 추가하면 주석이없는 추론을 만들 수 없습니다 (유형 군, GADT, 종속 유형, Rank-N …
3
그래프의 최소 스패닝 트리가 고유하지 않은시기
가중, 무 방향 그래프 G : G에 대해 여러 개의 최소 스패닝 트리 가 있도록 어떤 조건을 충족 해야 합니까? MST는 모든 가중치가 고유 할 때 고유하지만이 설명을 되돌릴 수는 없습니다. 그래프에 가중치가 같은 멀티플 에지 가있는 경우 여러 MST가있을 수 있지만 하나만있을 수도 있습니다. 이 예에서 왼쪽의 그래프에는 고유 …
3
NP- 완전 문제가 근사치면에서 왜 그렇게 다른가?
저는 프로그래머라고 말하면서 문제를 시작하고 싶습니다. 복잡성 이론에 대한 배경 지식이 많지 않습니다. 내가 주목 한 것은 많은 문제가 NP- 완전하지만 최적화 문제로 확장 될 때 일부는 다른 것보다 훨씬 더 어렵다는 것입니다. 좋은 예는 TSP입니다. 모든 종류의 TSP가 NP- 완전하지만, 해당 최적화 문제는 연속적인 단순화로 더 쉽고 더 쉽게 …
5
소수를 사용한 데이터 압축
필자는 최근 데이터의 유형과 형식에 관계없이 임의의 데이터 세트를 항상 50 % 이상 효율적으로 압축한다고 주장 하는 다음 흥미로운 기사 를 우연히 발견했습니다 . 기본적으로 모든 숫자가 고유 한 소수 인 경우 압축을 풀기 쉬운 4 바이트 데이터 청크의 표현을 고유하게 사용하기 위해 소수를 사용합니다. 이 시퀀스를 소수와 연관시키기 위해 …
2
계산식이 모나드와 동일합니까?
이 질문은 Computer Science Stack Exchange에서 답변을 얻을 수 있기 때문에 Stack Overflow에서 마이그레이션 되었습니다. 5 년 전에 마이그레이션 되었습니다 . 나는 여전히 함수 프로그래밍 (f #)을 배우고 있으며 최근에는 계산 표현식에 대해 읽기 시작했습니다. 나는 여전히 개념을 완전히 이해하지 못하고 모나드에 관한 모든 기사 (대부분 Haskell을 기반으로 작성 됨)를 …
3
부피가 주어지면 표면적을 최소화하는 알고리즘
다음 알고리즘 작업을 고려하십시오. 입력 : 소수 인수 와 함께 양의 정수 찾기 : 의 제한에 따라 를 최소화하는 양의 정수x , y , z x y + y z + x z x y z = nnnnx,y,zx,y,zx,y,zxy+yz+xzxy+yz+xzxy+yz+xzxyz=nxyz=nxyz=n 이 문제의 복잡성은 무엇입니까? 다항식 시간 알고리즘이 있습니까? NP- 하드입니까? 이 문제는 …
2
나누기와 정복의 이론적 기초
알고리즘 설계와 관련하여 종종 다음 기술을 사용합니다. 다이나믹 프로그래밍 욕심 전략 나누고 정복 처음 두 가지 방법에는 잘 알려진 이론적 기초, 즉 Bellman Optimity Principle과 matroid (regre. greedoid) 이론이 있지만 D & C 기반 알고리즘의 일반적인 프레임 워크를 찾을 수는 없습니다. 먼저, 나는 우리 (또는 오히려 교수)가 "알고리즘 스켈레톤 (algorithmic …
3
(수학) 문제를 SAT 인스턴스로 변환
내가하고 싶은 것은 수학 문제를 부울 만족도 문제 (SAT)로 바꾸고 SAT 해 찾기를 사용하여 해결하는 것입니다. 누군가가 매뉴얼, 가이드 또는 내 문제를 SAT 인스턴스로 변환하는 데 도움이되는 것을 알고 있는지 궁금합니다. 또한, 나는 이것을 지수 시간보다 더 나은 시간에 해결하고 싶습니다. SAT 솔버가 도움이 되길 바랍니다.
5
기능 언어 튜링이 완벽한 이유는 무엇입니까?
아마도 주제에 대한 나의 제한된 이해가 잘못되었지만 이것이 내가 지금까지 이해 한 것입니다. 함수형 프로그래밍은 Alonzo Church가 공식화 한 Lambda Calculus를 기반으로합니다. 명령형 프로그래밍은 교회 학생 인 Alan Turing이 만든 Turing 머신 모델을 기반으로합니다. 람다 미적분은 튜링 머신만큼 강력하고 성능이 뛰어나 계산 능력과 동등합니다. 함수형 프로그래밍이 Turing 머신이 아닌 Lambda …
2
카테고리 이론의 의미는 아직 고차 함수를 처리하는 방법을 모르는 것입니까?
읽기에서 우다이 레디의 대답 에 SML에서 펑터 및 카테고리 이론 사이의 관계는 무엇입니까? 우데이 주 카테고리 이론은 아직 고차 함수를 다루는 방법을 모른다. 언젠가는 그럴 것이다. 카테고리 이론이 수학의 기초가 될 수 있다고 생각 했으므로 모든 수학 및 고차 함수를 도출 할 수 있어야합니다. 그렇다면 카테고리 이론이 의미하는 바는 아직 …
4
0-1 행렬 벡터 곱셈의 자동 최적화
의문: 행렬이 조밀하고 0과 1로만 채워질 때 행렬-벡터 곱셈을 효율적으로 적용하는 코드를 생성하는 절차 나 이론이 있습니까? 이상적으로, 최적화 된 코드는 이전에 계산 된 정보를 체계적으로 사용하여 중복 작업을 줄입니다. 즉, 나는 행렬이 MMM 나는에 따라 약간의 사전 계산하고 싶지 MMM 컴퓨팅 것, 나중에 벡터받을 때 가능한 한 효율적으로 .MvMvMvvvv …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.