컴퓨터 과학

정의 : Karp Reduction 언어 AAA 언어로 카프의 환원성 인 BBB 다항식 시간 계산 가능한 기능이 있는지 f:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^* 되도록 모든 대 xxx , x∈Ax∈Ax\in A 경우에만, f(x)∈Bf(x)∈Bf(x)\in B . 정의 : 레빈 감소 검색 문제 VAVAV_A 레빈 검색 문제에 환원 인 VBVBV_B 다항식 시간 함수가있는 경우 fff 카프가 감소 시킨다는 …

12 complexity-theory  reductions  check-my-proof 

하자 일반 수, 일반, 일반 없습니다. 가 규칙적이지 것을 반례를 제시하십시오.L1L1L_1L1∩L2L1∩L2L_1 \cap L_2L2L2L_2L1∪L2L1∪L2L_1 \cup L_2 나는 이것을 시도했다 : . 이것은 규칙적입니다. 나는 이것에 대한 유한 자동 장치를 구성 할 수 있습니다 정기적 인, 입니다 일반, 그래서 모든 경로 (유한 한 양)을 제거 에 대한 경로의 유한 한 양에서 . …

12 formal-languages  regular-languages 

정도 분포가 주어지면 주어진 정도 분포를 따르는 그래프를 얼마나 빨리 만들 수 있습니까? 링크 또는 알고리즘 스케치가 좋습니다. 그래프를 구성 할 수없는 경우와 그래프를 여러 개 구성 할 수있는 경우 알고리즘은 "아니오"를보고해야합니다.

12 algorithms  graphs  graph-theory 

복잡성 등급 는 무엇을 의미합니까? 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 그러나 무엇을 의미합니까? 나는 그것이 실제로하는 …

12 complexity-theory  terminology  complexity-classes 

정규식을 입력 한 사용자를 NFA로 변환하여 일치하는 목적으로 문자열에 대해 NFA를 실행할 수 있습니다. 정규 표현을 구문 분석하는 데 사용할 수있는 최소 머신은 무엇입니까? 괄호가 존재한다는 것은 계산이 필요하고 DFA / NFA가 임의의 계산을 수행 할 수 없기 때문에 푸시 다운 오토 마톤이어야한다고 가정합니다. 이 가정이 맞습니까? 예를 들어, 식 …

12 formal-languages  parsers  regular-expressions  pushdown-automata 

다시 말해, 하이브리드 스레딩 은 1 : 1 (커널 만) 및 N : 1 (사용자 만) 스레딩보다 어떤 장점이 있습니까? 이것은 사용자 수준 스레드와 커널 수준 스레드의 차이점은 무엇입니까?

12 operating-systems  concurrency  os-kernel 

증명하는 방법 ? 나는 단지 oracle TM 과 이것이 재귀 언어 을 찾고 있습니다.NPA≠coNPANPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML(M)=LL(M)=LL(M) = L 와 같은 oracle 있고 와 같은 oracle 가 있음을 증명하는 증거를 알고 있습니다. . 나는 의 증거를 확장하여 그러한 오라클 를 찾아야한다는 힌트를 얻었지만 검색하고 읽을 때마다 어디에서나 "명확한"또는 "직선적"이지만 나는 그것을 …

12 complexity-theory  relativization 

조합 / 교차로 / 연결된 언어를 결정할 수있는 결정 불가능한 언어가 있습니까? 일반적으로 결정 불가능한 언어가 이러한 작업에서 닫히지 않기 때문에 이러한 예의 물리적 해석은 무엇입니까? 클라인 폐쇄에 대해 무엇을 말할 수 있습니까? 우리도 그에 대한 예를 가지고 있습니까? 즉, 결정 불가능한 언어의 종결을 결정할 수 있습니까? 또한 결정 불가능한 …

12 formal-languages  undecidability  closure-properties 

Codd의 알고리즘 은 튜플 관계형 미적분의 표현을 관계형 대수로 변환합니다. 알고리즘의 표준 구현이 있습니까? 이 알고리즘은 어디서나 사용됩니까? (업계에는 SQL과 변형 만 필요한 것 같습니다. 학계의 데이터베이스 이론가에 대해서는 확실하지 않습니다.) 축소의 복잡성은 무엇입니까? 이것은 1 년 전에 SO 에 게시 되었지만 좋은 답변을 얻지 못했습니다.

12 algorithms  database-theory 

무선 네트워크에 연결하기 위해 입력 한 암호는 무선 네트워크의 데이터를 어떻게 암호화합니까? 내 독서를 통해 우리가 입력 한 암호가 암호와 같은지 확실하지 않습니다. 그렇다면 암호문은 어떻게 네 개의 WEP 키를 생성 할 수 있습니까? WEP에서 4 개의 키가 작동하는 방식과 데이터를 암호화하는 방법을 이해합니다. 또한 WPA의 키가 데이터를 암호화하는 방법을 …

12 cryptography  computer-networks  encryption  security 

그래프 G = ( V , E ) 에서 두 개의 정점 u 와 v 에 대해 u 에서 v 까지의 간단한 경로 가 하나만 있으면 유향 그래프는 단일 경로라고 합니다.유uuVvvG = ( V, E)G=(V,E)G=(V,E)유uuVvv 각 모서리에 양 또는 음의 가중치가 있지만 음의 가중치 사이클이 포함되지 않도록 unipathic graph 있다고 …

12 algorithms  graphs 

Windows NT는 클라이언트가 스트림 암호를 사용하여 일부 키 로 메시지 배열을 암호화하여 서버와 "안전하게"통신 할 수있는 지점 간 프로토콜을 사용했습니다 . 서버는 또한 동일한 키 응답을 암호화합니다 . 그러나이 키를 어떻게 알 수 있습니까?k케이kk케이kk 좀 더 일반적으로 : Alice와 Bob이 동일한 개인 키 에서 작동하는 암호화 / 암호 해독 알고리즘을 …

12 cryptography  encryption 

이 그림을 보았을 때 문맥이없는 언어와 일반 언어는 효율적인 문제의 일부 (적절한) 입니다. 효율적인 문제는 해결할 수는 있지만 시간이 오래 걸릴 수 있기 때문에 모든 결정 가능한 문제의 하위 집합이라는 것을 완벽하게 이해하고 있습니다.피P\mathrm{P} 왜 모든 문맥 자유와 일반 언어를 효율적으로 decidable? 그것들을 해결하는 데 오랜 시간이 걸리지 않는다는 것을 …

12 formal-languages  regular-languages  context-free  efficiency 

나는 smn 정리를 공부하고 있으며 그 개념은 저에게 커리를 상기시켜주었습니다. smn 정리 에 대한 Wikipedia 기사에서 : 정리는 주어진 프로그래밍 언어와 양의 정수 m과 n에 대해 m 값과 함께 m + n 자유 변수를 가진 프로그램의 소스 코드를 입력으로 받아들이는 특정 알고리즘이 있다고 말합니다. 이 알고리즘은 첫 번째 m 자유 …

12 computability 

2의 보수에서 0은 단 하나의 값을 갖는 반면, 1의 보수에서는 +0과 -0 모두 별도의 값을 갖는다 고합니다. 그들은 무엇인가?

12 arithmetic