연관 배열 (예 : 맵 또는 사전)과 해싱 테이블은 동일한 개념이라고 생각했습니다. Wikipedia 이라고 생각했습니다. 바인딩 수가 매우 적은 사전의 경우 연결된 바인딩 목록 인 연결 목록을 사용하여 사전을 구현하는 것이 좋습니다. ... 연관 배열의 가장 일반적으로 사용되는 범용 구현은 해시 테이블 (바인딩 배열)과 가능한 각 키를 배열 인덱스에 매핑하는 …
NP-Intermediate와 NP-Complete의 관계를 이해하려고 애 쓰고 있습니다. Ladner Theorem을 기반으로 한 P! = NP 인 경우 NP에는 있지만 P 또는 NP-Complete에는없는 언어 클래스가 있음을 알고 있습니다. NP의 모든 문제를 NP-Complete 문제로 줄일 수는 있지만 NPI 문제 (정수 분해)와 같은 것으로 의심되는 NPI 문제를 NP-Complete 문제로 줄이는 예제는 보지 못했습니다. 누구든지 …
나는 모토 들었습니다 상호 작용 알고리즘보다 더 강력한 에서 피터 웨 그너 . 이 아이디어의 기본은 (고전적인) 튜링 머신이 외부 세계 / 환경과의 통신 (입력 / 출력)과의 상호 작용을 처리 할 수 없다는 것입니다. 어떻게 그렇게 할 수 있습니까? 튜링 머신보다 어떤 것이 더 강력 할 수 있습니까? 이 이야기의 …
다음과 같은 문제가 결정 가능한지 알고 찾는 방법을 알고 싶습니다. 내가 "예"또는 "아니오"그것을 말할 수있는 볼 때마다 문제 때문에 대부분의 문제와 알고리즘 (제공되는 몇 가지를 제외하고 decidable 있습니다 여기에 )? 입력 : A는 유한 관한 그래프와 와 V 및 U 정점 같은 질문 :합니까에서 경로 G 와 U 초기 정점과 …
실제로 컴퓨터 프로그램을 생성하는 시스템 (단순한 예제가있는 종이에 대한 소프트웨어 또는 자세한 설명)을 작성한 사람이 있습니까? I 입력 그것을 나열 소수 10 미만있는 프로그램을 만들어 간단하게 정의 교수들은 그들이 할 수는 있지만 실제적으로 완전한 예를 제시하는 사람은 아무도 없다고 말합니다.Prime(x)∧x<10Prime(x)∧x<10Prime(x) \wedge x<10Prime(x)Prime(x)Prime(x)1<x∧∄As.t.1<A∧A<x∧x=A×B, with A,B∈N1<x∧∄As.t.1<A∧A<x∧x=A×B, with A,B∈N1<x \wedge \not\exists A\; s.t. …
Wikipedia에 따르면 , 모든 정규 언어 대해 상수 λ 1 , … , λ k 및 다항식 p 1 ( x ) , … , p k ( x )가 존재하므로 모든 n에 대해 길이 단어의 숫자 s L ( n ) N 의 L을 만족하는 방정식엘LLλ1, … , λ케이λ1,…,λk\lambda_1,\ldots,\lambda_k피1( …
SAT 솔버는 대규모 인스턴스를 해결하는 데 점점 더 효율적이고 다양한 컨텍스트에서 백엔드로 사용되고 있습니다. 특정 도메인에서 문제를 해결하기 위해 그것들을 사용하기를 원할 때마다 올바른 솔루션 세트뿐만 아니라 제약 조건을 중복하는 형식의 임시 인코딩을 만들어야합니다. 솔버의 휴리스틱이 솔루션을 더 빨리 찾는 데 도움이됩니다. 예를 들어, 유한 한 노드 집합이 트리 또는 …
본인은 Automated Theorem Proving / SMT 솔버 / Proof Assistant 를 배우고 여기 에서 시작하여 프로세스에 대한 일련의 질문을 게시합니다 . 통일 알고리즘 에 대해 계속 읽습니다 . 이것이 무엇이며 왜 추론 엔진에 중요한가 ? 컴퓨터 과학에 왜 그렇게 중요한가?
xor게이트, 이제 4 nand게이트 만 사용하여이 게이트를 구성해야합니다 a b out 0 0 0 0 1 1 1 0 1 1 1 0 xor = (a and not b) or (not a and b)인 A¯¯¯¯B+AB¯¯¯¯A¯B+AB¯\begin{split}\overline{A}{B}+{A}\overline{B}\end{split} 나는 대답을 알고 있지만 공식에서 게이트 다이어그램을 얻는 방법은 무엇입니까? 편집하다 나는 직관적으로, 나 에게이 …
Sequential Consistency가 Cache Coherence보다 강력한 속성이라는 것이 사실입니까? 에 따르면 소린, 다니엘 J; 힐 마크 D; Wood, David A : 메모리 일관성 및 캐시 일관성에 대한 입문서 , Morgan & Claypool, 2011 순차적 일관성은 (공식적으로 아님)으로 설명 될 수 있습니다. 순차 일관성 메모리 모델은 시스템이 모든 스레드의로드를 실행하고 각 스레드의 …
이것은 간단한 질문입니다. 암호화 또는 기록에 대해서는 잘 모르지만 RSA의 일반적인 용도는 대칭 키를 암호화하여 더 긴 메시지를 보내 (예 : iMessage here 설명) 키 교환을 수행하는 것 같습니다 . 이것이 더 오래된 Diffie-Hellman 키 교환 (그리고 나에게 더 단순한 것)이 정확하게 맞습니까? Wikipedia를 살펴보면 둘 다 특허를 받았기 때문에 …
StackOverflow 에서이 질문 을 했지만 여기에 더 적절한 장소가 있다고 생각합니다. 이것은 알고리즘 소개 과정 에서 발생하는 문제입니다 . 양의 정수 가 n 인 배열 가 있습니다 (배열을 정렬하거나 요소를 고유하게 할 필요는 없습니다). 추천 O ( N ) 로 나누어 소자의 가장 큰 합을 찾는 알고리즘 N을 .aaannnO(n)O(n)O(n)nnn 예 …
언어 와 주어지면 , 모든 단어 에 와 와 정확히 하나의 분해 가 그렇지 않으면 모호한 경우 , 그들의 연결 가 모호하지 않다고 가정 해 봅시다 . (이 속성에 대해 확립 된 용어가 있는지 모릅니다. 검색하기 어려운 것입니다!) 사소한 예로서, 자체 연결은 모호합니다 ( )이지만 연결 자체는 분명합니다.AAABBBABABABw∈ABw∈ABw \in ABw=abw=abw …