컴퓨터 과학

"Flow Free"퍼즐은 양의 정수 과 격자 그래프 에서 고유 한 정점의 (정렬되지 않은) 쌍으로 구성되어 각 정점이 최대 한 쌍이되도록합니다. 이러한 퍼즐에 대한 해결책 은 그래프에서 방향이 지정되지 않은 경로 의 집합으로 각 정점이 정확히 하나의 경로에 있고 각 경로의 끝 집합이 퍼즐의 정점 쌍 중 하나입니다. 이 이미지 는 …

15 np-hard  square-grid 

일부 CPU에는 플래그 레지스터 (ARM, x86, ...)가 있고 다른 CPU에는 없습니다 (MIPS, ...). 부호, 오버플로 등을 검사하기 위해 제로 레지스터와 조건 분기를 사용하는 대신 플래그 레지스터 다음에 분기 명령어를 업데이트하는 CMP 명령어를 사용하면 어떤 이점이 있습니까?

15 computer-architecture 

MIPS 설계자가 시프트 전용 5 비트를 포함하고 별도의 opcode 및 기능 비트를 갖는 이유에 대해 혼란 스럽습니다. MIPS는 RISC이기 때문에 몇 가지 명령으로 만 시프트를 수행한다고 가정하므로 5 비트는 즉시 배치 할 수있을 때 공간을 낭비하는 것처럼 보입니다. 나는 op-code와 funct가 R- 및 I-type 명령어를 구별하기 위해 별도로 있다고 가정하지만 …

15 computer-architecture 

나는이 사면체 과 다면체 . 는 항상 모든 정점을 와 공유하도록 제한 됩니다. 나는 여부를 확인하려면 거짓말 내부 .티tt t P t피pp티tt피pp티tt 피pp 나는 그것이 솔루션에 기여할 수있는 경우에 문제가 하나 개의 세부 사항을 추가하고 싶습니다 : A는 델 로니 사면체와의 얼굴 삼각형이고 있습니다 들로네 강하게 모두의 정점에 대한 . …

15 algorithms  computational-geometry  topology 

