컴퓨터 과학

우리는 N1×N2N1×N2N_1 \times N_2 그리드를 가지고 있습니다. 이 그리드에는 사각형 모음이 있으며 각 사각형은 N1N1N_1 x N2N2N_2 이진 행렬 로 나타낼 수 있습니다 RRR. 그리드를 사각형으로 덮고 싶습니다. 이 세트의 결정 버전은 NP-complete 문제입니까? 입력 : 모눈에있는 사각형의 모음 C={R1,R2,…,RL}C={R1,R2,…,RL}\mathcal{C}=\{R_1,R_2,\dots,R_L\} (입력 크기 : ) 및N1N2LN1N2LN_1N_2LK∈N+K∈N+K \in \mathbb{N}^+ 출력 : 부분 …

15 complexity-theory  np-complete  set-cover 

P = NP 문제에 대한 해결책의 증명 복잡성에 대한 연구가 있었습니까? 그렇지 않다면, 문제에 대한 진전이 없다면, P = NP 문제를 해결하는 증거가 초 다수의 단계를 필요로한다고 추측하는 것이 합리적이지 않습니까?

15 complexity-theory  np 

정확히 5를 반복하여 1 에서 n - 5 사이의 정수를 포함하는 n ≥ 6 크기의 배열이 있다고 가정합니다 . O ( n ) 시간 에 반복되는 숫자를 찾을 수있는 알고리즘을 제안해야합니다 . 나는 내 인생에서 아무것도 생각할 수 없다. 나는 정렬이 기껏해야 O ( n log n ) 일 것이라고 …

15 algorithms  arrays  searching 

이 게시물을 개선하고 싶습니까? 인용과 답변이 올바른 이유에 대한 설명을 포함하여이 질문에 대한 자세한 답변을 제공하십시오. 세부 사항이없는 답변은 편집하거나 삭제할 수 있습니다. 특정 작업에 특화된 프로그래밍 언어가 종종 있습니다. 일부 프로그래밍 언어는 배열 산술 (예 : 행렬 및 다차원 배열 사용)이 뛰어나지 만 다른 언어로는 재현하기 어려운 상위 수준 …

15 programming-languages 

적어도이 코드를 작성하면 Java에서 : float a = 1000.0F; float b = 0.00004F; float c = a + b + b; float d = b + b + a; boolean e = c == d; 의 값 것이 . 나는 이것이 수를 정확하게 표현하는 방식으로 부동 소수점이 매우 제한되어 있기 …

15 arithmetic  floating-point  numerical-algorithms 

특정 노드를 포함하는 그래프에 모든 간단한 사이클을 나열 하는 것이 NP -hard 인지 묻는 질문을 Stack Overflow에서 읽고 있었는데 기존의 복잡한 클래스를 생각할 수 없었습니다. "이 문제에 대한 모든 해결책을 열거하십시오." 클래스 NP어떤 의미에서 는 적어도 하나의 솔루션이 존재하는지, FNP 클래스 가 단일 솔루션을 생성하도록 요구하고, 클래스 #P 는 얼마나 …

15 complexity-theory  reference-request  complexity-classes  enumeration 

저는 수학 공부에 큰 열정을 갖고있는 컴퓨터 과학의 대학생입니다. 나는 컴퓨터 과학 또는 이론적 컴퓨터 과학이 수학과 논리의 직접적인 분지이며 또한 컴퓨터 과학 학위가 항상 수학 중심이어야한다는 견해를 가지고 있습니다. 내가 틀렸다면 정정 해주세요. 나는 솔직히 모든 프랭크 될 수있는이 개 주제에 많은 차이가없는 느낌 "계산이" 포함 "계산" 모든하지만, "계산" …

15 mathematical-foundations 

두 개의 비교 가능한 항목 목록 (u 및 s)을 가정하십시오. INV (u)를 u의 반전 수로 둡니다. INV (u)의 최소 증가로 s 항목을 u에 삽입하는 효율적인 알고리즘을 찾고 있습니다. 기본적으로 첫 번째 목록의 순서를 유지하면서 개체를 "가능한 한 정렬 된 상태로"유지하면서 목록에 개체를 삽입하고 싶습니다. 예: u = [4,6,2,9,7] INV(u) = …

15 algorithms  sorting 

