컴퓨터 과학

알고리즘 문제가 있습니다. 음이 아닌 n 개의 정수로 구성된 배열 (또는 집합) TTT 가 주어 집니다. 최대 세트 찾기 S 의 T를 같은 그 모든 ∈ S , ⩾ | S | .nnnSSSTTTa∈Sa∈Sa\in Sa⩾|S|a⩾|S|a\geqslant |S| 예를 들면 다음과 같습니다. 만약에TTT = [1, 3, 4, 1, 3, 6],SSS 될 수있다 (3, …

14 algorithms  optimization  sets 

2-SAT가 P에 있다는 것은 잘 알려져 있지만, 주어진 2-SAT 공식에 대한 해의 수를 세는 것, 즉 # 2-SAT가 # P-hard라는 것은 매우 흥미로운 것 같습니다. 즉, 우리는 결정이 쉽지만 계산이 어려운 문제의 예를 가지고 있습니다. 그러나 임의의 NP- 완전 문제 (예 : 3-COL)를 고려하십시오. 계수 변수의 경도에 대해 즉시 말할 …

14 complexity-theory  counting 

방금 이 알고리즘을 이진 검색 알고리즘으로 간주 할 수 있습니까 ?를 읽었습니다 . 몇 년 전에 날짜 / 시간 창으로 큰 일반 텍스트 파일에서 로그 항목을 찾기 위해 로그 파일에 대한 인덱서 / 검색을 작성했음을 상기했습니다. 이 작업을 수행하는 동안 보간 검색을 시도하기로 결정했습니다 (이것이 무엇인지 알지 못했지만 아이디어 자체를 …

14 algorithms  search-algorithms  binary-search 

나는 NAND 게이트를 사용하여 모든 진리표를 구현하는 회로를 만들 수 있으며 최신 컴퓨터는 NAND 게이트로 구성됩니다. NAND 게이트와 튜링 완성도 사이의 이론적 연결은 무엇입니까? NAND 게이트 회로는 튜링 머신보다 유한 오토마타에 더 가깝습니다. 내 직감은 플립 플롭을 만들 수 있으므로 NAND 게이트에서 레지스터와 메모리를 만들 수 있으며 무한 메모리는 Turing …

14 turing-machines  turing-completeness  digital-circuits 

따라서 일반적으로 스도쿠는 이지만이 질문은 퍼즐 까지 확장됩니다 . 스도쿠 퍼즐에 대한 해결책을 찾는 데 많은 다항식 시간 공제 규칙이 있습니다. 그러나 때로는 값을 추측하고 일련의 결론을 내려야 셀 값 또는 셀 값 조합을 제거 할 수 있습니다. 그러나 유효한 솔루션을 찾은 후에도 솔루션이 고유하다는 보장은 없습니다. 유효한 스도쿠 퍼즐에는 …

14 complexity-theory  sudoku 

나는 누군가가 이것에 대해 생각하기 전에 또는 그것을 즉시 무시했다고 확신하지만, 희소 세트에 대한 Mahaney의 정리와 함께 Schaefer의 이분법 이론은 왜 P = NP를 의미하지 않습니까? 내 추론 은 다음과 같습니다. 무한 결정 가능한 스파 스 세트와 교차하는 SAT와 동일한 언어 을 만듭니다 . 그런 다음 도 드 물어야합니다. 이후 …

14 complexity-theory  np-complete  satisfiability  p-vs-np 

여기에 나는 읽기 : Haskell은 확실히 가장 진보 된 유형 시스템을 가지고 있지 않지만 (연구 언어를 세어도 가까이 있지는 않지만) 실제로 프로덕션에 사용되는 모든 언어 중에서 Haskell이 최상위에있을 것입니다. 그래서 두 가지를 묻습니다. 어떤 연구 언어가 Haskell보다 더 강력한 유형 시스템을 가지고 있는지; 그들은 무엇을 개선합니까? 나는 단지 프로그래머이기 때문에 …

14 programming-languages  type-theory 

나는 이것이 매우 일반적인 질문이라는 것을 알고 있습니다. 그러나 나는 다른 마음을 가지고 있습니다. 나는 여기에 그것을 분명히하려고 노력할 것입니다. 내가 아는 것에서 CPU가 실행하는 모든 명령은 기계 언어이며 모든 CPU가 할 수있는 것은 ALU와 트랜지스터 (하드웨어 수준에 가면) 덕분에 산술 연산을 수행하는 것입니다. 그러나 이것은 이해하는 것보다 타이핑하기가 더 …

14 computer-architecture  cpu 

알고리즘의 복잡성을 측정하기 위해 시간 복잡성입니까 아니면 계산 복잡성입니까? 그들 사이의 차이점은 무엇입니까? 나는 알고리즘에서 기본 (가장 비싼) 작업의 최대 (가장 나쁜) 수를 계산하는 데 사용했습니다.

14 complexity-theory  terminology  algorithm-analysis  time-complexity 

나는 BIG-의 측면에서, 가장 잘 알려진 알고리즘 무엇인가 궁금하네요 정수 선형 계획법을 해결하기 위해, 표기?영형영형O 나는 문제가 완전 하다는 것을 알고 있으므로 다항식을 기대하지 않습니다. 그리고 CPLEX와 같은 실제 응용 프로그램에 사용되는 휴리스틱이 많이 있지만 정확한 알고리즘의 공식적인 최악의 복잡성에 더 관심이 있습니다.엔피엔피NP 일부 - 완전한 문제는 시간의 알고리즘이 및 …

14 algorithms  complexity-theory  reference-request  np-complete  integer-programming 

같은 언어 있습니다 많은 하나의 감소에 따라. 에도 완전한 문제가 있음을 아는 것은 쉽지 않습니다. S. Schmitz [1] 은 과 사이의 일부 클래스를 고려 합니다. 그들은 특별히 만들어진 축소에서이 수업에 대한 완전한 문제를 제시합니다.HALTTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} 약한 감소와 관련하여 (일명 )에 대한 완전한 문제가 있습니까? 튜링 감소는 모든 작업을 수행 할 수 …

14 computability  reductions  turing-completeness  recursion-theory 

나는 "전산 복잡성 : 현대적 접근"(2009) 책에 언급 된 Karp-Lipton 정리의 증거를 이해하려고 노력하고있다. 특히,이 책은 다음을 설명합니다. 카르 프-리프 톤 정리 만약 NP 다음 PH .P ∖ p o l y⊆⊆\subseteq 피∖ p o l y피∖피영형엘와이P_{\backslash poly} = Σ피2=Σ2피= \Sigma^p_2 증명 : 정리 5.4, 저자는 보여 PH가 ,이 표시에 …

14 complexity-theory  complexity-classes 

예를 들어 xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) ? 표현은 일반적인 고등학교 대수에서 나왔지만 , 역수, 빼기 또는 나누기가없는 산술 덧셈과 곱셈 (예 : )으로 제한됩니다. 문자는 변수입니다.2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 도움이된다면 이외의 숫자 값으로 표현 가능한 표현은 금지 할 수 있습니다 . 즉 또는 또는 아닙니다 .111x2x2x^23x3x3x444 multilinear , 이외의 거듭 제곱 없음 : 은 괜찮지 …

14 complexity-theory  time-complexity  decision-problem 

최근에 한 학생이 NP 경도 증거를 확인하도록 요청했습니다. 그들은 다음 라인을 따라 축소를 수행했습니다. 내 문제 에 대해 NP- 완전으로 알려진 이 문제 줄입니다 (폴리 타임 다 대일 감소로) 는 NP-hard입니다.P′P′P'PPPPPP 내 대답은 기본적으로 다음과 같습니다. 이후 의 값을 가진 경우가 당신이 감소를 건너 뛸 수 있도록이 하찮게 튜링 계산할 …

14 complexity-theory  reference-request  complexity-classes  real-numbers  computable-analysis 

마이크로 커널은 모든 드라이버를 사용자 공간 프로그램으로 구현하고 커널 자체에서 IPC와 같은 핵심 기능을 구현합니다. 그러나 모 놀리 식 커널은 드라이버를 커널의 일부로 구현합니다 (예 : 커널 모드에서 실행). 마이크로 커널은 사용자 공간에서 드라이버 간 메시지 전달을 처리해야하기 때문에 단일 커널보다 느리다는 주장을 읽었습니다. 이것이 사실입니까? 하드웨어가 너무 느려서 마이크로 …

14 operating-systems  performance  os-kernel