컴퓨터 과학

Integer Linear Programming은 NP-complete이기 때문에 NP의 문제로 인한 Karp 감소가 있습니다. 나는 이것이 NP의 문제에 대해 항상 다항식 크기의 ILP 공식이 있다는 것을 암시한다고 생각했다. 그러나 나는 사람들이 "이것은 최초의 폴리 사이즈 제형이다"또는 "알려진 폴리 사이즈 제형은 없다"와 같은 것을 쓰는 특정 NP 문제에 관한 논문을 보았다. 그게 내가 당황한 …

14 complexity-theory  np-complete  reductions  linear-programming 

양자 프로세서와 함께 사용되는 장치 및 상호 연결은 무엇입니까? 캐시, RAM, 현재 컴퓨터의 디스크와 같은 하드웨어 장치와 호환됩니까?

14 computer-architecture  quantum-computing 

집합 에서 쌍으로 다른 숫자 의 스트림을받습니다 .{ 1 , … , n }n−1n−1n-1{1,…,n}{1,…,n}\left\{1,\dots,n\right\} 스트림을 한 번 읽고 비트 의 메모리 만 사용하는 알고리즘으로 누락 된 숫자를 어떻게 확인할 수 있습니까?O(log2n)O(log2⁡n)O(\log_2 n)

14 algorithms  integers  online-algorithms 

일정 시간 동안 읽을 수없는 상태로 읽을 수있는 디지털 타임 캡슐을 만들고 싶습니다. 예를 들어 키를 비밀로 유지하고 필요한 시간에 공개하기 위해 외부 서비스에 의존하고 싶지 않습니다. 이게 가능해? 그렇지 않다면 그렇지 않다는 증거가 있습니까? 한 가지 전략은 미래의 컴퓨팅 기능에 대한 예측을 기반으로하지만 신뢰할 수 없으며 작업에 얼마나 많은 …

14 cryptography  encryption  digital-preservation 

우리가 알고있는 인 N L 로 정리 Immerman-Szelepcsényi 이후 정리 S t - C O N N E C t 난 V 나 마에 Y가 인 N L - H R에 D 따라서 S t - N Ost-non-connectivityst-non-connectivityst\text{-}non\text{-}connectivityNLNL\mathsf{NL}st-connectivityst-connectivityst\text{-}connectivityNL-hardNL-hard\mathsf{NL\text{-}hard} 는 s t - c o n n e c t i …

14 complexity-theory  reductions  space-complexity 

