방금 Garey와 Johnson의 "컴퓨터와 다루기 힘든"6 페이지에서이 문장을 찾았습니다. 시간 복잡도 함수를 제한 할 수없는 알고리즘을 지수 시간 알고리즘이라고합니다 (하지만이 정의에는 일반적으로 지수로 간주되지 않는 과 같은 특정 비 다항식 시간 복잡도 함수가 포함되어 있음에 유의해야합니다. 기능).엔로그엔엔로그엔n^{\log n} 다음과 같은 내 질문 경우 다항식도 지수 아니다,이 기능은 무엇이라고? 이름이나 특별한 …
나는 컴퓨터 과학 주제에 관한 책을 읽고 있지만 전제 조건의 일부가 부족하다. 일반적으로 용어를봤을 때 나는 단순히 그것들을 찾는다는 것을 이해하지 못하지만, 범용 검색의 경우 통계 / 컴퓨터 과학에 대한 배경 지식이없는 독자에게 적합한 설명을 찾을 수 없었습니다. 나는 Scholarpedia의 Universal Search 에서이 기사를 읽었 으며 주제를 다루는 것 같습니다. …
알고리즘의 무증상 상한을 분석하고 설명하는 데 여전히 "입력 길이"및 "입력 크기"라는 용어와 약간 혼동됩니다. 알고리즘의 입력 길이는 많은 종류의 데이터와 이야기하는 알고리즘에 따라 달라집니다. 일부 작성자는 입력 길이를 입력을 나타내는 데 필요한 문자 크기로 참조하므로 알고리즘에서 입력으로 설정된 경우 "abcde"는 "입력 길이"가 6 자입니다. 문자 대신 숫자가있는 경우 (예 : …
나는 일종의 새로운 것이지만 컴퓨팅 및 복잡성 이론 분야에 매우 관심이 있으며 문제를 분류하는 방법과 문제를 해결하는 데 사용되는 기계와 문제가 얼마나 강한 지에 대한 이해를 분명히하고 싶습니다. 내 이해 표준 튜링 머신-유한 알파벳, 유한 수의 상태 및 하나의 오른쪽 무한 테이프를 가진 튜링 머신 Turing-Equivalent Machine-표준 Turing Machine에 의해 …
내가 읽은 것에서 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 …
일관성과 완전성이 건전성을 암시 하는 질문을 읽고 있었습니까? 그리고 첫 번째 진술은 다음과 같습니다. 건 전함은 일관성을 의미한다는 것을 이해합니다. 나는 건전성이 일관성보다 약한 진술이라고 생각했기 때문에 매우 당황했습니다 (즉, 일관된 시스템은 건전해야한다고 생각했지만 사실은 아닌 것 같습니다). 나는 Scott Aaronson이 일관성과 건전성을 위해 MIT의 6.045 / 18.400 과정에서 사용하고있는 …
나는 그것이 농담인지 알지 못하지만 일단 git, hg 또는 svn과 같은 버전 관리 시스템에서 파일의 공식적인 정의를 읽었습니다. 동종 요법과 같은 수학적 대상과 같은 것이 었습니다. VCS의 버전 관리 시스템과 수학에 대한 농담입니까, 아니면 컴퓨터 과학 이론입니까?
삼림 벌채가 어떻게 폴드와 펼치기 기능에서 동시에 목록을 소비하고 생성하는지 이해합니다. ( CodeReview 에서이 좋은 답변을 참조하십시오.)이 기술에 대한 위키 백과 항목 과 비교했을 때 '제거'에 대해 이야기했습니다. 프로그램에서 나무. 프로그램을 구문 분석 구문 분석 트리로 구문 분석하는 방법을 이해하지만 (그렇습니다?) 어떤 종류의 프로그램 단순화를 위해 산림 벌채를 사용한다는 의미는 …
복잡성 등급 는 무엇을 의미합니까? I는 알고 ⊕ P는 언어 포함 복잡도 종류이다 를 해당하는 다항식 시간 결정적 튜링 기계가 M이 되도록 X ∈ IFF 기계의 수용 상태의 수 M 의 입력에 x는 홀수이다.⊕ P⊕ P⊕P⊕P\oplus P^{\oplus P}⊕ P⊕P\oplus PㅏAA미디엄MMx ∈ Ax∈Ax \in A미디엄MM엑스xx 그러나 무엇을 의미합니까? 나는 그것이 실제로하는 …
나는 기계 학습을 처음 사용합니다. 나는 다양한 애플리케이션에 대해 딥 러닝을 사용하고 대부분의 모델 디자인 사례에서 "사전"이라는 용어를 사용한 여러 논문을 읽었습니다. 누군가 그것이 실제로 무엇을 의미하는지 설명 할 수 있습니까? 튜토리얼에서 이전과 이후의 수학적 공식 만 찾을 수있었습니다.