에 필립와 들러의 논문에서 무료 정리 (theorem) 그는 Parametricity에 2 절에서 언급하는 다형성 람다 미적분학의 순진한 이론 이론적 모델은 없다 순진한 집합 이론적 모델 유형은 집합이고 함수는 합리적으로 보이는 집합 이론적 함수입니다. 왜 그는 다형성 람다 미적분학의 순진한 이론 이론적 모델이 없다고 말합니까?

15 functional-programming 

Dijkstra에 매우 익숙하며 알고리즘에 대한 특정 질문이 있습니다. 거대한 그래프 (예 : 35 억 개의 노드 (모든 OpenStreetMap 데이터))가 있으면 그래프를 메모리에 넣을 수 없으므로 그래프가 데이터베이스의 디스크에 저장됩니다. 이러한 그래프에서 최단 경로를 계산할 수있는 라이브러리가 있습니다. 그들은 이것을 어떻게합니까? 더 구체적으로, Dijkstra의 알고리즘을 실행하기 위해 그래프의 필요한 부분을 어떻게로드합니까? …

15 algorithms  graph-theory  graphs  shortest-path 

이라고하자 Σ={0,1}Σ={0,1}\Sigma = \{ 0, 1 \}. 언어 L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^* 는 회 문인 모든 문자열 www 대해 경우 "반대 문 방지"속성이 있다고합니다 w∉Lw∉Lw\notin L. 또한 회문 이 아닌 모든 문자열 uuu 대해 u ∈ L 또는 R e v e r s e ( u ) ∈ L 이지만 …

15 formal-languages 

: 내 텍스트 책에서 언급되어 경우 ∅이 비어있는 언어입니다.∅∗={ϵ}∅∗={ϵ}\emptyset^*=\{\epsilon\}∅∅\emptyset 그러나 이며 L 은 모든 언어입니다.L⋅∅=∅L⋅∅=∅L \cdot \emptyset = \emptysetLLL Kleene 스타 작업이 이라는 사실을 지적하기 때문에이 개념을 직관적으로 파악할 수 없습니다 .∅∗=∅0∪∅1∪∅2∪⋯∅∗=∅0∪∅1∪∅2∪⋯\emptyset^*=\emptyset^0 \cup \emptyset^1 \cup \emptyset^2 \cup \cdots 그래서 왜 동일하지 ∅ ?∅∗∅∗\emptyset^*∅∅\emptyset

15 formal-languages  kleene-star 

상태 머신에서 단일 패스를 사용하여 문서를 구문 분석 할 수 있습니다. 두 번 통과하면 어떤 이점이 있습니까? 텍스트를 토큰으로 변환 할 수있는 어휘 분석기가 있고 해당 토큰에 대한 생산 규칙을 ​​테스트 할 파서가 있습니까? 텍스트에 직접 제작 규칙을 적용하는 단일 패스가없는 이유는 무엇입니까?

15 compilers  parsers 

지난 가을 저는 일리노이 대학교에서 Blue Waters 슈퍼 컴퓨터를 둘러 보았습니다. 나는 누군가가 전체 컴퓨터를 사용했는지 물었다. 나는 항상 여러 프로젝트에서 작업하고 있다고 들었습니다. 그것은 슈퍼 컴퓨터의 유용성에 대해 궁금하게 만들었습니다. 아마도 Blue Waters는 업계와 대학이 공유해야한다는 점에서 특이합니다. 모릅니다. 단일 슈퍼 컴퓨터의 프로세서와 메모리를 관리하는 데 약간의 오버 헤드가 …

15 computer-architecture 

어떻게합니까 평균?logO(1)nlogO(1)⁡n\log^{O(1)}n big-O 표기법을 알고 있지만이 표기법은 의미가 없습니다. 검색 엔진이 이것을 올바르게 해석하는 방법이 없기 때문에 그것에 대해 아무것도 찾을 수 없습니다. 약간의 맥락에서, 내가 찾은 문장은 "[...]라고 읽습니다. 공간을 사용하고 최대 시간 사용하면 [효율적] 함수를 호출합니다. 품목 당."로그 O ( 1 ) nO(logn)O(log⁡n)O(\log n)logO(1)nlogO(1)⁡n\log^{O(1)}n

15 asymptotics  landau-notation