«reference-request» 태그된 질문

구체적이고 좁은 문제에 관한 논문을 요구하는 질문.

5
P = NP를 해결하지 않는 방법?
또는 를 증명하려는 많은 시도가 있으며 , 당연히 많은 사람들이이 두 가지 방향을 증명하기위한 아이디어를 가지고 질문에 대해 생각합니다.P ≠ N PP = N PP=NP\mathsf{P} = \mathsf{NP} P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} 나는 작동하지 않는 것으로 입증 된 접근법이 있으며, 아마도 실패의 역사가있는 접근법이 더 많이 있다는 것을 알고 있습니다. 또한 많은 …
4
꼬리 재귀는 무엇입니까?
나는 재귀의 일반적인 개념을 알고있다. 퀵 정렬 알고리즘을 연구하면서 테일 재귀 개념을 발견했습니다 . 이 년 MIT에서 빠른 정렬 알고리즘의 비디오 18시 반 초 교수의이 꼬리 재귀 알고리즘이라고 말했다. 꼬리 재귀가 실제로 무엇을 의미하는지는 분명하지 않습니다. 누군가 적절한 개념으로 개념을 설명 할 수 있습니까? 여기 SO 커뮤니티 에서 제공하는 답변이 …
6
데이터베이스 계산에서 그룹, 모노 이드 및 링은 어떤 용도로 사용됩니까?
Twitter와 같은 회사가 그룹, 모노 이드 및 반지와 같은 대수 개념에 관심을 갖는 이유는 무엇입니까? github : twitter / algebird 의 저장소를 참조하십시오 . 내가 찾을 수있는 것은 : Bloom filter , HyperLogLog 및 CountMinSketch 와 같은 흥미로운 근사 알고리즘을위한 Monoids 구현 . 이를 통해 숫자처럼 복잡한 작업을 생각하고 hadoop …
3
안정적인 정렬에서 최악의 경우 ?
안정적인 정렬 알고리즘 대신 최악의 경우 를 제공하는 좋은 리소스를 찾는 데 문제가 있습니다. 누구든지 좋은 자원을 알고 있습니까?O(nlnn)O(nln⁡n)O(n \ln n) 단지 상기시켜주는 것은 전달 된 배열을 사용하고 정렬 알고리즘은 일정한 여분의 공간 만 사용할 수 있다는 것을 의미합니다. 안정은 동일한 키를 가진 요소가 원래 배열에서와 동일한 순서로 정렬 된 …
2
양자 람다 미적분
일반적으로 계산에 대해 생각하는 3 가지 인기있는 방법이 있습니다 : 튜링 머신, 회로 및 람다 미적분학 (대부분의 기능적 관점에서 모두 이것을 캐치로 사용합니다). 세 가지 모두 서로 다른 유형의 문제에 대해 생각할 수있는 유익한 방법이었으며, 이러한 이유로 여러 분야에서 서로 다른 공식을 사용합니다. 그러나 양자 컴퓨팅으로 작업 할 때 회로 …
2
"정말로 컴퓨팅 과학을 가르치는 잔인함에 대해"
Dijkstra는 그의 논문 에서 실제로 컴퓨팅 과학을 가르치는 잔인함에 대해 다음과 같은 입문 프로그래밍 과정을 제안합니다. 한편으로, 우리는 술어 미적분학처럼 보이는 것을 가르치지 만 철학자와는 매우 다르게 행동합니다. 해석되지 않은 공식의 조작에서 초보자 프로그래머를 훈련시키기 위해 논리 대수의 모든 대수적 특성에 대해 학생들에게 친숙하게 부울 대수로 가르칩니다. 직감에 대한 링크를 …
2
'진행성'이란 무엇입니까?
나는 종종 참조없이 '참 동시성 의미론'과 '참 동시성 동등성'과 같은 문구를 듣습니다. 그 용어는 무엇을 의미하며 왜 중요한가? 진정한 동시성 등가의 예는 무엇이며 이들의 필요성은 무엇입니까? 예를 들어, 더 많은 표준 동등성 (비 시뮬레이션, 미량 동등성 등)보다 더 적합한 경우는 무엇입니까?
5
안티 블룸 필터가 있습니까?
블룸 필터가 효과적으로 다양한 값이 이미 처리 동안 발생했는지 여부를 추적하는 것이 가능하다. 많은 데이터 항목이있는 경우 Bloom 필터는 해시 테이블에서 메모리를 크게 절약 할 수 있습니다. 해시 테이블과 공유하는 Bloom 필터의 주요 기능은 항목이 새 항목이 아닌 경우 항상 "새 항목 아님"이라고 표시하지만 항목이 "새 항목이 아님"으로 표시 될 …
2
#SAT를 해결하기 위해 때때로 효율적인 알고리즘이 있습니까?
하자 사업자와 일부 변수 보통 AND, OR 및 NOT으로 구성된 부울 수식합니다. 대한 만족스러운 과제 수를 세고 싶습니다 . 즉, 나는의 변수 진리 값을 다른 할당의 수를 찾으려면 하는 true 값을 가정합니다. 예를 들어, 수식 에는 세 가지 만족스러운 할당이 있습니다. 는 4 개입니다. 이것이 #SAT 문제 입니다.B B B …
1
구별 절차 결정 대 SMT 솔버 대 정리 증명 자 대 구속 솔버
그 용어들은 나를 혼동합니다. 내가 이해 한 바로는 SAT 솔버 : 제안 논리의 만족도를 결정합니다 (DPLL 또는 로컬 검색 사용). 결정 절차는 특정 결정 가능한 1 차 이론의 만족도를 결정하는 절차입니다. SMT 솔버는 SAT 솔버 + 결정 절차입니다. 정리 증명은 KeY 도구와 같은 Dynamic Logic과 같은 것을 나타냅니다. 제약 사항 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.