컴퓨터 과학

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

1
효율적으로 메모리 오버 헤드가 적은 복제본 제거
결과 집합 만 저장 해야하는 방식으로 중복 정수 목록을 효율적으로 필터링하고 싶습니다. 한 가지 방법은 이것을 볼 수 있습니다. 우리는 정수의 범위를 가지고 있습니다 S={1,…,N}S={1,…,N}S = \{1, \dots{}, N\} 와 NNN 큰 (말 2402402^{40}) 우리는 기능이있다 f:S→Sf:S→Sf : S \to S 아마도 많은 충돌과 함께 (이미지는 SSS) 우리는 다음 저장해야합니다 …
3
최대 요소를 피벗으로 선택하면 Quicksort에 항상 2 차 런타임이 있습니까?
빠른 정렬 알고리즘이 있고 항상 가장 작은 (또는 가장 큰) 요소를 피벗으로 선택하는 경우 이미 정렬 된 데이터 세트를 제공하면 '이미 정렬 된'목록이 오름차순인지 내림차순인지에 관계없이 항상 최악의 성능을 얻을 것이라고 가정합니까? 내 생각은 항상 피벗에 가장 작은 요소를 선택하면 피벗을 기준으로 정렬 된 하위 집합이 항상 피벗에 따라 정렬되므로 …
3
이미지 처리의 컨볼 루션 직관
이미지 처리에서 컨벌루션 에 대한 많은 문서를 읽었 으며 대부분은 수식, 추가 매개 변수에 대해 말합니다. 이미지에서 컨볼 루션을 수행하는 데있어 직관과 실제 의미를 설명하는 사람은 없습니다. 예를 들어, 그래프에서 유도의 직관은 예를 들어 더 선형 적입니다. 정의에 대한 빠른 요약은 이미지와 커널 사이에 컨볼 루션이 겹친 사각형을 곱한 후 …
2
1 차 로직 검증 소개
소프트웨어 검증에 대한 다른 접근 방식을 스스로 가르치려고합니다. 몇 가지 기사를 읽었습니다. 내가 아는 한, 시간이있는 제안 논리는 일반적으로 SAT 솔버와 함께 모델 검사를 사용합니다 (진행중인 시스템에서) 시간이있는 1 차 논리는 ​​어떻습니까? 정리 프로 버를 사용합니까? 아니면 SAT도 사용할 수 있습니까? 이 문제에서 초보자를위한 책이나 기사에 대한 조언은 대단히 높이 …
1
인공 신경망 알고리즘이 맵 축소 연산으로 표현 될 수 있습니까?
인공 신경망 알고리즘이 맵 축소 연산으로 표현 될 수 있습니까? 또한 ANN 및 클라우드 컴퓨팅 응용 프로그램에 적용되는 병렬화 방법에 더 일반적으로 관심이 있습니다. 하나의 접근 방식은 각 노드에서 전체 ANN을 실행하고 그리드를 단일 엔티티처럼 처리하기 위해 결과를 통합하는 방법 (입력 / 출력 및 기계 학습 특성 측면)을 포함한다고 생각합니다.이 …
5
컴퓨터 과학에 대한 이산 수학 / 구조를 이해하기 위해 얼마나 많은 수학을 알아야합니까?
일반적으로 대학은 이산 수학 / 이산 구조를 가르칩니다. 제 질문은이 영역을 이해하기 위해 얼마나 많은 수학을 알아야합니까? 미적분학이 필요합니까 아니면 사전 미적분학은 괜찮을까요? 이 영역을 이해하려면 먼저 증거를 작성해야합니까? 답변 해 주셔서 감사합니다. 참고 : 이것이 이미 요청 된 경우 사과드립니다. 조사 후 비슷한 질문을 찾을 수 없었습니다. 이것이 사실이라고 …
1
마이너스 사이클 취소의 복잡한 이유
일반적인 네거티브 사이클 취소 알고리즘으로 최소 비용 흐름 문제를 해결하려고합니다. 즉, 임의의 유효한 흐름으로 시작한 다음 최소 평균 비용주기와 같은 "양호한"음수주기를 선택하지 않고 Bellman-Ford를 사용하여 최소주기를 발견하고 발견 된주기를 따라 확대합니다. 하자 그래프의 노드 수있을 에지 개수, 그래프의 에지의 최대 용량, 그래프의 에지의 최대 비용. 그런 다음 나의 학습 자료는VVVㅏㅏA유유U여여W …
1
조인을 병렬화 할 수 있습니까?
술어에 대해 두 가지 관계를 결합하려고한다고 가정하십시오. 이것이 NC에 있습니까? 나는 그것이 NC에 있지 않다는 증거는 피≠ N씨피≠엔씨P\not=NC따라서 공개적으로 문제가 있다는 증거를 답변으로 받아들입니다. 일반적인 경우와 특정 사례에 관심이 있습니다 (예 : 특정 데이터 구조를 사용하면 병렬화 가능). 편집 : 의견의 일부 설명을이 게시물에 가져옵니다. 우리는 equijoin을 고려할 수 있습니다 …
3
안티 바이러스 프로그램의 작동 방식을 연구하는 컴퓨터 과학 분야는 무엇입니까?
유한 한 오토마타에서는 모든 바이러스를 감지 할 수있는 알고리즘이 없지만 안티 바이러스 소프트웨어를 판매하는 많은 소프트웨어 회사가 있음을 보여주는 것은 사소한 연습입니다. 바이러스 및 바이러스 백신을 다루는 CS의 일부가 있습니까? 추신 : 나는 AV와 관련하여 비 CS 관련 타당성에 대해 묻지 않고 CS 내에서 어떤 범주 / 주제 만 제공하는지 …
3
언어가 규칙적이라고 직관적으로 느끼는 방법
주어진 언어 L = {ㅏ엔비엔씨엔}L={anbncn} L= \{a^n b^n c^n\}, 생산 규칙을 ​​보지 않고이 언어가 규칙적이지 않다는 것을 직접 말할 수 있습니까? 나는 펌핑 보조 정리를 사용할 수 있지만 일부 사람들은 이것이 규칙적인 것이 아니라는 문법을보고 있다고 말합니다. 그게 어떻게 가능해?
4
A 지점과 B 지점 사이의 최단 거리
두 세트 감안 와 각각 포함하는 면에서 분리 된 지점에서, A 지점 사이의 최단 거리를 계산 과 점을 , 즉 .ㅏㅏA비비B엔엔nㅏㅏA비비B최소 { 거리 ( p , q ) | p ∈ A ∧ q ∈ B } 분 { 거리(피,큐) | 피∈ㅏ∧큐∈비 }\min \space \{\mbox{ } \text{dist}(p, q) \mbox{ } …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.