컴퓨터 과학

Google 해시 코드 2015 테스트 라운드 ( problem statement )는 다음 문제에 대해 질문했습니다. 입력 : 일부 사각형이 표시된 그리드 , 임계 값 T ∈ N , 최대 면적 A ∈ NMMMT∈NT∈NT \in \mathbb{N}A∈NA∈NA \in \mathbb{N} 출력 : 각 사각형에 적어도 T 표시 사각형이 포함되고 각 사각형에 최대 A의 영역이 …

11 complexity-theory  reductions  np-hard 

테이프 / 테이프가 튜링 머신의 공식적인 정의의 일부가 아닌 이유가 궁금합니다. 예를 들어 Wikipedia 페이지에서 Turing machine의 공식적인 정의를 고려 하십시오 . Hopcroft 및 Ullman에 따른 정의에는 유한 상태 , 테이프 알파벳 , 공백 기호 , 초기 상태 , 최종 상태 세트 , 그리고 전환 기능 . 테이프 자체는 없습니다.Γ …

11 turing-machines  computation-models 

저는 현재 대학에서 동시 프로그래밍 과정에 참석하고 있으며 최근 모니터 개념에 대해 이야기하기 시작했습니다. 상호 배제의 필요성을 이해하지만 왜 모니터를 사용해야하는지 이해하지 못합니다. 내가 이해하는 것처럼 모니터는 프로세스가 항상 중요 섹션에 정확히 하나 또는 전혀 없음을 보장합니다. 우리는 세마포어로 정확하게 그것을 달성 할 수 있습니다. 또한 우리는 세마포어를 사용하여 모니터를 …

11 concurrency  synchronization  mutual-exclusion 

저는 CS 학생을 시작하고 알고리즘을 배우고 있습니다. 양자 컴퓨터에서도 일반적인 정렬 알고리즘은 시간 보다 더 나을 수 없다고 들었습니다 . 그러나 팩토링 알고리즘이 훨씬 빠르다는 것도 알고 있습니다. 일반적으로 양자 컴퓨터에서 어떤 종류의 알고리즘이 훨씬 빨라질까요?N 로그엔nlog⁡nn\log n

11 algorithms  quantum-computing 

"XOR 관계가있는 2-SAT"에 대한 다항식 알고리즘이 있는지 궁금합니다. 2-SAT와 XOR-SAT는 모두 P에 있지만 조합되어 있습니까? 입력 예 : 2-SAT 부분 : (a or !b) and (b or c) and (b or d) XOR 부분 : (a xor b xor c xor 1) and (b xor c xor d) 다시 말해, …

11 np-complete  satisfiability  xor  2-sat 

나는 그 어리석은 것을 알고 있지만, 혼란스러워서 이것을 해결하는 데 도움이 필요합니다. 라고 가정 하면 모든 오라클 대해 있는데, 이는 인 일부 Oracle 가 존재한다는 사실과 상반 되므로피= N피피=엔피P=NPㅏㅏA피ㅏ= N피ㅏ피ㅏ=엔피ㅏP^A=NP^AㅏㅏA피ㅏ≠ N피ㅏ피ㅏ≠엔피ㅏP^A\neq NP^A피≠ N피피≠엔피P\neq NP 뭐가 문제 야? 감사!

11 complexity-theory  p-vs-np  oracle-machines 

일부 논문에 설명 된 합성 네트워크 (그래프)를 재현하려고합니다. Barabasi-Albert 모델은 "전력-법도 분포, "로 스케일없는 네트워크를 만드는 데 사용 되었다고 언급 되어 있습니다 .피ㅏ( K ) α의 K− λ피ㅏ(케이)∝케이−λP_A(k) ∝ k^{-λ} 피ㅏ피ㅏP_A 는 차수가 k 인 노드의 확률을 반환하는 확률 분포입니다 케이케이k. 예를 들어, 피ㅏ( 2 )피ㅏ(2)P_A(2) 는 네트워크에서 노드를 무작위로 …

11 algorithms  graph-theory  graphs  randomness  sampling 

결정 불가능한 문제가 존재한다는 것이 물리적 시스템의 예측 불가능 성을 즉시 암시합니까? 정지 문제를 고려해 봅시다. 먼저 일반적인 회로 기반 구성을 사용하여 물리적 UTM을 구성합니다. 그러면 회로의 입력 설정에 따라 회로 정지 여부를 결정할 수있는 결정 가능한 물리 이론이있을 수 없습니다. 이것은 사소한 것처럼 보이지만 양자 또는 혼란스러운 고려 사항과 …