다음과 같이 튜링 머신을 시뮬레이트하는 프로그램을 구성하여 PROLOG가 튜링 완료된 것으로 입증 될 수 있음을 알고 있습니다. turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, Ls, Rs0, Rs) :- symbol(Rs0, Sym, RsRest), once(rule(Q0, Sym, Q1, NewSym, …

15 programming-languages  turing-completeness  logic-programming  prolog 

0 또는 1 요소로 동등한 행렬 (또는 원하는 경우 n × n )을 모두 구성하려고합니다. 동일한 행렬을 제공하는 작업은 i 및 j 행과 i 및 j 열을 동시에 교환하는 것입니다. 예. 대 1 ↔ 2 ( 0 0 0 0 1 1 1 0 0 ) ~ ( 1 0 …

15 algorithms  combinatorics 

시험 공부를하려고하는데 TLB와 데이터 캐시의 작동 방식이 혼란 스러웠습니다. TLB는 본질적으로 가장 최근에 사용 된 물리적 주소의 캐시라는 것을 알고 있습니다. 그러나 나는 교과서에있는 다이어그램을보고 있었는데 (아래 그림 참조), 무슨 일이 일어나고 있는지 이해할 수 없습니다. 갑자기 물리적 주소를 분할하고 캐시를 색인하는 데 사용합니다. 그러나 왜 캐시와 데이터를 별도로 표시합니까? …

15 computer-architecture  cpu-cache  virtual-memory 

나는 이것이 숙제 문제가 아니라고 말하면서 시작하고 싶습니다. 더 나은 프로그래머가 될 유명한 CLRS 텍스트 인 알고리즘 소개를 읽고 있습니다. 나는이 책에 주어진 문제와 연습 문제를 스스로 해결하려고 노력하고있다. 내가 해결하기 위해 노력하고 훈련은 10.1-2을 에서 제 10 장 기본 데이터 구조 CLRS 두 번째 판에서. 그 상태는 다음과 같습니다. …

15 data-structures  arrays  stacks 

library(ggplot2) compress <- function(str) { length(memCompress(paste(rep("a", str), collapse=""), type="bzip2")) / nchar(paste(rep("a", str), collapse="")) } cr <- data.frame(i = 1:10000, r = sapply(1:10000, compress)) ggplot(cr[cr$i>=5000 & cr$i<=10000,], aes(x=i, y=r)) + geom_line() 압축비는 "a"에 대해 37에서 시작하여 39 "a"에 손익분기 점에 도달합니다 (압축비 = 1). 차트는 매우 매끄럽게 시작하여 98 "a"에 대해 …

15 data-compression 

최근 흥미로운 질문이 제기되어 삭제되었습니다. 일반 언어 LLL 경우 DFA 복잡도 는이를 수용하는 최소 DFA의 크기이며, NFA 복잡도 는이를 수용하는 최소 NFA의 크기입니다. 적어도 알파벳의 크기가 제한되지 않을 때, 두 복잡성 사이에 지수 적 분리가 존재한다는 것은 잘 알려져있다. 실제로, 모든 기호를 포함 하지 않는 모든 단어로 구성된 알파벳 { …

15 regular-languages  finite-automata 

다항식 시간에 해결할 수있는 어려운 결정 문제의 예는 무엇입니까? 최적의 알고리즘이 "느린"문제 또는 가장 빠른 알려진 알고리즘이 "느린"문제를 찾고 있습니다. 다음은 두 가지 예입니다. 완벽한 그래프 인식. FOCS'03 논문 [1] Cornuéjols에서 Liu와 Vuskovic는 문제에 대해 시간 알고리즘을 제공했으며, 여기서 은 꼭짓점의 개수입니다. 이 경계가 개선되었는지 확실하지 않지만 이해하면 더 빠른 …

15 algorithms  complexity-theory  reference-request 

DAG가 있습니다. 우리는 노드 F:V→N에프:V→엔F\colon V\to \mathbb N (느슨하게 말해서 노드에 번호를 매 깁니다). 다음 규칙을 사용하여 새로운 방향 그래프를 작성하려고합니다. 동일한 번호의 노드 만 동일한 새 노드로 계약 할 수 있습니다. F(x)≠F(y)⇒x′≠y′F(x)≠F(y)⇒x′≠y′F(x) \neq F(y) \Rightarrow x' \neq y' . (그러나 x′≠y′⇏F(x)≠F(y)x′≠y′⇏F(x)≠F(y)x' \neq y'\nRightarrow F(x) \neq F(y) ) 우리는 새로운 …

15 algorithms  graphs  np-complete  reductions 

기본 분산 시스템 논문 인 Part Time Parliament (Paxos 프로토콜)에서 Leslie Lamport는 Paxon 의회 프로토콜에 관여하는 가상의 입법자를 지명합니다. 이 글 에 따르면 그는 다음과 같이 지적합니다. 나는 그리스 입법자들에게 현장에서 일하는 컴퓨터 과학자들의 이름을 주었다. Guibas의 도움으로 가짜 그리스 방언으로 음역했다. 의원의 이름을 딴 과학자에 대한 정보가 있습니까? 논문의 …

15 distributed-systems  history 

위키 백과 는 말합니다 : 완전한 격자는 수학 및 컴퓨터 과학의 많은 응용 분야에 나타납니다 계산에 사용되는 표준 부울 대수가 완전한 격자라는 사실을 언급하고 있습니까? 부울 논리 대신에 추상적 인 수준의 격자에서 작업하면 얻을 수있는 것이 있습니까? 구글 검색은 주제에 대해 많은 것을 찾지 못하지만 아마도 잘못된 키워드를 사용하고있을 것입니다.

15 lattices  order-theory 

주어진 그래프 G에 두 개의 다른 최소 스패닝 트리가 있는지 여부를 감지하는 효율적인 방법을 찾으려고합니다. 또한 3 개의 최소 스패닝 트리가 있는지 확인하는 방법을 찾고 있습니다. 내가 한 순진한 해결책은 Kruskal의 알고리즘을 한 번 실행하고 최소 스패닝 트리의 총 중량을 찾는 것입니다. 나중에 그래프에서 가장자리를 제거하고 Kruskal 알고리즘을 다시 실행하고 …

15 algorithms  graph-theory  graphs  spanning-trees