컴퓨터 과학

우리는 DFA가 표현력면에서 NFA와 동등하다는 것을 알고 있습니다. NFA를 DFA로 변환하는 알려진 알고리즘도 있습니다 (불행히도 이제는 해당 알고리즘의 발명자를 알고 있습니다). 최악의 경우 NFA에 상태 가있는 경우 상태가됩니다 . S2S2S2^SSSS 내 질문은 : 최악의 시나리오를 결정하는 것은 무엇입니까? 다음은 모호한 경우 알고리즘의 전사입니다. 하자 NFA 될. 여기서 DFA .A ′ …

24 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

나는 현재 유전자 알고리즘에 대해 읽고보고 있으며 매우 흥미 롭습니다 (대학에있는 동안 그것을 연구 할 기회가 없었습니다). 나는 돌연변이가 확률에 근거한다는 것을 이해한다 (무작위는 진화의 근원이다). 그러나 나는 생존이 왜 그런지 알지 못한다. 내가 이해에서 개별 III 피트니스 가진 F(i)F(i)F(i) 와 같은 또 다른 개인으로 JJJ 피트니스 가진 F(j)F(j)F(j) 우리가 …

24 algorithms  optimization  genetic-algorithms 

PRIMES ⊆ P를 증명하기위한 목록이나 컴퓨터에서 실질적인 우선 순위 테스트를위한 실질적인 알고리즘과 같이 AKS 우선 순위 테스트 를 이해하는 방법에 대한 아이디어를 얻으려고 합니다. 테스트에는 다항식 런타임이 있지만 높은 수준과 가능한 높은 상수가 있습니다. 따라서, 프리 액티브에서 다른 원시성 테스트를 능가 하는 은 무엇입니까? 여기서 은 소수의 자릿수이며 "surpass"는 일반적인 …

24 algorithms  efficiency  primes 

구성주의 논리는 배제와 더불어 배제 된 중간의 법칙을 공리로 제거하는 시스템입니다. Wikipedia에 여기 및 여기 에 설명되어 있습니다 . 특히, 시스템은 모순에 의한 증거를 허용하지 않습니다. 궁금한 점이 있는데, 이것이 튜링 머신 및 공식 언어와 관련된 결과에 어떤 영향을 미치는지 알고 있습니까? 언어가 결정 불가능하다는 거의 모든 증거는 모순에 의한 …

24 formal-languages  turing-machines  logic  proof-techniques  undecidability 

이 답변 에서 Andrej Bauer의 진술과 같은 생각을 따라 Haskell 커뮤니티는 카테고리 이론에서 영감을 얻은 여러 기술을 개발했으며, 그 중 모나드 는 가장 잘 알려져 있지만 모나드 와 혼동해서는 안됩니다 . 사이의 관계를 무엇입니까 펑 SML과 펑 분류 이론은? Haskell 또는 OCaml과 같은 다른 언어의 펑터에 대한 세부 정보를 모르기 …

24 programming-languages  functional-programming  category-theory 

이 질문은 Computer Science Stack Exchange에서 답변을 얻을 수 있기 때문에 Stack Overflow에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 최적화 문제의 복잡성에 관한 몇 가지 용어로 인해 약간 혼란스러워합니다. 알고리즘 클래스에서 NP-complete로 설명 된 큰 parsimony 문제 가있었습니다 . 그러나 최적화 문제와 관련하여 NP-complete라는 용어가 무엇을 의미하는지 확실하지 않습니다. …

24 complexity-theory  np-complete  terminology 

평활화 된 분석이 알고리즘의 주요 스트림 분석으로가는 길을 찾았 습니까 ? 알고리즘 설계자가 알고리즘에 부드럽게 분석을 적용하는 것이 일반적입니까?

24 algorithms  complexity-theory  algorithm-analysis 

지난주 수업에서 교수님은 튜링 머신은 계산 가능한 표준 측정 / 모델로 사용되며 해당 주제에 대한 토론의 유용한 기반이라고 말했습니다. 그녀는 또한 모든 튜링 머신의 변형이 서로 계산적으로 동등한 것으로 입증되었습니다. 여 나는 어제 계산 능력과 관련하여 어떤 튜링 머신은 매우 간단한 것을 계산하는 데 엄청나게 많은 시간이 걸릴 수 있음을 …

24 turing-machines  quantum-computing 

어떤 크기의 스도쿠를 부분적으로 채운 경우 완성 된 스도쿠를 제공하는 프로그램이 있다고 가정 해 봅시다. 이 프로그램을 블랙 박스 로 취급 하고이를 사용하여 TSP를 해결할 수 있습니까? TSP 문제를 부분적으로 채워진 스도쿠로 표현할 수있는 방법이 있으므로 스도쿠의 답변을 제공하면 다항식 시간으로 TSP에 대한 해결책을 말할 수 있습니까? 그렇다면 어떻게? TSP를 …

23 algorithms  np-complete  reductions  traveling-salesman  sudoku 

이것은 순진하고 따라서 잘못된 형식의 질문이므로 미리 사과드립니다! 저의 견해는 튜링 머신이 절차 적 / 제 국적 프로그래밍 언어의 계산 기반으로 간주 될 수 있다는 것입니다. 마찬가지로 람다 미적분은 함수형 프로그래밍 언어의 기초입니다. 나는 최근 교회 튜링 논문이 세 번째 계산 모델 인 일반 재귀 함수 와 상호 동등 함을 …

23 programming-languages  mathematical-foundations  church-turing-thesis 

나는 Andrej Bauer의 " 건설 수학 수용의 다섯 단계 "를보고 있었고, 모순에 의해 두 가지 종류의 증거가 있다고 말한다. 가 거짓 이라고 가정하자 . 따라서 는 사실이다.P피PP피PP 가 참 이라고 가정하자 . 따라서 는 거짓입니다.P피PP피PP 첫 번째는 제외 된 중간 법칙 (LEM)과 동일하며 두 번째는 부정을 증명하는 방법입니다. 중단 문제 …

23 halting-problem  coq 

해결되지 않은 컴퓨터 과학 문제 목록에서 Wikipedia에 있었고 다음을 발견했습니다. 공개 키 암호화가 가능합니까? RSA 암호화가 공개 키 암호화의 한 형태라고 생각 했습니까? 이것이 왜 문제입니까?

23 cryptography 

이것은 어셈블리 코드입니다 section .text global _start ;must be declared for using gcc _start: ;tell linker entry point mov edx, len ;message length mov ecx, msg ;message to write mov ebx, 1 ;file descriptor (stdout) mov eax, 4 ;system call number (sys_write) int 0x80 ;call kernel mov eax, 1 ;system …

23 assembly 

컴퓨터 과학의 블랙홀처럼. 우리는 그것들이 존재한다는 것을 알 수 있지만 그들 중 하나가있을 때 우리는 그것이 그들 중 하나라는 것을 절대 알 수 없습니다.

23 halting-problem  correctness-proof 

나는 그 단어들을 꽤 많은 출판물에서 읽었으며 객체 탐지와 의미 론적 세그먼테이션 vs 로컬라이제이션의 차이점이 무엇인지 분명히하는 용어에 대한 좋은 정의를 갖고 싶습니다. 정의를위한 소스를 제공 할 수 있다면 좋을 것입니다.

23 terminology  computer-vision