컴퓨터 과학

나는 이전 에 Landau 항의 합계에 대해 (씨앗) 질문을 했으며, 산술에서 무증상 표기법을 학대하는 위험을 혼합 성공으로 측정하려고했습니다. 자, 여기 재귀 전문가 인 JeffE 는 본질적으로 다음과 같이합니다. ∑i=1nΘ(1i)=Θ(Hn)∑i=1nΘ(1i)=Θ(Hn)\qquad \displaystyle \sum_{i=1}^n \Theta\left(\frac{1}{i}\right) = \Theta(H_n) 최종 결과는 정확하지만 이것이 잘못되었다고 생각합니다. 왜? 묵시적 상수의 존재를 모두 추가하면 (상한 만) ∑i=1nci⋅1i≤c⋅Hn∑i=1nci⋅1i≤c⋅Hn\qquad \displaystyle …

10 terminology  asymptotics  landau-notation 

heap automata 에 대한 조사와 관련 하여 특정 변형이 문맥에 맞지 않는 언어를 받아 들일 수 없음을 증명하고 싶습니다. 동등한 문법 모델이 없기 때문에 오토마타 만 사용하는 증명이 필요합니다. 따라서 힙 오토마타를 LBA (또는 동등한 모델) 로 시뮬레이션 할 수 있음을 보여 주어야합니다 . 푸시 다운 오토마타가 상황에 맞는 언어의 …

10 automata  pushdown-automata 

열거 자에서 Turing Machine으로 이동한다는 증거를 얻습니다 (열거를 계속 실행하고 입력과 일치하는지 확인하십시오). 다른 방법이 어떻게 작동하는지 알 수 없습니다. 저의 노트와 저서 (계산 이론 소개-Sipser)에 따르면 Turing 기계에서 Turing 열거자를 얻으려면 기본적으로 알파벳의 모든 조합을 씁니다. 그런 다음이 입력에서 TM을 실행하고 인쇄가 승인되면 새 문자열 반복 광고 무한대로 대체하십시오. …

10 computability  turing-machines  intuition 

신경망에 2 개 이상의 숨겨진 계층을 갖는 이점이 있습니까? 나는 그것을 추천하는 곳을 보았습니다. 다른 곳은 이점이 없다는 것을 증명합니다. 어느 것이 옳습니까?

10 artificial-intelligence  neural-networks  neural-computing 

과제 ( S. Dasgupta, CH Papadimitriou 및 UV Vazirani , Chap 8, 문제 8.6a) 에서 가져온 과제를 해결하려고 노력 중이며 다음과 같이 설명하고 있습니다. 3SAT는 각 리터럴이 최대 두 번 나타나는 수식으로 제한 되더라도 NP- 완료 상태로 유지되므로 각 리터럴이 최대 한 번 나타나는 경우 다항식 시간으로 문제를 해결할 수 …

10 complexity-theory  satisfiability  3-sat 

나는 Google Blocky의 Maze 데모 로 장난을 쳤고 미로 를 풀고 싶다면 왼손을 벽에 두십시오. 이것은 간단하게 연결된 미로에서 작동하며 유한 변환기로 구현할 수 있습니다. 로봇이 다음과 같은 행동과 관찰 가능한 트랜스 듀서로 표현되도록하십시오 : 동작 : 앞으로 이동 ( ↑↑\uparrow ), 좌회전 ( ←←\leftarrow ), 우회전 ( →→\rightarrow ) …

10 automata  finite-automata  artificial-intelligence 

