컴퓨터 과학

다음 문제에 도움을 드리고자합니다. L={⟨M⟩∣L(M) is context-free}L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \}. 보여L∉RE∪CoREL∉RE∪CoREL \notin RE \cup CoRE. 나는 증명하기 위해 L∉REL∉REL\notin RE언어를 찾는 것으로 충분합니다 L′L′L' 그런 L′∉REL′∉REL'\notin RE 에서 감소가 있음을 보여 L′L′L' 에 LLL (L′≤ML)(L′≤ML)(L'\leq _M L). 나는 그들이 이미 알고있는 언어를 생각하기 시작했습니다. RERERE나는 …

9 formal-languages  computability  context-free  turing-machines 

모든 부울 함수 은 깊이 2의 부울 회로 (변수, 해당 부정 및 상수 값을 통해)를 사용하여 실현할 수 있다는 것은 잘 알려져 있습니다. 제 1 레벨에 AND 게이트를 포함하고 상부 레벨에 하나의 단일 OR 게이트를 포함하고; 이것은 단순히 의 DNF 표현 입니다 .f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\to \{0,1\}fff 회로 복잡성에 큰 관심을 갖는 다른 …

9 complexity-theory  logic  circuits 

SVM 외에 어떤 기계 학습 알고리즘이 구조적 위험 최소화 원칙을 사용 합니까?

9 reference-request  machine-learning 

액세스 포인트를 설정하고 WPA2를 선택할 때 AP와 STA 모두에 사전 공유 키 (암호) PSK를 수동으로 입력해야합니다. AP와 STA은 모두 서로를 인증해야합니다. 그러나 그들은 PSK를 밝히지 않고 그렇게해야합니다. 둘 다 상대방에게 PSK를 실제로 보내지 않고 알고 있음을 증명해야합니다. 이것이 제로 지식 증명의 예 입니까? 나는 그것을 생각했지만 제로 지식 증명과 WPA2 …

9 cryptography  security  authentication 

다음 연습 문제를 해결해야합니다. 만약 에 문맥이없고 이 규칙적이라면 (즉, 오른쪽 몫 )은 문맥이 없습니다.엘LL아르 자형RRL / R = { w ∣ ∃ x ∈ R성w x ∈ L }L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} 을 허용하는 PDA 와 을 허용하는 …

9 formal-languages  context-free  finite-automata  closure-properties  pushdown-automata 

불행히도 나는 혼자서 성공하지 못했습니다. 사각형 세트가 있습니다 R1..RnR1..RnR_{1}..R_{n} 그리고 직사각형 R0R0R_{0}. 평면 스위핑 알고리즘을 사용하여R0R0R_{0} 완전히 세트에 의해 덮여있다 R1..RnR1..RnR_{1}..R_{n}. 스윕 라인 알고리즘의 원리에 대한 자세한 내용은 여기를 참조 하십시오 . 처음부터 시작합시다. 처음에는 스윕 라인 알고리즘을 두 개의 데이터 구조가 필요한 라인 세그먼트 교차점 을 찾기위한 알고리즘으로 알고 …

9 algorithms  computational-geometry 

