컴퓨터 과학

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

1
경우
방금 Garey와 Johnson의 "컴퓨터와 다루기 힘든"6 페이지에서이 문장을 찾았습니다. 시간 복잡도 함수를 제한 할 수없는 알고리즘을 지수 시간 알고리즘이라고합니다 (하지만이 정의에는 일반적으로 지수로 간주되지 않는 과 같은 특정 비 다항식 시간 복잡도 함수가 포함되어 있음에 유의해야합니다. 기능).엔로그엔엔로그⁡엔n^{\log n} 다음과 같은 내 질문 경우 다항식도 지수 아니다,이 기능은 무엇이라고? 이름이나 특별한 …
3
결정 불가능한 문제와 그 부정은 결정 불가능하다
그럼에도 불구하고 많은 "유명한"결정 불가능한 문제는 적어도 반 결정 불가능하며, 그 보완은 결정 불가능합니다. 무엇보다도 정지 문제와 그 보완이 될 수 있습니다. 그러나 아무도 문제와 그 보완이 결정 불가능하고 반 결정 불가능한 예를 줄 수 있습니까? 나는 대각선 화 언어 Ld에 대해 생각했지만 보완이 결정 불가능한 것으로 보이지는 않습니다. 이 …
1
P 또는 NP- 완료로 알려진 구간에 소수가 있는지 확인하고 있습니까?
나는에서 본 이 게시물에 그 간격의 소수가 있는지 숫자의 간격을 체질에 대한 몇 가지 상대적으로 빠른 알고리즘이 있다는 것을 유래에. 그러나 이것은 (간격에 프라임이 있습니까?)의 전반적인 결정 문제가 P에 있음을 의미합니까? 중복 또는 불필요). 한편, 구간이 충분히 큰 경우 (예 : ) Bertrand 's Postulate와 같은 것이 적용되며이 구간에는 확실히 …
3
의 값을 확인하기 어려운 복잡성 이론 ?
소수 계량 함수 강등, , 이하의 소수들의 수로 정의하거나 동일하다 .π(x)π(x)\pi(x)xxx 에서 다음과 같이 결정 문제를 정의 할 수 있습니다 .π(x)π(x)\pi(x) 이진수로 작성된 두 개의 숫자 와 주어지면 인지 결정하십시오 .xxxnnnπ(x)=nπ(x)=n\pi(x) = n 친구와 나는 오늘 일찍이 문제에 대해 이야기하고있었습니다. 이 문제에 대한 의사 시간 알고리즘이 있습니다- 각 단계에서 시행 …
2
범용 검색에 대한 일반적인 설명은 무엇입니까?
나는 컴퓨터 과학 주제에 관한 책을 읽고 있지만 전제 조건의 일부가 부족하다. 일반적으로 용어를봤을 때 나는 단순히 그것들을 찾는다는 것을 이해하지 못하지만, 범용 검색의 경우 통계 / 컴퓨터 과학에 대한 배경 지식이없는 독자에게 적합한 설명을 찾을 수 없었습니다. 나는 Scholarpedia의 Universal Search 에서이 기사를 읽었 으며 주제를 다루는 것 같습니다. …
1
1962 프록터와 mble 블 TSP 콘테스트의 최적 솔루션은 무엇입니까?
1962 년 에 33 개 도시에 정의 된 유클리드 여행 세일즈맨 문제에 대한 해결책을 찾은 경우 $ 10 000 ( 오늘 돈에 약 $ 80000)의 상금을받을 수 있습니다. http://www.math.uwaterloo.ca/tsp/history/pictorial/car54.html 그림을 보면 문제가 매우 쉬운 것 같습니다. 그러나 문제에 대한 자세한 리소스를 찾지 못했습니다. 정확한 거리 및 최적의 솔루션과 같은 자세한 …
2
다중 집합의 분산 된 순열 두 개를 무작위로 생성하는 효율적인 알고리즘
배경 \newcommand\ms[1]{\mathsf #1}\def\msD{\ms D}\def\msS{\ms S}\def\mfS{\mathfrak S}\newcommand\mfm[1]{#1}\def\po{\color{#f63}{\mfm{1}}}\def\pc{\color{#6c0}{\mfm{c}}}\def\pt{\color{#08d}{\mfm{2}}}\def\pth{\color{#6c0}{\mfm{3}}}\def\pf{4}\def\pv{\color{#999}5}\def\gr{\color{#ccc}}\let\ss\gr 두 개의 동일한 대리석 배치가 있다고 가정 합니다. 각 대리석은 인 색상 중 하나 일 수 있습니다 . 하자 색상의 구슬의 수를 나타내는 각 배치에있다.c c ≤ n n i innncccc≤nc≤nc≤nninin_iiii 하자 MULTISET 수 하나 개의 배치를 나타내는. 에서는 주파수 표현 , 또한로서 기록 …
4
그래프 동형 문제가 해결 되었습니까?
Wikipedia의 그래프 isomorphism 문제 페이지는 해결되지 않은 것으로 나타납니다. 그러나 내 친구는 그래프 동형에 대한 다항식 시간 알고리즘을 지적했습니다 . 나는 논문의 추론을 따를만큼 정교하지 않다. 나는 증거와 같은 것없이 다항식 시간 알고리즘 을 시도해 보았습니다. 그러나 진행하기 전에이 문제가 성공적으로 해결되었는지 여부를 알고 싶습니다. 그렇다면 그래프 동형 문제가 해결 …
2
알고리즘 시간 분석“입력 크기”대“입력 요소”
알고리즘의 무증상 상한을 분석하고 설명하는 데 여전히 "입력 길이"및 "입력 크기"라는 용어와 약간 혼동됩니다. 알고리즘의 입력 길이는 많은 종류의 데이터와 이야기하는 알고리즘에 따라 달라집니다. 일부 작성자는 입력 길이를 입력을 나타내는 데 필요한 문자 크기로 참조하므로 알고리즘에서 입력으로 설정된 경우 "abcde"는 "입력 길이"가 6 자입니다. 문자 대신 숫자가있는 경우 (예 : …
1
OS의 메모리 벌룬
일부 하이퍼 바이저는 벌룬 (ballooning)이라고하는 방법 (최소한 KVM이 호출하는 방식)을 사용하여 메모리 사용을 최적화합니다.이 방법은 VM간에 메모리를 중복 제거하고 쓰기시 복사시 공통 페이지를 읽기 전용으로 설정합니다. 이것은 포크 호출의 반대입니다. 프로세스를 위해 OS 수준에서 구현하는 것이 가능합니까 (동일한 사이트에서 여러 탭이있는 Chromium으로 탐색 할 때 주로 메모리 복제를 생각하고 있었음) …
2
정규식 크로스 워드는 NP-hard입니까?
나는이 웹 사이트 http://regexcrossword.com/ 에서 다른 날 장난하고 있었고 그것을 해결하는 가장 좋은 방법이 무엇인지 궁금해졌습니다. 다항식 시간에서 다음 문제를 해결할 수 있습니까, 아니면 NP-hard입니까? 열에 N 개의 정규 표현식이 있고 행에 M 개의 NxM 그리드가 주어지면 모든 정규 표현식이 만족되도록 그리드에 대한 솔루션을 찾거나 솔루션이 없다고 말합니다.
3
인터럽트 후 프로세서는 커널 코드를 어떻게 찾습니까?
인터럽트가 발생하면 프로세서는 현재 프로세스를 선점하고 커널 코드를 호출하여 인터럽트를 처리합니다. 프로세서는 커널에 들어갈 위치를 어떻게 알 수 있습니까? 각 인터럽트 라인에 설치할 수있는 인터럽트 핸들러가 있다는 것을 알고 있습니다. 그러나 프로세서는 'hardwired logic'만 실행하기 때문에 인터럽트 처리기 자체 또는 처리기 전에 실행되는 코드를 가리키는 미리 정의 된 위치가 존재해야합니다 …
1
Knuth의 선형 시간 곱셈 알고리즘이 왜 "계산"되지 않습니까?
곱셈 알고리즘에 대한 wikipedia 페이지에는 Donald Knuth의 흥미로운 내용이 언급 되어 있습니다. 기본적으로 푸리에 변환 곱셈을 미리 계산 된 로그 크기 곱셈 표와 결합합니다. 선형 시간으로 실행됩니다. 이 기사는이 알고리즘처럼 작동하여 "진정한"곱셈 알고리즘으로 간주되지 않습니다. 더 중요한 것은 곱셈이 심지어 O(n lg n)시간 내에 이루어질 수 있는지에 대한 열린 질문입니다 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.