완전히 임의의 스도쿠 를 생성하고 싶습니다 . 스도쿠 그리드를 ~ 사이의 정수 그리드로 정의합니다. 여기서 일부 요소는 생략 할 수 있습니다. 그리드는 스도쿠 제약 조건 (각 라인, 열 및 정렬 된 정사각형에 반복 된 요소가 없음)과 일치하도록 완성 할 수 있는 고유 한 방법 이 있고 그 점에서 최소입니다 (즉, …
휴리스틱 함수 h(n)h(n)h (n) 은 ... 노드 에서 목표 까지의 예상 비용 이 후속 단계 대한 단계 비용 + 후속 단계에서 목표 까지의 예상 비용 보다 크지 않은 경우 일관 됩니다 .nnnn′n′n' 이 목표 비용에 대한 실제 비용을 결코 과대 평가하지 않는 경우 허용 됩니다 .h(n)h(n)h(n) 인공 지능 과정의 교과서에 …
POSIX.1-2008에 정의 된 "기본 정규 표현식"은 대체를 지원하지 않습니다 a|b(일부 grep 구현은 이스케이프 된 버전을 인식하지만 \|). 정규 언어는 정의에 따라 통합되어 닫혀 있기 때문에 POSIX BRE가 유한 오토 마톤보다 표현력이 낮다는 의미입니까? 아니면 다른 구조를 사용하여 교대를 시뮬레이트하는 방법이 있습니까?
Rust와 같은 동시 런타임에서 성능을 향상시키기 위해 CPU를 변경할 수있는 변경 사항이 있습니까? 예를 들어, 동시 런타임에 도움이되는 분기 예측 구현 또는 캐시 크기가 변경 되었습니까? 현재 CPU 디자인이 C와 같은 절차 적 런타임에 더 최적화 될 수 있다는 인상을 받았습니다. 대신에 동시 런타임에 최적화하려고한다면 CPU가 어떻게 달라 집니까? 불가피하게, …
나는 의존적 타이핑 (DT)을 올바르게 이해했다고 생각했지만이 질문에 대한 답변 : /cstheory/30651/why-was-there-a-need-for-martin-l%C3% B6f-to-create-intuitionistic-type-theory 는 다르게 생각하게 만들었 습니다. DT를 읽고 그것들이 무엇인지 이해하려고 노력한 후에, 나는 DT의 개념으로 무엇을 얻을 수 있을지 궁금합니다. 비록 "어떻게 / 왜"를 정확하게 이해할 수는 없지만 간단하게 입력 된 람다 미적분학 (STLC)보다 더 유연하고 강력 …
잘 알려진 SAT 문제는 참고 용으로 여기 에 정의되어 있습니다 . DOUBLE-SAT 문제는 다음과 같이 정의됩니다. D O U B L E - S T = { ⟨ φ ⟩ | φ는 적어도 두 만족 과제를 갖는다 }DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ …
동적 프로그래밍은 재귀 알고리즘을 수행하는 데 필요한 시간을 줄일 수 있습니다. 동적 프로그래밍이 알고리즘의 시간 복잡성을 줄이는 데 도움이 될 수 있음을 알고 있습니다. 재귀 알고리즘에 의해 만족된다면 동적 프로그래밍을 사용하는 것이 알고리즘의 시간 복잡성을 감소시킬 것이라는 일반적인 조건인가? 동적 프로그래밍은 언제 사용해야합니까?
나는 초보자 (계산 복잡성 이론의 총 초보자)이며 질문이 있습니다. 'Traveling Salesman Problem'이 있다고 가정 해 봅시다. 다음 Dijkstra 알고리즘을 적용하면 문제가 해결됩니까? 시작점에서 두 점 사이의 최단 거리를 계산합니다. 우리는 요점으로갑니다. 소스 포인트를 삭제합니다. 그런 다음 현재 점에서 다음으로 가장 짧은 거리 점을 계산합니다. 매 단계마다 그래프를 작게 만들고 다음으로 …
알고리즘의 알고리즘 복잡성을보고 할 때 최신 계산에 근사한 일부 추상 머신 (예 : RAM)에서 기본 계산이 수행된다고 가정합니다. 이러한 모델을 통해 알고리즘의 시간 및 공간 복잡성을보고 할 수 있습니다. 이제 GPGPU 가 확산 되면서 전력 소비를 고려할 수있는 잘 알려진 모델이 있는지 궁금합니다. GPU는 상당한 양의 전력을 소비하는 것으로 잘 …
닫은. 이 질문은 주제에 맞지 않습니다 . 현재 답변을받지 않습니다. 이 질문을 개선하고 싶습니까? Computer Science Stack Exchange에 대한 주제가 되도록 질문을 업데이트하십시오 . 휴일 2 년 전 . AFAIU 유형은 Set요소가 프로그램이거나 proposition요소가 증명 인 것일 수 있습니다 . 따라서이 이해를 바탕으로 : Inductive prod (X Y: Type) : …
크기가 각각 및 인 두 개의 행렬 와 있고 을 계산 하려면 먼저 식을 로 다시 작성하는 것이 더 효율적입니다 의 크기는 이지만 의 크기는 2 × 2 이므로 만 계산 한 다음 숫자로만 평가 합니다 .AAABBB1000×21000×21000\times22×10002×10002\times1000(AB)5000(AB)5000(AB)^{5000}A(BA)4999BA(BA)4999BA(BA)^{4999}BABABAB1000×10001000×10001000\times1000BABABA2×22×22\times2 이 문제의 일반화 된 버전을 해결하고 싶습니다. 다음을 포함하는 표현식을 최적화하는 합리적으로 효율적인 …
내가 읽은 것에서 preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D. 이것이 PTAS 정의입니다. 문제 대한 다항식 시간 근사법 ( PTAS ) 은 입력 크기에서 시간 복잡도가 다항식 인 근사법입니다.XXX …
현재 컴퓨터는 비트를 사용하므로 이진수 시스템을 사용합니다. 그러나 미래의 양자 컴퓨터는 간단한 비트 대신 큐 비트를 사용할 것이라고 들었습니다. "qubit"라는 단어에는 "bi"라는 단어가 있기 때문에 처음에 이것은 양자 컴퓨터가 이진 (base 2)을 사용할 것이라고 생각했습니다. 그러나 qubits에는 0, 1 또는 0과 1의 중첩이라는 세 가지 가능한 상태가 있다고 들었습니다. 따라서 …
이 질문은 Stack Exchange의 CS 부분에서 더 잘 제공된다고 생각했습니다. CUDA 및 OpenCL과 같은 언어의 GPGPU가 있으므로 멀티미디어 SIMD 확장 (SSE / AVX / NEON)이 여전히 목적에 부합합니까? 최근에 SSE 명령어를 사용하여 정렬 네트워크를 가속화하는 방법에 대한 기사를 읽었습니다. 나는 이것이 매우 깔끔하다고 생각했지만 내가 comp arch 교수에게 이야기했을 때 …