이 과정이 현재 진행중인 과정에서 숙제의 일부라는 것을 확인하고 싶습니다. 답변이 아닌 진행에 도움이 필요합니다. 이것은 문제의 질문입니다. 무 방향 그래프의 5 점 별은 5 도자입니다. 5-POINTED-STAR (여기서 5-POINTED-STAR = 는 하위 그래프 로 5-pointed-star를 포함 함)를 보여 줍니다.{ < G > : G }∈ P∈피\in P{ < G >{<지>\{ …

14 complexity-theory  time-complexity 

무작위 선택 알고리즘은 다음과 같습니다. 입력 :는 어레이 의 N 숫자 (편의상 구분) 및 다수의 (K) ∈ [ N ]AAAnnnk∈[n]k∈[n]k\in [n] 출력 : 다음은 "순위 의 요소" (즉, 위치에있는 한 K 경우 A는 분류했다)k케이kㅏㅏA케이케이kㅏㅏA 방법: 하나의 요소가 있으면 반환하십시오.ㅏㅏA 요소 ( "피벗")를 무작위로 균일하게 선택하십시오.피피p 세트 및 R = { …

14 algorithms  algorithm-analysis  probability-theory  randomized-algorithms 

우리가 설정해야한다고 가정 의 코더.에스= { a1,2,삼, ... ,엔}에스={ㅏ1,ㅏ2,ㅏ삼,…,ㅏ엔}S = \{ a_1,a_2,a_3,\ldots , a_N \}엔엔N 각 코더는 등급 과 금메달 수 를 가지고 있으며 지금까지 이겼습니다.E i아르 자형나는아르 자형나는R_i이자형나는이자형나는E_i 소프트웨어 회사는 응용 프로그램을 개발하기 위해 정확히 3 개의 코더를 고용하려고합니다. 세 명의 코더를 고용하기 위해 다음 전략을 개발했습니다. 먼저 코더를 …

14 algorithms  algorithm-design 

나는 계산에 관심이 '은의 승기 행렬 . 시간에 실행되는 행렬 곱셈 알고리즘이 있다고 가정 합니다. 그러면 시간에 을 쉽게 계산할 수 있습니다 . 더 적은 시간 복잡성으로이 문제를 해결할 수 있습니까?nnnn×nn×nn\times nAAAO(M(n))O(M(n))\mathcal{O}(M(n))AnAnA^nO(M(n)log(n))O(M(n)log⁡(n))\mathcal{O}(M(n)\log(n)) 일반적으로 매트릭스 항목은 반 링에서 나올 수 있지만 도움이되는 경우 추가 구조를 가정 할 수 있습니다. 참고 : …

14 algorithms  complexity-theory  time-complexity  computer-algebra 

저는 현재 기계 학습에 대해 읽고 있으며 Connect Four 재생에 적용하는 방법에 대해 궁금했습니다 . 현재 시도중인 것은 시그 모이 드 함수 모델과 일대일 방법을 사용하는 간단한 다중 클래스 분류기입니다. 필자의 의견으로는 입력 기능은 7x6 = 42 그리드 필드의 상태 (플레이어 1 디스크, 플레이어 2 디스크, 비어 있음) 여야합니다. 출력은 …

14 machine-learning  board-games 

다음과 같은 용어로 구성된 간단한 언어가 있다고 가정하십시오. truetrue\mathtt{true} falsefalse\mathtt{false} 경우 기간이다는 이렇게이다t1,t2,t3t1,t2,t3t_1,t_2,t_3ift1thent2elset3ift1thent2elset3\mathtt{if}\: t_1 \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 이제 다음과 같은 논리적 평가 규칙을 가정하십시오. iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t′1ift1thent2elset3→ift′1thent2elset3[E-If]iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t1′ift1thent2elset3→ift1′thent2elset3[E-If] \begin{gather*} \dfrac{} {\mathtt{if}\: \mathtt{true} \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 \to t_2} \text{[E-IfTrue]} \quad \dfrac{} {\mathtt{if}\: \mathtt{false} \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 \to t_3} \text{[E-IfFalse]} \\ \dfrac{t_1 …

14 logic  semantics  proof-techniques  term-rewriting 

캐시를 모르는 알고리즘과 데이터 구조 는 Frigo et al. 에서 캐시-잊기 알고리즘, 1999 . 같은 해 의 Prokop의 논문 은 초기 아이디어도 소개합니다. Frigo 등의 논문. 이론과 캐시-불명확 한 알고리즘 및 데이터 구조의 가능성을 보여주는 실험 결과를 제시한다. 많은 캐시가 모르는 데이터 구조는 정적 검색 트리를 기반으로합니다. 이러한 트리를 저장하고 …

14 algorithms  data-structures  computer-architecture  reference-request  cpu-cache 

나는 개방성 문제의 예를 제시하기 위해 재미 있고 계산하기 쉬운 개방성 문제를 계산할 수있는 방법을 찾고 있었으며 (계산에 대한 첫 번째 과정을 수강하는 학부생은 이해할 수 있음) 정의하고 그들에게도 흥미로울 것입니다). 나는 이 목록을 찾았 지만 그 문제는 학부생에게는 너무 복잡해 보이며 문제를 말하기 전에 정의를 내리는 데 많은 시간을 …

14 computability 

n 개의 노드가 있는 이진 트리 가 최대 ⌈ n 임을 증명하려고합니다.nnn잎. 인덕션으로 어떻게하면 좋을까요?⌈n2⌉⌈n2⌉\left\lceil \frac{n}{2} \right\rceil 힙에 대한 원래 질문을 따르는 사람들을 위해 여기 로 옮겨졌습니다 .

14 data-structures  binary-trees  combinatorics  graph-theory  proof-techniques 

나는 유명한 결정 론적 선형 시간 선택 알고리즘 (중위 알고리즘의 중간 값 알고리즘)을 친구에게 설명하고있었습니다. 이 알고리즘의 재귀는 (매우 단순하지만) 매우 정교합니다. 각각 다른 매개 변수를 가진 두 개의 재귀 호출이 있습니다. 흥미로운 재귀 알고리즘의 다른 예를 찾으려고했지만 찾을 수 없었습니다. 내가 생각해 낼 수있는 모든 재귀 알고리즘은 단순한 꼬리 …

14 algorithms  recursion