컴퓨터 과학

내 지식으로는 존재하지 않습니다 O(n)O(n)O(n) 다음 문제를 해결하는 최악의 알고리즘 : 주어진 길이의 시퀀스 nnn 유한 정수로 구성되면 모든 요소가 후속 요소보다 작거나 같은 순열을 찾습니다. 그러나 전이 선택적 계산 모델 에는 존재하지 않는다는 증거가 있는가? 정수의 범위를 제한하지 않습니다. 나는 또한 솔루션을 비교 정렬로 제한하지 않습니다.

9 complexity-theory  sorting  computation-models  lower-bounds 

다음 문제를 고려하십시오. 주어진 : 가장자리에 음이 아닌 실제 무게를 가진 완전한 그래프. 작업 : 최대 무게의 평면 하위 그래프를 찾으십시오. (가능한 모든 평면 하위 그래프 중에서 "최대"입니다.) 참고 : 최대 가중치 하위 그래프는 삼각 분할입니다. 완전한 그래프가 개의 꼭짓점에 있으면 가장자리를 갖습니다.엔엔nm = 3 n - 6미디엄=삼엔−6m=3n-6 질문 :이 …

9 algorithms  graph-theory  optimization  combinatorics 

몇 가지 가능한 설명을 들었으므로 신뢰할 수있는 참조를 원합니다. 05.19 업데이트 : 내 학생 중 한 명이 자신의 논문에서 그 이름이 아래 설명 (1)에서 유래했기 때문에이 질문에 관심이 있습니다. 지금까지 나는 그것이 설명 (2)에서 온 것이라고 생각 / 들었다. 나는 그의 논문에서 잘못된 것을 내버려두고 그것이 옳다면 그것을 제거하라고 말하는 …

9 terminology  reference-request  history 

