«reference-request» 태그된 질문

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

1
4D 라인 단순화를위한 O (n log n) 알고리즘이 있습니까?
Ramer 더글라스-Peucker 알고리즘 라인 단순화는 최악 갖는다 런타임. 적절히 분산 된 랜덤 입력의 경우 런타임 복잡성 이 예상 됩니다. 2D에는 최악의 런타임 복잡성을 가진 다른 알고리즘이 있으며 , 이는 Ramer-Douglas-Peucker 알고리즘과 정확히 동일한 결과를 계산합니다. 이러한 알고리즘은 "경로 (볼록) 선체"데이터 구조를 기반으로하기 때문에 4D 라인으로 일반화 할 수 있는지 여부는 …
1
어떤 클래스의 데이터 구조를 영구적으로 만들 수 있습니까?
영구 데이터 구조 는 변경할 수없는 데이터 구조입니다. 이들에 대한 작업은 데이터 구조의 새로운 "복사"를 반환하지만 작업에 의해 변경됩니다. 이전 데이터 구조는 변경되지 않습니다. 효율성은 일반적으로 일부 기본 데이터를 공유하고 데이터 구조의 전체 복사를 피함으로써 달성됩니다. 질문 : 동일하거나 매우 유사한 복잡성을 유지하면서 지속적으로 만들 수있는 데이터 구조 클래스에 대한 …
2
타입 검사 알고리즘
형식 검사 알고리즘에 대한 개인 서지 연구를 시작하고 있으며 몇 가지 팁이 필요합니다. 가장 일반적으로 사용되는 형식 검사 알고리즘, 전략 및 일반적인 기술은 무엇입니까? 특히 C ++, Java 5+, Scala 또는 기타와 같이 널리 알려진 강력한 정적 형식 언어로 구현 된 복잡한 형식 검사 알고리즘에 관심이 있습니다. IE, 기본 언어의 …
4
'유진 고스트 만'은 실제로 튜링 테스트를 통과 했습니까?
13 살 소년을 시뮬레이트하기 위해 개발 된 컴퓨터 프로그램 인 '유진 고스트 만 (Eugene Goostman)'은 판사 중 33 %가 인간임을 판결하여 튜링 테스트를 통과했다고 밝혔다. 챗봇이라고도하는 컴퓨터 프로그램은 영어가 제 2의 언어 인 13 세의 우크라이나 소년 인 것으로 보였습니다. 저에게 유진은 평범한 챗봇처럼 반복적이고, 무의미하며, 비 조작자에게 흩어진 소리처럼 …
1
단두대 컷 대 일반 컷
절단 문제는 특정 큰 물체를 여러 개의 작은 물체로 절단해야하는 문제입니다. 예를 들어, 너비가 이고 길이가 큰 원시 유리 시트와 함께 작동하는 공장이 있다고 가정합니다 . 여러 구매자가 있으며, 각 구매자는 무한한 수의 작은 유리 시트를 원합니다. 구매자 는 길이가 이고 너비가 시트를 원합니다 . 목표는 사용 된 총량을 최대화하고 …
3
타이핑 규칙을 읽는 방법?
점점 더 많은 언어 연구 논문을 읽기 시작했습니다. 프로그래밍에 대해 더 많이 배울 수있는 매우 흥미롭고 좋은 방법입니다. 그러나, 일반적으로 난 항상 (예를 부분의 세 가지에 걸릴 투쟁 섹션이 제공 이 유형 규칙 : 나는 컴퓨터 과학의 이론적 배경이 부족하기 때문에이). 이 분야에서 시작할 수있는 좋은 책이나 온라인 자료가 있습니까? …
1
이 N 번째 주요 재발의 (in) 다루기 쉬움 증명
이전 질문에서 다음과 같이 , 나는 레크리에이션 수학의 문제로 리만 가설 을 가지고 놀았습니다 . 그 과정에서 나는 다소 흥미로운 재발에 이르렀고, 그 이름, 축소 및 소수 사이의 갭의 해결 가능성에 대한 다루기 쉬움에 대해 궁금합니다. 간결하게 말해서, 각 소수 사이 의 간격 을 이전 후보 소수 의 반복으로 정의 …
3
모든 입력에서 정지하지만 그 속성을 증명할 수없는 TM이 있습니까?
모든 입력에서 멈추는 튜링 머신이 있지만 어떤 이유로 든 그 속성을 증명할 수 없습니까? 이 질문이 공부되었는지 궁금합니다. "불확실하다"는 "제한된"증명 시스템을 의미 할 수 있습니다 (약한 의미에서는 답이 '예'라고 생각합니다). 물론 가능한 가장 강력한 답변, 즉 ZFC 설정 이론 또는 기타 모든 입력에서 중단 될 수없는 답변에 관심이 있습니다. Ackermann …
3
SAT 인코딩을위한 레시피 북?
SAT 솔버는 대규모 인스턴스를 해결하는 데 점점 더 효율적이고 다양한 컨텍스트에서 백엔드로 사용되고 있습니다. 특정 도메인에서 문제를 해결하기 위해 그것들을 사용하기를 원할 때마다 올바른 솔루션 세트뿐만 아니라 제약 조건을 중복하는 형식의 임시 인코딩을 만들어야합니다. 솔버의 휴리스틱이 솔루션을 더 빨리 찾는 데 도움이됩니다. 예를 들어, 유한 한 노드 집합이 트리 또는 …
1
튜링 머신의 범용 시뮬레이션
는 시간을 구성 할 수있는 고정 함수로 하자 .fff TM에 대한 고전적인 보편적 시뮬레이션 결과 (Hennie and Stearns, 1966)는 다음과 같이 2 테이프 TM 있다고 밝혔습니다.UUU TM을 설명 ⟨M⟩⟨M⟩\langle M \rangle 및 입력 문자열 ,xxx 단계 동안 실행 하고 x에 대한 M 의 답을 반환합니다 . 그리고 g는 임의 함수로 …
1
n 개의 이산 단조 함수의 선행 교차점을 결정하기위한 다중 시간 및 다중 공간 알고리즘
일부 전제 : 저는 레크리에이션 컴퓨터 과학자이며 소프트웨어 엔지니어를 고용했습니다. 따라서,이 안내문이 다소 벗어난 것처럼 보이면 용서해주십시오. 저는 더 나은 방법이 없을 때 수학적인 수수께끼를 가지고 놀면서 문제를 해결합니다. 리만 (Riemann) 가설을 가지고 논 하면서 , 나는 이전의 각 소수의 배수에 의해 형성된 모든 상보 함수 의 교집합에 기초 하여 …
2
"메모리 통합"이란 무엇입니까?
그래픽 처리 장치에는 메모리 통합이라는 것이 있다는 것을 알게되었습니다. 그것에 대해 읽을 때 나는 주제에 대해 명확하지 않았습니다. 이것이 메모리 레벨 병렬 처리와 관련이 있습니까? Google에서 검색했지만 만족스러운 답변을 얻을 수 없었습니다. 누군가 더 포괄적이고 이해하기 쉬운 설명을 제공하면 도움이 될 것입니다.
3
프로그래밍 언어 이론 공부
나는 최근에 (기능적) 프로그래밍 언어의 측면을 이해하고 증명하는데 매우 관심을 가지게되었다. 그러나 자세히 미적분학, 범주 이론 및 획기적 의미론과 같은 것은 적절한 설명 없이는 이해하기가 조금 어렵습니다.λλ\lambda SICP (깨끗한 책)를 읽었지만 함수형 프로그래밍 이론에 대해 자세히 알아 보려고합니다. 기능 프로그래밍 언어 이론을 처음부터 논의 할 책 / 블로그 / 사이트 …
1
모든 솔루션을 나열하는 것과 관련된 복잡성 클래스?
특정 노드를 포함하는 그래프에 모든 간단한 사이클을 나열 하는 것이 NP -hard 인지 묻는 질문을 Stack Overflow에서 읽고 있었는데 기존의 복잡한 클래스를 생각할 수 없었습니다. "이 문제에 대한 모든 해결책을 열거하십시오." 클래스 NP어떤 의미에서 는 적어도 하나의 솔루션이 존재하는지, FNP 클래스 가 단일 솔루션을 생성하도록 요구하고, 클래스 #P 는 얼마나 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.