이론 컴퓨터 과학

관련 분야의 이론 컴퓨터 과학자 및 연구자를위한 Q & A

1
람다 미적분의 베타 이론의 확장
람다 미적분의 베타 에타 이론은 사후 완료입니다. 람다 미적분의 베타 이론을 확장하여 베타 에타 이론 이외의 유창한 이론을 얻기 위해 추가 규칙을 추가 할 수 있습니까? 추신 이 질문은 질문자가 질문자가 관심을 갖는 이유를 설명해야한다는 본인의 규칙을 위반했습니다. 이 사이트가 비공개 베타에 들어가기 얼마 전 어느 날 밤,이 사이트는 확장 …
3
NDFA (nondeterministic finite automata)를 비 지수 공간 / 시간에서 결정적인 finite automata (DFA)로 효율적으로 변환 할 수 있습니까?
20 년 전, 정규 표현식에서 유한 상태 머신 (DFA)으로의 변환을 포함하는 정규 표현식 패키지를 구축했으며, 닫힌 정규 표현식 작업 (클린 스타, 연결, 역, 설정 작업 등)을 지원했습니다. 패키지의 최악의 성능에 대해 확신이 없었습니다. n 상태 NDFA는 2 ^ n 상태의 DFA로 간단하게 변환 될 수 있기 때문에 DFA는 NDFA와 동일한 …
1
NP 완료 문제를 사용한 비밀번호 해싱
일반적으로 사용되는 비밀번호 해싱 알고리즘은 오늘날 다음과 같이 작동합니다. 비밀번호에 소금을 바르고 KDF에 공급합니다. 예를 들어, PBKDF2-HMAC-SHA1을 사용하는 경우 비밀번호 해싱 프로세스는 DK = PBKDF2(HMAC, Password, Salt, ...)입니다. HMAC는 패딩 된 키가있는 2 라운드 해싱이고 SHA1은 일련의 순열, 시프트, 회전 및 비트 연산을 기본으로하기 때문에 전체 프로세스는 특정 방식으로 구성된 …
3
튜링 머신의 "The"카테고리?
면책 조항 : 복잡성 이론에 대해서는 거의 알지 못합니다. 죄송하지만 간결하지 않고이 질문을 할 수있는 방법은 없습니다. 튜링 머신의 "the"카테고리에있는 형태는 무엇입니까? 이것은 명백히 주관적이며 이론에 대한 해석에 달려 있으므로이 질문에 대한 답변은 이상적으로 답변을 뒷받침하는 증거와 추론을 제시해야합니다. 예를 들어 공식 언어가 아닌 튜링 기계 범주를 찾고 있다는 점을 …
2
평면 그래프에서 삼각형 계산의 시간 복잡성
일반적인 그래프에서 삼각형을 세는 것은 시간에 사소하게 수행 될 수 있으며 훨씬 더 빨리하는 것이 어렵다고 생각합니다 (참조 환영). 평면 그래프는 어떻습니까? 그것은에서 할 수있는 다음의 간단한 절차 쇼 O ( N 로그 N ) 시간. 내 질문은 두 가지입니다.O(n3)O(n3)O(n^3)O(nlogn)O(nlog⁡n)O(n\log{n}) 이 절차에 대한 참조는 무엇입니까? 시간을 선형으로 만들 수 있습니까? …
1
일정한 모호성이 일반 언어의 상태 복잡성을 줄일 수 있습니까?
어떤 단어 w exist Σ ∗ 가 0 또는 (정확한) k 경로로 받아 들여 지도록 k ∈ N 이 존재하면 NFA 은 지속적으로 모호 합니다.MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk 오토 마톤 이 k = 1에 대해 지속적으로 모호 하다면 , M 은 UFA ( Unambiguous FA )라고 불린다 .MMMk=1k=1k=1MMM 정규 언어로 하자 …
4
무 방향 그래프에서는 다항식이지만 무 방향 그래프에서는 다항식 인 그래프 문제
유 방향 그래프의 NPC로 알려져 있지만 무향 그래프의 다항식 알고리즘이있는 문제를 찾고 있습니다. 나는 다른 방향에 관한 질문을 여기에서 “지시되지 않은”변형보다 더 쉬운“지시 된”문제로 보았지만, 지시 된 측면에서 경도를 찾고 있습니다. 예를 들어 피드백 에지 세트 는 방향이 지정되지 않은 그래프에서는 해결할 수 있지만 방향이 다항식 인 경우 NPC로 알려져 …
1
스택으로 단어를 푸시 할 수있는 눈에 띄게 푸시 다운 오토마타 변형이 있습니까?
나는 눈에 띄게 푸시 다운 오토마타를 다루는 논문이나 연구가 있지만 단일 문자가 아닌 단어를 스택에 푸시 할 수 있는지 궁금합니다. 대안 적으로, 심볼이 전환에 푸시 될 수있게하는 구성 은 동일한 목표를 달성 할 수있다.ϵϵ\epsilon 분명히 그러한 변형이 형성 될 수는 있지만 VPA를 흥미롭게 만드는 폐쇄 및 결정 가능성 속성을 망칠 …
1
SAT의 상황에 맞는 문법?
Kuroda의 고전적인 결과로, 복잡성 클래스 NSPACE [ ]엔nn (NLIN-SPACE라고도 함)는 상황에 맞는 언어 의 클래스 CSL입니다 . 만족도 문제 SAT 는 NSPACE [ ]에 있습니다. 솔루션에 대한 선형 크기 추정값은 기장을 위해 최대 선형 양의 오버 헤드로 확인할 수 있기 때문입니다. 이는 SAT에 상황에 맞는 문법 (CSG) 이 있어야 함을 …
1
(홀 홀, 홀 홀이없는) 그래프에 대한 참조?
X-free 그래프는 유도 하위 그래프로 X의 그래프가없는 그래프입니다. 구멍은 적어도 네 꼭지점 사이클이다. 홀수 구멍 정점 홀수와 정공이다. antihole은 구멍의 보수입니다. (홀 홀, 홀 홀 방지) 프리 그래프는 정확히 완벽한 그래프입니다. 이것이 강력한 완전 그래프 정리 입니다. 다항식 시간으로 완벽한 그래프에서 가장 큰 독립 집합 (및 가장 큰 도난) 을 …
7
연구 데이터 조직
이것은 당신이 무엇을했는지, 왜했는지, 왜 안되는지 추적하는 것이 중요하다고 대답 한이 질문의 정신에 관한 질문입니다 . 개인적으로 노트북을 사용하지만 몇 가지 단점이 있습니다. 먼저 저장 공간이 많이 필요합니다. 두 번째로 여행 할 때 데이터에 액세스 할 수 없으며 마지막으로 공동 작업이 아닙니다. 그러나 노트북은 실험 실용 노트북과 동일하게 사용할 수 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.