대체 제제 아래 문제에 대한 대체 공식을 생각해 냈습니다. 대체 공식은 실제로 다음과 같은 문제의 특별한 경우이며 이분 그래프를 사용하여 문제를 설명합니다. 그러나, 대안적인 제제는 여전히 NP-hard라고 생각합니다. 대체 공식은 문제 정의를 단순화하는 분리 된 수신 및 발신 노드 세트를 사용합니다. 을 감안할 때 나가고 수신 노드 (각각 그림에서 빨간색과 …

10 complexity-theory  graphs  graph-theory  np-complete 

나는 내 마음에 문제가 있는데, 그것이 NPC 문제라고 생각하지만 그것을 증명하는 방법을 모른다. 여기 문제가 있습니다 : 매우 큰 호수 에는 k 개의 섬 이 있으며 , 부채꼴 모양의 판툰 이 n 개 있습니다. 이 폰툰은 크기는 같지만 초기 방향이 다르며 호수에서 원래 위치가 다릅니다. 이 폰툰은 질량 중심을 중심으로 …

10 complexity-theory  np-complete  np-hard 

거기에 필요 에 대한 L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* 가 될 무한 결정 불가능한 것으로는? 우리가 언어를 선택하면 내가 무엇을 의미 L′L′L' 수 의 경계 유한 버전 L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* 입니다 |L′|≤N|L′|≤N|L'|\leq N , ( N∈NN∈NN \in \mathbb{N} ,)와 L′⊂LL′⊂LL' \subset L . 그것은 가능합니다 L′L′L' 결정 불가능한 언어로? "무한한"Kleene 스타 연산의 일종 인 …

10 formal-languages  computability  undecidability 

퀀텀 컴퓨터가있는 경우 보안 정의를 변경해야합니까? 어떤 암호화 구조가 깨질까요? 무엇을 변경해야하는지 설명하는 설문 조사 또는 기사를 알고 있습니까?

10 reference-request  cryptography  quantum-computing 

모노톤 폴리곤 이 폴리곤 삼각 분할 에서 중요한 역할을하는 것으로 잘 알려져 있습니다. 정의 : 다각형 평면에서이 직선에 대한 모노톤라고 의 경우 직교 모든 라인, 교차의 최대 두 번.L L PPPPLLLLLLPPP 선 과 다각형 가 주어지면 다각형 가 대해 모노톤 인지를 결정하는 효율적인 알고리즘이 있습니까?P P LLLLPPPPPPLLL

10 algorithms  computational-geometry 

재미를 위해 DCPU-16 의 와이어 프레임 뷰어를 만들려고합니다 . 와이어 프레임에 숨겨진 선을 숨기는 방법을 제외한 모든 작업을 수행하는 방법을 이해합니다. 여기에있는 모든 질문은 모두 OpenGL에 액세스 할 수 있다고 가정하지만 불행히도 DCPU-16 (또는 모든 종류의 하드웨어 가속)과 같은 것에 액세스 할 수 없습니다. Google 도서 에서 Appel의 알고리즘에 대해 …

10 algorithms  computational-geometry  graphics 

질문의 성격으로 인해 많은 배경 정보를 포함해야합니다 (왜냐하면 질문의 범위를 좁히는가?). 다음과 같이 요약 할 수 있습니다. 매우 큰 조합 검색 공간에서 지역 최적을 찾는 방법은 무엇입니까? 배경 툴 지원 슈퍼 플레이 커뮤니티에서는 비용을 최소화하기 위해 비디오 게임 콘솔 또는 에뮬레이터에 특수 제작 된 (실시간으로 생성되지 않은) 입력을 제공하려고합니다 (보통 …

10 reference-request  machine-learning  combinatorics  optimization  search-problem 

많은 텍스트에서 번째로 작은 요소 를 찾기위한 하한값 은 중간 값을 사용하는 인수를 사용하여 파생됩니다. 대적 논증을 사용하여 어떻게 찾을 수 있습니까?케이케이k Wikipedia에 따르면 토너먼트 알고리즘은 로 실행되며 n − k + ∑ n j = n + 2 − k ⌈ lgO ( n + k 로그n )O(n+klog⁡n)O(n+k\log n) …

10 algorithms  algorithm-analysis 

A와 B를 A⊆B의 언어로하고 B는 Turing을 인식 할 수 있습니다. A는 튜링을 인식 할 수 없습니까? 그렇다면 어떤 예가 있습니까?

10 computability