나는 일정 기간 동안 캐스트 된 투표를 기반으로 항목 순위를 매기는 순위 시스템에서 일하고 있습니다. 평균과 비슷한 점수를 계산하는 알고리즘을 찾고 있지만 오래된 점수보다 새로운 점수를 선호합니다. 나는 다음 줄을 따라 무언가를 생각하고 있었다. score1+ 2⋅score2 + ⋯+ n⋅scoren1+2+⋯+nscore1+ 2⋅score2 + ⋯+ n⋅scoren1+2+⋯+n\frac{\mathrm{score}_1 +\ 2\cdot \mathrm{score}_2\ +\ \dots +\ n\cdot …

9 algorithms  data-mining 

나는 여름 동안 Galvin Gagne (8 판) Silberschatz의 운영 체제 개념 을 읽기로 결정했습니다 . 나는 혼란스러운 주제에 도달했습니다-운영 체제와 관련된 인터럽트 및 그 역할. 텍스트는 운영 체제가 "init"와 같은 첫 번째 프로세스를 시작한 다음 "event"가 발생할 때까지 기다리며이 이벤트는 일반적으로 인터럽트에 의해 신호를받는다고 말합니다. 텍스트는 또한 인터럽트가 하드웨어 나 …

9 operating-systems  computer-architecture  process-scheduling 

Red Dragon Book Compilers에서 부트 스트랩을 공부하고 있으며 크로스 컴파일러에 대한 T 다이어그램이 매우 혼란 스럽다는 것을 알았습니다. "compiler1 through compiler2"의 의미를 이해할 수 없습니다. 누구나 실제 컴파일러와 관련하여 더 나은 설명, 비유 또는 예를 제공 할 수 있습니까? 먼저 몇 가지 표기법. 으로 L S엔=엘에스엔=LSN= 출력 언어 / 기계 …

9 compilers  terminology 

나는 컴퓨터 보안 과정을 개정하고 있으며 과거 질문 중 하나를 고수하고 있습니다. 여기 있습니다: 앨리스 (AAA)는 짧은 메시지를 보내려고합니다. MMM 밥에게 (BBB) 공유 비밀 사용 SabSabS_{ab}메시지가 그녀에게서 온 것을 인증합니다. 그녀는 두 가지 조각으로 단일 메시지를 보내도록 제안합니다. A→B:M,h(M∥Sab)A→B:M,h(M∥Sab) A \to B: \quad M, h(M \mathbin\parallel S_{ab}) 어디 hhh 해시 …

9 cryptography  hash  one-way-functions 

세트를 갖는 ㅏAA 의 엔nn 요소, 함수를 계산하고 싶다고합시다. 에프( A )f(A)f(A) 입력의 모든 부분에 민감합니다. 즉, ㅏAA (즉, 모든 멤버를 변경할 수 있습니다 ㅏAA 새로운 입력을 얻기 위해 다른 것에 A′A′A' 의 st 값 fff 의 위에 AAA 과 A′A′A' 다르다). 예를 들어 fff 합 또는 평균 일 수 …

9 complexity-theory 

나는 중국 우편 배달부 문제 (경로 검사 문제라고도 함)를 경로가 지정되지 않은 draph에서 해결하고 현재 노드를 홀수 각도로 연결하는 가장 좋은 추가 모서리를 찾기 위해 문제에 직면하여 프로그램을 작성하고 있으므로 Eulerian 회로를 계산할 수 있습니다. 계산하고 평가해야하는 가장자리의 막대한 조합이있을 수 있습니다 (해결하려는 그래프의 크기를 고려할 수 있음). 예를 들어 …

9 algorithms  graph-theory  graphs 

Hopcroft와 Ullman 의 책을 사용하여 비 결정적 오토마타를 연구하기 시작했습니다 . 매우 흥미로운 문제에 갇혀 있습니다. 다음 표에 따라 곱하여 왼쪽에서 오른쪽으로 오른쪽에서 왼쪽으로 평가할 때 동일한 값을 갖는 모든 문자열을 허용하는 비 결정적 유한 자동 오토 마톤을 제공하십시오. ×ㅏ비씨ㅏㅏ씨비비ㅏㅏ씨씨씨비ㅏ×abcaaacbcabcbca\qquad \displaystyle\begin{array}{c|ccc} \times & a & b & c \\ \hline …

9 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

알고리즘 분석에서 종종 재발을 해결해야합니다. 마스터 정리, 치환 및 반복 방법 외에도 특성 다항식을 사용하는 방법이 있습니다. 특성 다항식이라고 결론을 내렸다고 가정 해 봅시다. x2−2x+2x2−2x+2x^2 - 2x + 2이 가상 즉, 뿌리를x1=1+ix1=1+ix_1 = 1+i 과 x2=1−ix2=1−ix_2 =1-i. 그런 다음 사용할 수 없습니다 c1⋅xn1+c2⋅xn2c1⋅x1n+c2⋅x2n\qquad c_1\cdot x_1^n + c_2\cdot x_2^n 해결책을 얻으려면? …

9 algorithms  algorithm-analysis  recurrence-relation 

나는에 그렇게 생각 피터슨의 알고리즘 에 대한 상호 배제 프로세스가 먼저 임계 영역을 입력 할 경우 사망하거나, 다른 프로세스가 루프 영원히의 중요한 섹션을 시작하기 위해 대기하는 것 취소했다. 그림에서, 프로세스 1이 중지되면 프로세스 1 뒤의 나머지 프로세스는 프로세스 1의 위치까지 실행 한 다음 루프됩니다. 중요 섹션에 도달 한 프로세스가 종료되기 …

9 programming-languages  concurrency  mutual-exclusion