컴퓨터 과학

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

9
크기가 커질수록 더 쉽게 문제가 있습니까?
이것은 우스운 질문 일지 모르지만 입력의 크기가 커질수록 실제로 더 쉽게 문제가 발생할 수 있습니까? 나는 실제적인 문제가 이런 것이 아닌지 의심하지만, 우리는이 속성을 가진 퇴보적인 문제를 발명 할 수있다. 예를 들어, 크기가 커지거나 기괴한 방식으로 동작함에 따라 "자체 해결"을 시작할 수 있습니다.
6
분산 컴퓨팅과 병렬 컴퓨팅
나는 사람들이 병렬 컴퓨팅과 분산 컴퓨팅 에 대해 이야기하는 것을 종종 듣는다 . 그러나 나는 둘 사이에 명확한 경계가 없으며 사람들은 그것을 매우 쉽게 혼동하는 경향이있다. 병렬 컴퓨팅은 멀티 스레딩 또는 단일 CPU를 최대한 활용하는 방법에 더 밀접하게 연결되어 있습니다. 분산 컴퓨팅은 분할 및 정복이라는 개념을 말하며, 다른 시스템에서 하위 …
10
인간 컴퓨팅 능력 : 인간이 Turing Machines에서 정지 문제를 결정할 수 있습니까?
우리는 Turing Machines에서 정지 문제 (Turing Machines)가 결정 불가능하다는 것을 알고 있습니다. Turing Machines 또는 범용 컴퓨터의 도움 으로 인간의 마음이이 문제를 얼마나 잘 처리 할 수 ​​있는지에 대한 연구가 있습니까? 참고 : 분명히 가장 엄격한 의미에서 튜링 머신이 너무 커서 단일 인간의 수명 동안 읽을 수 없기 때문에 항상 …
6
난수 생성기를 결합하지 않는 이유는 무엇입니까?
의사 난수 생성기가 사용되는 많은 응용 프로그램이 있습니다. 따라서 사람들은 나중에 결함이 있음을 발견하는 것이 좋다고 생각하는 것을 구현합니다. 최근 자바 스크립트 난수 생성기에서 이와 같은 일이 발생했습니다. 훨씬 일찍 RandU. Twister와 같은 부적절한 초기 시드 문제도 있습니다. 둘 이상의 발전기 제품군을 일반적인 xor 연산자와 결합한 사람의 예를 찾을 수 …
3
일대일 정수 선형 프로그래밍 (ILP)에서 부울 논리 연산 표현
부울 값을 나타내는 일부 변수 가있는 정수 선형 프로그램 (ILP)이 있습니다. 의 정수가되도록 길게하도록 제한되는 0 또는 1 ( ).x i 0 ≤ x i ≤ 1xixix_ixixix_i0≤xi≤10≤xi≤10 \le x_i \le 1 선형 제약 조건을 사용하여 이러한 0/1 값 변수에 대해 부울 연산을 표현하고 싶습니다. 어떻게해야합니까? 보다 구체적으로, (부울 AND), (부울 …
3
종속 유형과 정제 유형
누군가가 종속 유형과 개선 유형의 차이점을 설명 할 수 있습니까? 내가 이해하는 것처럼 구체화 유형에는 조건자를 충족시키는 유형의 모든 값이 포함됩니다. 그것들을 구별하는 의존 타입의 기능이 있습니까? 도움이된다면 Liquid Haskell 프로젝트를 통해 Refined 유형과 Coq 및 Agda를 통해 종속 유형을 발견했습니다. 즉, 이론이 어떻게 다른지에 대한 설명을 찾고 있습니다.
4
해싱 함수에서 소수를 mod로 사용하는 것이 가장 좋은 이유는 무엇입니까?
1에서 100 사이의 키 값 목록이 있고 11 버킷 배열로 구성하려는 경우 mod 함수를 형성하도록 배웠습니다. H=kmod 11H=kmod 11 H = k \bmod \ 11 이제 모든 값이 9 행으로 차례로 배치됩니다. 예를 들어 첫 번째 버킷에는 0,11,22…0,11,22…0, 11, 22 \dots 있습니다. 두 번째에는 1,12,23…1,12,23…1, 12, 23 \dots 등이 있습니다. …
6
모든 사람이 P ≠ NP를 믿는다면 왜 모든 사람이 P ≠ NP에 대한 증거 시도에 회의적입니까?
많은 사람들이 를 믿는 것 같지만 , 이것이 증명 될 가능성은 거의 없다고 생각합니다. 이것에 약간의 불일치가 있습니까? 그러한 증거가있을 가능성이 없다고 주장한다면, 대한 건전한 주장 이 부족하다고 믿어야합니다 . 또는 비슷한 맥락에서 에 대한 좋은 주장이 없을 것입니다 . 리만 (Riemann) 가설은 많은 수를 보유하고 있거나 거리가 아주 작은 …
9
건설적인
나는 문제에 대한 높은 수준의 이해를 가지고 있으며 제공된 솔루션으로 그것이 "사실 입증 된 것"이라면, 컴퓨터 과학의 영역 내에서 수많은 문제를 해결할 수있는 문을 열게 될 것임을 이해합니다.피= N피P=NPP=NP 내 질문은, 누군가가 논쟁의 여지가없고, 건설적인 증거 를 출판한다면 , 그러한 발견에 즉각적인 영향은 무엇인가? 피= N피P=NPP=NP 저는 5-10 년 후에 …
9
안전한 프로그래밍 언어는 무엇입니까?
안전한 프로그래밍 언어 (PL)가 인기를 얻고 있습니다. 안전한 PL 의 공식적인 정의 가 무엇인지 궁금합니다 . 예를 들어, C는 안전하지 않지만 Java는 안전합니다. “safe”속성이 PL 자체가 아닌 PL 구현에 적용되어야한다고 생각합니다. 그렇다면 안전한 PL 구현의 정의에 대해 논의 해 봅시다. 이 개념을 공식화하려는 시도는 이상한 결과를 가져 왔으므로 다른 의견을 …
8
정수 배열에 대한 가장 빠른 정렬 알고리즘은 무엇입니까?
고등학교 공부 중에 많은 정렬 알고리즘을 접했습니다. 그러나 임의의 정수 배열에 대해 가장 빠른 것이 무엇인지 결코 알 수 없습니다. 그래서 내 질문은 : 현재 가장 빠른 정렬 알고리즘은 무엇입니까? 이론적으로 더 빠른 것이있을 수 있습니까? 그렇다면 정렬이 가장 복잡하지 않은 것은 무엇입니까?
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.