컴퓨터 과학

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

4
Shannon 데이터 압축 한계보다 작은 크기로 데이터를 압축 할 수 있습니까?
데이터 압축 알고리즘과 데이터 압축의 이론적 한계에 대해 읽었습니다. 최근에 "Combinatorial Entropy Encoding"이라는 압축 방법이 발생했습니다.이 방법의 주요 아이디어는 파일에 표시된 문자, 해당 빈도 및 파일이 나타내는 이러한 문자 순열의 색인으로 파일을 인코딩하는 것입니다. 이 문서는이 방법을 설명하는 데 도움이 될 수 있습니다. https://arxiv.org/pdf/1703.08127 http://www-video.eecs.berkeley.edu/papers/vdai/dcc2003.pdf https://www.thinkmind.org/download.php?articleid=ctrq_2014_2_10_70019 그러나 첫 번째 문서에서는이 …
1
두세 개의 쿼리에서 다항식을 구합니다
의 블랙 박스는 언제라도 다항식 를 평가할 수 있음을 의미 합니다.f(x)f(x)f(x)f(x)f(x)f(x) 입력 : monic polynomial 의 블랙 박스f(x)∈Z+[x]f(x)∈Z+[x]f(x) \in\mathbb{Z}^+[x] 정도ddd . 출력 : 다항식 f ( x ) 의 ddd 계수 .f(x)f(x)f(x) 내 알고리즘 : let f(x)=xd+ad−1xd−1+⋯+a1x+a0f(x)=xd+ad−1xd−1+⋯+a1x+a0f(x) = x^{d} + a_{d-1} x^{d-1} + \cdots + a_1 x + a_0 평가 …
2
프로그램 정확성, 사양
위키피디아 (Wikipedia) : 이론적 인 컴퓨터 과학에서 알고리즘의 정확성은 알고리즘이 사양과 관련하여 정확하다고 언급 될 때 주장된다. 그러나 문제는 "적절한"사양을 얻는 것이 사소한 작업이 아니며 올바른 방법을 얻을 수있는 100 % 올바른 방법이 없다는 것입니다. "하나"와 같이 "보이기"때문에 술어를 스펙으로 사용하십시오. 왜 "보이기"때문에 프로그램을 올바른 것으로 간주하지 않습니까?
2
큰 정수를 인수 분해하는 것이 어려운 이유는 무엇입니까?
발견 된 가장 효율적인 알고리즘이 시간 의 요인을 계산할 수 있지만 어딘가에 작성한 코드는 O ( n ) 또는 분할과 계수가 얼마나 빠른지에 따라 아마도 O ( n log n ) 어딘가에 대해 잘못 이해했다고 확신하지만 어디에서 잘 모르겠습니다 여기 의사 코드 형식으로 작성했습니다.O(exp((64/9⋅b)1/3⋅(logb)2/3)O(exp⁡((64/9⋅b)1/3⋅(log⁡b)2/3)O(\exp((64/9 \cdot b)^{1/3} \cdot (\log b)^{2/3})O(n)O(n)O(n)O(nlogn)O(nlog⁡n)O(n \log …
4
운영 체제가 관리하는 칩과 동일한 칩에서 어떻게 운영 할 수 있습니까?
운영 체제 (위키 백과, 기술 사이트 등의 기본 자료 읽기)에 대한 필독에서 운영 체제는 프로그램과 응용 프로그램이 효율적이고 안전하게 하드웨어와 상호 작용할 수있는 프로그램이라는 것을 배웠습니다. 그러나 운영 체제가 컴퓨터를 작동해야 할 때 컴퓨터 작동을 감독하는 방법에 대해서는 혼란 스럽습니다. 무슨 뜻이야? 글쎄, 운영 체제가 작동한다고 상상하는 방법은 컴퓨터에 두 …
3
널 노드를 나타내는 데 NIL을 사용하는 목적은 무엇입니까?
내 알고리즘 및 데이터 구조 과정에서 교수, 슬라이드 및 책 ( Algorithms 소개, 3 판 )은 NIL예를 들어 존재하지 않는 노드 (트리의)의 자식을 나타내는 단어 를 사용하고 있습니다. 한 번 강의 중에라는 말 대신에 NIL내 반 친구가 말했다 null. 교수가 그를 교정했는데 교수가 왜이 단어를 강조하는지 이해할 수 없다. 사람들 …
4
겹치지 않는 비트 벡터 쌍 찾기
너비 k 의 nnn 비트 벡터 목록을 제공합니다 . 목표는 공통점이 1이 아닌 목록에서 두 개의 비트 벡터를 반환하거나 해당 쌍이 존재하지 않는 것으로보고하는 것입니다.kkk 예를 들어, [00110,01100,11000][00110,01100,11000][00110, 01100, 11000] 을 제공하면 유일한 해결책은 {00110,11000}{00110,11000}\{00110, 11000\} 입니다. 대안 적으로, 입력 [111,011,110,101][111,011,110,101][111, 011, 110, 101] 은 해결책이 없다. 그리고 0이 아닌 …
3
"소프트"실시간 운영 체제가 실제로 제공하는 보장
"하드"실시간 운영 체제가 무엇인지 알고 있습니다. 응용 프로그램 프로그래머와 계약을 제공하는 스케줄러가있는 운영 체제입니다. 응용 프로그램은 각 자원 할당 요청에 대한 기한을 제공합니다. 경우 마감일 요청이 가능 , 스케줄러는 각 자원 마감일 전에 요청하는 응용 프로그램에 할당됩니다 보장합니다. 애플리케이션 프로그래머가 특정 요청의 최대 대기 시간 및 최소 처리량을 추론 할 …
3
경로 유도는 건설적인가?
나는 HoTT 책을 읽고 있는데 경로 유도에 어려움을 겪고 있습니다. I는 항목의 유형을 보면 1.12.1 : 그 의미가 무엇인지 이해하는 데 아무런 문제가 없습니다 (단지 메모리에서 유형을 작성하여 확인했습니다).ind=A:∏C:∏x,y:A(x=Ay)→U((∏x:AC(x,x,reflx))→∏x,y:A∏p:x=AyC(x,y,p)),ind=A:∏C:∏x,y:A(x=Ay)→U((∏x:AC(x,x,reflx))→∏x,y:A∏p:x=AyC(x,y,p)),\text{ind}_{=_A}:\prod_{C:\prod\limits_{x,y:A}(x=_Ay)\to \mathcal{U}} \left( \left(\prod_{x:A}C(x,x,\text{refl}_x)\right) \to \prod_{x,y:A}\prod_{p:x=_Ay} C(x,y,p) \right), 내가 문제로하는 것은 다음 문장입니다 : 내 첫 인상이 마지막 발현하지 않는 것이었다 정의 …
8
OOP는 실제로 어떤 절차 적 프로그래밍 문제를 해결합니까?
"C ++ Demystified" 책을 공부했습니다 . 이제 Robert Lafore의 "Turbo C ++ 초판 (1 판)의 객체 지향 프로그래밍" 을 읽기 시작했습니다 . 이 책을 넘어서는 프로그래밍에 대한 지식이 없습니다. 이 책은 20 살이 기 때문에 구식 일 수 있습니다. 나는 최신판을 가지고 있는데, 나는 그것을 좋아하기 때문에 오래된 것을 사용하고 …
3
모든 입력에서 정지하지만 그 속성을 증명할 수없는 TM이 있습니까?
모든 입력에서 멈추는 튜링 머신이 있지만 어떤 이유로 든 그 속성을 증명할 수 없습니까? 이 질문이 공부되었는지 궁금합니다. "불확실하다"는 "제한된"증명 시스템을 의미 할 수 있습니다 (약한 의미에서는 답이 '예'라고 생각합니다). 물론 가능한 가장 강력한 답변, 즉 ZFC 설정 이론 또는 기타 모든 입력에서 중단 될 수없는 답변에 관심이 있습니다. Ackermann …
5
문제를 증명하는 방법은 NP-Complete이 아닙니까?
NP-Complete이 아닌 문제를 증명하는 일반적인 기술이 있습니까? 시험 에서이 문제가있어서 어떤 문제 (아래 참조)가 NP-Complete인지 보여달라고 요청했습니다. 나는 실제 해결책을 생각할 수 없었고 그것이 P에 있음을 증명했습니다. 분명히 이것은 진정한 대답이 아닙니다. NP-Complete은 NP에있는 일련의 문제로 정의되며 모든 NP 문제를 줄일 수 있습니다. 따라서 모든 증거는이 두 가지 조건 중 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.