이론 컴퓨터 과학

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

1
최소 오토마타로서 지시 된 멀티 그래프
정규 언어가 주어짐 엘LL 알파벳 ㅏAA최소 결정 론적 오토 마톤은 일정한 외도를 가진 직접 연결된 다중 그래프로 볼 수 있습니다. | A ||A||A|및 표시된 초기 상태 (전이 레이블, 최종 상태 레이블을 잊음). 모든 정점에서 액세스 할 수 있어야하기 때문에 초기 상태를 유지합니다. 대화가 사실입니까? 즉, 지시 된 연결된 멀티 그래프지GG …
2
Brzozowski의 DFA 최소화 알고리즘을 다른 등급의 수용 상태로 유한 한 오토마타로 일반화합니까?
DFA를 동등한 최소 상태 DFA로 변환하는 Brzozowski의 알고리즘은 매우 간단합니다. 만약 가 DFA 모든 모서리를 반전시켜 형성된 NFA를 나타내면 이전 시작 상태를 수락 상태로 만들고 이전 수락을 허용합니다. 상태가 시작 상태이고, 이 NFA 서브 세트 구성을 적용한 결과를 나타내는 경우 , 는 와 동일한 언어를 가진 최소 상태 DFA입니다 .R(D)R(D)R(D)DDDP(N)P(N)P(N)NNNP(R(P(R(D))))P(R(P(R(D))))P(R(P(R(D))))DDD …
2
"가장 작은"복잡성 클래스는 무엇입니까?
이 질문에 대한 답 은 모든 다항식에 대한 클래스를 제공 한다고 생각합니다.피pp, 크기의 회로가없는 클래스에 문제가 있습니다.p ( n )p(n)p(n). 그러나 회로 크기에 대해 묻고 있습니다.ω( n )ω(n)\omega \hspace{.02 in}(n). (⟨00,11,22,삼1,44,51,66,71,88,91, . . .⟩(⟨00,11,22,31,44,51,66,71,88,91,...⟩\big(\hspace{-0.07 in}\left\langle \hspace{-0.04 in}0^{\hspace{.02 in}0}\hspace{-0.03 in},\hspace{-0.04 in}1^{\hspace{-0.03 in}1}\hspace{-0.03 in},2^{\hspace{.02 in}2}\hspace{-0.04 in},\hspace{-0.03 in}3^1\hspace{-0.04 in},\hspace{-0.03 in}4^4\hspace{-0.03 in},\hspace{-0.03 in}5^1\hspace{-0.04 in},\hspace{-0.03 …
1
Proof Carrying Code에 Proof Checker가 필요한 이유
Necula의 고전 PLDI'98 논문에서 "인증 컴파일러의 설계 및 구현"에서 고급 검증기는 다음을 사용합니다. 검증 조건을 생성하는 VCGen (안전 조건 자) 조건을 증명할 수있는 1 차 논리 정리 단계 (2)에서 증거를 확인하는 LF 증거 검사기 나는 단계 (3)에 약간 혼란스러워합니다. 왜 필요합니까? (1)과 (2)만으로는 충분하지 않습니까? 왜 우리는 정리 증명에 의해 …
1
Stephen Cook은 SAT가 실제로 NP-Hard임을 증명하기 전에 NP-Hard임을 보여주는 중요성을 보았습니까?
내가 올바르게 이해한다면, 그 문제를 증명하기 위해 ㅏAA NP가 어렵습니다. 가능한 모든 문제를 선택해야합니다. 비나는BiB_{i} 그것은 NP에 있고 그들이 ㅏAA 다항식 시간 계산 기능을 사용하여 각 인스턴스를 매핑합니다. 비나는BiB_{i} 의 인스턴스 ㅏAA. 첫 번째 NP 하드 문제를 찾으면 축소를 사용하여 다른 많은 문제가 NP Complete 또는 NP Hard라는 것을 알 …
2
그래프 동형에 대한 그래프의 이형성 수
와 는 크기가 두 개의 정규 연결 그래프 라고 하자 . 하자 치환 된들의 집합 되도록 . 경우 다음 의 automorphisms 세트 인 .지GGHHH아르 자형rr엔nnㅏAA피PP피지피− 1= HPGP−1=HPGP^{-1}=HG = HG=HG=HㅏAA지GG 의 크기에서 가장 잘 알려진 상한은 무엇입니까 ? 특정 그래프 클래스 (완료 / 사이클 그래프를 포함하지 않음)에 대한 결과가 있습니까?ㅏAA 참고 …
1
모든 변수가 양수와 음수 모두 발생하더라도 1-in-3 SAT는 NP-hard로 유지됩니까?
표준 문제 1-in-3 SAT (또는 XSAT 또는 X3SAT)는 다음과 같습니다. 인스턴스 : 정확히 3 개의 리터럴을 포함하는 모든 절이있는 CNF 수식 질문 : 절당 정확히 1 개의 리터럴을 만족시키는 할당 설정이 있습니까? 문제는 NP- 완료이며 변수가 부정되지 않더라도 여전히 어려운 상태입니다. 각 변수가 적어도 한 번은 긍정적으로 그리고 최소한 한 …
1
무지개 삼각형으로 가장자리 분할
다음 문제가 NP-hard인지 궁금합니다. 입력 : 간단한 그래프, 그리고 채색의 ( 는 특정 속성을 확인하지 않습니다).G=(V,E)G=(V,E)G = (V,E)f:E→{1,2,3}f:E→{1,2,3}f : E \to \{1,2,3\}fff 질문 : 각 삼각형이 각 색상의 한쪽 가장자리를 갖도록 를 삼각형 으로 분할 할 수 있습니까?EEE|E|/3|E|/3|E|/3 나는 색깔없이 "에지 분할"로 그래프의 문제를 알고 , (참조 NP-어려운 일부 에지 …
2
그래프 클래스의 이름을 지정하십시오.
허락하다 GGG clique와 독립 집합의 분리 된 결합 인 그래프 G=Kn1+Kn2¯¯¯¯¯¯¯¯=Kn1+In2.G=Kn1+Kn2¯=Kn1+In2.G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . 이러한 모든 그래프의 그래프 클래스는 금지 된 유도 하위 그래프 세트로 특징 지어집니다 H={2K2,P3}H={2K2,P3}\mathcal{H} = \{2K_2, P_3\} 따라서 클러스터 그래프와 분할 (또는 임계 값) 그래프의 교차점입니다. 이 (매우 간단한) 그래프 …
2
RAM과 튜링 머신의 복잡성 간 격차
P의 문제만을 고려한다면, 가장 빠른 알려진 워드 -RAM 알고리즘과 특정 문제에 대한 가장 빠른 알려진 Turing machine 알고리즘 사이에 큰 차이가 있습니까? 나는 일반적인 관심의 자연 문제에 대해 넓은 차이가 있다면 특히 관심이 있습니다.
1
그래프는 최대 1 개의 보행이있는 방향을 언제 허용합니까?
다음 문제를 고려하십시오. 입력 : 간단한 (무 방향) 그래프 .G = ( V, E)지=(V,이자형)G=(V,E) 질문 : 모든 에 대해 최대 하나의 (지시 된) - 도보가 있는 특성을 만족시키는 의 방향이 있습니까?지지Gs , t ∈ V에스,티∈Vs,t \in V에스에스s티티t 이것은 다음과 같이 표현 될 수 있습니다. 입력 : 간단한 (무 방향) 그래프 …
2
더 높은 차원의 생성 문법이 있습니까?
컴퓨터 음악에 관심이 있는데 음악 조각을 생성 문법이나 L- 시스템의 문장으로 취급하는 방법이 있습니다. 작성하는 대신 문법을 지정하고 컴퓨터에서 음악을 생성 할 수 있습니다. 예를 들어 폴 후닥 (Paul Hudak) 말기 예일 그룹은 매우 강력하다. 우리는 L- 시스템을 이용한 식물 성장과 같은 더 높은 차원의 것들을 표현하기 위해 겉보기에 1 …
9 grammars 
1
이 문제의 복잡성이 알려져 있습니까?
허락하다 G = ( V, E)지=(V,이자형)G=(V,E)그래프입니다. 정점 세트엑스⊆ V엑스⊆VX\subseteq V다음 경우에 중요엑스≠ ∅엑스≠∅X\neq\emptyset 그리고 꼭지점이 없습니다 V∖ XV∖엑스V\setminus X 정확히 하나의 꼭짓점에 인접 해 있습니다. 엑스엑스X. 문제는 정점 세트를 찾는 것입니다에스⊆ V에스⊆VS\subseteq V 최소 크기의 에스∩ X≠ ∅에스∩엑스≠∅S\cap X\neq\emptyset 모든 중요한 세트 엑스엑스X. 문제는 다음과 같은 소문이 퍼지는 해석입니다. 나는나는i …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.