컴퓨터 과학

컴퓨터 과학의 학생, 연구원 및 실무자를위한 Q & A

2
"No mode bit"의 데이터 일반 ​​MV / 8000 장점
Data General의 팀이 새로운 기계 (코드 명 "Eagle", 나중에 MV / 8000이라고 함)를 디자인하는 Tracy Kidder의 "새로운 기계의 영혼"을 읽고 있습니다. 이전 아키텍처 (16 비트 Eclipse)의 32 비트 확장입니다. 회전 테마 중 하나는 모드 비트가있는 머신을 만들고 싶지 않으며이에서 성공한 것 같습니다. 그러나 이것이 기술적으로 어떻게 달성되는지는 제외하고 모드 비트가없는 …

1
Earley Parser를 DFA 용 Levenshtein Automata Algo와 유사한 퍼지 파서로 만들 수 있습니까?
입력 단어의 DFA 및 런타임 구성 Levenshtein Automata를 사용하여 퍼지 파싱 (일부 편집 거리에 오타가있는 문자열도 허용)을 수행하는 방법이 있습니다. Earley 파서로 비슷한 것을 할 수 있습니까? 이 질문에 대답하는 것은 물론 알고리즘을 이해하기가 어렵습니다.

5
안전하지 않은 상태가 항상 교착 상태를 유발하지 않는 이유는 무엇입니까?
저는 Galvin의 운영 체제를 읽고 아래 행을 보았습니다. 그러나 모든 안전하지 않은 상태가 교착 상태 인 것은 아닙니다. 안전하지 않은 상태는 교착 상태로 이어질 수 있습니다 누군가 교착 상태! = 안전하지 않은 상태 를 설명 할 수 있습니까 ? 나는 또한 여기에 같은 줄을 잡았다 안전 시퀀스가 ​​존재하지 않으면 시스템이 …

