컴퓨터 과학

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

3
정규 표현식 2 개만으로는 표현할 수없는 정규 언어
나는 모든 정규 언어가 정규 표현식으로 표현 될 수 있다고 생각했지만 (언어가 정규이면 정규 표현식으로 표현할 수 있음) 그에 대해 정규 작업 (연결, 조합 및 별)을 모두 필요로한다고 들었습니다. 개최합니다. 예를 들어, 통합 및 연결 정규 표현식 작업 (3 중 2 개) 만 사용할 수 있다면 그 두 언어로는 설명 …
2
NP에서 포스트 서신 문제가 있습니까?
나는 Sipser의 책 서신 후 문제에 대한 계산 이론 소개의 일부 페이지를 읽었으며 PCP가 실제로 NP에 있다고 생각합니다. 인증 자이다 : 더미의 입력 구성 연접 문자열로서 와 연접 을 문자열 로 설정 한 다음 와 를 비교 하여 둘이 같은지 확인한 다음 입력이 실제로 PCP에 대한 솔루션이라고 결론을 내립니다.(t1/b1,t2/b2,...tn/bn)(t1/b1,t2/b2,...tn/bn)(t_1/b_1, t_2/b_2,...t_n/b_n)t1,t2,...,tnt1,t2,...,tnt_1, …
2
P
나는 이것이 매우 어리석은 (또는 너무 명백한) 질문으로 보인다는 것을 알고 있습니다. 그러나 나는 어느 시점에서 혼란스러워합니다. 다항식 시간 으로 NP 의 주어진 문제 인스턴스를 해결하는 알고리즘을 설계 할 수있는 경우에만 P NP=== 임을 알 수 있습니다 . 그러나 나는 지구상에서 P NP 임을 어떻게 증명할 수 있는지 이해하지 못한다 …
1
공 쌍으로 빈을 채우는
빈이 k 개 이상 포함 된 빈은 가득 찬 것으로 불립니다 . 우리의 목표는 가능한 한 많은 쓰레기통을 가득 채우는 것입니다.kkk 가장 간단한 시나리오에서, 우리는 nnn 공이 주어지고 그것들을 임의로 배열 할 수 있습니다. 이 경우, 우리가 할 수있는 최선의 방법은 임의로 ⌊n/k⌋⌊n/k⌋\lfloor n/k \rfloor 빈을 골라 각각 에 kkk …
1
오토마타에서 정규 표현식과 문법의 차이점
나는 오토마타를 처음 접했고 어제 정규 표현식에 대해 간략하게 소개 받았습니다. 정규식을 정의하는 다양한 규칙을 읽었습니다. 그러나 나는 정규 표현과 언어의 문법을 구별 할 수 없습니다 (정규 표현에 대한 문법을 ​​배우지 못했습니다). 문법은 언어로 유효한 문자열을 생성하는 데 도움이된다는 것을 이해하지만 이것이 정규 표현식 상태를 정의하는 규칙입니다. 차이점은 어디에 있습니까? …
1
고유 한 요소로 목록 거리 편집
리스트 사이의 레 벤슈 테인-거리 편집 거리는 잘 연구 된 문제입니다. 그러나 각 목록에서 요소가 두 번 이상 발생하지 않는 것으로 알려진 경우 가능한 개선 사항을 많이 찾을 수 없습니다 . 또한 요소가 비교 가능하고 정렬 가능한 것으로 가정합니다 (그러나 비교할 목록은 처음부터 정렬되지 않습니다). O ( 분 ( S …
2
인 메모리 인덱스에 대한 우수한 스냅 샷 가능 데이터 구조
매우 구체적인 사용 사례를 위해 메모리 내 객체 데이터베이스를 설계하고 있습니다. 단일 작성자이지만 효율적인 동시 읽기를 지원해야합니다. 판독 값은 분리해야합니다. 쿼리 언어가 없으며 데이터베이스는 다음을 지원합니다. 속성 / 속성 집합별로 객체를 가져옵니다 (예 : 식을 지원할 수 있음 x.count < 5) 객체의 속성을 얻는다 쿼리는 위의 여러 작업으로 구성된 명령형 …
1
알려진 AM- 완전 문제가 있습니까 / AM- 완전히 정의되어 있습니까?
Arthur-Merlin Complex 클래스에 완전한 문제가 있는지 궁금합니다. 그래프 비 동형화 (GNI)는 AM 의 문제 에 대한 정식 사례 인 것 같지만 아마도 완전한 문제 는 아닙니다. "완전한"문제가 AM에 대해 잘 정의되어 있는지 궁금합니다. AM = BP.NP이므로 AM으로의 "감소"는 결정적 복잡성 클래스에 사용하는 Karp 감소보다는 3SAT의 무작위 감소에 의존하는 것 같습니다. …
2
일반화 된 XOR-SAT는 효율적으로 해결할 수 있습니까?
XOR-3-SAT가 어떻게 효율적으로 해결 될 수 있는지 보았습니다 (예를 들어, 부울 만족도 문제 에 대한 Wikipedia 항목 의 "XOR- 만족도"섹션 참조 ). 기본 질문이 궁금합니다. XOR-k-SAT는 절 당 다양한 양의 리터럴을 가진 수식에 대해 효율적으로 해결할 수 있습니까? 절 당 리터럴의 양을 3 이상으로 늘릴 수 있는지, 그리고 절 길이를 …
2
쉐퍼의 정리는 왜 P = NP임을 증명하지 않습니까?
이것은 아마도 어리석은 질문이지만 이해가되지 않습니다. 또 다른 질문으로 그들은 쉐퍼의 이분법 정리 를 생각해 냈습니다 . 나에게 그것은 모든 CSP 문제가 P 또는 NP- 완료이지만 사이에 있지 않다는 것을 증명하는 것처럼 보입니다. 모든 NP 문제는 다항식 시간에서 CSP로 변환 될 수 있기 때문에 (CSP가 NP- 완료되기 때문에) P와 NP-Complete …
3
NFA를 사용하지 않고 정규식에서 DFA를 만드는 방법은 무엇입니까?
목표는 정규식에서 DFA를 작성하는 것이며 "정규 exp> NFA> DFA 변환"을 사용하는 것은 옵션이 아닙니다. 어떻게해야합니까? 나는이 질문을 교수에게 물었지만 그는 우리가 직관을 사용할 수 있다고 말했고 친절하게 설명을 거부했다. 그래서 물어보고 싶었습니다. "정규 exp> NFA> DFA 변환"은 이러한 변환이 다소 복잡한 정규식을 변환하는 데 많은 시간이 걸리기 때문에 옵션이 아닙니다. …
3
Halting Problem의 결정 불가능한 증거가 결과를 반대로해서 속임수입니까?
Turing의 정지 문제를 이해하는 데 어려움이 있습니다. 그의 증거는 컴퓨터가 주어진 입력에 대해 영원히 멈추거나 반복되는지 여부를 결정할 수 있는 마법 기계 가 있다고 가정합니다 . 그런 다음 출력을 반전시키는 다른 기계를 연결하여 모순이 생겨 H 가 존재할 수 없습니다.HHHHHH 내 관심사는 우리가 답을 뒤집어서 답변이 틀렸다고 말하는 것처럼 보입니다. …
4
다이나믹 퍼펙트 해싱에 비해 뻐꾸기 해싱의 장점은 무엇입니까?
동적 완벽한 해시 테이블 과 뻐꾸기 해시 테이블 은 최악의 경우 O (1) 조회와 예상되는 O (1) 시간 삽입 및 삭제를 지원하는 두 개의 서로 다른 데이터 구조입니다. 둘 다 O (n) 보조 공간이 필요하며 작업을 위해 해시 함수 패밀리에 액세스 할 수 있습니다. 나는이 두 데이터 구조가 모두 아름답고 …
3
NFA는 엡실론 전환을 어떻게 사용합니까?
아래 그림에서이 NFA가 정확히 무엇을 받아들이고 있는지 파악하려고합니다. 나를 혼란스럽게하는 것은 q 0 에서 의 점프 입니다.ϵϵ\epsilonq0q0q_0 경우 을 입력, 모두 시스템 이동하지 Q 0 및 Q 1 (상태를 동의)을?000q0q0q_0 q1q1q_1 경우 입력, 모두 시스템 이동하지 Q 1 과 Q 2를 ?111q1q1q_1q2q2q_2 입력 이 없으면 (빈 문자열) 시스템이 (상태 수락) …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.