11 computability  turing-machines  undecidability  physics 

우리가 알고있는 것은 π는 무한 꽤 가능성이 있다는 것이다 숫자의 가능한 모든 유한 한 문자열이 포함 ( 분리 연속을 ). 나는 최근에 πfs의 프로토 타입을 보았습니다. 이 프로토 타입은 당신이 생성 한 (또는 다른 사람) 모든 파일을 만들거나 이미 생성 할 것이라고 가정합니다. 이미 추출되어 있습니다. 파일을 pi 메타 데이터로 …

11 algorithms  data-compression  mathematical-programming 

레이블이없는 그래프의 경우 그래프 동 형사상 문제는 실제로 매우 잘 수행되는 여러 알고리즘으로 해결할 수 있습니다. 즉, 최악의 경우 실행 시간은 지수이지만 일반적으로 다항식 실행 시간이 있습니다. 레이블이 지정된 그래프의 경우 상황이 비슷하기를 바랐습니다. 그러나 "실제로 효율적인"알고리즘을 제안하는 참조를 찾기가 정말 어렵습니다. 비고 : 여기서는 동형이 라벨을 보존해야합니다. 즉, 2 …

11 algorithms  graph-theory  graph-isomorphism 

안드로이드 및 iOS와 같은 OS는 배터리 수명을 개선하기 위해 어떻게 든 최적화되었다는 것을 읽었습니다. 내 이해는 CPU가 특정 시간에 특정 수의 작업을 실행한다는 것이므로 필요한 작업 수를 줄이면 응용 프로그램 속도를 높일 수 있다고 생각하지만 CPU는 여전히 y 시간에 x 작업을 수행 하므로 그렇게해서는 안됩니다. 힘에 영향을 미칩니 까? 또한 …

11 computer-architecture  operating-systems  performance  program-optimization 

를 # -Complete로 알려진 계산 문제라고 하자 .PΠΠ\Pi피PP 가 hard 라는 것을 의미합니까 (즉 가 아니면 문제에 대한 PTAS 가 없음 )?A P X P = N PΠΠ\PiP엑스APXAPX피= N피P=NPP=NP

11 complexity-theory  complexity-classes  approximation  counting 

평균적으로``다항식 ''인 hard 문제 가 있는지 궁금합니다 .이를 해석하는 두 가지 방법이 있다고 생각합니까?NPNPNP 만약 , 해결 알고리즘이있을 수 시간 실행 상각 (평균 케이스)와 -hard 문제가 일정에 대한 ?P≠NPP≠NPP \neq NPNPNPNPO(nk)O(nk)O(n^k)kkk 또는 에있는 hard 문제가 있습니까?NPNPNPBPPBPPBPPPPPPPP 누구든지이 질문들 중 하나에 대한 답변을하거나 참조를 제공 할 수 있습니까?

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

Bicriteria 근사 알고리즘이란 무엇입니까? 이것은 데이터 스트림 클러스터링의 경우 계속 나타납니다. 이것이 다목적 최적화와 관련이 있습니까? 여기에서 내가 본 곳은 cis.upenn.edu/~sudipto/mypapers/datastream.pdf입니다. 이 논문은 k- 평균 알고리즘의 스트리밍 버전에 관한 것입니다. 이 논문에는 참고 문헌이 있지만 그중 어느 것도 기준 근사 알고리즘이 무엇인지에 대한 설명을 제공하지 않습니다. Google에서 정확한 정의를 제공하는 …

11 optimization  approximation 

빠른 인덱싱, 추가, 프리 펜딩 및 반복 (좋은 지역성) 작업을 허용하는 배열과 유사하지만 불변 의 지속적인 데이터 구조를 찾고 있습니다. Clojure는 지속적인 Vector를 제공하지만 빠른 추가만을위한 것입니다. 스칼라의 Vector는 효과적으로 상수 시간 추가 및 접두어를 갖지만 Clojure 벡터와 동일한 데이터 구조 (비트 매핑 벡터 트리)를 기반으로하고 비트 매핑 벡터 트리를 …

11 data-structures  functional-programming  persistent-data-structure