1
용어 재 작성; 임계 값 계산
나는 다음 운동을 해결하려고 노력했지만 모든 중요한 쌍 을 찾으려고 노력하면서 막혔습니다 . 다음과 같은 질문이 있습니다. 어떤 중요한 쌍이 새로운 규칙을 생성했는지 어떻게 알 수 있습니까? 중요한 쌍을 모두 찾은 것을 어떻게 알 수 있습니까? 보자. 여기서 는 이진, 는 단항, 는 상수이다. Σ={∘,i,e}Σ={∘,i,e}\Sigma= \left \{ \circ, i, e …

2
언어에 대한 LR (1) 오토 마톤이 해당 LR (0) 오토 마톤보다 얼마나 클 수 있습니까?
LR (0) 파서에서 각 상태는 위치로 주석이 달린 프로덕션 인 LR (0) 항목의 모음으로 구성됩니다. LR (1) 파서에서 각 상태는 LR (1) 항목의 모음으로 구성되며, 이는 위치 및 미리보기 문자로 주석이 달린 프로덕션입니다. LR (1) 오토 마톤의 상태에서 각 LR (1) 항목에서 미리보기 토큰을 삭제하여 구성된 구성 세트는 LR (0) …

1
강화 학습에 대한 할인 요소의 의미
Atari의 게임 에서 Google 심층 업적을 읽은 후 q-learning 및 q-networks를 이해하려고 노력하고 있지만 약간 혼란 스럽습니다. 할인 요소의 개념에서 혼란이 발생합니다. 내가 이해 한 것에 대한 간략한 요약. 심층 컨볼 루션 신경망 (convolutional neural network)은 행동의 최적 기대 값의 값을 추정하는데 사용된다. 네트워크는 손실 함수를 최소화하는 여기서, E S …


1
범용 튜링 기계는 어떻게 더 큰 기계를 시뮬레이션 할 수 있습니까?
Universal Turing machine에 관한 두 가지 질문에 대한 답을 찾으려고합니다. 시뮬레이션중인 머신의 상태 수가 더 많은 경우 Universal Turing 머신이 Turing 머신을 어떻게 시뮬레이트 할 수 있습니까? 시뮬레이션중인 기계의 알파벳 수가 더 많은 경우 Universal Turing 기계가 Turing 기계를 어떻게 시뮬레이트 할 수 있습니까? 누구 든지이 질문에 나를 도울 수 …

1
자연스러운 문제가 있습니까?
나도 그 정량화 된 부울 식의 문제를 공식에 대한 곳 \ 파이 더 한정사가없는 유일한 변수는 \ ldots 단락을 X_1, x_n, y_1 , \ ldots, y_n 은 \ Pi_2 ^ P-완전한 문제 의 예입니다 . 그러나 회로 최소화 가 자연스러운 \ Sigma_2 ^ P-완전한 문제인 것처럼 \ Pi_2 ^ P-완전한 …

1
DNF에서 CNF 로의 전환 : 쉬움 또는 어려움
스레드와 관련하여 CNF에서 DNF 로의 변환이 NP-Hard (및 관련 Math 스레드 ) 임을 증명하는 경우 : DNF에서 CNF까지의 다른 방향은 어떻습니까? 쉽지 않습니까? 이 백서의 2 페이지에서 " CNF 표현에서 DNF 표현으로 또는 그 반대로 변환 할 때 최대 크기의 폭발에 관심이 있습니다 "라고 말하면 두 방향 모두 똑같이 어렵다고 …

1
시끄러운 함수에 대한 수학적 최적화
하자 수 비교적 좋은 기능 (예를 들어, 연속 미분, 너무 많은 로컬 맥시마 등 아마 오목). 이 I의 최대 값을 찾을 : 값 하게 가능한 한 큰 등을. f x ∈ R d f ( x )에프: R디→ Rf:Rd→Rf:\mathbb{R}^d \to \mathbb{R}에프ffx∈Rdx∈Rdx \in \mathbb{R}^df(x)f(x)f(x) 내가 선택한 모든 입력에 대해 정확하게 평가하는 …

4
이미 증인이 있다는 것을 알고 있다고해도 증인을 찾는 것이 NP-hard 일 수 있습니까?
NP-hard 문제 (크릭, 3-SAT, 정점 커버 등)의 일반적인 예는 사전에 답이 "예"인지 "아니오"인지 알 수없는 유형입니다. 답이 '예'라는 문제가 있다고 가정하고, 또한 다항식 시간에 증인을 확인할 수 있습니다. 그러면 항상 다항식 시간에 증인을 찾을 수 있습니까? 아니면이 "검색 문제"가 NP-hard 일 수 있습니까?

2
이 조합 최적화 문제가 알려진 문제와 유사합니까?
문제는 다음과 같습니다. 우리는 2 차원 배열 / 숫자 그리드를 가지고 있으며, 각각은 "이익"또는 "이익"을 나타냅니다. 또한 두 개의 고정 정수 와 ( "너비"와 "높이")와 고정 정수 있습니다.wwwhhhnnn 이제이 사각형 에있는 셀 값의 총합이 최대화되도록 격자에 차원 를 중첩 시키려고합니다.nnnw×hw×hw \times h 다음 그림은 두 개의 사각형이 오버레이 된 2 …

4
알고리즘의 자동 런타임 분석 방법이 있습니까?
궁금합니다. 적어도 관련 알고리즘 하위 집합 (분석 할 수있는 알고리즘)에서 작동하는 자동 런타임 분석 방법이 있습니까? 나는 나에게 준 "자동 알고리즘 분석"인터넷 검색 이 하지만 너무 mathy된다. 내가 이해할 수있는 psuedocode의 간단한 예를 원합니다. 너무 구체적일지도 모르지만, 나는 그만한 가치가 있다고 생각했습니다.

1
튜링 머신의 서브 라인 공간이란 무엇입니까?
입력이 회문인지 아닌지를 결정하는 문제 는 튜링 머신에 공간 이 필요한 것으로 입증되었습니다 . 그러나 입력을 저장하는데도 공간 n 이 걸리므로 모든 Turing 기계에 공간 Ω ( n )이 필요한 것은 아닙니다 .Ω ( 로그n )Ω(로그⁡엔)\Omega(\log n)엔엔nΩ ( n )Ω(엔)\Omega(n) 물론, 적어도 선형 공간을 사용하는 함수는 적어도 로그 공간을 사용하기 …

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.