나는 현재 Markov chain lumping에 관한 논문을 읽고 있는데 Markov chain과 일반 지향 가중치 그래프의 차이점을 보지 못했습니다. 예를 들어 Markov 체인의 최적 상태 공간 덩어리 기사 에서 CTMC (연속 시간 Markov 체인)에 대한 다음 정의를 제공합니다. 우리는 유한 한 CTMC를 고려합니다 (S,Q)(S,Q)(\mathcal{S}, Q) 상태 공간 S={x1,x2,…,xn}S={x1,x2,…,xn}\mathcal{S} = \{x_1, x_2, …

9 probability-theory  weighted-graphs  mathematical-foundations  markov-chains 

이것은 또 다른 질문의 후속이다 여기 , 내가 너무 철학적되지 않습니다 바랍니다. Raphael이 이전 질문에 대한 의견에서 지적했듯이 실제로 "계산 가능"에 대한 정의를 얻지는 못하지만 일부 논문에 따르면 튜링보다 약한 계산 모델에 대해서는 정의가 명확하지 않습니다. 입력 및 출력의 인코딩으로 인해 기계. 튜링 계산 의 일반적인 정의는 다음과 같습니다. 정의 …

9 computability  computation-models 

에서 프로그래밍 언어의 개념 , 존 미첼은 정적 타입 검사 때문에 중단 문제의 (지나치게 엄격한) 반드시 보수적이라고 씁니다. 그는 예를 들면 다음과 같습니다. if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else (expression-with-type-error) 누군가 실제적으로 우려 할만한 미해결 된 답변을 제공 할 수 있습니까? Java는 다음과 같은 경우 동적으로 확인 된 캐스트를 허용합니다. if …

9 programming-languages  compilers  type-checking 

나는 공식 언어 대학 과정을 공부하고 있기 때문에 정규 표현식을 사용하여 소수를 찾는 방법을 설명하는 매혹적인 게시물 ( One Two )을 우연히 발견했습니다 . 내가 말한 것처럼, 정규 표현식 이 아닌 정규 표현식 . 정규 표현식은 유한 상태 오토마타 (Finite State Automata)에 의해 계산 된 문자열과 일치 할 수 있고 …

9 regular-expressions 

소형 임베디드 시스템의 이미지 데이터에 5 개의 교차 중앙값 필터를 사용합니다. x x x x x 이 알고리즘은 실제로 간단합니다. 5 개의 부호없는 정수 값을 읽고, 가장 높은 2를 얻고, 그에 대한 계산을 수행하고, 부호없는 정수 결과를 다시 씁니다. 좋은 점은 5 개의 정수 입력 값이 모두 0-20의 범위에 있다는 …

9 algorithms  efficiency  selection-problem 

저는 컴퓨터 과학에 관심이있는 고등학교 2 학년입니다. #SAT를위한 멋진 알고리즘을 개발했으며 과학 박람회 프로젝트를 구현하고 있습니다. 우리 학교에서 최고의 과학 교사이자 AP Comp Sci 교사이기도 한 고문은 그녀가 내 프로젝트에 대해 전혀 전혀 모른다고 말하며 #SAT가 왜 그런지 그녀에게 간단히 설명 할 수 있어야한다고 말했습니다. 5 분 안에 중요합니다. SAT가 …

9 algorithms  satisfiability 

다음 문제를 고려하십시오. 입력 :리스트X,YX,YX,Y 정수 목표 : 정수가 있는지 확인xxx 그것은 두 목록에 있습니다. 두 목록을 모두 가정하자 X,YX,YX,Y 크기가 nnn. 이 문제에 대한 결정 론적 선형 시간 알고리즘이 있습니까? 즉,이 문제를 해결할 수 있습니까?O(n)O(n)O(n) 무작위성을 사용하지 않고 결정 론적으로 시간? 불행히도 목록 요소가 모두 작다고 가정 할 수는 …

9 algorithms  complexity-theory  lower-bounds 

5 페이지 10 주년 기념 에디션, Quantum Computation and Quantum Information, Nielsen & Chuang에서 인용하고 싶습니다 (강조 광산). 강력한 교회에 대한 한 가지 부류의 과제 – 튜링 논문은 아날로그 계산 분야에서 비롯됩니다. 튜링 이후 몇 년간 여러 연구팀은 특정 유형의 아날로그 컴퓨터가 튜링 머신에서 효율적인 솔루션이 없다고 생각되는 문제를 효율적으로 …

9 computation-models  church-turing-thesis 

oracle Turing Machine을 사용할 때 복잡한 클래스에 대해 건전하고 유효한 진술을 어떻게 계속할 수 있습니까? 내 이해에 따르면 (주제에 대한 입문 교과서에 제공된 정의를 기반으로) oracle Turing machine은 한 번의 계산 단계에서 oracle 언어에 대한 문자열의 멤버쉽 상태를 결정할 수 있습니다. 그러나 종종 사용되는 오라클 언어는 일정한 시간에 해결하기가 불가능합니다 …

9 complexity-theory  oracle-machines 

저는 현재 컴퓨터 과학 시험을 공부하고 있는데 다소 혼란스러워하는 개념을 접했습니다. 키보드에서 키를 입력하면 ASCII 문자가 CPU로 전송됩니다. 이 문자를 수신하면 CPU는 동일한 문자를 화면에 출력합니다. 이 과정을 에코라고합니다. CPU를 사용하는 대신 키보드 / 스크린 장치 내에서이 에코 프로세스를 수행하여 CPU가 다른 유용한 작업을 자유롭게 수행 할 수없는 이유는 무엇입니까? …

9 computer-architecture  operating-systems  user-interface 

n비트 정수의 제곱근의 바닥을 계산하기위한 알려진 이차 알고리즘이 있습니까? 순진한 알고리즘은 def sqrt(x): r = 0 i = x.bit_length() // 2 while i >= 0: inc = (r << (i+1)) + (1 << (i*2)) if inc <= x: x -= inc r += 1 << i i -= 1 return …

9 algorithms  numerical-algorithms 

아무도 모르는 RAM이 무엇인지 설명해 줄 수 있습니까? 나는 다음과 같은 설명 을 통해 분명히 알 수 있지만 기술적 측면을 이해하고 싶습니다. 개인 정보 보호를 보장하기 위해 암호화만으로는 충분하지 않습니다. 공격자가 암호화 된 저장소에 대한 액세스 패턴을 관찰 할 수 있으면 응용 프로그램이 수행하는 작업에 대한 중요한 정보를 여전히 배울 …

9 terminology  computer-architecture  security  memory-hardware  memory-access